ssl/record/ssl3_record.c:1556: error: INTEGER_OVERFLOW_L2
  ([1, +oo] - [0, 17728]):unsigned32 by call to `dtls1_process_record`.
Showing all 12 steps of the trace


ssl/record/ssl3_record.c:1437:13: Assignment
1435.           /* this packet contained a partial record, dump it */
1436.           if (RECORD_LAYER_get_packet_length(&s->rlayer) != DTLS1_RT_HEADER_LENGTH) {
1437.               RECORD_LAYER_reset_packet_length(&s->rlayer);
                    ^
1438.               goto again;
1439.           }

ssl/record/ssl3_record.c:1556:10: Call
1554.       }
1555.   
1556.       if (!dtls1_process_record(s)) {
                 ^
1557.           rr->length = 0;
1558.           RECORD_LAYER_reset_packet_length(&s->rlayer);   /* dump this record */

ssl/record/ssl3_record.c:1218:1: Parameter `s->rlayer.rrec.length`
  1216.   }
  1217.   
  1218. > int dtls1_process_record(SSL *s)
  1219.   {
  1220.       int i, al;

ssl/record/ssl3_record.c:1257:5: Assignment
  1255.       /* decrypt in place in 'rr->input' */
  1256.       rr->data = rr->input;
  1257.       rr->orig_len = rr->length;
              ^
  1258.   
  1259.       enc_err = s->method->ssl3_enc->enc(s, 0);

ssl/record/ssl3_record.c:1314:13: Call
  1312.                */
  1313.               mac = mac_tmp;
  1314.               ssl3_cbc_copy_mac(mac_tmp, rr, mac_size);
                      ^
  1315.               rr->length -= mac_size;
  1316.           } else {

ssl/record/ssl3_record.c:1141:1: Parameter `md_size`
    1139.   #define CBC_MAC_ROTATE_IN_PLACE
    1140.   
    1141. > void ssl3_cbc_copy_mac(unsigned char *out,
    1142.                          const SSL3_RECORD *rec, unsigned md_size)
    1143.   {

ssl/record/ssl3_record.c:1193:14: Call
    1191.           unsigned char b = rec->data[i];
    1192.           rotated_mac[j++] |= b & mac_started & ~mac_ended;
    1193.           j &= constant_time_lt(j, md_size);
                         ^
    1194.       }
    1195.   

include/internal/constant_time_locl.h:142:1: <LHS trace>
140.   }
141.   
142. > static ossl_inline unsigned int constant_time_lt(unsigned int a,
143.                                                    unsigned int b)
144.   {

include/internal/constant_time_locl.h:142:1: Parameter `a`
      140.   }
      141.   
      142. > static ossl_inline unsigned int constant_time_lt(unsigned int a,
      143.                                                    unsigned int b)
      144.   {

include/internal/constant_time_locl.h:142:1: <RHS trace>
140.   }
141.   
142. > static ossl_inline unsigned int constant_time_lt(unsigned int a,
143.                                                    unsigned int b)
144.   {

include/internal/constant_time_locl.h:142:1: Parameter `b`
      140.   }
      141.   
      142. > static ossl_inline unsigned int constant_time_lt(unsigned int a,
      143.                                                    unsigned int b)
      144.   {

include/internal/constant_time_locl.h:145:12: Binary operation: ([1, +oo] - [0, 17728]):unsigned32 by call to `dtls1_process_record` 
      143.                                                    unsigned int b)
      144.   {
      145.       return constant_time_msb(a ^ ((a ^ b) | ((a - b) ^ b)));
                        ^
      146.   }
      147.   
