ssl/s3_pkt.c:768: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - 1):unsigned32 by call to `ssl3_get_record`.
Showing all 15 steps of the trace


ssl/s3_pkt.c:707:1: Parameter `s->ctx->sessions->p`
705.    *             none of our business
706.    */
707. > int ssl3_read_bytes(SSL *s, int type, unsigned char *buf, int len)
708.   	{
709.   	int al,i,j,ret;

ssl/s3_pkt.c:768:7: Call
766.   	if ((rr->length == 0) || (s->rstate == SSL_ST_READ_BODY))
767.   		{
768.   		ret=ssl3_get_record(s);
             ^
769.   		if (ret <= 0) return(ret);
770.   		}

ssl/s3_pkt.c:231:1: Parameter `s->ctx->sessions->p`
  229.    */
  230.   /* used only by ssl3_read_bytes */
  231. > static int ssl3_get_record(SSL *s)
  232.   	{
  233.   	int ssl_major,ssl_minor,al;

ssl/s3_pkt.c:431:2: Call
  429.   	return(1);
  430.   f_err:
  431.   	ssl3_send_alert(s,SSL3_AL_FATAL,al);
          ^
  432.   err:
  433.   	return(ret);

ssl/s3_pkt.c:1144:1: Parameter `s->ctx->sessions->p`
    1142.   	}
    1143.   
    1144. > void ssl3_send_alert(SSL *s, int level, int desc)
    1145.   	{
    1146.   	/* Map tls/ssl alert value to correct one */

ssl/s3_pkt.c:1151:3: Call
    1149.   	/* If a fatal one, remove from cache */
    1150.   	if ((level == 2) && (s->session != NULL))
    1151.   		SSL_CTX_remove_session(s->ctx,s->session);
              ^
    1152.   
    1153.   	s->s3->alert_dispatch=1;

ssl/ssl_sess.c:413:1: Parameter `ctx->sessions->p`
      411.   	}
      412.   
      413. > int SSL_CTX_remove_session(SSL_CTX *ctx, SSL_SESSION *c)
      414.   {
      415.   	return remove_session_lock(ctx, c, 1);

ssl/ssl_sess.c:415:9: Call
      413.   int SSL_CTX_remove_session(SSL_CTX *ctx, SSL_SESSION *c)
      414.   {
      415.   	return remove_session_lock(ctx, c, 1);
                     ^
      416.   }
      417.   

ssl/ssl_sess.c:418:1: Parameter `ctx->sessions->p`
        416.   }
        417.   
        418. > static int remove_session_lock(SSL_CTX *ctx, SSL_SESSION *c, int lck)
        419.   	{
        420.   	SSL_SESSION *r;

ssl/ssl_sess.c:426:20: Call
        424.   		{
        425.   		if(lck) CRYPTO_w_lock(CRYPTO_LOCK_SSL_CTX);
        426.   		r=(SSL_SESSION *)lh_delete(ctx->sessions,c);
                                  ^
        427.   		if (r != NULL)
        428.   			{

crypto/lhash/lhash.c:217:1: Parameter `lh->pmax`
          215.   	}
          216.   
          217. > void *lh_delete(LHASH *lh, void *data)
          218.   	{
          219.   	unsigned long hash;

crypto/lhash/lhash.c:243:3: Call
          241.   	if ((lh->num_nodes > MIN_NODES) &&
          242.   		(lh->down_load >= (lh->num_items*LH_LOAD_MULT/lh->num_nodes)))
          243.   		contract(lh);
                   ^
          244.   
          245.   	return(ret);

crypto/lhash/lhash.c:352:1: <LHS trace>
350.   	}
351.   
352. > static void contract(LHASH *lh)
353.   	{
354.   	LHASH_NODE **n,*n1,*np;

crypto/lhash/lhash.c:352:1: Parameter `lh->p`
            350.   	}
            351.   
            352. > static void contract(LHASH *lh)
            353.   	{
            354.   	LHASH_NODE **n,*n1,*np;

crypto/lhash/lhash.c:356:5: Binary operation: ([0, +oo] - 1):unsigned32 by call to `ssl3_get_record` 
            354.   	LHASH_NODE **n,*n1,*np;
            355.   
            356.   	np=lh->b[lh->p+lh->pmax-1];
                       ^
            357.   	lh->b[lh->p+lh->pmax-1]=NULL; /* 24/07-92 - eay - weird but :-( */
            358.   	if (lh->p == 0)
