On Mon, Mar 18, 2002 at 07:59:28AM -0800, Jim Pick wrote: > > Of course, from what I understand, we do not have a complete bytecode > verifier yet Is anyone working on that? What I think I can see is: * We don't zero the stack when checking error handlers. * We don't merge object types where several basic blocks merge into one * We don't handle jsr/rts right -- Erik Corry