CodeQL library for C#
codeql/csharp-all 1.0.3-dev (changelog, source)
Search

Module Make::Consistency

Provides a set of consistency queries.

Import path

import codeql.controlflow.Cfg

Predicates

breakInvariant2

Holds if splitting invariant 2 is violated.

breakInvariant3

Holds if splitting invariant 3 is violated.

breakInvariant4

Holds if splitting invariant 4 is violated.

breakInvariant5

Holds if splitting invariant 5 is violated.

deadEnd

Holds if node is lacking a successor.

multipleSuccessors

Holds if node has multiple successors of the same type t.

nonUniqueListOrder

Holds if sk has multiple integer representations.

nonUniqueSetRepresentation

Holds if s1 and s2 are distinct representations of the same set.

nonUniqueSplitKind

Holds if split has multiple kinds.

simpleAndNormalSuccessors

Holds if node has both a simple and a normal (non-simple) successor type.