ProofOS

I Use This!

Inactive

Analyzed about 6 hours ago. based on code collected about 7 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 over 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...

...
nearly 1 in 3 companies have no process for identifying, tracking, or remediating known open source vulnerabilities
...
you can subscribe to e-mail newsletters to receive update from the Open Hub blog
...
in 2016, 47% of companies did not have formal process in place to track OS code
...
learn about Open Hub updates and features on the Open Hub blog