[Soot-list] Can we redefine the propagation rule of the points-to analyses used in Spark?

[Richard Xiao]

Hi, Zell:

The worklist based implementation of the Spark rules is in soot / src /
soot / jimple / spark / solver / PropWorklist.java . However, this file
alone cannot tell you the whole logic of Spark.

Regards,
Xiao



On Tue, Feb 12, 2013 at 2:24 AM, Eric Bodden <eric.bodden at ec-spride.de>wrote:

> Hi Zell.
>
> This code is not contained in a single class. Spark consists of a
> rather complex algorithm. You can find all the details here:
> http://www.sable.mcgill.ca/publications/thesis/#olhotakMastersThesis
>
> Eric
>
> On 11 February 2013 19:14, Zhoulai <zell08v at orange.fr> wrote:
> > Hello,
> >
> > I would like to try an idea that needs to redefine the propagation rule
> of
> > current points-to analysis used in Spark. Howere,  I really don't see the
> > class where Spark defines its rule of propagation of the domain of
> pointer
> > assignment graph. Can anyone tell me in which class does Spark specify
> its
> > propagation rule (so one can override it for testing new propagation
> rules)
> > ? Many thanks.
> >
> > Sincerely,
> > Zell.
> >
> > _______________________________________________
> > Soot-list mailing list
> > Soot-list at sable.mcgill.ca
> > http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
> >
>
>
>
> --
> Eric Bodden, Ph.D., http://sse.ec-spride.de/ http://bodden.de/
> Head of Secure Software Engineering Group at EC SPRIDE
> Tel: +49 6151 16-75422    Fax: +49 6151 16-72051
> Room 3.2.14, Mornewegstr. 30, 64293 Darmstadt
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>



-- 
Richard Xiao Xiao
PhD Student @ CSE @ Hong Kong University of Science and Technology
www.cse.ust.hk/~richardxx
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20130212/c0b02f71/attachment.html