search

secure-software-engineering / phasar

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

Redesign ICFG #515

Closed fabianbs96 closed 1 year ago

fabianbs96 commented 2 years ago

Improvements to the CFG and ICFG interfaces similar to the ProjectIRDB in #511.

511 should be merged first