微軟的源註釋語言（SAL） - 有什麼方法可以利用它？

Question

有沒有辦法利用微軟的SAL，例如通過保存這些信息的C解析器？還是由微軟製造，僅供微軟內部使用？

這對於很多任務來說非常有用，例如爲其他語言創建C庫綁定。

Answer 1

不確定您的意思是「利用」，但目前VS 2011 Beta在執行代碼分析時使用SAL註釋，通過/analyze選項。註釋只是從微軟鼓勵使用（至少在VS環境中）的sal.h純宏。

如果你只是想在預處理步驟後保存信息，你可以讓宏自己展開或者改變一個現有的開源預處理器來排除符號（VS也有一些擴展但是使用註釋提供的信息需要沿着自定義LLVM預傳或GCC插件的行來做這件事（如果編譯代碼，儘管您可以同時使用它們綁定生成）。

Answer 2

根據我自己的個人經驗所見，源註釋是快速查看參數應該如何通過或假設如何通過的有用方法。至於利用這一點，我同意預備會是獲得真正優勢的唯一途徑，如果您對產出有特定需求或期望，我可以建議編寫自己的優勢。 希望我幫助..

Answer 3

SAL註釋可以找到噸靜態分析錯誤。

http://msdn.microsoft.com/en-us/library/windows/hardware/hh454825(v=vs.85).aspx

我從來沒有從頭設置它，但我的開發環境將使用的PREfast做靜態分析每次我建立的東西。在編譯時查找錯誤比在運行時查找錯誤要好。