https://arolstar52-zhtest.hf.space/index.php?action=history&feed=atom&title=PREFast_for_Drivers 2026-07-02T10:44:46Z 在这个wiki上该页的修订历史 MediaWiki 1.43.8 https://arolstar52-zhtest.hf.space/index.php?title=PREFast_for_Drivers&diff=183272&oldid=prev 2018-11-19T11:05:29Z

<p>补救2个来源，并将0个来源标记为失效。 #IABot (v2.0beta10)</p> <p><b>新页面</b></p><div>{{Unreferenced|time=2016-06-15T02:50:45+00:00}}<br /> {{noteTA<br /> |G1=IT<br /> }}<br /> &#039;&#039;&#039;PREfast&#039;&#039;&#039;（Prefast.exe）是[[微軟公司]]為[[驅動程式]]設計所提供的靜態的原始碼分析工具（static source code analysis tool），可偵測原始程式碼中不易用一般[[編譯器]]找到的特定類型錯誤，與Windows DDK建置環境一同安裝。目前已整合至[[Visual Studio 2005]] Team Suite中，使用時只要設定‘Enable Code Analysis For C/C++’為『Yes』即可，接下來PREfast會攔截cl編譯器 (cl.exe) 的呼叫，產生由一次檢查所有檔案所得的單一聯合清單，內容屬於[[XML]]格式。<br /> <br /> 偵測錯誤類別：<br /> * 記憶體：内存泄露（memory leak）。 <br /> * 資源：沒能即時釋放資源。 <br /> * 函式使用方式：不正確的函式引數、使用某個過時函式的情況。 <br /> * 浮點運算狀態 <br /> * 優先執行規則 <br /> * 核心模式程式安全性考量 <br /> <br /> == PREfast的工作 ==<br /> * 變數未初始化<br /> void init() {<br /> int a;<br /> int b;<br /> b = a;<br /> }<br /> <br /> * 運算元優先權的問題<br /> void priority() {<br /> int a = 1;<br /> int b = 1;<br /> int c = 1;<br /> if(a &amp; b == c)<br /> return ;<br /> }<br /> <br /> * 記憶體溢位問題<br /> void overrun() {<br /> char buf[100];<br /> char buf2[200];<br /> int i = 100;<br /> <br /> sprintf(buf, &quot;size%d&quot; , i);<br /> strcpy(buf, buf2);<br /> }<br /> <br /> * 無窮迴圈<br /> void infinite_loop() {<br /> int i;<br /> for(i = 100 ; i &gt;= 0 ; i ++ ) {<br /> ; <br /> }<br /> }<br /> <br /> * 運算元誤用<br /> void op_misuse() {<br /> int a = 2;<br /> if (a = 2)<br /> return ;<br /> }<br /> <br /> == 相關條目 ==<br /> * [[Windows Driver Foundation]]<br /> <br /> == 外部連結 ==<br /> * [https://web.archive.org/web/20060815100114/http://www.microsoft.com/whdc/devtools/ddk/default.mspx Windows DDK]<br /> * [https://web.archive.org/web/20061106164917/http://www.microsoft.com/whdc/DevTools/default.mspx WHDC 上的開發工具與測試]<br /> * [https://web.archive.org/web/20060919212952/http://www.microsoft.com/whdc/DevTools/tools/PREfast_steps.mspx PREfast逐步教學說明文件]<br /> <br /> [[Category:Microsoft Visual Studio]]<br /> [[Category:驱动程序]]<br /> [[Category:调试]]</div>

imported>InternetArchiveBot