Name		Name	Last commit message	Last commit date
.github/workflows		.github/workflows
gradle/wrapper		gradle/wrapper
src/security		src/security
testing		testing
tests/security		tests/security
.classpath		.classpath
.gitignore		.gitignore
.project		.project
.travis-build.sh		.travis-build.sh
.travis-requirements.txt		.travis-requirements.txt
.travis.yml		.travis.yml
README.md		README.md
build.gradle		build.gradle
gradlew		gradlew
gradlew.bat		gradlew.bat
run-dljc.sh		run-dljc.sh
run-security-on-corpus.py		run-security-on-corpus.py
run-security.sh		run-security.sh
setup.sh		setup.sh
statistics.txt		statistics.txt
test-security.sh		test-security.sh
working-benchmarks.yml		working-benchmarks.yml

Repository files navigation

security-demo

Demo type system with a simple security lattice.

About

Demo type system with a simple security lattice.

0 stars

0 watching

Report repository

Releases

Packages

Contributors

Languages