[Soot-list] SOOT Eclipse plugin augmenting the call hierarchy view

[Eric Bodden]

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

Hello altogether.

About a year ago I realized that the implementation of the call
hierarchy view in Eclipse is really poor with respect to virtual
method call resolution: It always only resolves to the declared type
of a variable. Of course this is often not correct in well-written
OO-Programs that make use of interfaces, abstract classes, factories
and so on.

So I started to make use of the SOOT plugin to augment the current
implementation with one based on SOOT (as a result of my work on
JAnalyzer, http://janalyzer.bodden.de). This actually worked pretty
well: One could employ CHA, RTA, VTA in order to get a pretty good
runtime approximation. The only drawback: It was slow. As you know,
those analyses tend to be very expensive - especially compared to the
usual search through the Java model that Eclipse performs in the
default implementation.

As I said, that was a year ago, and today all the analyses above are
build on top of SPARK if I understood correctly. So I was wondering
if there was probably some performance improvement on those analyses
during the last year and also if such an integration would be easier
today due to a possibly better evolved SOOT Eclipse plugin.

I still have my old sourcecode here and if you think it would be
worthwhile integrating this functionality into the actual SOOT
plugin, I would be happy to do so. In my first approach, I was
providing the following functionality:

Preferences view:
A tab to switch between Declared Types, CHA, RTA, VTA.
A filter in order to exclude packages from the analysis.

Depending on the selection above, the search strategy for the call
hierarchy view was then switched using kind of a strategy pattern.

Thank you a lot,
have a nice christmas time and a happy new year.

Eric

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

-----BEGIN PGP SIGNATURE-----
Version: PGP 8.0.3

iQA/AwUBQcqmR8wiFCm7RlWCEQL0dACgtHEWwhP/P9iys0y4mE56bIVXG9EAnA1M
EhYKLn6yWbucQ8e8soWbEJyK
=ouJq
-----END PGP SIGNATURE-----