CodeQL library for Go
codeql/go-all 3.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.