MOPS:MOdelchecking Programs for Security
Description
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.
MOPS:MOdelchecking Programs for Security Web SiteUser Reviews
Be the first to post a review of MOPS:MOdelchecking Programs for Security!