Microsoft Application Verifier
资源分类：代码审查工具
更新日期：12/5/2007
版本：3.4
语言：英文 授权形式：免费
Application Verifier 是微软的代码验证工具,可以找出在正常程序代码检测中难以察觉的错误,在一开始,Application Verifier就被设计为检测程序运行内存错误和其他严重的安全隐患.这个工具的使用也非常简单:运行程序读入代码即可,很快就能生成一个log.
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 with a debugger attached. When your tests are completed, view the Application Verifier logs for any errors that may have been detected.
下载：Microsoft Application Verifier