MOPS:MOdelchecking Programs for Security

I Use This!

Inactive

Analyzed about 11 hours ago. based on code collected about 17 hours 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 about 18 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...

...
55% of companies leverage OSS for production infrastructure
...
you can embed statistics from Open Hub on your site
...
there are over 3,000 projects on the Open Hub with security vulnerabilities reported against them
...
check out hot projects on the Open Hub