SecureProgramming.com

SLAM: Microsoft's model checking technology	Category: Code Auditing
	Language: C, C++, and Objective-C

Posted by John Viega on Sun, Aug 31, 2003 (03:49 PM) GMT

External URL: http://research.microsoft.com/slam/

A software model checker written by Microsoft Research that is currently primarily used for detecting reliability problems in device drivers, but can be used to detect security vulnerabilities. No software is currently available.

All trademarks and copyrights on this page are owned by their respective owners. Copyrights on submitted material are copyrighted by the submitter. Everything else is Copyright © 2003 by John Viega and Matt Messier. Click here for licensing information regarding the use of recipes on this site and from The Secure Programming Cookbook for C and C++.