RE: [abc] Verification error

We may get some other useful benchmarks from the class as well.
They hand them in on Feb 1 - we will have to see what they come
up with.

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:

> 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:23:38 2006