[kaffe] Re: RFC: Verifier API (was: 1.1.0 development release + ideas)

Jim Pick jim@kaffe.org
07 Jul 2002 18:28:36 -0700


Sounds like a good plan.

I'm going to try to collect all these ideas together and put them on the
projects page on the website (it might take me a few days to get it all
together).

Cheers,

 - Jim

On Fri, 2002-07-05 at 03:45, Dalibor Topic wrote:
> Hi Jim,
> 
> I'd like to see more flexibility regarding
> verification.
> 
> * A class kaffe.verifier.VerifierManager.
> * A property kaffe.verifier
> * An interface kaffe.verifier.VerifierPlugin
> * A set of classes for supported verifiers that
> implements kaffe.verifier.VerifierPlugin
> 
> VerifierPlugin declares a method 
> boolean verify(byte[] class_data, int pass).
> 
> When it's initialized, VerifierManager checks a
> property kaffe.verifier for the verifier plugin class
> to load.
> 
> Kaffe's system class loader should upon loading a
> class call the VerifierManager.verify(byte[]
> class_data) method. Verify would call the method
> verify(byte[] class_data, int pass) in the loaded
> verifier plugin and return its result.
> 
> There would be verifier plugin classes for kaffe's own
> verifier, justIce, jode, sun's javaverify etc. They
> would invoke the underlying verifier with appropriate
> parameters.
> 
> (Kaffe's own verifier plugin would of course invoke
> the C code in the virtual machine.)
> 
> What's so good about it:
> * it turns kaffe into a nice platform for verifier
> research & implementation.
> * it offers more verifier options. 
> * with justIce being a full verifier implementation,
> kaffe can be integrated into mozilla more safely.
> 
> What's bad about it:
> * it could turn attention away from backporting
> pocketlinux verifier to kaffe (which is better than
> the one kaffe has now, but still not a full verifier,
> as far as I know).
> * pure java verifiers may not be as fast as C
> implementations.
> 
> regards,
> 
> dalibor topic
> 
> __________________________________________________
> Do You Yahoo!?
> Sign up for SBC Yahoo! Dial - First Month Free
> http://sbc.yahoo.com