1、介绍

AppVerifier 特别用于检测和帮助调试内存损坏、危险的安全漏洞以及受限的用户帐户特权问题。
AppVerifier 有助于创建可靠且安全的应用程序，方法是监视应用程序与Windows操作系统的交互，并配置应用程序使用的对象、注册表、文件系统和 Win32 API（包括堆、句柄和锁）。
官方文档：https://docs.microsoft.com/zh-cn/previous-versions/aa480483(v=msdn.10)?redirectedfrom=MSDN#E3AA

1、安装

下载ApplicationVerifier.xx.msi进行安装

2、配置需要验证的项目

1）打开appverifier，选择File–Add Application添加应用程序，之后点击Save按钮；对于开发人员，直接选择工程中输出的Debug版的可执行文件，可以添加多个文件，也可以添加动态库DLL。

2）选择测试属性

Basic基本验证项说明

名称	说明
Exceptinons	防止程序做这样的操作，比如程序用异常捕获，以防止错误继续抛出。
Handles	检测句柄错误
Heaps	检测内存中的堆栈错误
leak	应用程序是否在资源不足的情况下用尽了内存
Locks	检测锁使用情况，确定应用程序是否正确的使用关键段
Memory	检测应用程序虚拟内存使用情况
SRWLock	检测读写锁使用是否正确
ThreadPool	监控线程池使用，线程池的线程不应该被应用程序关闭
TLS	检测线程局部存储api是否被正确使用

3）选择Tests下的某一项测试验证项，右键弹出属性和停止验证选项

属性页如下：

停止验证选项页如下：

点击对应的Verifier stop值，在下方的Description中会出现该停止码的描述说明
也可通过下面步骤或按住F1键打开帮助文档查看停止码描述

4）Appverify有2组属性，一组是测试验证项属性，一组是应用程序属性

名称	说明
Name	针对每个属性的唯一名称
Type	Boolean、DWORD、String 和 MultipleString
Value	基于类型变化的可更改元素
Description	该描述解释属性的内容

双击应用程序属性不可修改，双击测试验证项属性可修改

应用程序属性如下：

名称	类型	值	描述
Propagate	Boolean	FALSE	将验证器设置从父进程传播到子进程。注意，并非所有测试都可以传播。False（不选中该框）不传播这些设置，而 True（选中该框）则传播这些设置
AutoClr	Boolean	FALSE	当指定的图像开始运行之后，验证的图像将清除自己的设置。False（不选中该框）不进行此操作；True（选中该框）则进行此操作
AutoDisableStop	Boolean	TRUE	AppVerifier 对于一个错误将只解释一次。如果再次发现该问题，它不会生成错误。False 在每次发现问题时都将生成错误。True 将只生成一个错误
LoggingWithLock	Boolean	TRUE	将记录 dll 加载/卸载事件。验证器在加载器锁处于保持状态时进行 I/O。这可能会挂起应用程序。False 不会记录该事件，而 True 将记录该事件
ExceptionOnStop	Boolean	FALSE	对于每个验证者报告的停止，将引发异常而不是调试中断
MinimumMemoryOverhead	Boolean	FALSE	通过禁用一些仅用于调试的特性来减少内存开销

2、在WinDbg中调试

准备好exe和对应的pdb，这里不做详细说明
若进程有异常，AppVerifier或向windbg调试器发出的异常情况可根据停止码与错误原因判断异常类型
获取停止码：
1）方式1

2）方式2
打开appverifier界面，查看Logs页面


找出Error值非0的日志进行保存"Save As"到指定目录，到目录打开xml文件

3、其他配置项

1）勾选Inative，在调试时会得不到任何停止码的调试信息

2）严重程度调整为Warning

当发现异常的时候，在Logs中查看Warning会变成1

查看日志，多了Severity参数

其他的不做说明
3）日志记录选项说明

名称	说明
severity	严重程度，以下严重程度依次增加，error严重程度最大
ignore	忽视，严重程度可以忽视，此影响对程序的影响可以忽略
information	输出提示信息；消息在粗粒度级别上突出强调应用程序的运行过程。
warning	输出警告信息；表明会出现潜在错误的情形
Error	输出错误信息；指出虽然发生错误事件，但仍然不影响系统的继续运行
error reporting	错误报告
Log to File	将日志记录进文件中
Log Stack Trace	记录回溯信息，此选项记录前提是Log to File记录
No Break	不间断
Exception	异常
BreakPoint	断点
miscellaneous	混杂选项
stop Once	停一下
Not Continuable	不连续，停多次