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


ssl/record/ssl3_record.c:256:17: <LHS trace>
254.               (RECORD_LAYER_get_packet_length(&s->rlayer)
255.                < SSL3_RT_HEADER_LENGTH)) {
256.               n = ssl3_read_n(s, SSL3_RT_HEADER_LENGTH,
                       ^
257.                   SSL3_BUFFER_get_len(rbuf), 0, num_recs == 0 ? 1 : 0);
258.               if (n <= 0)

ssl/record/ssl3_record.c:256:17: Call
254.               (RECORD_LAYER_get_packet_length(&s->rlayer)
255.                < SSL3_RT_HEADER_LENGTH)) {
256.               n = ssl3_read_n(s, SSL3_RT_HEADER_LENGTH,
                       ^
257.                   SSL3_BUFFER_get_len(rbuf), 0, num_recs == 0 ? 1 : 0);
258.               if (n <= 0)

ssl/record/rec_layer_s3.c:293:1: Parameter `n`
  291.   }
  292.   
  293. > int ssl3_read_n(SSL *s, int n, int max, int extend, int clearold)
  294.   {
  295.       /*

ssl/record/ssl3_record.c:279:21: Binary operation: ([0, +oo] - 2):unsigned64
277.                   rr[num_recs].length = ((p[0] & 0x7f) << 8) | p[1];
278.   
279.                   if (rr[num_recs].length > SSL3_BUFFER_get_len(&rbuf[num_recs])
                           ^
280.                                    - SSL2_RT_HEADER_LENGTH) {
281.                       al = SSL_AD_RECORD_OVERFLOW;
