llvm/clang/utils/analyzer/projects/symengine/run_static_analyzer.cmd

cmake . -DCMAKE_BUILD_TYPE=Debug -DWITH_COTIRE=OFF -Bbuild -GNinja
cmake --build build