crypto/hmac/hmac.c:198: error: USE_AFTER_FREE
  call to `EVP_MD_CTX_free()` eventually accesses memory that was invalidated by call to `free()` on line 197 indirectly during the call to `hmac_ctx_cleanup()`.
Showing all 16 steps of the trace


crypto/hmac/hmac.c:194:1: invalidation part of the trace starts here
192.   }
193.   
194. > void HMAC_CTX_free(HMAC_CTX *ctx)
195.   {
196.       if (ctx != NULL) {

crypto/hmac/hmac.c:194:1: parameter `ctx` of HMAC_CTX_free
  192.   }
  193.   
  194. > void HMAC_CTX_free(HMAC_CTX *ctx)
  195.   {
  196.       if (ctx != NULL) {

crypto/hmac/hmac.c:197:9: when calling `hmac_ctx_cleanup` here
  195.   {
  196.       if (ctx != NULL) {
  197.           hmac_ctx_cleanup(ctx);
                 ^
  198.           EVP_MD_CTX_free(ctx->i_ctx);
  199.           EVP_MD_CTX_free(ctx->o_ctx);

crypto/hmac/hmac.c:184:1: parameter `ctx` of hmac_ctx_cleanup
    182.   }
    183.   
    184. > static void hmac_ctx_cleanup(HMAC_CTX *ctx)
    185.   {
    186.       EVP_MD_CTX_reset(ctx->i_ctx);

crypto/hmac/hmac.c:186:5: when calling `EVP_MD_CTX_reset` here
    184.   static void hmac_ctx_cleanup(HMAC_CTX *ctx)
    185.   {
    186.       EVP_MD_CTX_reset(ctx->i_ctx);
               ^
    187.       EVP_MD_CTX_reset(ctx->o_ctx);
    188.       EVP_MD_CTX_reset(ctx->md_ctx);

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.   #ifndef OPENSSL_NO_CRYPTO_MDEBUG

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

crypto/hmac/hmac.c:194:1: use-after-lifetime part of the trace starts here
192.   }
193.   
194. > void HMAC_CTX_free(HMAC_CTX *ctx)
195.   {
196.       if (ctx != NULL) {

crypto/hmac/hmac.c:194:1: parameter `ctx` of HMAC_CTX_free
  192.   }
  193.   
  194. > void HMAC_CTX_free(HMAC_CTX *ctx)
  195.   {
  196.       if (ctx != NULL) {

crypto/hmac/hmac.c:198:9: when calling `EVP_MD_CTX_free` here
  196.       if (ctx != NULL) {
  197.           hmac_ctx_cleanup(ctx);
  198.           EVP_MD_CTX_free(ctx->i_ctx);
                 ^
  199.           EVP_MD_CTX_free(ctx->o_ctx);
  200.           EVP_MD_CTX_free(ctx->md_ctx);

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

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