secure-software-engineering / phasar

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

Fix Build #684

Closed fabianbs96 closed 7 months ago

fabianbs96 commented 7 months ago

Although #673 was a major step towards modernizing our cmake build, there are still issues left, some of them being addressed by this PR