Predicate signature DataFlowMake::flowPath
Holds if data can flow from source to sink.
The corresponding paths are generated from the end-points and the graph
included in the module PathGraph.
Import path
import codeql.dataflow.DataFlowHolds if data can flow from source to sink.
The corresponding paths are generated from the end-points and the graph
included in the module PathGraph.
import codeql.dataflow.DataFlow