[X] The "/OldFiles" file could not be found or is not available. Please select another file.

Share

More
MOPS:MOdelchecking Programs for Security Icon

MOPS:MOdelchecking Programs for Security

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.


http://www.cs.berkeley.edu/~hchen/mops/





Separate each tag with a space.

Release Date:

2004-09-22

Topic:

License:

Intended Audience:

Programming Language:

C

Registered:

2004-09-20

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

Rate and Review

Be the first person to add a text review.

Would you recommend this project?






<

Related Projects

MOPS:MOdelchecking Programs for Security Actions

Thanks for your rating!

Would you also like to write a review?





Skip Review

Thanks for your review!

Get credit for your review by logging in via OpenID. Click your account provider:

No Thanks