ApplicationVerifier最新版(程序验证) 免费版

编程人员没完成一段编程都要做程序验证,这款ApplicationVerifier最新版就是您的不二选择,这款ApplicationVerifier最新版主要用于检测和帮助调试内存损坏、危险的安全漏洞，可以找出在正常程序代码检测中难以察觉的错误,软件小巧易用,有兴趣的小伙伴千万不要错过哦!

ApplicationVerifier最新版特点:

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

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

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

只能检测Native代码。

ApplicationVerifier最新版功能:

正确使用虚拟空间操作（例如，VirtualAlloc 和 MapViewOfFile）。

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

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

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

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

是否正确使用了临界区。

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

不安全的 TerminateThread API。

正确使用线程本地存储（Thread Local Storage，TLS）API。

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

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

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