crypto/evp/evp_enc.c:53: error: USE_AFTER_FREE
  call to `EVP_CipherInit_ex()` eventually accesses memory that was invalidated by call to `free()` on line 52 indirectly during the call to `EVP_CIPHER_CTX_reset()`.
Showing all 12 steps of the trace


crypto/evp/evp_enc.c:49:1: invalidation part of the trace starts here
47.   }
48.   
49. > int EVP_CipherInit(EVP_CIPHER_CTX *ctx, const EVP_CIPHER *cipher,
50.                      const unsigned char *key, const unsigned char *iv, int enc)
51.   {

crypto/evp/evp_enc.c:49:1: parameter `ctx` of EVP_CipherInit
  47.   }
  48.   
  49. > int EVP_CipherInit(EVP_CIPHER_CTX *ctx, const EVP_CIPHER *cipher,
  50.                      const unsigned char *key, const unsigned char *iv, int enc)
  51.   {

crypto/evp/evp_enc.c:52:5: when calling `EVP_CIPHER_CTX_reset` here
  50.                      const unsigned char *key, const unsigned char *iv, int enc)
  51.   {
  52.       EVP_CIPHER_CTX_reset(ctx);
            ^
  53.       return EVP_CipherInit_ex(ctx, cipher, NULL, key, iv, enc);
  54.   }

crypto/evp/evp_enc.c:19:1: parameter `c` of EVP_CIPHER_CTX_reset
    17.   #include "evp_locl.h"
    18.   
    19. > int EVP_CIPHER_CTX_reset(EVP_CIPHER_CTX *c)
    20.   {
    21.       if (c == NULL)

crypto/evp/evp_enc.c:30:5: when calling `CRYPTO_free` here
    28.               OPENSSL_cleanse(c->cipher_data, c->cipher->ctx_size);
    29.       }
    30.       OPENSSL_free(c->cipher_data);
              ^
    31.   #ifndef OPENSSL_NO_ENGINE
    32.       ENGINE_finish(c->engine);

crypto/mem.c:163:1: parameter `str` of CRYPTO_free
      161.   }
      162.   
      163. > void CRYPTO_free(void *str, const char *file, int line)
      164.   {
      165.       if (free_impl != NULL && free_impl != &CRYPTO_free) {

crypto/mem.c:179:5: was invalidated by call to `free()`
      177.       }
      178.   #else
      179.       free(str);
                 ^
      180.   #endif
      181.   }

crypto/evp/evp_enc.c:49:1: use-after-lifetime part of the trace starts here
47.   }
48.   
49. > int EVP_CipherInit(EVP_CIPHER_CTX *ctx, const EVP_CIPHER *cipher,
50.                      const unsigned char *key, const unsigned char *iv, int enc)
51.   {

crypto/evp/evp_enc.c:49:1: parameter `ctx` of EVP_CipherInit
  47.   }
  48.   
  49. > int EVP_CipherInit(EVP_CIPHER_CTX *ctx, const EVP_CIPHER *cipher,
  50.                      const unsigned char *key, const unsigned char *iv, int enc)
  51.   {

crypto/evp/evp_enc.c:53:12: when calling `EVP_CipherInit_ex` here
  51.   {
  52.       EVP_CIPHER_CTX_reset(ctx);
  53.       return EVP_CipherInit_ex(ctx, cipher, NULL, key, iv, enc);
                   ^
  54.   }
  55.   

crypto/mem.c:163:1: parameter `str` of CRYPTO_free
    161.   }
    162.   
    163. > void CRYPTO_free(void *str, const char *file, int line)
    164.   {
    165.       if (free_impl != NULL && free_impl != &CRYPTO_free) {

crypto/mem.c:179:5: invalid access occurs here
    177.       }
    178.   #else
    179.       free(str);
               ^
    180.   #endif
    181.   }

void CRYPTO_free(void *str, const char *file, int line)
{
    if (free_impl != NULL && free_impl != &CRYPTO_free) {
        free_impl(str, file, line);
        return;
    }
#ifndef OPENSSL_NO_CRYPTO_MDEBUG
    if (call_malloc_debug) {
        CRYPTO_mem_debug_free(str, 0, file, line);
        free(str);
        CRYPTO_mem_debug_free(str, 1, file, line);
    } else {
        free(str);
    }
#else
    free(str);
#endif
}
['int EVP_CipherInit(EVP_CIPHER_CTX *ctx, const EVP_CIPHER *cipher,\n                   const unsigned char *key, const unsigned char *iv, int enc)\n{\n    EVP_CIPHER_CTX_reset(ctx);\n    return EVP_CipherInit_ex(ctx, cipher, NULL, key, iv, enc);\n}', 'int EVP_CIPHER_CTX_reset(EVP_CIPHER_CTX *c)\n{\n    if (c == NULL)\n        return 1;\n    if (c->cipher != NULL) {\n        if (c->cipher->cleanup && !c->cipher->cleanup(c))\n            return 0;\n        if (c->cipher_data && c->cipher->ctx_size)\n            OPENSSL_cleanse(c->cipher_data, c->cipher->ctx_size);\n    }\n    OPENSSL_free(c->cipher_data);\n#ifndef OPENSSL_NO_ENGINE\n    ENGINE_finish(c->engine);\n#endif\n    memset(c, 0, sizeof(*c));\n    return 1;\n}', 'void CRYPTO_free(void *str, const char *file, int line)\n{\n    if (free_impl != NULL && free_impl != &CRYPTO_free) {\n        free_impl(str, file, line);\n        return;\n    }\n#ifndef OPENSSL_NO_CRYPTO_MDEBUG\n    if (call_malloc_debug) {\n        CRYPTO_mem_debug_free(str, 0, file, line);\n        free(str);\n        CRYPTO_mem_debug_free(str, 1, file, line);\n    } else {\n        free(str);\n    }\n#else\n    free(str);\n#endif\n}']