ssl/record/ssl3_record.c:1614: error: INTEGER_OVERFLOW_L2
  ([0, 17728] - [0, 64]):unsigned32 by call to `dtls1_process_record`.
Showing all 10 steps of the trace


ssl/record/ssl3_record.c:1495:13: Assignment
1493.           if (RECORD_LAYER_get_packet_length(&s->rlayer) !=
1494.               DTLS1_RT_HEADER_LENGTH) {
1495.               RECORD_LAYER_reset_packet_length(&s->rlayer);
                    ^
1496.               goto again;
1497.           }

ssl/record/ssl3_record.c:1614:10: Call
1612.       }
1613.   
1614.       if (!dtls1_process_record(s)) {
                 ^
1615.           rr->length = 0;
1616.           RECORD_LAYER_reset_packet_length(&s->rlayer); /* dump this record */

ssl/record/ssl3_record.c:1276:1: Parameter `s->rlayer.rrec.length`
  1274.   }
  1275.   
  1276. > int dtls1_process_record(SSL *s)
  1277.   {
  1278.       int i, al;

ssl/record/ssl3_record.c:1372:13: Call
  1370.                */
  1371.               mac = mac_tmp;
  1372.               ssl3_cbc_copy_mac(mac_tmp, rr, mac_size);
                      ^
  1373.               rr->length -= mac_size;
  1374.           } else {

ssl/record/ssl3_record.c:1199:1: <LHS trace>
1197.   #define CBC_MAC_ROTATE_IN_PLACE
1198.   
1199. > void ssl3_cbc_copy_mac(unsigned char *out,
1200.                          const SSL3_RECORD *rec, unsigned md_size)
1201.   {

ssl/record/ssl3_record.c:1199:1: Parameter `rec->length`
    1197.   #define CBC_MAC_ROTATE_IN_PLACE
    1198.   
    1199. > void ssl3_cbc_copy_mac(unsigned char *out,
    1200.                          const SSL3_RECORD *rec, unsigned md_size)
    1201.   {

ssl/record/ssl3_record.c:1212:5: Assignment
    1210.        * mac_end is the index of |rec->data| just after the end of the MAC.
    1211.        */
    1212.       unsigned mac_end = rec->length;
                ^
    1213.       unsigned mac_start = mac_end - md_size;
    1214.       /*

ssl/record/ssl3_record.c:1199:1: <RHS trace>
1197.   #define CBC_MAC_ROTATE_IN_PLACE
1198.   
1199. > void ssl3_cbc_copy_mac(unsigned char *out,
1200.                          const SSL3_RECORD *rec, unsigned md_size)
1201.   {

ssl/record/ssl3_record.c:1199:1: Parameter `md_size`
    1197.   #define CBC_MAC_ROTATE_IN_PLACE
    1198.   
    1199. > void ssl3_cbc_copy_mac(unsigned char *out,
    1200.                          const SSL3_RECORD *rec, unsigned md_size)
    1201.   {

ssl/record/ssl3_record.c:1213:5: Binary operation: ([0, 17728] - [0, 64]):unsigned32 by call to `dtls1_process_record` 
    1211.        */
    1212.       unsigned mac_end = rec->length;
    1213.       unsigned mac_start = mac_end - md_size;
                ^
    1214.       /*
    1215.        * scan_start contains the number of bytes that we can ignore because the
