使用 SAL 註釋減少 C/C++ 程式碼的缺失
SAL 是原始程式碼註釋語言Microsoft。 藉由使用原始程式碼批注,您可以明確表示程式碼背後的意圖。 這些批註也可讓自動化靜態分析工具更準確地分析您的程序代碼,並大幅減少誤判和誤判。
本章節中的文章會討論 SAL 的各個層面、提供 SAL 語法的參考,並提供其用法的範例。
-
提供顯示核心 SAL 批注的資訊和範例。
-
列出函式和函式參數的 SAL 批注。
-
列出函式和函式行為的 SAL 批注。
-
列出結構和類別的 SAL 批注。
-
說明如何搭配鎖定機制使用SAL註釋。
-
列出指定其他 SAL 批注之條件或範圍(位置)的 SAL 批注。
-
列出內部 SAL 批注。
-
提供示範如何使用 SAL 註釋的範例。 也說明常見的陷阱。