codeql/cpp-all
3.0.1-dev
For other CodeQL resources, including tutorials and examples, see the CodeQL documentation
.
Holds if there is a path between source and sink.
source
sink
import codeql.typetracking.internal.TypeTrackingImpl
predicate flowPath(PathNode source, PathNode sink)