On May 13, 2005, at 11:54 PM, Rob Gonzalez wrote:
The bytecode verifier is not a particularly difficult thing to implement, just an important one to get correct ;)
Regarding BCEL's bytecode verifier implementation: it is not 100% compatible with Sun's as it is more strict, but the code is nice and definitely worth using for any Java-based verifier implementation.
In any event, I don't think the verifier--which basically performs static type checking to save some run-time cost--will affect the architecture of the VM, which should be the main focus of the discussion for now.
Right - and we want to make this...
... wait for it ....
.... pluggable!
Is anyone familiar enough to suggest the interfaces for such a module? :)
geir
-Rob
On 5/13/05, Stephan Michels <[EMAIL PROTECTED]> wrote:
On 5/13/05, Davanum Srinivas <[EMAIL PROTECTED]> wrote:
http://jakarta.apache.org/bcel/ http://cglib.sourceforge.net/ http://forge.objectweb.org/projects/asm http://serp.sourceforge.net/
I don't know the others, but BCEL also include a bytecode verifier, which is not an easy task.
Stephan.
-- Geir Magnusson Jr +1-203-665-6437 [EMAIL PROTECTED]