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