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)Holds if data can flow from nodeFrom to nodeTo in a way that discards
call contexts.
signature predicate jumpStep(Node nodeFrom, LocalSourceNode nodeTo)