Application Verifier
Cool new download at http://www.microsoft.com/downloads/details.aspx?FamilyID=bd02c19c-1250-433c-8c1b-2619bd93b3a2&DisplayLang=en
Application Verifier is a runtime verification tool for unmanaged code that assists in quickly finding subtle programming errors that can be extremely difficult to identify with normal application testing.
This initial release includes the following tests:
-
Basics: Exceptions, handles, heaps, locks, memory, TLS
-
Low Resource Simulation
-
LuaPriv
-
Miscellaneous: Dangerous APIs & Dirty Stacks
