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）。

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

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

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

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

—是否正確使用了臨界區。

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

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

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

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

Application Verifier更新說明

對部分功能進行了優化