A collection of cached types and predicates to be evaluated in the same stage.
Import path
import codeql.rust.dataflow.internal.DataFlowImpl
Predicates
| barrierNode | Holds if n is a flow barrier of kind kind and model model.
|
| localFlowStepImpl | This is the local flow predicate that is exposed.
|
| optionalBarrier | A step in a flow summary defined using OptionalBarrier[name]. An OptionalBarrier is “opt-out”, by default data can flow freely through the step. Flow through the step can be explicity blocked by defining its node as a barrier.
|
| optionalStep | A step in a flow summary defined using OptionalStep[name]. An OptionalStep is “opt-in”, which means that by default the step is not present in the flow summary and needs to be explicitly enabled by defining an additional flow step.
|
| sinkNode | Holds if n is a flow sink of kind kind.
|
| sourceNode | Holds if n is a flow source of kind kind.
|