ssl/record/ssl3_record.c:937: 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:901:9: Call
899.       }
900.   
901.       t = EVP_MD_CTX_size(hash);
               ^
902.       if (t < 0)
903.           return 0;

crypto/evp/evp_lib.c:305:9: Assignment
  303.       if (!md) {
  304.           EVPerr(EVP_F_EVP_MD_SIZE, EVP_R_MESSAGE_DIGEST_IS_NULL);
  305.           return -1;
                 ^
  306.       }
  307.       return md->md_size;

ssl/record/ssl3_record.c:901:5: Assignment
899.       }
900.   
901.       t = EVP_MD_CTX_size(hash);
           ^
902.       if (t < 0)
903.           return 0;

ssl/record/ssl3_record.c:904:5: Assignment
902.       if (t < 0)
903.           return 0;
904.       md_size = t;
           ^
905.       npad = (48 / md_size) * md_size;
906.   

ssl/record/ssl3_record.c:937:13: Call
935.   
936.           /* Final param == is SSLv3 */
937.           if (ssl3_cbc_digest_record(hash,
                   ^
938.                                      md, &md_size,
939.                                      header, rec->input,

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

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

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

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

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