On Wed, 2005-05-11 at 11:47 +0100, Ben Laurie wrote: > > No, a conforming implementation requires a bytecode verifier. > > I thought we'd established that it didn't? That is, verification must > occur, but it can occur at runtime.
I'm sorry, I didn't follow the discussion earlier. My understanding is that section 2.17.3 of the Java VM spec mandates that bytecode verification happen during the linking stage. http://java.sun.com/docs/books/vmspec/2nd-edition/html/Concepts.doc.html#22574 AG