[kaffe] Re: RFC: Verifier API (was: 1.1.0 development release + ideas)
jim at kaffe.org
Sun Jul 7 18:28:36 PDT 2002
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
On Fri, 2002-07-05 at 03:45, Dalibor Topic wrote:
> Hi Jim,
> I'd like to see more flexibility regarding
> * 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
> (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
> dalibor topic
> Do You Yahoo!?
> Sign up for SBC Yahoo! Dial - First Month Free
More information about the kaffe