Module LocalFlowStepTest
Import path
import utils.test.dataflow.LocalFlowStepTest
Imports
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<LocalFlowStepTest::LocalFlowStepTest>> | 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 |