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