Download of all benchmark files

(approx 77MB compressed):    benchmarks-abc-2007-3.tgz
This package contains all binaries necessary to compile and run the benchmarks. The tarball contains a README that explains how to compile and run the benchmarks. Further contained is the full source code of the abc version we used as well as the source code (and binaries) of the employed DaCapo benchmarks.
The entry point to the analysis is the class abc.tm.weaving.weaver.tmanalysis.OptIntraProcedural which can be found in abc-tmopt-src.tgz:\abc-tmopt\src\abc\tm\weaving\weaver\tmanalysis\OptIntraProcedural.java

Download test case

The file AB.java shows some easy test cases that we used in the early stages of designing our analysis. It shows which cases can be handled and which not.

Technical report

The related technical report can be found here.