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

Welcome, Guest! Log In | Create Account

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.

Download Now! mops10.tar.gz (610.0 KB) OR View all files

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





Separate each tag with a space.

Release Date:

2004-09-22

Topic:

Security, Build Tools

License:

BSD License

Intended Audience:

Developers

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

About SourceForge

Find Software

Develop Software

Community

Help

Copyright © 2010 Geeknet, Inc. All rights reserved. Terms of Use

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