CodeQL library for Java/Kotlin
codeql/java-all 5.0.1-dev (changelog, source)
Search

Predicate MakeImpl::Impl::MkStage::Stage::LocalFlowBigStep::localFlowBigStep

Holds if node1 can step to node2 in one or more local steps and this path can occur as a maximal subsequence of local steps in a dataflow path.

Import path

import codeql.dataflow.internal.DataFlowImpl
predicate localFlowBigStep(NodeEx node1, FlowState state1, NodeEx node2, FlowState state2, boolean preservesValue, DataFlowType t, LocalCallContext callContext, string label)