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