search

secure-software-engineering / phasar

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

Analysis Printer #677

Closed fabianbs96 closed 7 months ago

fabianbs96 commented 8 months ago

A step towards #552 + pretty printing analysis findings