ssl/s3_enc.c:772: error: INTEGER_OVERFLOW_L2
  ([-51, +oo] - 1):unsigned32 by call to `ssl3_cbc_digest_record`.
Showing all 5 steps of the trace


ssl/s3_enc.c:713:1: Parameter `ssl->s3->rrec.orig_len`
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:457:9: <LHS 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:552:5: Binary operation: ([-51, +oo] - 1):unsigned32 by call to `ssl3_cbc_digest_record` 
  550.        * including * |header|, assuming that there's no padding.
  551.        */
  552.       max_mac_bytes = len - md_size - 1;
             ^
  553.       /* num_blocks is the maximum number of hash blocks. */
  554.       num_blocks =
