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


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

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

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

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