[X] The "/RED,TCTL model-checker, simulation-checker, parametric safety-analyzer/version 7_091105/red.7.091105.tar.gz" file could not be found or is not available. Please select another file.

mpatrol is a link library that attempts to diagnose run-time errors that are caused by the wrong use of dynamically allocated memory, including writing to free memory and memory leaks.

Project Reviews

Be the first to post a text review of mpatrol. Rate and review a project by clicking thumbs up or thumbs down in the right column.

Rate and Review

Would you recommend this project?






<

Related Projects

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