Module MakeImplStage1::ImplStage1::FlowExploration

Import path

import codeql.dataflow.internal.DataFlowImplStage1

partialFlowFwd	Holds if there is a partial data flow path from `source` to `node`. The approximate distance between `node` and the closest source is `dist` and is restricted to be less than or equal to `explorationLimit()`. This predicate completely disregards sink definitions.
partialFlowRev	Holds if there is a partial data flow path from `node` to `sink`. The approximate distance between `node` and the closest sink is `dist` and is restricted to be less than or equal to `explorationLimit()`. This predicate completely disregards source definitions.

CallContext	A call context to restrict the targets of virtual dispatch and prune local flow.
CallContextCall
CallContextNoCall
callContextNone