Module signature TypeTracking::ConsistencyChecksInputSig
Import path
import codeql.typetracking.internal.TypeTrackingImpl
Predicates
nonSourceStoreTargetExclude | Holds if |
unreachableNodeExclude | Holds if |
import codeql.typetracking.internal.TypeTrackingImpl
nonSourceStoreTargetExclude | Holds if |
unreachableNodeExclude | Holds if |