適用於 Windows 驅動程式的 SAL 2.0 註釋
Microsoft 原始程式碼批注語言 (SAL) 包含 Windows 驅動程式分析和相關核心程式碼特有的批注。 註釋語言提供描述函式、參數、傳回值、結構和結構字段屬性的方式。 批註就像您新增至程序代碼的批注，編譯程式會忽略，但由靜態分析工具使用。 使用註釋有助於改善開發人員的效率、協助改善靜態分析的結果精確度，以及讓工具更清楚地判斷特定 Bug 是否存在。 驅動程式批注不適用於非驅動程式或非核心相關程序代碼。 驅動程序註釋定義於 Driverspecs.h 中。
注意 Windows 8 引進 SAL 2.0，以取代 SAL 1.0。 如需 SAL 2.0 的相關信息，請參閱 使用 SAL 註釋減少 C/C++ 程式代碼瑕疵。 SAL 2.0 取代 SAL 1.0。 SAL 2.0 應該與 Windows 驅動程式套件搭配使用， (WDK) 8 for Windows 8。 如果您需要有關驅動程式 SAL 1.0 的資訊，請參閱隨附於適用於 Windows 7 的 WDK 的檔案。
IRQL 註釋
使用 IRQL 註釋 來指定函式應該執行之 IRQL 層級的範圍。 IRQL 註釋可協助程式代碼分析工具更精確地找出錯誤。
_IRQL_requires_max_(value)
_IRQL_requires_min_(value)
_IRQL_raises_(value)
_IRQL_requires_(value)
_IRQL_raises_(value)
_IRQL_saves_
_IRQL_restores_
_IRQL_saves_global_(kind, param)
_IRQL_restores_global_(kind, param)
_IRQL_always_function_min_(value)
_IRQL_always_function_max_(value)
_IRQL_requires_same_
_IRQL_is_cancel_ - 使用_IRQL_is_cancel註釋，協助確保DRIVER_CANCEL回呼函式的正確行為。
驅動程式的浮點註釋
_Kernel_float_saved_
_Kernel_float_restored_
_Kernel_float_used_
使用 驅動程式的浮點註釋 可協助程式代碼分析工具偵測使用內核模式程式代碼中的浮點，並在浮點狀態未正確保護時報告錯誤。
DO_DEVICE_INITIALIZING批注
_Kernel_clear_do_init_
使用 DO_DEVICE_INITIALIZING註釋 來指定批註函式是否預期要清除裝置物件的 Flags 欄位中的DO_DEVICE_INITIALIZING位。
Kernel_IoGetDmaAdapter批注
_Kernel_IoGetDmaAdapter_
使用 Kernel_IoGetDmaAdapter 批註 指示程式代碼分析工具尋找誤用 DMA 指標。
連結操作數的註釋
_Interlocked_operand_
針對函式參數使用 連結操作數的註釋 ，將它們識別為連結操作數。 許多函式會採用其其中一個參數，這是應該使用連結處理器指令存取之變數的位址。 這些是快取讀取不可部分完成的指令，如果操作數不正確使用，則非常細微的錯誤結果。
驅動程式分派例程的註釋
_Dispatch_type_
當您宣告 WDM 驅動程式分派例程時，請使用 驅動程式分派例 程的註釋。 如需詳細資訊，請參閱 使用WDM驅動程式的函式角色類型宣告 函式和 標註驅動程式分派例程。
檔系統迷你篩選預先作業回呼_Flt_CompletionContext_Outptr_批注
_Flt_CompletionContext_Outptr_
當您宣告檔系統迷你篩選預作業回呼函式PFLT_PRE_OPERATION_CALLBACK時，請使用檔案系統迷你篩選預作業回呼_Flt_CompletionContext_Outptr_批注。
將此批注放在 CompletionContext 參數上。 此批注會指示程序代碼分析工具檢查 CompletionContext 是否正確，以FLT_PREOP_CALLBACK_STATUS傳回值。