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

Class DeadInstructionViolation

An instruction that is not reachable from any entry point.

If this fails, it means that the calculation of the call graph is incorrect. Disabled, because Mono compiler sometimes emits dead instructions.

Import path

import semmle.code.cil.ConsistencyChecks

Direct supertypes

Indirect supertypes

Inherited fields

Predicates

Inherited predicates

Charpred