Ok so the thing to do for the stack map table is just have verification of type information, no registers or anything else other than just the types. I very likely should have checks on uninitialized values and such on objects by handling the uninitialized value using the appropriate means.
I will need to process the byte code and such to handle uninitialized
variables because they point to the
new instruction. So first thing to do is
have a basic abstract representation of byte code. Then following that I have
the stack map table data also.
This means I really only need a stack map state.