Microsoft Application Verifier 3.4
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.
Application Verifier is designed specifically to detect and help debug memory corruptions and critical security vulnerabilities. It makes it easier to create reliable applications by monitoring an application’s interaction with the Windows operating system, profiling its use of objects, the registry, the file system, and Win32 APIs (including heaps, handles, locks, and more). It also includes checks to predict how well the application will perform under Least-privileged User Account operation, compatibility tests to be used in logoing, and print tests to verify your usage of the print subsystem.
Running Application Verifier is easy; simply turn on the tool then run your project and go through your normal testing scenarios. When your tests are completed, view the Application Verifier logs for any errors that may have been detected.
• Supported Operating Systems: Windows Server 2003; Windows Vista; Windows XP
Application Verifier can be used with any unmanaged application or program. In order to test with Application Verifier,
• You must be an administrator on the system that you are using in order to run Application Verifier.
• You must run your project with the tool turned on and go through your testing scenarios
• The system must be running a supported Windows platform: Windows XP, Windows Server 2003, Windows Vista.
• Application Verifier supports x86, x64 and IA64 platforms
• If full page heap is enabled, you will need to ensure you have a large page file (e.g. 1Gb).
• The Basics verification layer will require that you run your application under a debugger.
Note: WinPE is not supported with this release of Application Verifier
Download: Microsoft Application Verifier 3.4