Import path
import utils.test.InlineFlowTest
Imports
| MakeTest<InlineFlowTest::FlowTest::InlineTest> | 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.
|
| MergePathGraph<DataFlowImpl::MakeImpl<Location::Location, DataFlowImplSpecific::SwiftDataFlow>::Impl<DataFlow::DataFlowMake<Location::Location, DataFlowImplSpecific::SwiftDataFlow>::Global<InlineFlowTest::FlowTest::ValueFlowConfig>::C>::MkStage<MkStage<MkStage<MkStage<MkStage<Stage1>::Stage<Stage2Param>>::Stage<Stage3Param>>::Stage<Stage4Param>>::Stage<Stage5Param>>::Stage<Stage6Param>::Graph::Public::PathNode, DataFlowImpl::MakeImpl<Location::Location, DataFlowImplSpecific::SwiftDataFlow>::Impl<TaintTracking::TaintFlowMake<Location::Location, DataFlowImplSpecific::SwiftDataFlow, TaintTrackingImplSpecific::SwiftTaintTracking>::Global<InlineFlowTest::FlowTest::TaintFlowConfig>::C>::MkStage<MkStage<MkStage<MkStage<MkStage<Stage1>::Stage<Stage2Param>>::Stage<Stage3Param>>::Stage<Stage4Param>>::Stage<Stage5Param>>::Stage<Stage6Param>::Graph::Public::PathNode, DataFlowImpl::MakeImpl<Location::Location, DataFlowImplSpecific::SwiftDataFlow>::Impl<DataFlow::DataFlowMake<Location::Location, DataFlowImplSpecific::SwiftDataFlow>::Global<InlineFlowTest::FlowTest::ValueFlowConfig>::C>::MkStage<MkStage<MkStage<MkStage<MkStage<Stage1>::Stage<Stage2Param>>::Stage<Stage3Param>>::Stage<Stage4Param>>::Stage<Stage5Param>>::Stage<Stage6Param>::Graph::Public::PathGraph, DataFlowImpl::MakeImpl<Location::Location, DataFlowImplSpecific::SwiftDataFlow>::Impl<TaintTracking::TaintFlowMake<Location::Location, DataFlowImplSpecific::SwiftDataFlow, TaintTrackingImplSpecific::SwiftTaintTracking>::Global<InlineFlowTest::FlowTest::TaintFlowConfig>::C>::MkStage<MkStage<MkStage<MkStage<MkStage<Stage1>::Stage<Stage2Param>>::Stage<Stage3Param>>::Stage<Stage4Param>>::Stage<Stage5Param>>::Stage<Stage6Param>::Graph::Public::PathGraph> | Constructs a PathGraph from two PathGraphs by disjoint union.
|
Aliases
| TaintFlow | Constructs a global taint tracking computation.
|
| ValueFlow | Constructs a global data flow computation.
|