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

Application Verifier官方介紹

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

Application Verifier特點

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

2. 只能檢測Native代碼。

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

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

Application Verifier能識別的問題

—應(yīng)用程序正確地使用 API 的時刻：

—不安全的 TerminateThread API。

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

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

—應(yīng)用程序是否使用結(jié)構(gòu)化的異常處理隱藏訪問沖突。

—應(yīng)用程序是否試圖使用無效的句柄。

—堆中是否有內(nèi)存損壞或存在內(nèi)存問題。

—應(yīng)用程序是否在資源不足的情況下用盡了內(nèi)存。

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

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

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

—在線程的上下文中，是否在將來的函數(shù)調(diào)用中會存在未初始化的變量。

Application Verifier使用方法

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

Basic最基本的驗證

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

—Handles 檢測句柄錯誤

—Heaps 檢測內(nèi)存中的堆棧錯誤

—InputOutput 檢測讀寫文件，讀寫網(wǎng)卡數(shù)據(jù)等的錯誤

—Locks 檢測鎖使用情況，確定應(yīng)用程序是否正確的使用關(guān)鍵段

—Memory  檢測應(yīng)用程序虛擬內(nèi)存使用情況

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

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

2）Compatibility 兼容性問題驗證

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

—Highversionlie 驗證應(yīng)用程序是否正確檢測windows版本

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

—KernelModeDriverInstall 檢測驅(qū)動程序安裝

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

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

5）Miscellaneous

—dangerousapIs 檢測應(yīng)用程序是否使用了危險的API，如TerminateThread

—Dirtystacks  檢測應(yīng)用程序是否使用了未初始化的變量

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

6）Pringting

—PrintAPI

—PrintDriver

Application Verifier更新說明

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