Application Verifier工具

application verifier x64是一款功能強大（dà）的應用程序驗證器工具（jù），主要用（yòng）於檢（jiǎn）測和幫助調（diào）試內存損壞、危險的安全漏洞，感興趣的朋友歡迎來綠（lǜ）色資（zī）源網下載體驗！

Application Verifier官方介紹

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

Application Verifier特點

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

2. 隻能檢測Native代碼。

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

4. 基於（yú）原理，隻（zhī）能做（zuò）Run-time檢測。盡量使用程序的所有（yǒu）功能已保證檢測到更多代碼。

Application Verifier能識別的問題

—應用（yòng）程序正確地使用 API 的時刻：

—不安全的 TerminateThread API。

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

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

—應（yīng）用程序是否使用結構化的異常（cháng）處理（lǐ）隱藏訪問衝突。

—應用程序是否（fǒu）試圖使用無效的句（jù）柄（bǐng）。

—堆（duī）中是否有內存損壞或存在內存（cún）問（wèn）題。

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

—是（shì）否正確使用了臨界區。

—運行在管理員環境中的應用程序在具有較低特權的（de）環境（jìng）中（zhōng）是否能良好運行。

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

—在線程的上下文中，是否在將來的函數（shù）調用中會存在未初始化的變（biàn）量。

Application Verifier使用方法

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

Basic最基本的驗證

—Exceptinons 防止程序做這樣的操作，比如（rú）程序用異常捕獲，以防止錯（cuò）誤繼續拋出。

—Handles 檢測句（jù）柄錯誤

—Heaps 檢（jiǎn）測內存中的堆棧錯誤

—InputOutput 檢（jiǎn）測讀寫文件，讀寫網卡數據等的錯誤

—Locks 檢測鎖使用情況，確（què）定應用（yòng）程序是否正確（què）的使用關鍵段

—Memory  檢測應用程序虛（xū）擬內存使用情況

—ThreadPool 監控線程池使用，線程池的線程不應該被應用程序（xù）關閉

—Tls 檢測線程局部存（cún）儲api是否被正（zhèng）確使用

2）Compatibility 兼容性問題驗證

—Filepaths 檢測是否正常訪問文件目（mù）錄

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

—InterActiveservices 檢查（chá）一個程序是否運行為可桌麵交互的服務，或者向可交互的用戶桌麵發送過數（shù）據。這樣的應用程序可能會引發嚴重的安全問題。

—KernelModeDriverInstall 檢（jiǎn）測驅動程序安裝

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

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

5）Miscellaneous

—dangerousapIs 檢測應（yīng）用程序是否（fǒu）使用了危（wēi）險的API，如TerminateThread

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

—TimeRoleOver 模擬使GetTickCount and TimeGetTime APIs 返（fǎn）回的值比實（shí）際的大，即時間跑的更快的情況下，程（chéng）序運行是否正常（cháng）。

6）Pringting

—PrintAPI

—PrintDriver

Application Verifier更新說明

對部（bù）分功能進行了優化