An input configuration for control flow reachability.
Import path
import codeql.controlflow.ControlFlowReachability
Predicates
| barrierEdge | Holds if the edge from bb1 to bb2 should be excluded from the reachability analysis.
|
| barrierValue | Holds if the value of gv is a barrier for the reachability computation. That is, paths where the tracked variable can be inferred to have the value of gv are excluded from the reachability analysis.
|
| sink | Holds if the value of def at node is a sink for the reachability computation.
|
| source | Holds if the value of def at node is a source for the reachability computation.
|
| uncertainFlow | Holds if flow through uncertain SSA updates should be included.
|