Predicate TypeTrackingInput::nonStandardFlowsTo
Holds if a non-standard flowsTo
predicate is needed, i.e., one that is not
simply simpleLocalSmallStep*(localSource, dst)
.
Import path
import semmle.python.dataflow.new.internal.TypeTrackingImpl
predicate nonStandardFlowsTo(LocalSourceNode localSource, Node dst)