ssl/record/ssl3_record.c:941: error: INTEGER_OVERFLOW_L2
  ([65, 59+max(0, `ssl->s3->read_mac_secret_size`)] - [64, 128]):unsigned32 by call to `ssl3_cbc_digest_record`.
Showing all 7 steps of the trace


ssl/record/ssl3_record.c:879:1: Parameter `ssl->s3->read_mac_secret_size`
877.   }
878.   
879. > int tls1_mac(SSL *ssl, unsigned char *md, int send)
880.   {
881.       SSL3_RECORD *rec;

ssl/record/ssl3_record.c:941:9: Call
939.            */
940.           /* Final param == not SSLv3 */
941.           ssl3_cbc_digest_record(mac_ctx,
               ^
942.                                  md, &md_size,
943.                                  header, rec->input,

ssl/s3_cbc.c:192:5: <LHS trace>
190.       void (*md_final_raw) (void *ctx, unsigned char *md_out);
191.       void (*md_transform) (void *ctx, const unsigned char *block);
192.       unsigned md_size, md_block_size = 64;
           ^
193.       unsigned sslv3_pad_length = 40, header_length, variance_blocks,
194.           len, max_mac_bytes, num_blocks,

ssl/s3_cbc.c:192:5: Assignment
  190.       void (*md_final_raw) (void *ctx, unsigned char *md_out);
  191.       void (*md_transform) (void *ctx, const unsigned char *block);
  192.       unsigned md_size, md_block_size = 64;
             ^
  193.       unsigned sslv3_pad_length = 40, header_length, variance_blocks,
  194.           len, max_mac_bytes, num_blocks,

ssl/s3_cbc.c:192:5: <RHS trace>
190.       void (*md_final_raw) (void *ctx, unsigned char *md_out);
191.       void (*md_transform) (void *ctx, const unsigned char *block);
192.       unsigned md_size, md_block_size = 64;
           ^
193.       unsigned sslv3_pad_length = 40, header_length, variance_blocks,
194.           len, max_mac_bytes, num_blocks,

ssl/s3_cbc.c:192:5: Assignment
  190.       void (*md_final_raw) (void *ctx, unsigned char *md_out);
  191.       void (*md_transform) (void *ctx, const unsigned char *block);
  192.       unsigned md_size, md_block_size = 64;
             ^
  193.       unsigned sslv3_pad_length = 40, header_length, variance_blocks,
  194.           len, max_mac_bytes, num_blocks,

ssl/s3_cbc.c:415:13: Binary operation: ([65, 59+max(0, ssl->s3->read_mac_secret_size)] - [64, 128]):unsigned32 by call to `ssl3_cbc_digest_record` 
  413.                   return;
  414.               }
  415.               overhang = header_length - md_block_size;
                     ^
  416.               md_transform(md_state.c, header);
  417.               memcpy(first_block, header + md_block_size, overhang);
