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


ssl/s3_enc.c:713:1: Parameter `ssl->s3->rrec.length`
711.   }
712.   
713. > int n_ssl3_mac(SSL *ssl, unsigned char *md, int send)
714.   {
715.       SSL3_RECORD *rec;

ssl/s3_enc.c:772:9: Call
770.   
771.           /* Final param == is SSLv3 */
772.           ssl3_cbc_digest_record(hash,
               ^
773.                                  md, &md_size,
774.                                  header, rec->input,

ssl/s3_cbc.c:409:1: <LHS trace>
407.    * padding too. )
408.    */
409. > void ssl3_cbc_digest_record(const EVP_MD_CTX *ctx,
410.                               unsigned char *md_out,
411.                               size_t *md_out_size,

ssl/s3_cbc.c:409:1: Parameter `data_plus_mac_size`
  407.    * padding too. )
  408.    */
  409. > void ssl3_cbc_digest_record(const EVP_MD_CTX *ctx,
  410.                               unsigned char *md_out,
  411.                               size_t *md_out_size,

ssl/s3_cbc.c:457:9: <RHS trace>
455.           md_transform =
456.               (void (*)(void *ctx, const unsigned char *block))MD5_Transform;
457.           md_size = 16;
               ^
458.           sslv3_pad_length = 48;
459.           length_is_big_endian = 0;

ssl/s3_cbc.c:457:9: Assignment
  455.           md_transform =
  456.               (void (*)(void *ctx, const unsigned char *block))MD5_Transform;
  457.           md_size = 16;
                 ^
  458.           sslv3_pad_length = 48;
  459.           length_is_big_endian = 0;

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