SPARTA!

Static Program Analysis for Reliable Trusted Apps

See the files in the sparta-code/docs directory for installation and usage instructions.

Release 0.6 (12 Sep 2012)

Binary build: sparta-0.6.jar
Source bundle: sparta-code-0.6.tar.gz
Example applications: sparta-subjects-0.6.tar.gz

Release 0.5 (13 Aug 2012)

Binary build: sparta-0.5.jar
Source bundle: sparta-code-0.5.tar.gz
Example applications: sparta-subjects-0.5.tar.gz


Last updated: August 13, 2012