An instruction that has a push count of 0, yet is still used as an operand
Import path
import semmle.code.cil.ConsistencyChecks
Direct supertypes
Indirect supertypes
Inherited fields
| instruction | from InstructionViolation | |
| node | from CfgViolation |