Module TypeTracking
Given a set of step relations, this module provides classes and predicates for simple data-flow reachability suitable for tracking types.
Import path
import codeql.typetracking.TypeTracking
Predicates
| flowsTo |
Holds if there is flow from |
Classes
| TypeBackTracker |
A summary of the steps needed to back-track a use of a value to a given dataflow node. |
| TypeTracker |
A summary of the steps needed to track a value to a given dataflow node. |
Modules
| ConsistencyChecks |
Provides consistency checks for the type-tracker step relations. |
| TypeBackTracker |
Provides predicates for implementing custom |
| TypeTrack |
Given a source definition, constructs the default forward type tracking from those sources. |
| TypeTracker |
Provides predicates for implementing custom |