search

secure-software-engineering / phasar

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

Explicit Call Graph #619

Closed fabianbs96 closed 1 year ago

fabianbs96 commented 1 year ago

Currently, the call-graph is part of the ICFG implementation; this is fine as long as we only have one ICFG impl -- LLVMBasedICFG.

This PR createes an own class and interface for call-graphs that is being used within the ICFG. This may be seen as preparation for different ICFG implementations that may share the call-graph data.

Should be merged after #617.

fabianbs96 commented 1 year ago

Added blocked label as #617 should be merged first