ssl/record/rec_layer_d1.c:279: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - [0, 64]):unsigned64 by call to `dtls1_process_record`.
Showing all 10 steps of the trace


ssl/record/rec_layer_d1.c:222:1: Parameter `s->rlayer.rrec.length`
220.                      &((s)->rlayer.d->unprocessed_rcds))
221.   
222. > int dtls1_process_buffered_records(SSL *s)
223.   {
224.       pitem *item;

ssl/record/rec_layer_d1.c:279:31: Call
277.               }
278.   
279.               if (!replayok || !dtls1_process_record(s, bitmap)) {
                                     ^
280.                   /* dump this record */
281.                   rr->length = 0;

ssl/record/ssl3_record.c:1495:1: Parameter `s->rlayer.rrec.length`
  1493.   }
  1494.   
  1495. > int dtls1_process_record(SSL *s, DTLS1_BITMAP *bitmap)
  1496.   {
  1497.       int i, al;

ssl/record/ssl3_record.c:1628:18: Call
  1626.                */
  1627.               mac = mac_tmp;
  1628.               if (!ssl3_cbc_copy_mac(mac_tmp, rr, mac_size)) {
                           ^
  1629.                   al = SSL_AD_INTERNAL_ERROR;
  1630.                   SSLerr(SSL_F_DTLS1_PROCESS_RECORD, ERR_R_INTERNAL_ERROR);

ssl/record/ssl3_record.c:1420:1: <LHS trace>
1418.   #define CBC_MAC_ROTATE_IN_PLACE
1419.   
1420. > int ssl3_cbc_copy_mac(unsigned char *out,
1421.                          const SSL3_RECORD *rec, size_t md_size)
1422.   {

ssl/record/ssl3_record.c:1420:1: Parameter `rec->length`
    1418.   #define CBC_MAC_ROTATE_IN_PLACE
    1419.   
    1420. > int ssl3_cbc_copy_mac(unsigned char *out,
    1421.                          const SSL3_RECORD *rec, size_t md_size)
    1422.   {

ssl/record/ssl3_record.c:1433:5: Assignment
    1431.        * mac_end is the index of |rec->data| just after the end of the MAC.
    1432.        */
    1433.       size_t mac_end = rec->length;
                ^
    1434.       size_t mac_start = mac_end - md_size;
    1435.       size_t in_mac;

ssl/record/ssl3_record.c:1420:1: <RHS trace>
1418.   #define CBC_MAC_ROTATE_IN_PLACE
1419.   
1420. > int ssl3_cbc_copy_mac(unsigned char *out,
1421.                          const SSL3_RECORD *rec, size_t md_size)
1422.   {

ssl/record/ssl3_record.c:1420:1: Parameter `md_size`
    1418.   #define CBC_MAC_ROTATE_IN_PLACE
    1419.   
    1420. > int ssl3_cbc_copy_mac(unsigned char *out,
    1421.                          const SSL3_RECORD *rec, size_t md_size)
    1422.   {

ssl/record/ssl3_record.c:1434:5: Binary operation: ([0, +oo] - [0, 64]):unsigned64 by call to `dtls1_process_record` 
    1432.        */
    1433.       size_t mac_end = rec->length;
    1434.       size_t mac_start = mac_end - md_size;
                ^
    1435.       size_t in_mac;
    1436.       /*
