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.
Ratings and Reviews
Be the first to post a text review of MOPS:MOdelchecking Programs for Security. Rate and review a project by clicking thumbs up or thumbs down in the right column.
Project Feed
-
Forum comment added
gstathis81 commented on the RE: Welcome to Open Discussion forum thread -
Forum comment added
gstathis81 commented on the RE: Welcome to Help forum thread -
Code committed
daw617 committed patchset 5 of module mops to the MOPS:MOdelchecking Programs for Security CVS repository, changing 14 files -
Forum comment added
hardcorebit commented on the RE: Welcome to Help forum thread -
Forum comment added
hardcorebit commented on the RE: Welcome to Open Discussion forum thread -
Tracker artifact added
hardcorebit created the MOPS does not compile on cygwin: _brk artifact -
Code committed
hardcorebit committed patchset 4 of module mops to the MOPS:MOdelchecking Programs for Security CVS repository, changing 59 files -
Code committed
hardcorebit committed patchset 3 of module mops to the MOPS:MOdelchecking Programs for Security CVS repository, changing 3 files -
Code committed
hardcorebit committed patchset 2 of module mops to the MOPS:MOdelchecking Programs for Security CVS repository, changing 322 files -
Code committed
hardcorebit committed patchset 1 of module mops to the MOPS:MOdelchecking Programs for Security CVS repository, changing 322 files
Rate and Review
Be the first person to add a text review.
Related Projects
-
-
Google Weather Parser Library for .NET
This connects to Google's Weather API and can grab weather ranging from forecasts, to current weather information, to times of the updates.
-
MOPS:MOdelchecking Programs for Security Actions
About SourceForge
Develop Software
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use
