STP

I Use This!

Activity Not Available

Analyzed about 1 month ago. based on code collected over 5 years ago.

Project Summary

STP (Simple Theorem Prover): a constraint solver/decision procedure that accepts formulas or constraints generated by program analysis/test generation tools, model checkers, bug finders, hardware/software formal verification tools, intelligent fuzzers

In a Nutshell, STP...

...
has had 5 commits made by 1 contributors
representing 524,210 lines of code
...
is mostly written in C
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 144 years of effort (COCOMO model)
starting with its first commit in February, 2008
ending with its most recent commit about 17 years ago

Quick Reference

Project Links:

Homepage

Code Locations:

:pserver:anonymous:@stp-fast-pro...

Similar Projects:

Managers:

Become the first manager for STP

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
...
nearly 1 in 3 companies have no process for identifying, tracking, or remediating known open source vulnerabilities
...
you can embed statistics from Open Hub on your site

About Project Security