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

[Eric Bodden]

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