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.
Browse Files for MOPS:MOdelchecking Programs for Security
| File/Folder Name | Platform | Size | Date ↓ | Downloads | Notes/Subscribe |
|---|---|---|---|---|---|
| Newest Files | |||||
| mops10.tar.gz | 610.0 KB | 2004-09-22 02:35:47 GMT | 224 | Release Notes | |
| All Files | Subscribe | ||||
| mopscode | 610.0 KB | 2004-09-22 02:35:47 GMT | 224 | Subscribe Folder view | |
| MOPS-1.0 | 610.0 KB | 2004-09-22 02:35:47 GMT | 224 | Subscribe Folder view | |
| mops10.tar.gz | 610.0 KB | 2004-09-22 02:35:47 GMT | 224 | Release Notes | |
About SourceForge
Develop Software
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use
