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

On 14 February 2014 at 13:26 Guido Wachsmuth removed tag @guidowachsmuth

On 14 February 2014 at 13:26 Guido Wachsmuth tagged mdsd14

On 30 April 2014 at 14:46 Jeff Smits tagged 0.2

On 5 June 2014 at 16:33 Jeff Smits removed tag 0.2

Log in to post comments