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

Predicate signature TypeTrackingInput::jumpStep

Holds if data can flow from nodeFrom to nodeTo in a way that discards call contexts.

signature predicate jumpStep(Node nodeFrom, LocalSourceNode nodeTo)