secure-software-engineering / phasar

A LLVM-based static analysis framework.
Other
933 stars 140 forks source link

Fix Configuration Header #594

Closed fabianbs96 closed 1 year ago

fabianbs96 commented 1 year ago

The Configuration.h header requires the compilation symbols PHASAR_DIR and PHASAR_CONFIG_DIR to be defined. This is fine for compiling phasar itself; however when using this header from clients that just use phasar as a library, these symbols may not be defined. We should not require them to be defined.

This PR fixes this by moving the parts that depend on these symbols to the Configuration.cpp source file.