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

Class InvalidBranchSuccessors

A branch instruction that does not have exactly 2 successors.

Import path

import semmle.code.cil.ConsistencyChecks

Direct supertypes

Indirect supertypes

Inherited fields

Predicates

Inherited predicates

Charpred