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


ssl/record/ssl3_record.c:1745:1: Parameter `s->session->ext.max_fragment_len_mode`
1743.    */
1744.   /* used only by dtls1_read_bytes */
1745. > int dtls1_get_record(SSL *s)
1746.   {
1747.       int ssl_major, ssl_minor;

ssl/record/ssl3_record.c:1914:10: Call
1912.       }
1913.   
1914.       if (!dtls1_process_record(s, bitmap)) {
                 ^
1915.           rr->length = 0;
1916.           RECORD_LAYER_reset_packet_length(&s->rlayer); /* dump this record */

ssl/record/ssl3_record.c:1519:1: Parameter `s->rlayer.rrec.length`
  1517.   }
  1518.   
  1519. > int dtls1_process_record(SSL *s, DTLS1_BITMAP *bitmap)
  1520.   {
  1521.       int i, al;

ssl/record/ssl3_record.c:1559:5: Assignment
  1557.       /* decrypt in place in 'rr->input' */
  1558.       rr->data = rr->input;
  1559.       rr->orig_len = rr->length;
              ^
  1560.   
  1561.       if (SSL_READ_ETM(s) && s->read_hash) {

ssl/record/ssl3_record.c:1652:18: Call
  1650.                */
  1651.               mac = mac_tmp;
  1652.               if (!ssl3_cbc_copy_mac(mac_tmp, rr, mac_size)) {
                           ^
  1653.                   al = SSL_AD_INTERNAL_ERROR;
  1654.                   SSLerr(SSL_F_DTLS1_PROCESS_RECORD, ERR_R_INTERNAL_ERROR);

ssl/record/ssl3_record.c:1444:1: <LHS trace>
1442.   #define CBC_MAC_ROTATE_IN_PLACE
1443.   
1444. > int ssl3_cbc_copy_mac(unsigned char *out,
1445.                          const SSL3_RECORD *rec, size_t md_size)
1446.   {

ssl/record/ssl3_record.c:1444:1: Parameter `md_size`
    1442.   #define CBC_MAC_ROTATE_IN_PLACE
    1443.   
    1444. > int ssl3_cbc_copy_mac(unsigned char *out,
    1445.                          const SSL3_RECORD *rec, size_t md_size)
    1446.   {

ssl/record/ssl3_record.c:1444:1: <RHS trace>
1442.   #define CBC_MAC_ROTATE_IN_PLACE
1443.   
1444. > int ssl3_cbc_copy_mac(unsigned char *out,
1445.                          const SSL3_RECORD *rec, size_t md_size)
1446.   {

ssl/record/ssl3_record.c:1444:1: Parameter `md_size`
    1442.   #define CBC_MAC_ROTATE_IN_PLACE
    1443.   
    1444. > int ssl3_cbc_copy_mac(unsigned char *out,
    1445.                          const SSL3_RECORD *rec, size_t md_size)
    1446.   {

ssl/record/ssl3_record.c:1478:9: Binary operation: ([0, 17728] - [256, 17984]):unsigned64 by call to `dtls1_process_record` 
    1476.       /* This information is public so it's safe to branch based on it. */
    1477.       if (rec->orig_len > md_size + 255 + 1)
    1478.           scan_start = rec->orig_len - (md_size + 255 + 1);
                    ^
    1479.   
    1480.       in_mac = 0;
