[Soot-list] practical virtual method call resolution

[Eric Bodden]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Jasen Carrol wrote:
> Hi,
> 
> 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.     

Hi.
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
about this...

Hope that helps,
Eric

- -- 
Eric Bodden
Chair I2 for Programming Languages and Program Analysis
RWTH Aachen University


-----BEGIN PGP SIGNATURE-----
Version: PGP Desktop 9.0.2 (Build 2424)

iQA/AwUBQ0k4+swiFCm7RlWCEQLuNwCeKWZQLYF+Lkuo18NFyZc4ZlGRVu4AoN0o
vfWx3uSs10aQMbMqSa6sIt3D
=Qmcd
-----END PGP SIGNATURE-----