Clara is an ideal framework for comparing the precision and performance of various static typestate analyses. On this page we present the results of some benchmarks that we produced ourselves, along with all files and scripts necessary to reproduce these results.

Benchmarks for Clara Thesis

image The Clara Thesis presents a large amount of benchmark data that we obtained using Clara. A Technical Report (currently under submission at a conference; see also figure to the right) gives an overview of these results.
 This package contains the version of Clara that we used for benchmarking in both the Clara Thesis and the Technical Report. It also contains the binaries of the DaCapo benchmarks itself, along with all necessary shell scripts to reproduce our results. Refer to the contained README file for details.

You can get an idea of what the different analysis stages can achieve by looking at our test cases. (see here for dependency state machines, and here for tracematches)