Using Soot and TamiFlex to analyze DaCapo

Eric | March 29, 2010

In this tutorial, I describe how to use TamiFlex to facilitate the static analysis of the DaCapo benchmarks with Soot. You can also find this tutorial on the TamiFlex website.

Also feel free to use our scripts for this purpose. You can also find many details in our Technical Report.

Step 0: Downloading the necessary components

To analyze DaCapo benchmarks with Soot, first download the following:

Read the rest of this entry »

Comments
Comments Off on Using Soot and TamiFlex to analyze DaCapo
Categories
Research
Tags
Soot, Soot Tutorial, TamiFlex

Soot 2.4.0 released

Eric | March 29, 2010

I am pleased to announce that Soot version 2.4.0 is now available at:
http://www.sable.mcgill.ca/soot/

This release contains the following additions and improvements:

  1. Hossein Sadat-Mohtasham’s implementation of program dependency graphs
  2. Support for creating sound call graphs even for programs that use reflection, custom class loaders and runtime-generated classes. For this purpose, Soot uses TamiFlex to create a runtime log file that contains information about how reflection is being used. Spark then uses the log file during call-graph and points-to graph construction. See this tutorial for details.

Also we incorporated fixes to numerous bugs. Thanks for reporting bugs and/or providing fixes! See http://www.sable.mcgill.ca/soot/CHANGES for details.

As of version 2.2.0 the Soot bugzilla is available at: http://svn.sable.mcgill.ca/bugzilla/. We encourage you to add any Soot bugs there.

Comments
5 Comments »
Categories
Research
Tags
Soot, TamiFlex