Predicate TypeTracking :: TypeTrack :: flowsTo
Holds if the given source flows to n
.
Import path
import codeql.typetracking.TypeTracking
Holds if the given source flows to n
.
import codeql.typetracking.TypeTracking