codeql/java-all
0.5.5
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.TypeTracking
predicate edges ( PathNode n1 , PathNode n2 )