crypto/evp/digest.c:167: error: USE_AFTER_FREE
  call to `EVP_DigestInit_ex()` eventually accesses memory that was invalidated by call to `free()` on line 166 indirectly during the call to `EVP_MD_CTX_reset()`.
Showing all 16 steps of the trace


crypto/evp/digest.c:164:1: invalidation part of the trace starts here
162.   }
163.   
164. > int EVP_DigestInit(EVP_MD_CTX *ctx, const EVP_MD *type)
165.   {
166.       EVP_MD_CTX_reset(ctx);

crypto/evp/digest.c:164:1: parameter `ctx` of EVP_DigestInit
  162.   }
  163.   
  164. > int EVP_DigestInit(EVP_MD_CTX *ctx, const EVP_MD *type)
  165.   {
  166.       EVP_MD_CTX_reset(ctx);

crypto/evp/digest.c:166:5: when calling `EVP_MD_CTX_reset` here
  164.   int EVP_DigestInit(EVP_MD_CTX *ctx, const EVP_MD *type)
  165.   {
  166.       EVP_MD_CTX_reset(ctx);
             ^
  167.       return EVP_DigestInit_ex(ctx, type, NULL);
  168.   }

crypto/evp/digest.c:123:1: parameter `ctx` of EVP_MD_CTX_reset
    121.   
    122.   /* This call frees resources associated with the context */
    123. > int EVP_MD_CTX_reset(EVP_MD_CTX *ctx)
    124.   {
    125.       if (ctx == NULL)

crypto/evp/digest.c:137:9: when calling `CRYPTO_clear_free` here
    135.       if (ctx->digest && ctx->digest->ctx_size && ctx->md_data
    136.           && !EVP_MD_CTX_test_flags(ctx, EVP_MD_CTX_FLAG_REUSE)) {
    137.           OPENSSL_clear_free(ctx->md_data, ctx->digest->ctx_size);
                   ^
    138.       }
    139.       EVP_PKEY_CTX_free(ctx->pctx);

crypto/mem.c:249:1: parameter `str` of CRYPTO_clear_free
      247.   }
      248.   
      249. > void CRYPTO_clear_free(void *str, size_t num)
      250.   {
      251.       if (str == NULL)

crypto/mem.c:255:5: when calling `CRYPTO_free` here
      253.       if (num)
      254.           OPENSSL_cleanse(str, num);
      255.       CRYPTO_free(str);
                 ^
      256.   }

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

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

crypto/evp/digest.c:164:1: use-after-lifetime part of the trace starts here
162.   }
163.   
164. > int EVP_DigestInit(EVP_MD_CTX *ctx, const EVP_MD *type)
165.   {
166.       EVP_MD_CTX_reset(ctx);

crypto/evp/digest.c:164:1: parameter `ctx` of EVP_DigestInit
  162.   }
  163.   
  164. > int EVP_DigestInit(EVP_MD_CTX *ctx, const EVP_MD *type)
  165.   {
  166.       EVP_MD_CTX_reset(ctx);

crypto/evp/digest.c:167:12: when calling `EVP_DigestInit_ex` here
  165.   {
  166.       EVP_MD_CTX_reset(ctx);
  167.       return EVP_DigestInit_ex(ctx, type, NULL);
                    ^
  168.   }
  169.   

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

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

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

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

void CRYPTO_free(void *str)
{
#ifdef CRYPTO_MDEBUG
    if (call_malloc_debug) {
        CRYPTO_mem_debug_free(str, 0);
        free(str);
        CRYPTO_mem_debug_free(str, 1);
    } else {
        free(str);
    }
#else
    free(str);
#endif
}
['int EVP_DigestInit(EVP_MD_CTX *ctx, const EVP_MD *type)\n{\n    EVP_MD_CTX_reset(ctx);\n    return EVP_DigestInit_ex(ctx, type, NULL);\n}', 'int EVP_MD_CTX_reset(EVP_MD_CTX *ctx)\n{\n    if (ctx == NULL)\n        return 1;\n    if (ctx->digest && ctx->digest->cleanup\n        && !EVP_MD_CTX_test_flags(ctx, EVP_MD_CTX_FLAG_CLEANED))\n        ctx->digest->cleanup(ctx);\n    if (ctx->digest && ctx->digest->ctx_size && ctx->md_data\n        && !EVP_MD_CTX_test_flags(ctx, EVP_MD_CTX_FLAG_REUSE)) {\n        OPENSSL_clear_free(ctx->md_data, ctx->digest->ctx_size);\n    }\n    EVP_PKEY_CTX_free(ctx->pctx);\n#ifndef OPENSSL_NO_ENGINE\n    if (ctx->engine)\n        ENGINE_finish(ctx->engine);\n#endif\n    memset(ctx, 0, sizeof(*ctx));\n    return 1;\n}', 'void CRYPTO_clear_free(void *str, size_t num)\n{\n    if (str == NULL)\n        return;\n    if (num)\n        OPENSSL_cleanse(str, num);\n    CRYPTO_free(str);\n}', 'void CRYPTO_free(void *str)\n{\n#ifdef CRYPTO_MDEBUG\n    if (call_malloc_debug) {\n        CRYPTO_mem_debug_free(str, 0);\n        free(str);\n        CRYPTO_mem_debug_free(str, 1);\n    } else {\n        free(str);\n    }\n#else\n    free(str);\n#endif\n}', 'int EVP_DigestInit_ex(EVP_MD_CTX *ctx, const EVP_MD *type, ENGINE *impl)\n{\n    EVP_MD_CTX_clear_flags(ctx, EVP_MD_CTX_FLAG_CLEANED);\n#ifndef OPENSSL_NO_ENGINE\n    if (ctx->engine && ctx->digest && (!type ||\n                                       (type\n                                        && (type->type ==\n                                            ctx->digest->type))))\n        goto skip_to_init;\n    if (type) {\n        if (ctx->engine)\n            ENGINE_finish(ctx->engine);\n        if (impl) {\n            if (!ENGINE_init(impl)) {\n                EVPerr(EVP_F_EVP_DIGESTINIT_EX, EVP_R_INITIALIZATION_ERROR);\n                return 0;\n            }\n        } else\n            impl = ENGINE_get_digest_engine(type->type);\n        if (impl) {\n            const EVP_MD *d = ENGINE_get_digest(impl, type->type);\n            if (!d) {\n                EVPerr(EVP_F_EVP_DIGESTINIT_EX, EVP_R_INITIALIZATION_ERROR);\n                ENGINE_finish(impl);\n                return 0;\n            }\n            type = d;\n            ctx->engine = impl;\n        } else\n            ctx->engine = NULL;\n    } else {\n        if (!ctx->digest) {\n            EVPerr(EVP_F_EVP_DIGESTINIT_EX, EVP_R_NO_DIGEST_SET);\n            return 0;\n        }\n        type = ctx->digest;\n    }\n#endif\n    if (ctx->digest != type) {\n        if (ctx->digest && ctx->digest->ctx_size)\n            OPENSSL_free(ctx->md_data);\n        ctx->digest = type;\n        if (!(ctx->flags & EVP_MD_CTX_FLAG_NO_INIT) && type->ctx_size) {\n            ctx->update = type->update;\n            ctx->md_data = OPENSSL_malloc(type->ctx_size);\n            if (ctx->md_data == NULL) {\n                EVPerr(EVP_F_EVP_DIGESTINIT_EX, ERR_R_MALLOC_FAILURE);\n                return 0;\n            }\n        }\n    }\n#ifndef OPENSSL_NO_ENGINE\n skip_to_init:\n#endif\n    if (ctx->pctx) {\n        int r;\n        r = EVP_PKEY_CTX_ctrl(ctx->pctx, -1, EVP_PKEY_OP_TYPE_SIG,\n                              EVP_PKEY_CTRL_DIGESTINIT, 0, ctx);\n        if (r <= 0 && (r != -2))\n            return 0;\n    }\n    if (ctx->flags & EVP_MD_CTX_FLAG_NO_INIT)\n        return 1;\n    return ctx->digest->init(ctx);\n}']