CodeQL library for Swift

codeql/swift-all 4.1.0 (changelog, source)

Module FlowTest

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, DataFlowImplStage1::MakeImplStage1<Location::Location, DataFlowImplSpecific::SwiftDataFlow>::ImplStage1<DataFlow::DataFlowMake<Location::Location, DataFlowImplSpecific::SwiftDataFlow>::Global<InlineFlowTest::FlowTest::ValueFlowConfig>::C>::Stage1NoState>::MkStage<MkStage<MkStage<MkStage<MkStage<S1>::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, DataFlowImplStage1::MakeImplStage1<Location::Location, DataFlowImplSpecific::SwiftDataFlow>::ImplStage1<TaintTracking::TaintFlowMake<Location::Location, DataFlowImplSpecific::SwiftDataFlow, TaintTrackingImplSpecific::SwiftTaintTracking>::Global<InlineFlowTest::FlowTest::TaintFlowConfig>::C>::Stage1NoState>::MkStage<MkStage<MkStage<MkStage<MkStage<S1>::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, DataFlowImplStage1::MakeImplStage1<Location::Location, DataFlowImplSpecific::SwiftDataFlow>::ImplStage1<DataFlow::DataFlowMake<Location::Location, DataFlowImplSpecific::SwiftDataFlow>::Global<InlineFlowTest::FlowTest::ValueFlowConfig>::C>::Stage1NoState>::MkStage<MkStage<MkStage<MkStage<MkStage<S1>::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, DataFlowImplStage1::MakeImplStage1<Location::Location, DataFlowImplSpecific::SwiftDataFlow>::ImplStage1<TaintTracking::TaintFlowMake<Location::Location, DataFlowImplSpecific::SwiftDataFlow, TaintTrackingImplSpecific::SwiftTaintTracking>::Global<InlineFlowTest::FlowTest::TaintFlowConfig>::C>::Stage1NoState>::MkStage<MkStage<MkStage<MkStage<MkStage<S1>::Stage<Stage2Param>>::Stage<Stage3Param>>::Stage<Stage4Param>>::Stage<Stage5Param>>::Stage<Stage6Param>::Graph::Public::PathGraph>

Constructs a PathGraph from two PathGraphs by disjoint union.

Predicates

Aliases

TaintFlow	Constructs a global taint tracking computation.
ValueFlow	Constructs a global data flow computation.

Parameters

ValueFlowConfig		ConfigSig
TaintFlowConfig		ConfigSig
valueFlowTag		valueFlowTagSig
taintFlowTag		taintFlowTagSig