ssl/record/ssl3_record.c:1235: error: INTEGER_OVERFLOW_L2
  ([13, +oo] - [16, 64]):unsigned64 by call to `ssl3_cbc_digest_record`.
Showing all 7 steps of the trace


ssl/record/ssl3_record.c:1174:1: Parameter `ssl->s3->read_mac_secret_size`
1172.   }
1173.   
1174. > int tls1_mac(SSL *ssl, SSL3_RECORD *rec, unsigned char *md, int sending)
1175.   {
1176.       unsigned char *seq;

ssl/record/ssl3_record.c:1235:13: Call
1233.            */
1234.           /* Final param == not SSLv3 */
1235.           if (ssl3_cbc_digest_record(mac_ctx,
                    ^
1236.                                      md, &md_size,
1237.                                      header, rec->input,

ssl/s3_cbc.c:128:1: <LHS trace>
126.    * Returns 1 on success or 0 on error
127.    */
128. > int ssl3_cbc_digest_record(const EVP_MD_CTX *ctx,
129.                              unsigned char *md_out,
130.                              size_t *md_out_size,

ssl/s3_cbc.c:128:1: Parameter `data_plus_mac_size`
  126.    * Returns 1 on success or 0 on error
  127.    */
  128. > int ssl3_cbc_digest_record(const EVP_MD_CTX *ctx,
  129.                              unsigned char *md_out,
  130.                              size_t *md_out_size,

ssl/s3_cbc.c:179:9: <RHS trace>
177.           md_transform =
178.               (void (*)(void *ctx, const unsigned char *block))MD5_Transform;
179.           md_size = 16;
               ^
180.           sslv3_pad_length = 48;
181.           length_is_big_endian = 0;

ssl/s3_cbc.c:179:9: Assignment
  177.           md_transform =
  178.               (void (*)(void *ctx, const unsigned char *block))MD5_Transform;
  179.           md_size = 16;
                 ^
  180.           sslv3_pad_length = 48;
  181.           length_is_big_endian = 0;

ssl/s3_cbc.c:297:5: Binary operation: ([13, +oo] - [16, 64]):unsigned64 by call to `ssl3_cbc_digest_record` 
  295.        * mac_end_offset is the index just past the end of the data to be MACed.
  296.        */
  297.       mac_end_offset = data_plus_mac_size + header_length - md_size;
             ^
  298.       /*
  299.        * c is the index of the 0x80 byte in the final hash block that contains
