From mboxrd@z Thu Jan  1 00:00:00 1970
From: Bernard Serpette <Bernard.Serpette@sophia.inria.fr>
To: mauve-discuss@sourceware.cygnus.com
Cc: Bernard.Serpette@inria.fr
Subject: Bytecode verifiers
Date: Wed, 20 Dec 2000 03:08:00 -0000
Message-id: <200012201108.eBKB8b402577@kevin.inria.fr>
X-SW-Source: 2000-q4/msg00007.html

                 Hello,

        Sorry to disturb you, I have a short question which I hope you
have the answer or at least a pointer to right person.. We are implementing
a bytecode verifier and we are searching for a collection of classfiles
in order to test the correctness of our implementation. We are particulary
interested by "dirty" classfiles (which can be generated by a correct
compiler) and "tricky" classfile (generated by optimizer or by hand).

	In the Mauve libraries, dirty classfiles will be a good suite in
order to test when "Class.forName" must raises an exception...

	So, do you know where we can find this kind of datas ? We still
don't have answers from JCK... By the way, we will happy to contribute
to Mauve project by providing our local dirty classfiles.

	Thanks in advance,

Bernard