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

Predicate TypeTracking :: flowsTo

Holds if there is flow from localSource to dst using zero or more simpleLocalSmallSteps.

Import path

import codeql.typetracking.TypeTracking
predicate flowsTo ( LocalSourceNode localSource , Node dst )