Class InvalidReturn
A return instruction that does not have a stack size of 0 after it.
Import path
import semmle.code.cil.ConsistencyChecks
A return instruction that does not have a stack size of 0 after it.
import semmle.code.cil.ConsistencyChecks