codeql/cpp-all
3.0.1-dev
For other CodeQL resources, including tutorials and examples, see the CodeQL documentation
.
Holds if (p1, p2) is an edge in a path between a source and a sink.
(p1, p2)
import codeql.typetracking.internal.TypeTrackingImpl
predicate edges(PathNode n1, PathNode n2)