search

secure-software-engineering / phasar

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

Fix Callgraph #586

Closed fabianbs96 closed 1 year ago

fabianbs96 commented 1 year ago

The CallGraph contains callees where the function signatures do not match the call-site. This causes some assertion failures in flow functions.