search

secure-software-engineering / phasar

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

Phasar DynLib and LTO #621

Closed fabianbs96 closed 1 year ago

fabianbs96 commented 1 year ago

PhASAR 's codebase is growing continuously which makes it harder for externals to keep an overview, e.g. which libraries should be linked against, which headers to include (and where to find them).

This PR adds convenience headers that include every header from a particular subdirectory (plus one that includes whole phasar). Additionally, phasar now builds a large library libphasar.a / libphasar.so by default that can be linked against. The smaller "component-wise" libraries are still there for a more optimized build.

MMory commented 1 year ago

@vulder does this break vara? just wanna make sure it doesn't before we merge, adding a block for this.