ssl/s3_srvr.c:799: error: INTEGER_OVERFLOW_L2
  ([0, `s->ctx->sessions->num_items` + 1] - 1):unsigned64 by call to `ssl3_send_alert`.
Showing all 13 steps of the trace


ssl/s3_srvr.c:538:1: Parameter `s->ctx->sessions->num_items`
536.   }
537.   
538. > static int ssl3_get_client_hello(SSL *s)
539.   	{
540.   	int i,j,ok,al,ret= -1;

ssl/s3_srvr.c:559:4: Call
557.   		s->state=SSL3_ST_SR_CLNT_HELLO_B;
558.   		}
559.   	n=ssl3_get_message(s,
          ^
560.   		SSL3_ST_SR_CLNT_HELLO_B,
561.   		SSL3_ST_SR_CLNT_HELLO_C,

ssl/s3_both.c:259:1: Parameter `s->ctx->sessions->num_items`
  257.   	}
  258.   
  259. > long ssl3_get_message(SSL *s, int st1, int stn, int mt, long max, int *ok)
  260.   	{
  261.   	unsigned char *p;

ssl/s3_srvr.c:799:3: Call
797.   		{
798.   f_err:
799.   		ssl3_send_alert(s,SSL3_AL_FATAL,al);
         ^
800.   		}
801.   err:

ssl/s3_pkt.c:991:1: Parameter `s->ctx->sessions->num_items`
  989.   	}
  990.   
  991. > void ssl3_send_alert(SSL *s, int level, int desc)
  992.   	{
  993.   	/* Map tls/ssl alert value to correct one */

ssl/s3_pkt.c:998:3: Call
  996.   	/* If a fatal one, remove from cache */
  997.   	if ((level == 2) && (s->session != NULL))
  998.   		SSL_CTX_remove_session(s->ctx,s->session);
            ^
  999.   
  1000.   	s->s3->alert_dispatch=1;

ssl/ssl_sess.c:420:1: Parameter `ctx->sessions->num_items`
    418.   	}
    419.   
    420. > int SSL_CTX_remove_session(SSL_CTX *ctx, SSL_SESSION *c)
    421.   {
    422.   	return remove_session_lock(ctx, c, 1);

ssl/ssl_sess.c:422:9: Call
    420.   int SSL_CTX_remove_session(SSL_CTX *ctx, SSL_SESSION *c)
    421.   {
    422.   	return remove_session_lock(ctx, c, 1);
                   ^
    423.   }
    424.   

ssl/ssl_sess.c:425:1: Parameter `ctx->sessions->num_items`
      423.   }
      424.   
      425. > static int remove_session_lock(SSL_CTX *ctx, SSL_SESSION *c, int lck)
      426.   	{
      427.   	SSL_SESSION *r;

ssl/ssl_sess.c:433:20: Call
      431.   		{
      432.   		if(lck) CRYPTO_w_lock(CRYPTO_LOCK_SSL_CTX);
      433.   		r=(SSL_SESSION *)lh_delete(ctx->sessions,(char *)c);
                                ^
      434.   		if (r != NULL)
      435.   			{

crypto/lhash/lhash.c:220:1: <LHS trace>
218.   	}
219.   
220. > char *lh_delete(LHASH *lh, char *data)
221.   	{
222.   	unsigned long hash;

crypto/lhash/lhash.c:220:1: Parameter `lh->num_items`
        218.   	}
        219.   
        220. > char *lh_delete(LHASH *lh, char *data)
        221.   	{
        222.   	unsigned long hash;

crypto/lhash/lhash.c:243:2: Binary operation: ([0, s->ctx->sessions->num_items + 1] - 1):unsigned64 by call to `ssl3_send_alert` 
        241.   		}
        242.   
        243.   	lh->num_items--;
                ^
        244.   	if ((lh->num_nodes > MIN_NODES) &&
        245.   		(lh->down_load >= (lh->num_items*LH_LOAD_MULT/lh->num_nodes)))
