CodeQL library for C#

codeql/csharp-all 5.2.7-dev (changelog, source)

Module InlineFlowTestMake::FlowTestArgString

Import path

import codeql.dataflow.test.InlineFlowTest

Imports

MakeTest<InlineFlowTest::InlineFlowTestMake::FlowTestArgString::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<InlineFlowTest::InlineFlowTestMake::Location, InlineFlowTest::InlineFlowTestMake::DataFlowLang>::Impl<DataFlow::DataFlowMake<InlineFlowTest::InlineFlowTestMake::Location, InlineFlowTest::InlineFlowTestMake::DataFlowLang>::Global<InlineFlowTest::InlineFlowTestMake::FlowTestArgString::ValueFlowConfig>::C, DataFlowImplStage1::MakeImplStage1<InlineFlowTest::InlineFlowTestMake::Location, InlineFlowTest::InlineFlowTestMake::DataFlowLang>::ImplStage1<DataFlow::DataFlowMake<InlineFlowTest::InlineFlowTestMake::Location, InlineFlowTest::InlineFlowTestMake::DataFlowLang>::Global<InlineFlowTest::InlineFlowTestMake::FlowTestArgString::ValueFlowConfig>::C>::Stage1NoState>::MkStage<MkStage<MkStage<MkStage<MkStage<S1>::Stage<Stage2Param>>::Stage<Stage3Param>>::Stage<Stage4Param>>::Stage<Stage5Param>>::Stage<Stage6Param>::Graph::Public::PathNode, DataFlowImpl::MakeImpl<InlineFlowTest::InlineFlowTestMake::Location, InlineFlowTest::InlineFlowTestMake::DataFlowLang>::Impl<TaintTracking::TaintFlowMake<InlineFlowTest::InlineFlowTestMake::Location, InlineFlowTest::InlineFlowTestMake::DataFlowLang, InlineFlowTest::InlineFlowTestMake::TaintTrackingLang>::Global<InlineFlowTest::InlineFlowTestMake::FlowTestArgString::TaintFlowConfig>::C, DataFlowImplStage1::MakeImplStage1<InlineFlowTest::InlineFlowTestMake::Location, InlineFlowTest::InlineFlowTestMake::DataFlowLang>::ImplStage1<TaintTracking::TaintFlowMake<InlineFlowTest::InlineFlowTestMake::Location, InlineFlowTest::InlineFlowTestMake::DataFlowLang, InlineFlowTest::InlineFlowTestMake::TaintTrackingLang>::Global<InlineFlowTest::InlineFlowTestMake::FlowTestArgString::TaintFlowConfig>::C>::Stage1NoState>::MkStage<MkStage<MkStage<MkStage<MkStage<S1>::Stage<Stage2Param>>::Stage<Stage3Param>>::Stage<Stage4Param>>::Stage<Stage5Param>>::Stage<Stage6Param>::Graph::Public::PathNode, DataFlowImpl::MakeImpl<InlineFlowTest::InlineFlowTestMake::Location, InlineFlowTest::InlineFlowTestMake::DataFlowLang>::Impl<DataFlow::DataFlowMake<InlineFlowTest::InlineFlowTestMake::Location, InlineFlowTest::InlineFlowTestMake::DataFlowLang>::Global<InlineFlowTest::InlineFlowTestMake::FlowTestArgString::ValueFlowConfig>::C, DataFlowImplStage1::MakeImplStage1<InlineFlowTest::InlineFlowTestMake::Location, InlineFlowTest::InlineFlowTestMake::DataFlowLang>::ImplStage1<DataFlow::DataFlowMake<InlineFlowTest::InlineFlowTestMake::Location, InlineFlowTest::InlineFlowTestMake::DataFlowLang>::Global<InlineFlowTest::InlineFlowTestMake::FlowTestArgString::ValueFlowConfig>::C>::Stage1NoState>::MkStage<MkStage<MkStage<MkStage<MkStage<S1>::Stage<Stage2Param>>::Stage<Stage3Param>>::Stage<Stage4Param>>::Stage<Stage5Param>>::Stage<Stage6Param>::Graph::Public::PathGraph, DataFlowImpl::MakeImpl<InlineFlowTest::InlineFlowTestMake::Location, InlineFlowTest::InlineFlowTestMake::DataFlowLang>::Impl<TaintTracking::TaintFlowMake<InlineFlowTest::InlineFlowTestMake::Location, InlineFlowTest::InlineFlowTestMake::DataFlowLang, InlineFlowTest::InlineFlowTestMake::TaintTrackingLang>::Global<InlineFlowTest::InlineFlowTestMake::FlowTestArgString::TaintFlowConfig>::C, DataFlowImplStage1::MakeImplStage1<InlineFlowTest::InlineFlowTestMake::Location, InlineFlowTest::InlineFlowTestMake::DataFlowLang>::ImplStage1<TaintTracking::TaintFlowMake<InlineFlowTest::InlineFlowTestMake::Location, InlineFlowTest::InlineFlowTestMake::DataFlowLang, InlineFlowTest::InlineFlowTestMake::TaintTrackingLang>::Global<InlineFlowTest::InlineFlowTestMake::FlowTestArgString::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

PathGraph	Transforms a `PathGraph` by printing the provenance information.
TaintFlow
ValueFlow

Parameters

ValueFlowConfig		ConfigSig
TaintFlowConfig		ConfigSig
getArgString		getArgStringSig