Module TypeTracking :: TypeBackTracker
Provides predicates for implementing custom TypeBackTrackers.
Import path
import codeql.typetracking.TypeTracking
Predicates
| end |
Gets a valid end point of type back-tracking. |