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 >

Categories

Security, Build Tools

License

BSD License

Follow MOPS:MOdelchecking Programs for Security

MOPS:MOdelchecking Programs for Security Web Site

Other Useful Business Software
Custom VMs From 1 to 96 vCPUs With 99.95% Uptime Icon
Custom VMs From 1 to 96 vCPUs With 99.95% Uptime

General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.

Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
Try Free
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

Developers

Programming Language

C

Related Categories

C Security Software, C Build Tools

Registered

2004-09-20