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:
- the current DaCapo JAR file
- TamiFlex:
- soot-2.4.0.jar (or higher) for Soot