CodeQL library for Swift
codeql/swift-all 2.0.4-dev (changelog, source)
Search

Predicate TypeTracking::flowsTo

Holds if there is flow from localSource to dst using zero or more simpleLocalSmallSteps.

Import path

import codeql.typetracking.internal.TypeTrackingImpl
predicate flowsTo(LocalSourceNode localSource, Node dst)