RE: [abc] Verification error

Aha! if he's doing it anyway, we might as well re-use it in a paper :-)

> -----Original Message-----
> From: Majordomo list server [mailto:majordomo@comlab.ox.ac.uk] On Behalf
> Of Prof. Laurie HENDREN
> Sent: 24 January 2006 11:19
> To: abc@comlab.ox.ac.uk
> Subject: Re: [abc] Verification error
>
> Oege,
>
> I think this is the benchmark the Eric is working on for my class.
>
> Cheers, Laurie
>
>
> +-----------------------------------------------------------------
> | Laurie Hendren --- laurie.hendren@mcgill.ca
> | Associate Dean (Academic), Faculty of Science,
> | Dawson Hall, McGill University, 853 Sherbrooke St W,
> | Montreal QC H3A 2T6 Canada, 514-398-7179, fax 514-398-1774
> +----------------------------------------------------------------
> | For contact and home page info as Professor, Computer Science:
> | http://www.sable.mcgill.ca/~hendren --- hendren@cs.mcgill.ca
> | Research: http://www.sable.mcgill.ca http://aspectbench.org
> +----------------------------------------------------------------
>
> On Tue, 24 Jan 2006, Oege de Moor wrote:
>
> >
> > Are you suggesting that we use jlo-rt as a benchmark in the oopsla
> paper?
> > It could be interesting, but perhaps a bit confusing for the reader to
> > have one of the benchmarked systems as a benchmark itself.
> >
> > -O
> >
> > On Mon, 23 Jan 2006, Eric Bodden wrote:
> >
> > > Hi.
> > >
> > > So far I got now almost everything working. The only remaining problem
> > > is the following, and I think it's worth to be reported, because it
> > > seems to be a bug in Soot. When weaving Oege's Nullpointercheck aspect
> > > into jlo-rt.jar, I get the following error:
> > >
> > > Exception in thread "main" java.lang.VerifyError: (class:
> > > rwth/i2/ltlrv/data/Weak
> > > ValuesHashMap$1, method: <init> signature:
> > > (Lrwth/i2/ltlrv/data/WeakValuesHashMap
> > > ;Ljava/util/Map$Entry;Ljava/lang/Object;)V) Expecting to find
> > > object/array on sta ck
> > > at
> > > rwth.i2.ltlrv.data.WeakValuesHashMap.entrySet(WeakValuesHashMap.java:1
> > > 77)
> > > at java.util.AbstractMap$1$1.<init>(AbstractMap.java:376)
> > > at java.util.AbstractMap$1.iterator(AbstractMap.java:375)
> > > at
> > > rwth.i2.ltlrv.afastate.impl.Proposition.specializeBindings(Proposition
> > > .java:410)
> > > at
> > > rwth.i2.ltlrv.management.EvalPropositionWeakMapTest.<clinit>(EvalPropo
> > > sitionWeakMapTest.java:24)
> > > at
> sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native
> > > Method)
> > > at
> > > sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructo
> > > rAccessorImpl.java:39)
> > > at
> > > sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingCo
> > > nstructorAccessorImpl.java:27)
> > > at
> > > java.lang.reflect.Constructor.newInstance(Constructor.java:494)
> > > at junit.framework.TestSuite.createTest(TestSuite.java:131)
> > > at junit.framework.TestSuite.addTestMethod(TestSuite.java:114)
> > > at junit.framework.TestSuite.<init>(TestSuite.java:75)
> > > at junit.framework.TestSuite.addTestSuite(TestSuite.java:101)
> > > at
> > > rwth.i2.ltlrv.management.EvalEvaluationTests.suite(EvalEvaluationTests
> > > .java:27)
> > > at general.AllTests.suite(AllTests.java:19)
> > > at perf.Main.main(Main.java:86)
> > >
> > > Could that have to do with Junit using reflection? But even then, I
> > > think abc/Soot should not generate invalid bytecode.
> > >
> > > It's not urgent, but it might be something we should have fixed.
> > >
> > > Cheers,
> > > Eric
> > >
> > > --
> > > Eric Bodden
> > > Sable Research Group, McGill University
> > > Montreal, Canada
> > >
> > >
> >
> >
> >
Received on Tue Jan 24 11:22:29 2006