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
)