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


ssl/record/ssl3_record.c:155:17: <LHS trace>
153.               (RECORD_LAYER_get_packet_length(&s->rlayer)
154.                < SSL3_RT_HEADER_LENGTH)) {
155.               n = ssl3_read_n(s, SSL3_RT_HEADER_LENGTH,
                       ^
156.                   SSL3_BUFFER_get_len(rbuf), 0, num_recs == 0 ? 1 : 0);
157.               if (n <= 0)

ssl/record/ssl3_record.c:155:17: Call
153.               (RECORD_LAYER_get_packet_length(&s->rlayer)
154.                < SSL3_RT_HEADER_LENGTH)) {
155.               n = ssl3_read_n(s, SSL3_RT_HEADER_LENGTH,
                       ^
156.                   SSL3_BUFFER_get_len(rbuf), 0, num_recs == 0 ? 1 : 0);
157.               if (n <= 0)

ssl/record/rec_layer_s3.c:177:1: Parameter `n`
  175.   }
  176.   
  177. > int ssl3_read_n(SSL *s, int n, int max, int extend, int clearold)
  178.   {
  179.       /*

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