CodeQL library for Java
codeql/java-all 0.6.1 ( changelog , source )
Search

Predicate TypeTracking :: TypeTrack :: Graph :: hasFlow

Holds if there is a path between source and sink.

Import path

import codeql.typetracking.TypeTracking
predicate hasFlow ( PathNode source , PathNode sink )