Bytecode verification analyses the types, but also other properties of the bytecode. You should at least implement a check for stack limits, following the approach for type analysis. At each join in the control flow, stack sizes need to be the same.

Submitted by Guido Wachsmuth on 14 February 2014 at 13:26