CodeQL library for Python
codeql/python-all 1.0.1 (changelog, source)
Search

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)