GitHub - tlringer/sparta: SPARTA fork for user-driven access control project

tlringer / sparta Public

forked from typetools/sparta

Notifications You must be signed in to change notification settings
Fork 1
Star 0

SPARTA fork for user-driven access control project

types.cs.washington.edu/sparta/

0 stars 9 forks Branches Tags Activity

Star

Notifications

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 1,539 Commits
.settings		.settings
annotated-intent-receivers		annotated-intent-receivers
checkstyle		checkstyle
developer-docs		developer-docs
docs		docs
eclipse		eclipse
sparta-logo		sparta-logo
src/sparta/checkers		src/sparta/checkers
tests		tests
tools		tools
visualization		visualization
website		website
.classpath		.classpath
.gitignore		.gitignore
.project		.project
.reviewboardrc		.reviewboardrc
.travis-build.sh		.travis-build.sh
.travis.yml		.travis.yml
README		README
build.include.xml		build.include.xml
build.local.xml		build.local.xml
build.properties		build.properties
build.xml		build.xml
capture-strings.pl		capture-strings.pl
changelog-sparta.txt		changelog-sparta.txt
compare-strings.pl		compare-strings.pl
filter-flows.pl		filter-flows.pl
generate-cm.sh		generate-cm.sh
generate-filters.sh		generate-filters.sh
project.properties		project.properties
release-cleanup.xml		release-cleanup.xml
sparta-code.iml		sparta-code.iml
suspicious.pl		suspicious.pl

Repository files navigation

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.