八六五八(8658)下载网 - 打造齐全的绿色软件家园

八六五八(8658)下载网

当前位置: 首页 » 电脑软件 » 编程开发 » 编程工具 » Application Verifier工具
Application Verifier工具

Application Verifier工具

v4.0.665.0
  • 应用大小:7.1 M
  • 应用语言:中文
  • 更新时间:2021-10-11
  • 应用类型:编程开发
  • 运行环境:WinAll, WinXP, Win7, Win8, Win10
  • 应用等级:
  • 官方主页:
  • 软件厂商:
  • 应用介绍
  • 下载地址

Application Verifier工具是是一款非常实用的编程开发,此款产品语言为:中文,比较适合广大用户的需求,Application Verifier工具当前版本为v4.0.665.0,若是您在使用过程中遇到问题或者其他bug,欢迎指正,官方也会尽快更新最新的版本,更好的服务家人们,作为一款非常优秀的编程工具产品,他的资源大小在开发的时候开发者们也考虑的非常周到,目前版本大小仅为7.1 M,不单节省了空间,也优化了运行速度,用户使用起来也更加的流畅快捷, 本产品在同行业中也是非常的不错,如果您体验效果还不错,欢迎点赞收藏并分享给需要的亲朋好友。

【Application Verifier工具】介绍

1. AppVerifier的原理是hook分配和释放资源的API,在程序调用这些API时记录信息,在程序退出时报告出未释放的资源。

2. 只能检测Native代码。

3. 程序正常退出才行,强行杀进程不能得到正确的报告。

4. 基于原理,只能做Run-time检测。尽量使用程序的所有功能已保证检测到更多代码。

Application Verifier是一款微软的代码验证工具,可以找出在正常程序代码检测中难以察觉的错误。

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

—应用程序正确地使用 API 的时刻:

—不安全的 TerminateThread API。

—正确使用线程本地存储(Thread Local Storage,TLS)API。

—正确使用虚拟空间操作(例如,VirtualAlloc 和 MapViewOfFile)。

—应用程序是否使用结构化的异常处理隐藏访问冲突。

—应用程序是否试图使用无效的句柄。

—堆中是否有内存损坏或存在内存问题。

—应用程序是否在资源不足的情况下用尽了内存。

—是否正确使用了临界区。

—运行在管理员环境中的应用程序在具有较低特权的环境中是否能良好运行。

—当应用程序作为受限用户运行时是否会存在潜在的问题。

—在线程的上下文中,是否在将来的函数调用中会存在未初始化的变量。