PREfast最佳作法-Microsoft.docVIP

PREfast 逐步教學說明PREfast 2.1 版更新資料 WinHEC 2005 更新 - 2005 年 4 月 19 日 摘要 PREfast 是靜態的分析工具，可偵測原始程式碼中不易用一般編譯器找到的特定類型錯誤。本文件介紹 PREfast 2.1 版，並提供解讀 PREfast 結果的要領，以及在開發階段使用 PREfast 的秘訣。 這項資訊適用於下列作業系統： Microsoft? Windows? 代號「Longhorn」 Microsoft Windows Server? 2003 Microsoft Windows XP Microsoft Windows 2000 Windows Driver Development Kit 未來將提供本預覽資訊的更新版本。 我們會在網站上保留這份文件的最新版本，網址為：/whdc/DevTools/tools/PREfast_steps.mspx 本文討論的參考資料和資源列於這份文件的結尾。 目錄 簡介 3 為什麼要使用 PREfast 3 PREfast 的偵測範圍 4 使用 PREfast 5 安裝 PREfast 的位置 5 如何執行 PREfast 5 如何建置 PREfast 範例 6 如何顯示 PREfast 結果 7 PREfast 缺失記錄檢視器 8 PREfast 缺失記錄文字輸出 10 分析 PREfast 結果 11 篩選 PREfast 結果 12 減少雜訊 13 範例：解讀 PREfast 結果 14 範例 1：未初始化的變數和 NULL 指標 14 範例 2：隱含(implicit)的評估順序 15 範例 3：使用不正確的 IRQL 呼叫函式 15 範例 4：在錯的地方報告的有效錯誤 16 範例 5：根據函式特性推斷的用途 18 範例 6：不正確的列舉型別 18 PREfast 最佳作法 20 資源 20 免責聲明 這是一份初步的文件，在所述的軟體最後商業發行之前，本文件內容可能會有實質上的變更。 本文件所包含資訊代表 Microsoft Corporation 在截至發行日期為止，對於所討論問題的當時觀點。由於 Microsoft 必須反應不斷變化的市場情況，因此本文件內容不應該當做 Microsoft 一方的承諾，並且 Microsoft 對於在發行日期之後提供的任何資訊，也無法保證其準確性。 這份白皮書僅供資訊參考之用。MICROSOFT 不對本文件所含的資訊擔保責任，無論其為明示、默示或法定者。 遵守所有適用的著作權法是使用者的責任。在不限制任何依著作權本得享有之權利，未經 Microsoft Corporation 書面許可， 貴用戶不得為任何目的使用任何形式或方法 (電子形式、機械形式、影印、記錄或其他方式) 複製或傳送本文件的任何部份，也不得將本文件的任何部份儲存或放入檢索系統 (a retrieval system)。 Microsoft 可能擁有本文件所提及內容中所含之專利權、專利優先權、商標、著作權，或其他智慧財產權。除非 Microsoft 書面授權合約所明示規定者外，提供本文件並不授予 貴用戶上述專利權、商標、著作權或其他智慧財產權。 ? 2005 Microsoft Corporation. All rights reserved. Microsoft、Windows 與 Windows Server 係 Microsoft Corporation 在美國及 (或) 其他國家/地區的商標或註冊商標。 本文件中所提實際公司和產品，可能為各所有人所有之商標。 簡介 PREfast 是靜態的分析工具，可偵測原始程式碼中不易用一般編譯器找到的特定類型錯誤。它會逐一巡訪各個函式 (包括很少在執行階段執行的程式碼路徑)，以模擬所有可能程式碼路徑的執行過程。PREfast 根據一套規則，檢查每條可能的程式碼路徑，以識別可能的錯誤或不良的程式碼編寫方式，並記錄顯示違反規則的程式碼警告。 您可以使用 PREfast 分析核心模式驅動程式及其他核心模式元件。只要忽略任何特定的核心警告，您也可以使用 PREfast 分析使用者模式驅動程式。PREfast 僅授權做為驅動程式開發工具之用。您不應將 PREfast 用於測試使用者模式應用程式。 PREfast 主要是設計用以分析針對 x86 平台所撰寫的 32 位元程式碼。但是，PREfast 本身可執行於支援 Microsoft Windows-32-bit-on-Windows-64-bit (WOW64) 的系統。雖然 PREfast 看不到透過條件式編譯所排除的任何程式碼，但只要將程式碼編譯為 32 位元，您還是可以用它來分析 6