ssl/ssl_lib.c:3658: error: USE_AFTER_FREE
  call to `EVP_MD_CTX_free()` eventually accesses memory that was invalidated by call to `free()` on line 3657 indirectly during the call to `EVP_DigestInit_ex()`.
Showing all 16 steps of the trace


ssl/ssl_lib.c:3656:13: invalidation part of the trace starts here
3654.   {
3655.       ssl_clear_hash_ctx(hash);
3656.       *hash = EVP_MD_CTX_new();
                    ^
3657.       if (*hash == NULL || (md && EVP_DigestInit_ex(*hash, md, NULL) <= 0)) {
3658.           EVP_MD_CTX_free(*hash);

ssl/ssl_lib.c:3656:13: passed as argument to `EVP_MD_CTX_new`
  3654.   {
  3655.       ssl_clear_hash_ctx(hash);
  3656.       *hash = EVP_MD_CTX_new();
                      ^
  3657.       if (*hash == NULL || (md && EVP_DigestInit_ex(*hash, md, NULL) <= 0)) {
  3658.           EVP_MD_CTX_free(*hash);

ssl/ssl_lib.c:3656:13: return from call to `EVP_MD_CTX_new`
  3654.   {
  3655.       ssl_clear_hash_ctx(hash);
  3656.       *hash = EVP_MD_CTX_new();
                      ^
  3657.       if (*hash == NULL || (md && EVP_DigestInit_ex(*hash, md, NULL) <= 0)) {
  3658.           EVP_MD_CTX_free(*hash);

ssl/ssl_lib.c:3656:5: assigned
  3654.   {
  3655.       ssl_clear_hash_ctx(hash);
  3656.       *hash = EVP_MD_CTX_new();
              ^
  3657.       if (*hash == NULL || (md && EVP_DigestInit_ex(*hash, md, NULL) <= 0)) {
  3658.           EVP_MD_CTX_free(*hash);

ssl/ssl_lib.c:3657:33: when calling `EVP_DigestInit_ex` here
  3655.       ssl_clear_hash_ctx(hash);
  3656.       *hash = EVP_MD_CTX_new();
  3657.       if (*hash == NULL || (md && EVP_DigestInit_ex(*hash, md, NULL) <= 0)) {
                                          ^
  3658.           EVP_MD_CTX_free(*hash);
  3659.           *hash = NULL;

crypto/evp/digest.c:169:1: parameter `ctx` of EVP_DigestInit_ex
    167.   }
    168.   
    169. > int EVP_DigestInit_ex(EVP_MD_CTX *ctx, const EVP_MD *type, ENGINE *impl)
    170.   {
    171.       EVP_MD_CTX_clear_flags(ctx, EVP_MD_CTX_FLAG_CLEANED);

crypto/evp/digest.c:228:13: when calling `CRYPTO_free` here
    226.       if (ctx->digest != type) {
    227.           if (ctx->digest && ctx->digest->ctx_size)
    228.               OPENSSL_free(ctx->md_data);
                       ^
    229.           ctx->digest = type;
    230.           if (!(ctx->flags & EVP_MD_CTX_FLAG_NO_INIT) && type->ctx_size) {

crypto/mem.c:233:1: parameter `str` of CRYPTO_free
      231.   }
      232.   
      233. > void CRYPTO_free(void *str)
      234.   {
      235.   #ifndef OPENSSL_NO_CRYPTO_MDEBUG

crypto/mem.c:244:5: was invalidated by call to `free()`
      242.       }
      243.   #else
      244.       free(str);
                 ^
      245.   #endif
      246.   }

ssl/ssl_lib.c:3656:13: use-after-lifetime part of the trace starts here
3654.   {
3655.       ssl_clear_hash_ctx(hash);
3656.       *hash = EVP_MD_CTX_new();
                    ^
3657.       if (*hash == NULL || (md && EVP_DigestInit_ex(*hash, md, NULL) <= 0)) {
3658.           EVP_MD_CTX_free(*hash);

ssl/ssl_lib.c:3656:13: passed as argument to `EVP_MD_CTX_new`
  3654.   {
  3655.       ssl_clear_hash_ctx(hash);
  3656.       *hash = EVP_MD_CTX_new();
                      ^
  3657.       if (*hash == NULL || (md && EVP_DigestInit_ex(*hash, md, NULL) <= 0)) {
  3658.           EVP_MD_CTX_free(*hash);

ssl/ssl_lib.c:3656:13: return from call to `EVP_MD_CTX_new`
  3654.   {
  3655.       ssl_clear_hash_ctx(hash);
  3656.       *hash = EVP_MD_CTX_new();
                      ^
  3657.       if (*hash == NULL || (md && EVP_DigestInit_ex(*hash, md, NULL) <= 0)) {
  3658.           EVP_MD_CTX_free(*hash);

ssl/ssl_lib.c:3656:5: assigned
  3654.   {
  3655.       ssl_clear_hash_ctx(hash);
  3656.       *hash = EVP_MD_CTX_new();
              ^
  3657.       if (*hash == NULL || (md && EVP_DigestInit_ex(*hash, md, NULL) <= 0)) {
  3658.           EVP_MD_CTX_free(*hash);

ssl/ssl_lib.c:3658:9: when calling `EVP_MD_CTX_free` here
  3656.       *hash = EVP_MD_CTX_new();
  3657.       if (*hash == NULL || (md && EVP_DigestInit_ex(*hash, md, NULL) <= 0)) {
  3658.           EVP_MD_CTX_free(*hash);
                  ^
  3659.           *hash = NULL;
  3660.           return NULL;

crypto/mem.c:233:1: parameter `str` of CRYPTO_free
    231.   }
    232.   
    233. > void CRYPTO_free(void *str)
    234.   {
    235.   #ifndef OPENSSL_NO_CRYPTO_MDEBUG

crypto/mem.c:244:5: invalid access occurs here
    242.       }
    243.   #else
    244.       free(str);
               ^
    245.   #endif
    246.   }
