Static Driver Verifier. http://www.microsoft.com/whdc/ devtools/tools/sdv.mspx (2010)

by Microsoft Corporation