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


ssl/d1_clnt.c:148:1: Parameter `s->ctx->sessions->num_items`
146.   			dtls1_get_client_method)
147.   
148. > int dtls1_connect(SSL *s)
149.   	{
150.   	BUF_MEM *buf=NULL;

ssl/d1_clnt.c:433:8: Call
431.   		case SSL3_ST_CR_CERT_REQ_A:
432.   		case SSL3_ST_CR_CERT_REQ_B:
433.   			ret=ssl3_get_certificate_request(s);
              ^
434.   			if (ret <= 0) goto end;
435.   			s->state=SSL3_ST_CR_SRVR_DONE_A;

ssl/s3_clnt.c:1857:1: Parameter `s->ctx->sessions->num_items`
  1855.   	}
  1856.   
  1857. > int ssl3_get_certificate_request(SSL *s)
  1858.   	{
  1859.   	int ok,ret=0;

ssl/s3_clnt.c:1993:4: Call
  1991.   		if (q != (p+l))
  1992.   			{
  1993.   			ssl3_send_alert(s,SSL3_AL_FATAL,SSL_AD_DECODE_ERROR);
             ^
  1994.   			SSLerr(SSL_F_SSL3_GET_CERTIFICATE_REQUEST,SSL_R_CA_DN_LENGTH_MISMATCH);
  1995.   			goto err;

ssl/s3_pkt.c:1463:1: Parameter `s->ctx->sessions->num_items`
    1461.   	}
    1462.   
    1463. > int ssl3_send_alert(SSL *s, int level, int desc)
    1464.   	{
    1465.   	/* Map tls/ssl alert value to correct one */

ssl/s3_pkt.c:1472:3: Call
    1470.   	/* If a fatal one, remove from cache */
    1471.   	if ((level == 2) && (s->session != NULL))
    1472.   		SSL_CTX_remove_session(s->ctx,s->session);
              ^
    1473.   
    1474.   	s->s3->alert_dispatch=1;

ssl/ssl_sess.c:670:1: Parameter `ctx->sessions->num_items`
      668.   	}
      669.   
      670. > int SSL_CTX_remove_session(SSL_CTX *ctx, SSL_SESSION *c)
      671.   {
      672.   	return remove_session_lock(ctx, c, 1);

ssl/ssl_sess.c:672:9: Call
      670.   int SSL_CTX_remove_session(SSL_CTX *ctx, SSL_SESSION *c)
      671.   {
      672.   	return remove_session_lock(ctx, c, 1);
                     ^
      673.   }
      674.   

ssl/ssl_sess.c:675:1: Parameter `ctx->sessions->num_items`
        673.   }
        674.   
        675. > static int remove_session_lock(SSL_CTX *ctx, SSL_SESSION *c, int lck)
        676.   	{
        677.   	SSL_SESSION *r;

ssl/ssl_sess.c:686:6: Call
        684.   			{
        685.   			ret=1;
        686.   			r=lh_SSL_SESSION_delete(ctx->sessions,c);
                    ^
        687.   			SSL_SESSION_list_remove(ctx,c);
        688.   			}

crypto/lhash/lhash.c:217:1: <LHS trace>
215.   	}
216.   
217. > void *lh_delete(_LHASH *lh, const void *data)
218.   	{
219.   	unsigned long hash;

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

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