CodeQL library for Java/Kotlin
codeql/java-all 5.0.1-dev (changelog, source)
Search

Module signature TypeTracking::ConsistencyChecksInputSig

Import path

import codeql.typetracking.internal.TypeTrackingImpl

Predicates

nonSourceStoreTargetExclude

Holds if n should be excluded from the consistency test nonSourceStoreTarget.

unreachableNodeExclude

Holds if n should be excluded from the consistency test unreachableNode.