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.