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

[Zhoulai]

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.

[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

> _______________________________________________
> Soot-list mailing list
> Soot...@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...@sable.mcgill.ca
http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list

[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

--
Richard Xiao Xiao

PhD Student @ CSE @ Hong Kong University of Science and Technology

www.cse.ust.hk/~richardxx