application verifier x64是一款功能强大的应用程序验证器工具，主要用于测试和帮助调试内存损毁、危险的安全漏洞，有兴趣的朋友欢迎来绿色资源网下载体验！
Application Verifier是一款Microsoft的代码验证工具,可以找出在正常程序代码测试中很难知道的错误。
1. AppVerifier的原理是hook分配和释放资源的API，在程序调用这类API时记录信息，在程序退出时报告出未释放的资源。
2. 只能测试Native代码。
3. 程序正常退出才行，强行杀进程不可以得到正确的报告。
4. 基于原理，只能做Run-time测试。尽可能用程序的所有功能已保证测试到更多代码。
—应用程序正确地用 API 的时刻：
—不安全的 TerminateThread API。
—正确用线程当地存储（Thread Local Storage，TLS）API。
—正确用虚拟空间操作（比如，VirtualAlloc 和 MapViewOfFile）。
—应用程序是不是用结构化的异常处置隐藏访问冲突。
—应用程序是不是试图用无效的句柄。
—堆中是不是有内存损毁或存在内存问题。
—应用程序是不是在资源不足的状况下用尽了内存。
—是不是正确用了临界区。
—运行在管理员环境中的应用程序在具备较低特权的环境中是不是能好运行。
—当应用程序作为受限用户运行时会不会存在潜在的问题。
—在线程的上下文中，是不是在以后的函数调用中会存在未初始化的变量。
1）、打开appverifier，选择File--Add Application添加应用程序；
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
—PrintAPI
—PrintDriver
对部分功能进行了优化
TAG标签：编程工具(5)ApplicationV(1)
转载请说明来源于木蚂蚁软件园（https://www.stgccy.com）
郑重声明：文章来源于网络作为参考，本站仅用于分享不存储任何下载资源,如果网站中图片和文字侵犯了您的版权，请联系我们处理！邮箱3450399331@qq.com
查看全部
同类推荐
