Predicate simpleLocalFlowStepForTypetracking

This is the local flow predicate that is used as a building block in type tracking, it does not include steps from flow summaries.

Local flow can happen either at import time, when the module is initialised or at runtime when callables in the module are called.

Import path

import semmle.python.dataflow.new.internal.DataFlowPrivate

predicate simpleLocalFlowStepForTypetracking(Node nodeFrom, Node nodeTo)