ssl/d1_pkt.c:614: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - 1):unsigned32 by call to `dtls1_process_record`.
Showing all 16 steps of the trace


ssl/d1_pkt.c:492:12: Call
490.       /* The epoch may have changed.  If so, process all the
491.        * pending records.  This is a non-blocking operation. */
492.       if ( ! dtls1_process_buffered_records(s))
                  ^
493.           return 0;
494.   

ssl/d1_pkt.c:237:1: Parameter `s->ctx->sessions->p`
  235.                      &((s)->d1->processed_rcds))
  236.   
  237. > static int
  238.   dtls1_process_buffered_records(SSL *s)
  239.       {

ssl/d1_pkt.c:614:12: Call
612.           }
613.   
614.       if ( ! dtls1_process_record(s))
                  ^
615.           return(0);
616.   

ssl/d1_pkt.c:317:1: Parameter `s->ctx->sessions->p`
  315.   #endif
  316.   
  317. > static int
  318.   dtls1_process_record(SSL *s)
  319.   {

ssl/d1_pkt.c:461:2: Call
  459.   	SSLerr(SSL_F_DTLS1_PROCESS_RECORD,SSL_R_DECRYPTION_FAILED_OR_BAD_RECORD_MAC);
  460.   f_err:
  461.   	ssl3_send_alert(s,SSL3_AL_FATAL,al);
          ^
  462.   err:
  463.   	return(0);

ssl/s3_pkt.c:1258:1: Parameter `s->ctx->sessions->p`
    1256.   	}
    1257.   
    1258. > void ssl3_send_alert(SSL *s, int level, int desc)
    1259.   	{
    1260.   	/* Map tls/ssl alert value to correct one */

ssl/s3_pkt.c:1267:3: Call
    1265.   	/* If a fatal one, remove from cache */
    1266.   	if ((level == 2) && (s->session != NULL))
    1267.   		SSL_CTX_remove_session(s->ctx,s->session);
              ^
    1268.   
    1269.   	s->s3->alert_dispatch=1;

ssl/ssl_sess.c:486:1: Parameter `ctx->sessions->p`
      484.   	}
      485.   
      486. > int SSL_CTX_remove_session(SSL_CTX *ctx, SSL_SESSION *c)
      487.   {
      488.   	return remove_session_lock(ctx, c, 1);

ssl/ssl_sess.c:488:9: Call
      486.   int SSL_CTX_remove_session(SSL_CTX *ctx, SSL_SESSION *c)
      487.   {
      488.   	return remove_session_lock(ctx, c, 1);
                     ^
      489.   }
      490.   

ssl/ssl_sess.c:491:1: Parameter `ctx->sessions->pmax`
        489.   }
        490.   
        491. > static int remove_session_lock(SSL_CTX *ctx, SSL_SESSION *c, int lck)
        492.   	{
        493.   	SSL_SESSION *r;

ssl/ssl_sess.c:502:21: Call
        500.   			{
        501.   			ret=1;
        502.   			r=(SSL_SESSION *)lh_delete(ctx->sessions,c);
                                   ^
        503.   			SSL_SESSION_list_remove(ctx,c);
        504.   			}

crypto/lhash/lhash.c:217:1: Parameter `lh->pmax`
          215.   	}
          216.   
          217. > void *lh_delete(LHASH *lh, const 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:361:1: <LHS trace>
359.   	}
360.   
361. > static void contract(LHASH *lh)
362.   	{
363.   	LHASH_NODE **n,*n1,*np;

crypto/lhash/lhash.c:361:1: Parameter `lh->p`
            359.   	}
            360.   
            361. > static void contract(LHASH *lh)
            362.   	{
            363.   	LHASH_NODE **n,*n1,*np;

crypto/lhash/lhash.c:365:5: Binary operation: ([0, +oo] - 1):unsigned32 by call to `dtls1_process_record` 
            363.   	LHASH_NODE **n,*n1,*np;
            364.   
            365.   	np=lh->b[lh->p+lh->pmax-1];
                       ^
            366.   	lh->b[lh->p+lh->pmax-1]=NULL; /* 24/07-92 - eay - weird but :-( */
            367.   	if (lh->p == 0)
