Predicate signature returnStep
Holds if nodeFrom steps to nodeTo by being returned from a call.
Import path
import codeql.typetracking.TypeTrackingsignature predicate returnStep(Node nodeFrom, LocalSourceNode nodeTo)Holds if nodeFrom steps to nodeTo by being returned from a call.
import codeql.typetracking.TypeTrackingsignature predicate returnStep(Node nodeFrom, LocalSourceNode nodeTo)