codeql/csharp-all
0.10.0
For other CodeQL resources, including tutorials and examples, see the CodeQL documentation
.
Holds if data can flow from source to sink.
source
sink
The corresponding paths are generated from the end-points and the graph included in the module PathGraph.
PathGraph
import codeql.dataflow.internal.DataFlowImpl
predicate flowPath(PathNode source, PathNode sink)