Module CallGraphConstruction::Make
Provides the track predicate for use in call graph construction.
Import path
import semmle.python.dataflow.new.internal.TypeTrackerPredicates
| track | Gets a node that can be reached from some start node in state |
Parameters
| Input | InputSig |