Predicate TypeTrackingInput::withoutContentStep
Holds if type-tracking should step from nodeFrom
to nodeTo
but block flow of contents matched by filter
through here.
Import path
import semmle.python.dataflow.new.internal.TypeTrackingImpl
predicate withoutContentStep(Node nodeFrom, LocalSourceNode nodeTo, ContentFilter filter)