Module MakeImplStage1::ImplStage1::PartialFlow::FlowExplorationRev

Import path

import codeql.dataflow.internal.DataFlowImplStage1

Imports

Aliases

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.

Parameters

explorationLimit

explorationLimitSig