ssl/record/ssl3_record.c:950: 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:888:1: Parameter `ssl->s3->read_mac_secret_size`
886.   }
887.   
888. > int tls1_mac(SSL *ssl, unsigned char *md, int send)
889.   {
890.       SSL3_RECORD *rec;

ssl/record/ssl3_record.c:950:13: Call
948.            */
949.           /* Final param == not SSLv3 */
950.           if (ssl3_cbc_digest_record(mac_ctx,
                   ^
951.                                      md, &md_size,
952.                                      header, rec->input,

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

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

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

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

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