Import path
import codeql.dataflow.internal.DataFlowImpl
Predicates
callEdgeArgParam | |
callEdgeReturn | |
callMayFlowThroughRev | |
parameterMayFlowThrough | Holds if flow may enter through |
readStepCand | |
relevantCallEdgeIn | |
relevantCallEdgeOut | |
returnMayFlowThrough | |
revFlow | |
revFlow | Holds if |
revFlow | |
revFlowAp | |
revFlowIsReadAndStored | Holds if |
revFlowState | |
sinkNode | |
stats | |
storeStepCand | |
viableParamArgNodeCandFwd1 | |
viableReturnPosOutNodeCandFwd1 |