ssl/record/ssl3_record.c:907: error: BUFFER_OVERRUN_L3
  Offset added: [-63, +oo] Size: 128 by call to `ssl3_cbc_digest_record`.
Showing all 11 steps of the trace


ssl/record/ssl3_record.c:871:9: Call
869.       }
870.   
871.       t = EVP_MD_CTX_size(hash);
               ^
872.       if (t < 0)
873.           return -1;

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:871:5: Assignment
869.       }
870.   
871.       t = EVP_MD_CTX_size(hash);
           ^
872.       if (t < 0)
873.           return -1;

ssl/record/ssl3_record.c:874:5: Assignment
872.       if (t < 0)
873.           return -1;
874.       md_size = t;
           ^
875.       npad = (48 / md_size) * md_size;
876.   

ssl/record/ssl3_record.c:907:13: Call
905.   
906.           /* Final param == is SSLv3 */
907.           if (ssl3_cbc_digest_record(hash,
                   ^
908.                                      md, &md_size,
909.                                      header, rec->input,

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

ssl/s3_cbc.c:374:13: Assignment
  372.                   return 0;
  373.               }
  374.               overhang = header_length - md_block_size;
                     ^
  375.               md_transform(md_state.c, header);
  376.               memcpy(first_block, header + md_block_size, overhang);

ssl/s3_cbc.c:129:1: <Length trace>
127.    * Returns 1 on success or 0 on error
128.    */
129. > int ssl3_cbc_digest_record(const EVP_MD_CTX *ctx,
130.                              unsigned char *md_out,
131.                              size_t *md_out_size,

ssl/s3_cbc.c:129:1: Array declaration
  127.    * Returns 1 on success or 0 on error
  128.    */
  129. > int ssl3_cbc_digest_record(const EVP_MD_CTX *ctx,
  130.                              unsigned char *md_out,
  131.                              size_t *md_out_size,

ssl/s3_cbc.c:376:13: Array access: Offset added: [-63, +oo] Size: 128 by call to `ssl3_cbc_digest_record` 
  374.               overhang = header_length - md_block_size;
  375.               md_transform(md_state.c, header);
  376.               memcpy(first_block, header + md_block_size, overhang);
                     ^
  377.               memcpy(first_block + overhang, data, md_block_size - overhang);
  378.               md_transform(md_state.c, first_block);
