crypto/engine/eng_cnf.c:183: error: USE_AFTER_FREE
  call to `ENGINE_finish()` eventually accesses memory that was invalidated by call to `free()` on line 183 indirectly during the call to `ENGINE_finish()`.
Showing all 22 steps of the trace


crypto/engine/eng_cnf.c:182:31: invalidation part of the trace starts here
180.       ENGINE *e;
181.   
182.       while ((e = sk_ENGINE_pop(initialized_engines)))
                                     ^
183.           ENGINE_finish(e);
184.       sk_ENGINE_free(initialized_engines);

crypto/engine/eng_cnf.c:182:31: global variable `initialized_engines` accessed here
  180.       ENGINE *e;
  181.   
  182.       while ((e = sk_ENGINE_pop(initialized_engines)))
                                       ^
  183.           ENGINE_finish(e);
  184.       sk_ENGINE_free(initialized_engines);

crypto/engine/eng_cnf.c:182:17: passed as argument to `sk_ENGINE_pop`
  180.       ENGINE *e;
  181.   
  182.       while ((e = sk_ENGINE_pop(initialized_engines)))
                         ^
  183.           ENGINE_finish(e);
  184.       sk_ENGINE_free(initialized_engines);

crypto/engine/eng_cnf.c:182:17: return from call to `sk_ENGINE_pop`
  180.       ENGINE *e;
  181.   
  182.       while ((e = sk_ENGINE_pop(initialized_engines)))
                         ^
  183.           ENGINE_finish(e);
  184.       sk_ENGINE_free(initialized_engines);

crypto/engine/eng_cnf.c:182:13: assigned
  180.       ENGINE *e;
  181.   
  182.       while ((e = sk_ENGINE_pop(initialized_engines)))
                     ^
  183.           ENGINE_finish(e);
  184.       sk_ENGINE_free(initialized_engines);

crypto/engine/eng_cnf.c:183:9: when calling `ENGINE_finish` here
  181.   
  182.       while ((e = sk_ENGINE_pop(initialized_engines)))
  183.           ENGINE_finish(e);
                 ^
  184.       sk_ENGINE_free(initialized_engines);
  185.       initialized_engines = NULL;

crypto/engine/eng_init.c:95:1: parameter `e` of ENGINE_finish
    93.   
    94.   /* The API (locked) version of "finish" */
    95. > int ENGINE_finish(ENGINE *e)
    96.   {
    97.       int to_return = 1;

crypto/engine/eng_init.c:102:17: when calling `engine_unlocked_finish` here
    100.           return 1;
    101.       CRYPTO_THREAD_write_lock(global_engine_lock);
    102.       to_return = engine_unlocked_finish(e, 1);
                           ^
    103.       CRYPTO_THREAD_unlock(global_engine_lock);
    104.       if (!to_return) {

crypto/engine/eng_init.c:44:1: parameter `e` of engine_unlocked_finish
      42.    * internally.
      43.    */
      44. > int engine_unlocked_finish(ENGINE *e, int unlock_for_handlers)
      45.   {
      46.       int to_return = 1;

crypto/engine/eng_init.c:69:10: when calling `engine_free_util` here
      67.       REF_ASSERT_ISNT(e->funct_ref < 0);
      68.       /* Release the structural reference too */
      69.       if (!engine_free_util(e, 0)) {
                     ^
      70.           ENGINEerr(ENGINE_F_ENGINE_UNLOCKED_FINISH, ENGINE_R_FINISH_FAILED);
      71.           return 0;

crypto/engine/eng_lib.c:72:1: parameter `e` of engine_free_util
        70.   }
        71.   
        72. > int engine_free_util(ENGINE *e, int not_locked)
        73.   {
        74.       int i;

crypto/engine/eng_lib.c:100:5: when calling `CRYPTO_free` here
        98.           e->destroy(e);
        99.       CRYPTO_free_ex_data(CRYPTO_EX_INDEX_ENGINE, e, &e->ex_data);
        100.       OPENSSL_free(e);
                   ^
        101.       return 1;
        102.   }

crypto/mem.c:295:1: parameter `str` of CRYPTO_free
          293.   }
          294.   
          295. > void CRYPTO_free(void *str, const char *file, int line)
          296.   {
          297.       INCREMENT(free_count);

crypto/mem.c:312:5: was invalidated by call to `free()`
          310.       }
          311.   #else
          312.       free(str);
                     ^
          313.   #endif
          314.   }

crypto/engine/eng_cnf.c:182:31: use-after-lifetime part of the trace starts here
180.       ENGINE *e;
181.   
182.       while ((e = sk_ENGINE_pop(initialized_engines)))
                                     ^
183.           ENGINE_finish(e);
184.       sk_ENGINE_free(initialized_engines);

crypto/engine/eng_cnf.c:182:31: global variable `initialized_engines` accessed here
  180.       ENGINE *e;
  181.   
  182.       while ((e = sk_ENGINE_pop(initialized_engines)))
                                       ^
  183.           ENGINE_finish(e);
  184.       sk_ENGINE_free(initialized_engines);

crypto/engine/eng_cnf.c:182:17: passed as argument to `sk_ENGINE_pop`
  180.       ENGINE *e;
  181.   
  182.       while ((e = sk_ENGINE_pop(initialized_engines)))
                         ^
  183.           ENGINE_finish(e);
  184.       sk_ENGINE_free(initialized_engines);

crypto/engine/eng_cnf.c:182:17: return from call to `sk_ENGINE_pop`
  180.       ENGINE *e;
  181.   
  182.       while ((e = sk_ENGINE_pop(initialized_engines)))
                         ^
  183.           ENGINE_finish(e);
  184.       sk_ENGINE_free(initialized_engines);

crypto/engine/eng_cnf.c:182:13: assigned
  180.       ENGINE *e;
  181.   
  182.       while ((e = sk_ENGINE_pop(initialized_engines)))
                     ^
  183.           ENGINE_finish(e);
  184.       sk_ENGINE_free(initialized_engines);

crypto/engine/eng_cnf.c:183:9: when calling `ENGINE_finish` here
  181.   
  182.       while ((e = sk_ENGINE_pop(initialized_engines)))
  183.           ENGINE_finish(e);
                 ^
  184.       sk_ENGINE_free(initialized_engines);
  185.       initialized_engines = NULL;

crypto/mem.c:295:1: parameter `str` of CRYPTO_free
    293.   }
    294.   
    295. > void CRYPTO_free(void *str, const char *file, int line)
    296.   {
    297.       INCREMENT(free_count);

crypto/mem.c:312:5: invalid access occurs here
    310.       }
    311.   #else
    312.       free(str);
               ^
    313.   #endif
    314.   }
