ssl/s3_cbc.c:642: error: INTEGER_OVERFLOW_L2
  ([13, `mac_secret_length` + 59] - [64, 128]):unsigned32.
Showing all 5 steps of the trace


ssl/s3_cbc.c:519:5: <LHS trace>
517.       OPENSSL_assert(md_size <= EVP_MAX_MD_SIZE);
518.   
519.       header_length = 13;
           ^
520.       if (is_sslv3) {
521.           header_length = mac_secret_length + sslv3_pad_length + 8 /* sequence

ssl/s3_cbc.c:519:5: Assignment
517.       OPENSSL_assert(md_size <= EVP_MAX_MD_SIZE);
518.   
519.       header_length = 13;
           ^
520.       if (is_sslv3) {
521.           header_length = mac_secret_length + sslv3_pad_length + 8 /* sequence

ssl/s3_cbc.c:425:5: <RHS trace>
423.       void (*md_final_raw) (void *ctx, unsigned char *md_out);
424.       void (*md_transform) (void *ctx, const unsigned char *block);
425.       unsigned md_size, md_block_size = 64;
           ^
426.       unsigned sslv3_pad_length = 40, header_length, variance_blocks,
427.           len, max_mac_bytes, num_blocks,

ssl/s3_cbc.c:425:5: Assignment
423.       void (*md_final_raw) (void *ctx, unsigned char *md_out);
424.       void (*md_transform) (void *ctx, const unsigned char *block);
425.       unsigned md_size, md_block_size = 64;
           ^
426.       unsigned sslv3_pad_length = 40, header_length, variance_blocks,
427.           len, max_mac_bytes, num_blocks,

ssl/s3_cbc.c:642:13: Binary operation: ([13, mac_secret_length + 59] - [64, 128]):unsigned32
640.                * consumes: either 7 bytes (SHA1) or 11 bytes (MD5).
641.                */
642.               unsigned overhang = header_length - md_block_size;
                   ^
643.               md_transform(md_state.c, header);
644.               memcpy(first_block, header + md_block_size, overhang);
