CodeQL library for C/C++

codeql/cpp-all 4.0.1 (changelog, source)

For other CodeQL resources, including tutorials and examples, see the CodeQL documentation

.

jumpStepEx

Module signature Stage1Output

Predicates

additionalJumpStep

callEdgeArgParam

callMayFlowThroughRev

expectsContentEx

hasSourceCallCtx

isRelevantSourceSinkPair

notExpectsContent

parameterFlowThroughAllowed

parameterMayFlowThrough

relevantCallEdgeIn

relevantCallEdgeOut

returnMayFlowThrough

revFlowIsReadAndStored

toNormalSinkNode

Types

Parameters

FlowState

Predicate signature MakeImplStage1::Stage1Output::jumpStepEx

signature predicate jumpStepEx(Nd node1, Nd node2)

Copyright 2025 GitHub Software UK Ltd.Privacy Statement