WhileyTheoremProver

I Use This!

Inactive

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

Project Summary

The Whiley Theorem Prover (WyTP) is an automatic and interactive theorem prover designed to discharge verification conditions generated by the Whiley Compiler. WyTP operates over a variant of first-order logic which includes integer arithmetic, arrays and quantification.

In a Nutshell, WhileyTheoremProver...

...
has had 424 commits made by 4 contributors
representing 19,238 lines of code
...
is mostly written in Java
with an average number of source code comments
...
has a codebase with a long source history
maintained by nobody
with stable Y-O-Y commits
...
took an estimated 5 years of effort (COCOMO model)
starting with its first commit in April, 2016
ending with its most recent commit over 5 years ago

Quick Reference

Organization:

Whiley

Project Links:

Homepage

Code Locations:

https://github.com/Whiley/Whiley...

Similar Projects:

Managers:

David J. Pearce

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
...
data presented on the Open Hub is available through our API
...
65% of companies leverage OSS to speed application development in 2016
...
by exploring contributors within projects, you can view details on every commit they have made to that project

About Project Security