软件调试，检测堆栈错误、内存损坏等相关问题

最新推荐文章于 2024-04-29 20:35:32 发布

%LMX%

最新推荐文章于 2024-04-29 20:35:32 发布

阅读量391

点赞数

分类专栏：开发工具文章标签： windows visual studio

原文链接：https://blog.csdn.net/blacet/article/details/82903075

版权

开发工具专栏收录该内容

4 篇文章 0 订阅

订阅专栏

文章目录

前言
一、Appverifier原理
二、Appverifier能识别的问题
三、安装Application Verifier
四、AppVerifier如何使用
五、使用注意

前言

AppVerifier 特别用于检测和帮助调试内存损坏、危险的安全漏洞以及受限的用户帐户特权问题。AppVerifier 有助于创建可靠且安全的应用程序，方法是监视应用程序与Windows操作系统的交互，并配置应用程序使用的对象、注册表、文件系统和 Win32 API（包括堆、句柄和锁）。AppVerifier 还包括检查，以便预测应用程序在非管理员环境中的执行情况。

一、Appverifier原理

AppVerifier的原理是hook分配和释放资源的API，在程序调用这些API时记录信息，在程序退出时报告出未释放的资源。
只能检测Native代码。
程序正常退出才行，强行杀进程不能得到正确的报告。
基于原理，只能做Run-time检测。尽量使用程序的所有功能已保证检测到更多代码。

二、Appverifier能识别的问题

Appverifier能识别的问题
应用程序正确地使用 API 的时刻
不安全的 TerminateThread API
正确使用虚拟空间操作（例如，VirtualAlloc 和 MapViewOfFile）
应用程序是否使用结构化的异常处理隐藏访问冲突
应用程序是否试图使用无效的句柄
堆中是否有内存损坏或存在内存问题
应用程序是否在资源不足的情况下用尽了内存
是否正确使用了临界区
运行在管理员环境中的应用程序在具有较低特权的环境中是否能良好运行
当应用程序作为受限用户运行时是否会存在潜在的问题
在线程的上下文中，是否在将来的函数调用中会存在未初始化的变量

三、安装Application Verifier

Application Verifier包含在Windows 软件开发工具包（SDK）中，若要安装应用程序验证程序，请在安装 SDK 期间选中该框

四、AppVerifier如何使用

在AppVerifier中增加需要验证的应用程序，对于开发人员，直接选择工程中输出的Debug版的可执行文件，可以添加多个文件，也可以添加动态库DLL。

AppVerifier大致可以验证异常、句柄、堆栈、内存、未初始化参数等多个方面的隐患，选择需要进行测试的项目，并保存设置。

AppVerifier可以命令行也可以UI界面运行，这里我们以UI界面运行为例,打开appverifier，选择File–Add Application添加应用程序:
在这里插入图片描述
添加应用程序完成后，需要在右方对话框选择你想要验证的问题：
1）Basic最基本的验证:

Exceptinons 防止程序做这样的操作，比如程序用异常捕获，以防止错误继续抛出
Handles 检测句柄错误
Heaps 检测内存中的堆栈错误
InputOutput 检测读写文件，读写网卡数据等的错误
Locks 检测锁使用情况，确定应用程序是否正确的使用关键段
Memory 检测应用程序虚拟内存使用情况
ThreadPool 监控线程池使用，线程池的线程不应该被应用程序关闭
Tls 检测线程局部存储api是否被正确使用

2）Compatibility 兼容性问题验证:

Filepaths 检测是否正常访问文件目录
Highversionlie 验证应用程序是否正确检测windows版本
InterActiveservices 检查一个程序是否运行为可桌面交互的服务，或者向可交互的用户桌面发送过数据。这样的应用程序可能会引发严重的安全问题
KernelModeDriverInstall 检测驱动程序安装

3）Low resources simulation 低资源情况下，如内存将耗尽，程序是否能正常运行。
4）Luapriv 检测程序在标准用户权限下是否能正常运行
5）Miscellaneous:

dangerousAPIs 检测应用程序是否使用了危险的API，如TerminateThread
Dirtystacks 检测应用程序是否使用了未初始化的变量
TimeRoleOver 模拟使GetTickCount and TimeGetTime APIs 返回的值比实际的大，即时间跑的更快的情况下，程序运行是否正常

6）Pringting: