[Soot-list] a spark problem?

[Eric Bodden]

Also note that 2.2.2 had a bug that caused points-to sets to be
computed potentially incorrectly (they implemented equals/hashCode,
which was unanticipated by Spark). This made 2.2.2 to run faster but
potentially not always correct. In 2.2.4 this was fixed.

Eric

On 07/01/2008, Richard L. Halpert <richardlhalpert at gmail.com> wrote:
> I suspect this bug was fixed in our subversion repository, but not in the
> released jar.  There are instructions for read access to our repository on
> http://www.sable.mcgill.ca/soot .
>
> -Rich
>
>
> On Jan 7, 2008 12:16 PM, Peng Li <lipeng360 at gmail.com> wrote:
> > HI,
> > I played with soot 2.2.2 for a while and I was using SPARK to solve
> > some points-to problem. Today I changed to soot 2.2.4. I found the
> > spark takes very long time to do the analysis(almost 40 mins).
> > However, in 2.2.2, the same application just took about 2 mins (under
> > the same Spark options).
> >
> > I found there is a thead about 6 months ago which discussed why Spark
> > in soot 2.2.4 slows down, but I think this bug has already been fixed.
> >
> > I used the SPARK options which are specified in Arni and Janus's soot
> > guide for my test.
> >
> > Cheers
> > Peng
> > _______________________________________________
> > Soot-list mailing list
> > Soot-list at sable.mcgill.ca
> > http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
> >
>
>
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>
>


-- 
Eric Bodden
Sable Research Group
McGill University, Montréal, Canada