MOPS:MOdelchecking Programs for Security

Add a Review
1 Download (This Week)
Last Update:
Download mops10.tar.gz
Browse All Files

Description

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.

MOPS:MOdelchecking Programs for Security Web Site

Categories

Build Tools, Security

License

BSD License

KEEP ME UPDATED

Write a Review

User Reviews

Be the first to post a review of MOPS:MOdelchecking Programs for Security!

Additional Project Details

Intended Audience

Developers

Programming Language

C

Registered

2004-09-20
Screenshots can attract more users to your project.
Features can attract more users to your project.