ProofOS

I Use This!

Inactive

Analyzed about 1 hour ago. based on code collected about 4 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...

...
in 2016, 47% of companies did not have formal process in place to track OS code
...
anyone with an Open Hub account can update a project's tags
...
there are over 3,000 projects on the Open Hub with security vulnerabilities reported against them
...
you can embed statistics from Open Hub on your site

About Project Security