ssl/record/rec_layer_d1.c:693: error: INTEGER_OVERFLOW_L1
  ([1, +oo] + 4294967295):unsigned32.
Showing all 3 steps of the trace


ssl/record/rec_layer_d1.c:399:1: <LHS trace>
397.    *             none of our business
398.    */
399. > int dtls1_read_bytes(SSL *s, int type, int *recvd_type, unsigned char *buf,
400.                        int len, int peek)
401.   {

ssl/record/rec_layer_d1.c:399:1: Parameter `s->rlayer.rrec.length`
397.    *             none of our business
398.    */
399. > int dtls1_read_bytes(SSL *s, int type, int *recvd_type, unsigned char *buf,
400.                        int len, int peek)
401.   {

ssl/record/rec_layer_d1.c:693:17: Binary operation: ([1, +oo] + 4294967295):unsigned32
691.                   dest[k] = SSL3_RECORD_get_data(rr)[SSL3_RECORD_get_off(rr)];
692.                   SSL3_RECORD_add_off(rr, 1);
693.                   SSL3_RECORD_add_length(rr, -1);
                       ^
694.               }
695.               *dest_len = dest_maxlen;
