Downloads
Clara is hosted on Google Code.
Binaries necessary to run Clara with its default analyses
clara-1.0.0-complete.jar This JAR file contains Clara and all its dependencies in compiled form.
To run Clara, just type java -jar clara-1.0.0-complete.jar. See here for usage instructions.
Empty extension for researchers
We provide an empty extension to Clara that allows researchers to plug into Clara their own static typestate analysis with minimal effort.
clara-1.0.0.-emptyext.zip Download and unzip this extension. It contains an eclipse project with stubs for you to fill in, along with plenty of comments.
When extending Clara, you may find it handy to have Clara’s source code available. We provide instructions to access the source code below.
Building Clara from scratch
You can find instructions on how to browse or checkout the Clara source code on Google Code.
If you want to check out Clara’s source code with all its dependencies (Soot, abc, JastAdd), we provide a shortcut for you. Just type:
svn co http://clara.googlecode.com/svn/trunk-with-deps clara-with-deps
This will checkout clara and all dependencies into clara-with-deps. To build Clara, you have to copy the ant.settings.template file that you find in each directory to ant.settings and modify the file according to your setup. Then simply use the ant build scripts to build Clara. If you have questions about the build process, please ask your question on our mailing list. We are happy to assist you.
