ProofOS

I Use This!

Inactive

Analyzed 7 days ago. based on code collected 8 days ago.

Project Summary

This project aims to develop a prototype system that explores how we should re-invision computer system design based on changes in how people get the software that they run, as well as advances in static analysis of software.

In a Nutshell, ProofOS...

...
has had 38 commits made by 1 contributors
representing 25,845 lines of code
...
is mostly written in coq
with a very 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 6 years of effort (COCOMO model)
starting with its first commit in October, 2005
ending with its most recent commit almost 17 years ago

Quick Reference

Homepage

(3 Locations)

Become the first manager for ProofOS

Project Security

Vulnerabilities per Version ( last 10 releases )

There are no reported vulnerabilities

Project Vulnerability Report

Security Confidence Index

Poor security track-record

Favorable security track-record

Vulnerability Exposure Index

Many reported vulnerabilities

Few reported vulnerabilities

About Project Vulnerability Report

Did You Know...

...
55% of companies leverage OSS for production infrastructure
...
by exploring contributors within projects, you can view details on every commit they have made to that project
...
in 2016, 47% of companies did not have formal process in place to track OS code
...
search using multiple tags to find exactly what you need

About Project Security