Bytecode verifier

[Aaron M. Renn]

Tim Wilkinson (tim at transvirtual.com) wrote:
> As anyone who has looked at Kaffe's verifier will know, it's not very
> complete - in fact I'd say it is little more than a pre-pass for the
> JIT.  Now I'd like to change this and actually include a real verifier
> but before I go off and write a real one I'd like to know whether I'm
> simply reinventing the wheel - is there an Open Source Java bytecode
> verifier anywhere in the world?

I don't think it's done, but someone was working on a byte code verifier
for Japhar.  I'd try posting a message to that list as well.

-- 
Aaron M. Renn (arenn at urbanophile.com) http://www.urbanophile.com/arenn/