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.

Project Activity

See All Activity >


Build Tools, Security


BSD License

Follow MOPS:MOdelchecking Programs for Security

MOPS:MOdelchecking Programs for Security Web Site

Other Useful Business Software

2018 Network Intelligence Planning Guide Icon
2018 Network Intelligence Planning Guide Icon

Get insights on net neutrality, cloud readiness, security and WAN transformation.

Networking is becoming cloudier, hybrid and more Internet-centric. IT managers now own user experience, whether they own the networks or not. Get our latest ebook to learn how network intelligence will help you adapt to a quickly changing Internet-centric environment.
Are you involved with your company's network performance/operations team?
Get Ebook

Rate This Project

Login To Rate This Project

User Reviews

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

Additional Project Details

Intended Audience


Programming Language