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