Constructs a data flow computation given a full input configuration, and an initial stage 1 pruning.
Import path
import codeql.dataflow.internal.DataFlowImpl
Imports
Predicates
flow | Holds if data can flow from |
flowTo | Holds if data can flow from some source to |
flowToExpr | Holds if data can flow from some source to |
Classes
Ap | Conceptually a list of |
Ap | A list of |
ApNil | |
ApNil | |
ApOption |
Aliases
Stage6 | |
stageStats | INTERNAL: Only for debugging. |