ProofOS

I Use This!

Inactive

Analyzed about 5 hours ago. based on code collected about 10 hours 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 64 commits made by 1 contributors
representing 26,074 lines of code
...
is mostly written in coq
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 6 years of effort (COCOMO model)
starting with its first commit in October, 2005
ending with its most recent commit about 19 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...

...
in 2016, 47% of companies did not have formal process in place to track OS code
...
you can subscribe to e-mail newsletters to receive update from the Open Hub blog
...
nearly 1 in 3 companies have no process for identifying, tracking, or remediating known open source vulnerabilities
...
by exploring contributors within projects, you can view details on every commit they have made to that project

About Project Security