ssl/s3_srvr.c:784: 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:524:1: Parameter `s->ctx->sessions->num_items`
522.   	}
523.   
524. > static int ssl3_get_client_hello(SSL *s)
525.   	{
526.   	int i,j,ok,al,ret= -1;

ssl/s3_srvr.c:545:4: Call
543.   		s->state=SSL3_ST_SR_CLNT_HELLO_B;
544.   		}
545.   	n=ssl3_get_message(s,
          ^
546.   		SSL3_ST_SR_CLNT_HELLO_B,
547.   		SSL3_ST_SR_CLNT_HELLO_C,

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

ssl/s3_srvr.c:784:3: Call
782.   		{
783.   f_err:
784.   		ssl3_send_alert(s,SSL3_AL_FATAL,al);
         ^
785.   		}
786.   err:

ssl/s3_pkt.c:984:1: Parameter `s->ctx->sessions->num_items`
  982.   	}
  983.   
  984. > void ssl3_send_alert(SSL *s, int level, int desc)
  985.   	{
  986.   	/* Map tls/ssl alert value to correct one */

ssl/s3_pkt.c:991:3: Call
  989.   	/* If a fatal one, remove from cache */
  990.   	if ((level == 2) && (s->session != NULL))
  991.   		SSL_CTX_remove_session(s->ctx,s->session);
           ^
  992.   
  993.   	s->s3->alert_dispatch=1;

ssl/ssl_sess.c:320:1: Parameter `ctx->sessions->num_items`
    318.   	}
    319.   
    320. > int SSL_CTX_remove_session(SSL_CTX *ctx, SSL_SESSION *c)
    321.   {
    322.   	return remove_session_lock(ctx, c, 1);

ssl/ssl_sess.c:322:9: Call
    320.   int SSL_CTX_remove_session(SSL_CTX *ctx, SSL_SESSION *c)
    321.   {
    322.   	return remove_session_lock(ctx, c, 1);
                   ^
    323.   }
    324.   

ssl/ssl_sess.c:325:1: Parameter `ctx->sessions->num_items`
      323.   }
      324.   
      325. > static int remove_session_lock(SSL_CTX *ctx, SSL_SESSION *c, int lck)
      326.   	{
      327.   	SSL_SESSION *r;

ssl/ssl_sess.c:333:20: Call
      331.   		{
      332.   		if(lck) CRYPTO_w_lock(CRYPTO_LOCK_SSL_CTX);
      333.   		r=(SSL_SESSION *)lh_delete(ctx->sessions,(char *)c);
                                ^
      334.   		if (r != NULL)
      335.   			{

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)))
