Predicate signature jumpStep
Holds if data can flow from nodeFrom to nodeTo in a way that discards
call contexts.
Import path
import codeql.typetracking.TypeTrackingsignature predicate jumpStep(Node nodeFrom, LocalSourceNode nodeTo)Holds if data can flow from nodeFrom to nodeTo in a way that discards
call contexts.
import codeql.typetracking.TypeTrackingsignature predicate jumpStep(Node nodeFrom, LocalSourceNode nodeTo)