This is the mail archive of the mauve-discuss@sources.redhat.com mailing list for the Mauve project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Re: bytecode verifier test suite

From: Tom Tromey <tromey at redhat dot com>
To: Mark Wielaard <mark at klomp dot org>
Cc: Andreas Gal <gal at uci dot edu>, mauve-discuss at sources dot redhat dot com
Date: 15 Jun 2003 21:38:57 -0600
Subject: Re: bytecode verifier test suite
References: <Pine.LNX.4.44.0306141728160.11169-100000@sam.ics.uci.edu><1055673757.16793.6.camel@elsschot>
Reply-to: tromey at redhat dot com

>>>>> "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

References:
- bytecode verifier test suite
  - From: Andreas Gal
- Re: bytecode verifier test suite
  - From: Mark Wielaard

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]