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


ssl/record/ssl3_record.c:1199:9: Call
1197.       }
1198.   
1199.       t = EVP_MD_CTX_size(hash);
                ^
1200.       if (t < 0)
1201.           return 0;

crypto/evp/evp_lib.c:318:9: Assignment
  316.       if (!md) {
  317.           EVPerr(EVP_F_EVP_MD_SIZE, EVP_R_MESSAGE_DIGEST_IS_NULL);
  318.           return -1;
                 ^
  319.       }
  320.   

ssl/record/ssl3_record.c:1199:5: Assignment
1197.       }
1198.   
1199.       t = EVP_MD_CTX_size(hash);
            ^
1200.       if (t < 0)
1201.           return 0;

ssl/record/ssl3_record.c:1202:5: Assignment
1200.       if (t < 0)
1201.           return 0;
1202.       md_size = t;
            ^
1203.       npad = (48 / md_size) * md_size;
1204.   

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

ssl/s3_cbc.c:144:5: <LHS trace>
142.       void (*md_final_raw) (void *ctx, unsigned char *md_out);
143.       void (*md_transform) (void *ctx, const unsigned char *block);
144.       size_t md_size, md_block_size = 64;
           ^
145.       size_t sslv3_pad_length = 40, header_length, variance_blocks,
146.           len, max_mac_bytes, num_blocks,

ssl/s3_cbc.c:144:5: Assignment
  142.       void (*md_final_raw) (void *ctx, unsigned char *md_out);
  143.       void (*md_transform) (void *ctx, const unsigned char *block);
  144.       size_t md_size, md_block_size = 64;
             ^
  145.       size_t sslv3_pad_length = 40, header_length, variance_blocks,
  146.           len, max_mac_bytes, num_blocks,

ssl/s3_cbc.c:144:5: <RHS trace>
142.       void (*md_final_raw) (void *ctx, unsigned char *md_out);
143.       void (*md_transform) (void *ctx, const unsigned char *block);
144.       size_t md_size, md_block_size = 64;
           ^
145.       size_t sslv3_pad_length = 40, header_length, variance_blocks,
146.           len, max_mac_bytes, num_blocks,

ssl/s3_cbc.c:144:5: Assignment
  142.       void (*md_final_raw) (void *ctx, unsigned char *md_out);
  143.       void (*md_transform) (void *ctx, const unsigned char *block);
  144.       size_t md_size, md_block_size = 64;
             ^
  145.       size_t sslv3_pad_length = 40, header_length, variance_blocks,
  146.           len, max_mac_bytes, num_blocks,

ssl/s3_cbc.c:377:13: Binary operation: ([65, +oo] - [64, 128]):unsigned64 by call to `ssl3_cbc_digest_record` 
  375.                   return 0;
  376.               }
  377.               overhang = header_length - md_block_size;
                     ^
  378.               md_transform(md_state.c, header);
  379.               memcpy(first_block, header + md_block_size, overhang);
