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


ssl/t1_enc.c:975:1: Parameter `ssl->s3->read_mac_secret_size`
973.   	}
974.   
975. > int tls1_mac(SSL *ssl, unsigned char *md, int send)
976.   	{
977.   	SSL3_RECORD *rec;

ssl/t1_enc.c:1042:3: Call
1040.   		 * data we are hashing because that gives an attacker a
1041.   		 * timing-oracle. */
1042.   		ssl3_cbc_digest_record(
          ^
1043.   			mac_ctx,
1044.   			md, &md_size,

ssl/s3_cbc.c:402:1: <LHS trace>
400.    * padding too. ) 
401.    */
402. > void ssl3_cbc_digest_record(
403.   	const EVP_MD_CTX *ctx,
404.   	unsigned char* md_out,

ssl/s3_cbc.c:402:1: Parameter `data_plus_mac_size`
  400.    * padding too. ) 
  401.    */
  402. > void ssl3_cbc_digest_record(
  403.   	const EVP_MD_CTX *ctx,
  404.   	unsigned char* md_out,

ssl/s3_cbc.c:446:4: <RHS trace>
444.   			md_final_raw = tls1_md5_final_raw;
445.   			md_transform = (void(*)(void *ctx, const unsigned char *block)) MD5_Transform;
446.   			md_size = 16;
          ^
447.   			sslv3_pad_length = 48;
448.   			length_is_big_endian = 0;

ssl/s3_cbc.c:446:4: Assignment
  444.   			md_final_raw = tls1_md5_final_raw;
  445.   			md_transform = (void(*)(void *ctx, const unsigned char *block)) MD5_Transform;
  446.   			md_size = 16;
            ^
  447.   			sslv3_pad_length = 48;
  448.   			length_is_big_endian = 0;

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