[Soot-list] Diff between whole-progam mode and...

Patrick Lam plam at sable.mcgill.ca
Wed Jan 16 10:51:45 EST 2013


On 01/16/13 10:47, Marc-Andre Laverdiere-Papineau wrote:
> Here is a reference to that very good paper: Context-Sensitive
> Interprocedural Points-to Analysis in the Presence of Function Pointers
> (1994) by Maryam Emami , Rakesh Ghiya , Laurie J. Hendren
> http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.25.6013
>
> P.S. The paper predates Soot by a big margin - has this framework ever
> been implemented in Soot?

Not directly---because Java has class hierarchies, a lot changes---but a 
lot of Ondrej Lhotak's work explores interprocedural pointer analysis 
for Java.

pat



More information about the Soot-list mailing list