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)