[Soot-list] New context-sensitive points-to analysis in Soot

[Eric Bodden]

Dear all,

Xiao (Richard) Xiao and Charles Zhang have presented at this year's
ISSTA a novel context-sensitive points-to analysis based on Spark that
is particularly efficient through a novel "geometric" encoding:
http://dx.doi.org/10.1145/2001420.2001443

I am happy to let you know that they have contributed their
implementation to Soot. It should be available in the next nightly
build (Dec. 5th):
http://vandyk.st.informatik.tu-darmstadt.de/abc/

Use the option "-ph cg.spark" to see the new phase options used to
enable and configure the analysis.

Richard and Charles, thanks a lot for this contribution!

Best wishes,
Eric
-- 
Eric Bodden, Ph.D., http://bodden.de/
Head of Secure Software Engineering Group at EC SPRIDE
Principal Investigator in Secure Services at CASED
Tel: +49 6151 16-75422    Fax: +49 6151 16-72051
Room 3.2.14, Mornewegstr. 32, 64293 Darmstadt