CodeQL library for C#
codeql/csharp-all 1.0.3-dev (changelog, source)

Predicate MakeImpl::Impl::FlowExploration::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.

This predicate is intended for data-flow exploration and debugging and may perform poorly if the number of sources is too big and/or the exploration limit is set too high without using barriers.

To use this in a path-problem query, import the module PartialPathGraph.

Import path

import codeql.dataflow.internal.DataFlowImpl
predicate partialFlowFwd(PartialPathNode source, PartialPathNode node, int dist)