SPARTA!

Static Program Analysis for Reliable Trusted Apps

Release 1.0.2 (3 February 2016)

Manual: manual.html manual.pdf
Binary build: sparta-toolset-1.0.2.tgz
Source bundle: sparta-toolset-1.0.2-source.tgz
Example applications: sparta-samples-1.0.2.tgz

Release 1.0.1 (24 April 2015)

Manual: manual.html manual.pdf
Binary build: sparta-toolset-1.0.1.tgz
Source bundle: sparta-toolset-1.0.1-source.tgz
Example applications: sparta-samples-1.0.1.tgz

Release 1.0.0 (28 Dec 2014)

Manual: manual.html manual.pdf
Binary build: sparta-toolset-1.0.0.tgz
Source bundle: sparta-toolset-1.0.0-source.tgz
Example applications: sparta-samples-1.0.0.tgz
Virtual Machine: sparta-vm-v1.0.0.tar.bz2

Release 0.9.9 (14 November 2014)

Manual: manual.html manual.pdf
Binary build: sparta-toolset-0.9.9.tgz
Source bundle: sparta-toolset-0.9.9-source.tgz
Example applications: sparta-samples-0.9.9.tgz

Release 0.9.8 (1 August 2014)

Manual: manual.html manual.pdf
Binary build: sparta-0.9.8.jar
Source bundle: sparta-toolset-0.9.8.tgz
Example applications: sparta-samples-0.9.8.tgz
Virtual Machine: sparta-vm-v0.9.8.tar.bz2

Release 0.9.7 (5 May 2014)

Manual: manual.html manual.pdf
Binary build: sparta-0.9.7.jar
Source bundle: sparta-code-0.9.7.tgz
Example applications: sparta-samples-0.9.7.tgz
Virtual Machine: sparta-vm-v0.9.7.tar.bz2

Release 0.9.6 (4 February 2014)

Manual: manual.html manual.pdf
Binary build: sparta-0.9.6.jar
Source bundle: sparta-code-0.9.6.tgz
Example applications: sparta-samples-0.9.6.tgz

Release 0.9.5 (12 December 2013)

Manual: manual.html manual.pdf
Binary build: sparta-0.9.5.jar
Source bundle: sparta-code-0.9.5.tgz
Example applications: sparta-samples-0.9.5.tgz
Virtual Machine: sparta-vm-v0.9.5.tar.bz2

Release 0.9.4 (19 November 2013)

Manual: manual.html manual.pdf
Binary build: sparta-0.9.4.jar
Source bundle: sparta-code-0.9.4.tar.gz
Example applications: sparta-subjects-0.9.4.tar.gz

Release 0.9.3 (2 August 2013)

Manual: manual.html manual.pdf
Binary build: sparta-0.9.3.jar
Source bundle: sparta-code-0.9.3.tar.gz
Example applications: sparta-subjects-0.9.3.tar.gz
Virtual Machine: sparta-vm-v0.9.3.tgz.bz2

Release 0.9.2 (1 June 2013)

Manual: manual.html manual.pdf
Binary build: sparta-0.9.2.jar
Source bundle: sparta-code-0.9.2.tar.gz
Example applications: sparta-subjects-0.9.2.tar.gz

Release 0.9.1 (1 May 2013)

Manual: manual.html manual.pdf
Binary build: sparta-0.9.1.jar
Source bundle: sparta-code-0.9.1.tar.gz
Example applications: sparta-subjects-0.9.1.tar.gz

Release 0.9.0 (22 Apr 2013)

Manual: manual.html manual.pdf
Binary build: sparta-0.9.0.jar
Source bundle: sparta-code-0.9.0.tar.gz
Example applications: sparta-subjects-0.9.0.tar.gz
Virtual Machine: SPARTA-0.9.0.vdi
Password: ThisIsSparta!

Release 0.8.1 (3 Apr 2013)

Manual: manual.html manual.pdf
Binary build: sparta-0.8.1.jar
Source bundle: sparta-code-0.8.1.tar.gz

Release 0.8 (4 Mar 2013)

Manual: manual.html manual.pdf
Binary build: sparta-0.8.jar
Source bundle: sparta-code-0.8.tar.gz

Release 0.7 (16 Oct 2012)

Prebuilt Source bundle: sparta-code-0.7.tar.bz2
Example applications: sparta-subjects-0.7.tar.bz2
Dependencies: dependencies-0.7.tar.bz2

Release 0.6 (12 Sep 2012)

Prebuilt Source bundle: sparta-code-0.6.tar.bz2
Example applications: sparta-subjects-0.6.tar.bz2
Dependencies: dependencies-0.6.tar.bz2

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: November 07, 2013