0
I Use This!
Inactive
Analyzed about 8 hours ago. based on code collected about 8 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.

Tags

No tags have been added

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

This Project has No vulnerabilities Reported Against it

Did You Know...

  • ...
    Black Duck offers a free trial so you can discover if there are open source vulnerabilities in your 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
  • ...
    learn about Open Hub updates and features on the Open Hub blog

Languages

Languages?height=75&width=75
C
61%
Java
15%
C++
5%
10 Other
19%

30 Day Summary

May 21 2018 — Jun 20 2018

12 Month Summary

Jun 20 2017 — Jun 20 2018

Ratings

Be the first to rate this project
Click to add your rating
   Spinner
Review this Project!