Module TypeTracking

Provides classes and predicates for simple data-flow reachability suitable for tracking types.

Import path

import semmle.python.dataflow.new.TypeTracking

Given a set of step relations, this module provides classes and predicates for simple data-flow reachability suitable for tracking types.

A summary of the steps needed to track a value to a given dataflow node.

DEPRECATED.