Various fixes (debug macro, linked)

secure-software-engineering / phasar

A LLVM-based static analysis framework.

Other

930 stars 140 forks source link

Closed vulder closed 2 years ago

vulder commented 2 years ago

Fixes debug macro declaraion Fixes debug macro usages Fixes thread linking for controller and phasar pass