From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 14117 invoked by alias); 15 Jun 2003 10:42:47 -0000 Mailing-List: contact mauve-discuss-help@sources.redhat.com; run by ezmlm Precedence: bulk List-Subscribe: List-Archive: List-Post: List-Help: , Sender: mauve-discuss-owner@sources.redhat.com Received: (qmail 14063 invoked from network); 15 Jun 2003 10:42:42 -0000 Received: from unknown (HELO nescio.wildebeest.org) (62.108.28.95) by sources.redhat.com with SMTP; 15 Jun 2003 10:42:42 -0000 Received: from elsschot.wildebeest.org ([192.168.1.26] ident=mark) by nescio.wildebeest.org with esmtp (Exim 3.35 #1 (Debian)) id 19RUwc-00082f-00; Sun, 15 Jun 2003 12:41:06 +0200 Subject: Re: bytecode verifier test suite From: Mark Wielaard To: Andreas Gal Cc: mauve-discuss@sources.redhat.com In-Reply-To: References: Content-Type: text/plain Message-Id: <1055673757.16793.6.camel@elsschot> Mime-Version: 1.0 Date: Sun, 15 Jun 2003 10:42:00 -0000 Content-Transfer-Encoding: 7bit X-SW-Source: 2003-q2/txt/msg00038.txt.bz2 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