Class InvalidStackSize
A CFG node that does not have exactly one stack size. Disabled because inconsistent stack sizes have been observed.
Import path
import semmle.code.cil.ConsistencyChecksDirect supertypes
Indirect supertypes
Inherited fields
| node | from CfgViolation |
Predicates
Inherited predicates
| toString | from CfgViolation |