This analyzer can help you to find resource leaks in your project.
C++17 version must be or more Before use you need to install z3 from https://github.com/Z3Prover/z3
To start it with cmake
, you need to install flag CMAKE_EXPORT_COMPILE_COMMANDS
to ON
and run ESCA --cmake <path/to/your/compile_comands.json>
To start with any dir you need run find_cpp_files.py --dir <project dir>
and then run
ESCA --files files_for_ESCA.txt