Predicate jumpStepSharedWithTypeTracker
Set of jumpSteps that are shared with type-tracker implementation.
For ORM modeling we want to add jumpsteps to global dataflow, but since these are based on type-trackers, it’s important that these new ORM jumpsteps are not used in the type-trackers as well, as that would make evaluation of type-tracking recursive with the new jumpsteps.
Holds if pred
can flow to succ
, by jumping from one callable to
another. Additional steps specified by the configuration are not
taken into account.
Import path
import semmle.python.dataflow.new.internal.DataFlowPrivate
predicate jumpStepSharedWithTypeTracker(Node nodeFrom, Node nodeTo)