[Soot-list] practical virtual method call resolution
eric at bodden.de
Sun Oct 9 11:36:13 EDT 2005
-----BEGIN PGP SIGNED MESSAGE-----
Jasen Carrol wrote:
> I am currently doing research on java code analysis and I ran into
> the need for virtual method call resolution. I found the paper on
> "Practical Virtual Method Call Resolution" by Vijay Sundaresan et al.
> and it describes exactly what I need to accomplish. Does anyone know
> if and how I can obtain the code to that project? I would greatly
> appreciate it.
Early versions of Soot implemented exactly those algorithms. Based on this
paper we developed the visual tool JAnalyzer, which lets you generate the
appropriate call graphs with Soot and have them displayed graphically.
You may want to have a look at http://bodden.de/projects/janalyzer/ where
you can download the code and will also find references to the related Soot
version and how it is used in order to generate VTA call graphs etc.
Nowadays I believe that all algorithms mentioned can be
implemented/simulated by the SPARK module of Soot. I am not aware of any
conrete implementation of VTA in SPARK but maybe somebody else knows more
Hope that helps,
Chair I2 for Programming Languages and Program Analysis
RWTH Aachen University
-----BEGIN PGP SIGNATURE-----
Version: PGP Desktop 9.0.2 (Build 2424)
-----END PGP SIGNATURE-----
More information about the Soot-list