Class InstructionViolation
A consistency violation in a specific instruction.
Import path
import semmle.code.cil.ConsistencyChecksDirect supertypes
Indirect supertypes
Known direct subtypes
- AccessMissingTarget
- BranchWithoutTarget
- DeadInstructionViolation
- ExprMissingType
- ExprPushCount
- FalseSuccessorIsSuccessor
- InvalidBranchSuccessors
- InvalidExpressionViolation
- InvalidReturn
- InvalidThrow
- MissingCallTarget
- MissingOpCode
- MissingOperand
- MissingValue
- NoFalseSuccessor
- NoTrueSuccessor
- OnlyYesNoBranchHasTrueFalseSuccessors
- StaticFieldTarget
- TrueSuccessorIsSuccessor
- UnconditionalBranchSuccessors
Fields
Inherited fields
| node | from CfgViolation |