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

Module MakeWithSplitting::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.

multipleToString

Holds if n has multiple textual representations.

multipleToString

Holds if n has multiple textual representations.

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.

scopeNoFirst

Holds if CFG scope scope lacks an initial AST node.

simpleAndNormalSuccessors

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