relational-progress-sensitive-security

I Use This!

Inactive

Analyzed about 23 hours ago. based on code collected 2 days ago.

Project Summary

Relational implementation of type system and semantics from "Precise Enforcement of Progress-Sensitive Security" by Moore, Askarov, and Chong, CCS'12.

In a Nutshell, relational-progress-sensitive-security...

...
has had 31 commits made by 2 contributors
representing 1,983 lines of code
...
is mostly written in Scheme
with a low number of source code comments
...
has a codebase with a very short history
maintained by nobody
with stable Y-O-Y commits
...
took an estimated 1 years of effort (COCOMO model)
starting with its first commit in March, 2013
ending with its most recent commit almost 12 years ago

Quick Reference

Project Links:

Homepage
Download

Code Locations:

https://github.com/webyrd/relati...

Similar Projects:

Managers:

Become the first manager for relational-progress-sensitive-security

This Project has No vulnerabilities Reported Against it

Did You Know...

...
65% of companies leverage OSS to speed application development in 2016
...
compare projects before you chose one to use
...
in 2016, 47% of companies did not have formal process in place to track OS code
...
by exploring contributors within projects, you can view details on every commit they have made to that project