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

Class FalseSuccessorIsSuccessor

An instruction whose false successor is not a successor.

Import path

import semmle.code.cil.ConsistencyChecks

Direct supertypes

Indirect supertypes

Inherited fields

Predicates

Inherited predicates

Charpred