CodeQL library for C/C++
codeql/cpp-all 2.1.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.