search

secure-software-engineering / phasar

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

Fix DebugLibDeps #699

Closed fabianbs96 closed 4 months ago

fabianbs96 commented 4 months ago

The cmake option PHASAR_DEBUG_LIBDEPS does not correctly verify that all dependencies are resolved.

To fix this, we now use the linker flag -Wl,-z,defs that reports a linker error if a library contains unresolved symbols. We also fix dependency errors that were newly discovered by this.