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


ssl/s3_pkt.c:634:1: Parameter `s->ctx->sessions->num_items`
632.   	}
633.   
634. > int ssl3_read_bytes(SSL *s, int type, unsigned char *buf, int len)
635.   	{
636.   	int al,i,j,n,ret;

ssl/s3_pkt.c:667:7: Call
665.   	if ((rr->length == 0) || (s->rstate == SSL_ST_READ_BODY))
666.   		{
667.   		ret=ssl3_get_record(s);
             ^
668.   		if (ret <= 0) return(ret);
669.   		}

ssl/s3_pkt.c:183:1: Parameter `s->ctx->sessions->num_items`
  181.    * ssl->s3->rrec.length, - number of bytes
  182.    */
  183. > static int ssl3_get_record(SSL *s)
  184.   	{
  185.   	int ssl_major,ssl_minor,al;

ssl/s3_pkt.c:389:2: Call
  387.   	return(1);
  388.   f_err:
  389.   	ssl3_send_alert(s,SSL3_AL_FATAL,al);
          ^
  390.   err:
  391.   	return(ret);

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):unsigned64 by call to `ssl3_get_record` 
          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)))
