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.