Module TypeTracking
Provides classes and predicates for simple data-flow reachability suitable for tracking types.
Import path
import codeql.typetracking.TypeTracking
Modules
| TypeTracking |
Given a set of step relations, this module provides classes and predicates for simple data-flow reachability suitable for tracking types. |
Module signatures
| TypeTrackingInput |
The step relations for type tracking. |