CodeQL library for C#
codeql/csharp-all 2.0.1-dev (changelog, source)
Search

Module MakeImpl::Impl::MkStage::Stage

Import path

import codeql.dataflow.internal.DataFlowImpl

Imports

Predicates

callEdgeArgParam
callEdgeReturn
callMayFlowThroughRev
consCand
fwdFlow

Holds if node is reachable with access path ap from a source.

nodeMayUseSummary

Holds if ap is recorded as the summary context for flow reaching node and remains relevant for the following pruning stage.

parameterMayFlowThrough
readStepCand
relevantCallEdgeIn
relevantCallEdgeOut
returnMayFlowThrough
revFlow
revFlow
revFlow
revFlow

Holds if node with access path ap is part of a path from a source to a sink.

revFlowAp
stats
storeStepCand

Modules

Graph

Provides a graph representation of the data flow in this stage suitable for use in a path-problem query.

LocalFlowBigStep

Provides a big-step relation for local flow steps.

Module signatures

LocalFlowBigStepInputSig

Provides the input to LocalFlowBigStep.

Parameters