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


ssl/record/ssl3_record.c:765:1: Parameter `ssl->rlayer.rrec.length`
763.   }
764.   
765. > int n_ssl3_mac(SSL *ssl, unsigned char *md, int send)
766.   {
767.       SSL3_RECORD *rec;

ssl/record/ssl3_record.c:824:9: Call
822.   
823.           /* Final param == is SSLv3 */
824.           ssl3_cbc_digest_record(hash,
               ^
825.                                  md, &md_size,
826.                                  header, rec->input,

ssl/s3_cbc.c:176:1: <LHS trace>
174.    * padding too. )
175.    */
176. > void ssl3_cbc_digest_record(const EVP_MD_CTX *ctx,
177.                               unsigned char *md_out,
178.                               size_t *md_out_size,

ssl/s3_cbc.c:176:1: Parameter `data_plus_mac_size`
  174.    * padding too. )
  175.    */
  176. > void ssl3_cbc_digest_record(const EVP_MD_CTX *ctx,
  177.                               unsigned char *md_out,
  178.                               size_t *md_out_size,

ssl/s3_cbc.c:224:9: <RHS trace>
222.           md_transform =
223.               (void (*)(void *ctx, const unsigned char *block))MD5_Transform;
224.           md_size = 16;
               ^
225.           sslv3_pad_length = 48;
226.           length_is_big_endian = 0;

ssl/s3_cbc.c:224:9: Assignment
  222.           md_transform =
  223.               (void (*)(void *ctx, const unsigned char *block))MD5_Transform;
  224.           md_size = 16;
                 ^
  225.           sslv3_pad_length = 48;
  226.           length_is_big_endian = 0;

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