Da qualche giorno è stata rilasciata la versione 3.4 del programma Microsoft Application Verifier:
Application Verifier is a runtime verification tool for unmanaged code that assists in finding subtle programming errors that can be difficult to identify with normal application testing. Run the Application Verifier tests on your code to identify issues within heaps, handles, and locks.
Il programma può essere scaricato da qui. Sono disponibili le versioni per piattaforme X86, AMD64 e IA64.