MOPS:MOdelchecking Programs for Security download

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 >

License

BSD License

Follow MOPS:MOdelchecking Programs for Security

MOPS:MOdelchecking Programs for Security Web Site

Other Useful Business Software

Build Securely on AWS with Proven Frameworks

Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.

Moving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.

Download Now

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

Related Categories

C Security Software, C Build Tools

Registered

2004-09-20

Similar Business Software

Aikido Security

Secure your code, cloud, and runtime in one central system. Aikido’s all-in-one security platform is loved by developers and security teams alike with full security visibility, insight in what matters most, and fast/automatic vulnerability fixes. Teams get security done with Aikido thanks...

See Software
PathSolutions TotalView

PathSolutions TotalView network monitoring and troubleshooting software bridges the gap between NETWORK MONITORING and TROUBLESHOOTING RESOLUTION telling you WHEN, WHERE and WHY network errors occur. PathSolutions TotalView continuously monitors and tracks the performance of every device and...

See Software
Unimus

Unimus is a powerful, on-premise Network Automation and Configuration Management (NCM) solution designed for fast deployment and ease of use. As one of the most versatile NCM solutions available, it simplifies network management with features such as: 🔹Disaster Recovery – Automated...

See Software
Bitrise

Bitrise is a CI/CD platform built for mobile development, helping teams speed up builds, automate testing, and deliver high-quality apps faster. It supports native languages like Swift, Objective-C, Java, and Kotlin, as well as cross-platform frameworks including React Native, Flutter, Xamarin,...

See Software
Addigy

Addigy is the the only Apple Device Management platform that lets IT admins manage Apple devices in real-time, including macOS, iOS, iPadOS and tvOS devices. Our cloud-based multi-tenant platform combines MDM with live agent capabilities to manage and secure your Apple ecosystem — whether you’re...

See Software
Kasm Workspaces

Kasm Workspaces streams your workplace environment directly to your web browser…on any device and from any location. Kasm uses our high-performance streaming and secure isolation technology to provide web-native Desktop as a Service (DaaS), application streaming, and secure/private web...

See Software