This is SPARTA! Static Program Analysis for Reliable Trusted Apps. University of Washington project for DARPA APAC program https://www.cs.washington.edu/sparta/ Documentation is in the docs/ directory. See docs/README.txt for how to build the documentation. Then, the manual is available in docs/manual.pdf and docs/manual.html. The manual contains both installation instructions and usage instructions. Developer information is in file README-developers.