Module TypeTracking :: ConsistencyChecks
Provides consistency checks for the type-tracker step relations.
Import path
import codeql.typetracking.TypeTracking
Predicates
nonSourceStoreTarget |
Holds if there is a store target that isn’t a |
unreachableNode |
Holds if there is any node in a step relation that is unreachable from a |