CodeQL library for Java/Kotlin
codeql/java-all 0.10.0 (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.