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

Class NoFalseSuccessor

A branch instruction that does not have a false successor.

Import path

import semmle.code.cil.ConsistencyChecks

Direct supertypes

Indirect supertypes

Inherited fields

Predicates

Inherited predicates

Charpred