Predicate TypeTracking::flowsTo
Holds if there is flow from localSource
to dst
using zero or more
simpleLocalSmallStep
s.
Import path
import codeql.typetracking.internal.TypeTrackingImpl
predicate flowsTo(LocalSourceNode localSource, Node dst)
Holds if there is flow from localSource
to dst
using zero or more
simpleLocalSmallStep
s.
import codeql.typetracking.internal.TypeTrackingImpl
predicate flowsTo(LocalSourceNode localSource, Node dst)