MOPS:MOdelchecking Programs for Security

I Use This!

Inactive

Analyzed 1 day ago. based on code collected 1 day ago.

Project Summary

The MOdelchecking Programs for Security(MOPS) project produces software you can use to find security bugs in your C programs. Examples include time to check to time of use bugs, abuses of setuid, and more.

In a Nutshell, MOPS:MOdelchecking Programs for Security...

...
has had 4 commits made by 2 contributors
representing 52,633 lines of code
...
is mostly written in C
with an average 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 13 years of effort (COCOMO model)
starting with its first commit in October, 2004
ending with its most recent commit almost 20 years ago

Quick Reference

Project Links:

Homepage

Code Locations:

:pserver:anonymous:@mopscode.cvs...

Similar Projects:

Managers:

Become the first manager for MOPS:MOdelchecking Programs for Security

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...

...
65% of companies leverage OSS to speed application development in 2016
...
check out hot projects on the Open Hub
...
there are over 3,000 projects on the Open Hub with security vulnerabilities reported against them
...
you can subscribe to e-mail newsletters to receive update from the Open Hub blog