* bytecode verifier test suite
@ 2003-06-15 0:29 Andreas Gal
2003-06-15 10:42 ` Mark Wielaard
0 siblings, 1 reply; 3+ messages in thread
From: Andreas Gal @ 2003-06-15 0:29 UTC (permalink / raw)
To: mauve-discuss
Hi,
I am looking for a JVM bytecode verifier test suite. Is there any progress
on this topic?
Andreas
--
Dipl. Inf. Andreas Gal Tel: none
Dept. of Information & Computer Science Fax: (949)-824-4056
University of California, Irvine Office: CS/E 138
Irvine, CA 92697-3430 Email: gal@uci.edu
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: bytecode verifier test suite
2003-06-15 0:29 bytecode verifier test suite Andreas Gal
@ 2003-06-15 10:42 ` Mark Wielaard
2003-06-16 3:47 ` Tom Tromey
0 siblings, 1 reply; 3+ messages in thread
From: Mark Wielaard @ 2003-06-15 10:42 UTC (permalink / raw)
To: Andreas Gal; +Cc: mauve-discuss
Hi,
On Sun, 2003-06-15 at 02:29, Andreas Gal wrote:
> I am looking for a JVM bytecode verifier test suite. Is there any progress
> on this topic?
Yes Tom Tromey and Jeroen Frijters created a whole bunch of tests using
jasmin. You can checkout the verify module to see what there currently
is.
cvs -d:pserver:anoncvs@sources.redhat.com:/cvs/mauve login
[password: anoncvs]
cvs -d:pserver:anoncvs@sources.redhat.com:/cvs/mauve checkout verify
Cheers,
Mark
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: bytecode verifier test suite
2003-06-15 10:42 ` Mark Wielaard
@ 2003-06-16 3:47 ` Tom Tromey
0 siblings, 0 replies; 3+ messages in thread
From: Tom Tromey @ 2003-06-16 3:47 UTC (permalink / raw)
To: Mark Wielaard; +Cc: Andreas Gal, mauve-discuss
>>>>> "Mark" == Mark Wielaard <mark@klomp.org> writes:
Mark> Yes Tom Tromey and Jeroen Frijters created a whole bunch of
Mark> tests using jasmin. You can checkout the verify module to see
Mark> what there currently is.
There's not really that many -- certainly not enough to be confident
that your verifier works correctly. For instance, the known bugs in
the libgcj verifier are not caught by this test suite. But I'm
definitely interested in adding more. Just write some in the existing
style...
Tom
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2003-06-16 3:47 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2003-06-15 0:29 bytecode verifier test suite Andreas Gal
2003-06-15 10:42 ` Mark Wielaard
2003-06-16 3:47 ` Tom Tromey
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).