by benschwarz, daw617, hardcorebit, hchen
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.
gstathis81 commented on the RE: Welcome to Open Discussion forum thread
gstathis81 commented on the RE: Welcome to Help forum thread
daw617 committed patchset 5 of module mops to the MOPS:MOdelchecking Programs for Security CVS repository, changing 14 files
hardcorebit commented on the RE: Welcome to Help forum thread
hardcorebit commented on the RE: Welcome to Open Discussion forum thread
hardcorebit created the MOPS does not compile on cygwin: _brk artifact
hardcorebit committed patchset 4 of module mops to the MOPS:MOdelchecking Programs for Security CVS repository, changing 59 files
hardcorebit committed patchset 3 of module mops to the MOPS:MOdelchecking Programs for Security CVS repository, changing 3 files
hardcorebit committed patchset 2 of module mops to the MOPS:MOdelchecking Programs for Security CVS repository, changing 322 files
hardcorebit committed patchset 1 of module mops to the MOPS:MOdelchecking Programs for Security CVS repository, changing 322 files
Copyright © 2009 SourceForge, Inc. All rights reserved. Terms of Use
