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.
Download MOPS:MOdelchecking Programs for Security
Project Admins:
benschwarz, daw617, hardcorebit, hchen
Operating System:
(None Listed)
License:
BSD License
Category:
Security, Build Tools
Find Support
Buy expert services from Sourceforge.net Marketplace. Support from the people who know.
Latest
Public Areas
-
Bugs
: (1 open / 1 total)
Bug Tracking System -
Support Requests
: (0 open / 0 total)
Tech Support Tracking System -
Patches
: (0 open / 0 total)
Patch Tracking System -
Feature Requests
: (0 open / 0 total)
Feature Request Tracking System - Public Forums : (4 messages in 2 forums)
- Mailing Lists : (1 total)
-
CVS Repository
: (0 commits,
0 reads)
Browse CVS
Most Active Projects in Category
Project Details
-
Project Admins :
benschwarz
, daw617, hardcorebit, hchen - Developers : 4
- Intended Audience : Developers
- License : BSD License
- Programming Language : C
- Topic : Security, Build Tools
- Project UNIX name : mopscode
- Registered : 2004-09-20 20:17
- Activity Percentile (last week) : 92.15
- View project activity statistics
- View list of RSS feeds available for this project