secure-software-engineering / phasar

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

Fixes linking issues in utils and tests #525

Closed vulder closed 1 year ago

vulder commented 1 year ago