Application Verifier工具

application verifier x64是一款功能強大的應用程序驗證器工具，主要用于檢測和幫助調試內存損壞、危險的安全漏洞，感興趣的朋友歡迎來綠色資源網下載體驗！

Application Verifier官方介紹

Application Verifier是一款微軟的代碼驗證工具,可以找出在正常程序代碼檢測中難以察覺的錯誤。

Application Verifier特點

1. AppVerifier的原理是hook分配和釋放資源的API，在程序調用這些API時記錄信息，在程序退出時報告出未釋放的資源。

2. 只能檢測Native代碼。

3. 程序正常退出才行，強行殺進程不能得到正確的報告。

4. 基于原理，只能做Run-time檢測。盡量使用程序的所有功能已保證檢測到更多代碼。

Application Verifier能識別的問題

—應用程序正確地使用 API 的時刻：

—不安全的 TerminateThread API。

—正確使用線程本地存儲（Thread Local Storage，TLS）API。

—正確使用虛擬空間操作（例如，VirtualAlloc 和 MapViewOfFile）。

—應用程序是否使用結構化的異常處理隱藏訪問沖突。

—應用程序是否試圖使用無效的句柄。

—堆中是否有內存損壞或存在內存問題。

—應用程序是否在資源不足的情況下用盡了內存。

—是否正確使用了臨界區(qū)。

—運行在管理員環(huán)境中的應用程序在具有較低特權的環(huán)境中是否能良好運行。

—當應用程序作為受限用戶運行時是否會存在潛在的問題。

—在線程的上下文中，是否在將來的函數調用中會存在未初始化的變量。

Application Verifier使用方法

1）、打開appverifier，選擇File--Add  Application添加應用程序；

Basic最基本的驗證

—Exceptinons 防止程序做這樣的操作，比如程序用異常捕獲，以防止錯誤繼續(xù)拋出。

—Handles 檢測句柄錯誤

—Heaps 檢測內存中的堆棧錯誤

—InputOutput 檢測讀寫文件，讀寫網卡數據等的錯誤

—Locks 檢測鎖使用情況，確定應用程序是否正確的使用關鍵段

—Memory  檢測應用程序虛擬內存使用情況

—ThreadPool 監(jiān)控線程池使用，線程池的線程不應該被應用程序關閉

—Tls 檢測線程局部存儲api是否被正確使用

2）Compatibility 兼容性問題驗證

—Filepaths 檢測是否正常訪問文件目錄

—Highversionlie 驗證應用程序是否正確檢測windows版本

—InterActiveservices 檢查一個程序是否運行為可桌面交互的服務，或者向可交互的用戶桌面發(fā)送過數據。這樣的應用程序可能會引發(fā)嚴重的安全問題。

—KernelModeDriverInstall 檢測驅動程序安裝

3）Low resources simulation 低資源情況下，如內存將耗盡，程序是否能正常運行。

4）Luapriv 檢測程序在標準用戶權限下是否能正常運行

5）Miscellaneous

—dangerousapIs 檢測應用程序是否使用了危險的API，如TerminateThread

—Dirtystacks  檢測應用程序是否使用了未初始化的變量

—TimeRoleOver 模擬使GetTickCount and TimeGetTime APIs 返回的值比實際的大，即時間跑的更快的情況下，程序運行是否正常。

6）Pringting

—PrintAPI

—PrintDriver

Application Verifier更新說明

對部分功能進行了優(yōu)化