ssl/record/ssl3_record.c:236: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - 2):unsigned64.
Showing all 4 steps of the trace


ssl/record/ssl3_record.c:195:20: <LHS trace>
193.               unsigned int type;
194.   
195.               rret = ssl3_read_n(s, SSL3_RT_HEADER_LENGTH,
                          ^
196.                                  SSL3_BUFFER_get_len(rbuf), 0,
197.                                  num_recs == 0 ? 1 : 0, &n);

ssl/record/ssl3_record.c:195:20: Call
193.               unsigned int type;
194.   
195.               rret = ssl3_read_n(s, SSL3_RT_HEADER_LENGTH,
                          ^
196.                                  SSL3_BUFFER_get_len(rbuf), 0,
197.                                  num_recs == 0 ? 1 : 0, &n);

ssl/record/rec_layer_s3.c:170:1: Parameter `n`
  168.    * Return values are as per SSL_read()
  169.    */
  170. > int ssl3_read_n(SSL *s, size_t n, size_t max, int extend, int clearold,
  171.                   size_t *readbytes)
  172.   {

ssl/record/ssl3_record.c:236:21: Binary operation: ([0, +oo] - 2):unsigned64
234.                   thisrr->length = sslv2len & 0x7fff;
235.   
236.                   if (thisrr->length > SSL3_BUFFER_get_len(rbuf)
                           ^
237.                       - SSL2_RT_HEADER_LENGTH) {
238.                       al = SSL_AD_RECORD_OVERFLOW;
