Module TypeTracking::ConsistencyChecks
Provides consistency checks for the type-tracker step relations.
Import path
import codeql.typetracking.internal.TypeTrackingImpl
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 |
Parameters
ConsistencyChecksInput | ConsistencyChecksInputSig |