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