CodeQL library for Java/Kotlin

codeql/java-all 4.1.1 (changelog, source)

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

Param