Module callGraphConfig
Import path
import utils.test.dataflow.callGraphConfigImports
| DataFlow | Provides a library for local (intra-procedural) and global (inter-procedural) data flow analysis: deciding whether data can flow from a source to a sink. |
Modules
| CallGraphConfig | A configuration to find the call graph edges. |
Aliases
| CallGraphFlow | Constructs a global data flow computation. |