Module MaximalFlowTest
Import path
import utils.test.dataflow.MaximalFlowTestImports
| 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. |
| FlowTest | |
| MakeTest<FlowTest::MakeTestSig<MaximalFlowTest::MaximalFlowTest>> | The module for tests with inline expectations. The test implements the signature to provide the actual results of the query, which are then compared with the expected results in comments to produce a list of failure messages that point out where the actual results differ from the expected results. |
| python |
Modules
| MaximalFlowTest | |
| MaximalFlowsConfig | A configuration to find all “maximal” flows. To be used on small programs. |
Aliases
| MaximalFlows | Constructs a global data flow computation. |