ssl/d1_pkt.c:658: 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:523:1: Parameter `s->ctx->sessions->num_items`
521.    */
522.   /* used only by dtls1_read_bytes */
523. > int dtls1_get_record(SSL *s)
524.   	{
525.   	int ssl_major,ssl_minor,al;

ssl/d1_pkt.c:539:9: Call
537.   	/* The epoch may have changed.  If so, process all the
538.   	 * pending records.  This is a non-blocking operation. */
539.   	if ( ! dtls1_process_buffered_records(s))
               ^
540.               return 0;
541.   

ssl/d1_pkt.c:284:1: Parameter `s->ctx->sessions->num_items`
  282.                      &((s)->d1->processed_rcds))
  283.   
  284. > static int
  285.   dtls1_process_buffered_records(SSL *s)
  286.       {

ssl/d1_pkt.c:658:9: Call
656.   		}
657.   
658.   	if ( ! dtls1_process_record(s))
               ^
659.   		return(0);
660.   

ssl/d1_pkt.c:364:1: Parameter `s->ctx->sessions->num_items`
  362.   #endif
  363.   
  364. > static int
  365.   dtls1_process_record(SSL *s)
  366.   {

ssl/d1_pkt.c:508:2: Call
  506.   	SSLerr(SSL_F_DTLS1_PROCESS_RECORD,SSL_R_DECRYPTION_FAILED_OR_BAD_RECORD_MAC);
  507.   f_err:
  508.   	ssl3_send_alert(s,SSL3_AL_FATAL,al);
          ^
  509.   err:
  510.   	return(0);

ssl/s3_pkt.c:1317:1: Parameter `s->ctx->sessions->num_items`
    1315.   	}
    1316.   
    1317. > void ssl3_send_alert(SSL *s, int level, int desc)
    1318.   	{
    1319.   	/* Map tls/ssl alert value to correct one */

ssl/s3_pkt.c:1326:3: Call
    1324.   	/* If a fatal one, remove from cache */
    1325.   	if ((level == 2) && (s->session != NULL))
    1326.   		SSL_CTX_remove_session(s->ctx,s->session);
              ^
    1327.   
    1328.   	s->s3->alert_dispatch=1;

ssl/ssl_sess.c:645:1: Parameter `ctx->sessions->num_items`
      643.   	}
      644.   
      645. > int SSL_CTX_remove_session(SSL_CTX *ctx, SSL_SESSION *c)
      646.   {
      647.   	return remove_session_lock(ctx, c, 1);

ssl/ssl_sess.c:647:9: Call
      645.   int SSL_CTX_remove_session(SSL_CTX *ctx, SSL_SESSION *c)
      646.   {
      647.   	return remove_session_lock(ctx, c, 1);
                     ^
      648.   }
      649.   

ssl/ssl_sess.c:650:1: Parameter `ctx->sessions->num_items`
        648.   }
        649.   
        650. > static int remove_session_lock(SSL_CTX *ctx, SSL_SESSION *c, int lck)
        651.   	{
        652.   	SSL_SESSION *r;

ssl/ssl_sess.c:661:6: Call
        659.   			{
        660.   			ret=1;
        661.   			r=lh_SSL_SESSION_delete(ctx->sessions,c);
                    ^
        662.   			SSL_SESSION_list_remove(ctx,c);
        663.   			}

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