Predicate TypeTrackingInput::returnStep
Holds if nodeFrom
steps to nodeTo
by being returned from a call.
Flow out of summarized library methods is not included, as that will lead to negative recursion (or, at best, terrible performance), since identifying calls to library methods is done using API graphs (which uses type tracking).
Import path
import semmle.python.dataflow.new.internal.TypeTrackingImpl
predicate returnStep(Node nodeFrom, LocalSourceNode nodeTo)