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


ssl/d1_pkt.c:531:1: Parameter `s->ctx->sessions->num_items`
529.    */
530.   /* used only by dtls1_read_bytes */
531. > int dtls1_get_record(SSL *s)
532.   	{
533.   	int ssl_major,ssl_minor;

ssl/d1_pkt.c:547:9: Call
545.   	/* The epoch may have changed.  If so, process all the
546.   	 * pending records.  This is a non-blocking operation. */
547.   	if ( ! dtls1_process_buffered_records(s))
               ^
548.               return 0;
549.   

ssl/d1_pkt.c:288:1: Parameter `s->ctx->sessions->num_items`
  286.                      &((s)->d1->processed_rcds))
  287.   
  288. > static int
  289.   dtls1_process_buffered_records(SSL *s)
  290.       {

ssl/d1_pkt.c:676:9: Call
674.   		}
675.   
676.   	if ( ! dtls1_process_record(s))
               ^
677.   		return(0);
678.   

ssl/d1_pkt.c:368:1: Parameter `s->ctx->sessions->num_items`
  366.   #endif
  367.   
  368. > static int
  369.   dtls1_process_record(SSL *s)
  370.   {

ssl/d1_pkt.c:516:2: Call
  514.   	SSLerr(SSL_F_DTLS1_PROCESS_RECORD,SSL_R_DECRYPTION_FAILED_OR_BAD_RECORD_MAC);
  515.   f_err:
  516.   	ssl3_send_alert(s,SSL3_AL_FATAL,al);
          ^
  517.   err:
  518.   	return(0);

ssl/s3_pkt.c:1369:1: Parameter `s->ctx->sessions->num_items`
    1367.   	}
    1368.   
    1369. > int ssl3_send_alert(SSL *s, int level, int desc)
    1370.   	{
    1371.   	/* Map tls/ssl alert value to correct one */

ssl/s3_pkt.c:1378:3: Call
    1376.   	/* If a fatal one, remove from cache */
    1377.   	if ((level == 2) && (s->session != NULL))
    1378.   		SSL_CTX_remove_session(s->ctx,s->session);
              ^
    1379.   
    1380.   	s->s3->alert_dispatch=1;

ssl/ssl_sess.c:653:1: Parameter `ctx->sessions->num_items`
      651.   	}
      652.   
      653. > int SSL_CTX_remove_session(SSL_CTX *ctx, SSL_SESSION *c)
      654.   {
      655.   	return remove_session_lock(ctx, c, 1);

ssl/ssl_sess.c:655:9: Call
      653.   int SSL_CTX_remove_session(SSL_CTX *ctx, SSL_SESSION *c)
      654.   {
      655.   	return remove_session_lock(ctx, c, 1);
                     ^
      656.   }
      657.   

ssl/ssl_sess.c:658:1: Parameter `ctx->sessions->num_items`
        656.   }
        657.   
        658. > static int remove_session_lock(SSL_CTX *ctx, SSL_SESSION *c, int lck)
        659.   	{
        660.   	SSL_SESSION *r;

ssl/ssl_sess.c:669:6: Call
        667.   			{
        668.   			ret=1;
        669.   			r=lh_SSL_SESSION_delete(ctx->sessions,c);
                    ^
        670.   			SSL_SESSION_list_remove(ctx,c);
        671.   			}

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