sal

5熱度

1回答

SAL（Source Annotation Language）的用途是什麼？SAL 1和2有什麼不同？

由於要求在標題： 什麼是SAL（來源標註語言）的目的是什麼SAL 1和SAL 2有什麼區別？ 我瞭解的基本用法，那就是用於顯示的每個傳遞給函數與其他各種東西靜態代碼分析沿變量的目的，但有多少區別呢實際上使（忽略提高項目中其他程序員的參數要求的清晰度）？ 如果我是有原型如下： _Success_(return == 1) int TestFunction(_In_ int* pTest, _Ino

c++ visual-studio microsoft-sal sal 2013-04-28

---

1熱度

1回答

Microsoft SAL如何防止逐一出錯

以下是MSDN（http://msdn.microsoft.com/en-us/library/hh916383.aspx）上給出的一個示例，該示例試圖解釋SAL註釋有助於找到常見的錯誤。 wchar_t * wmemcpy( _Out_writes_all_(count) wchar_t *dest, _In_reads_(count) const wchar_t *src, size_t

c++ visual-c++ annotations prefast sal 2013-07-05

---

1熱度

1回答

瞭解__deref_out

我是Windows編程的新手，我似乎無法找到任何資源來理解此SAL註釋的含義。我基本上試圖尋找例子，所以我確切知道這對於調用者和被調用者意味着什麼。 MSDN文章here沒有任何幫助。 任何幫助，將不勝感激。

windows winapi sal 2014-11-21

---

3熱度

1回答

SAL註釋和指針參數

我一直在閱讀關於SAL，我不清楚指針類型上的註釋是否適用於引用或它指向的值。舉例來說，如果我有： void f(_In_ type* t); _In_的意思是「參數必須前的狀態有效，不會被修改。」這裏的應用是否意味着t的地址不會改變，或者t的值？

c++ static-analysis sal 2013-08-30

---

1熱度

1回答

代碼分析不理解_In_opt_參數註釋？

看起來像SAL錯誤。代碼： PAAFILEFILTER_PROTECTED_FILE curFile = NULL; try { status = GetProtectedFile(FileIdInfo, instanceContext, &curFile); if(!NT_SUCCESS(status)) { Tr

c++ c code-analysis sal 2016-04-01

---

1熱度

1回答

如果我使用SAL，我可以刪除NULL和邊界檢查嗎？

我可以依賴SAL多少錢？我需要做的 NSTATUS my_func(_In_ int *p) { if (NULL == p) { return STATUS_INVALID_PARAMETER; } *p = 1; return STATUS_SUCCESS; } 或者我可以做 NTSTATUS my_func(_In_ int *p)

c visual-studio annotations static-analysis sal 2014-11-22

---

4熱度

3回答

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

有沒有辦法利用微軟的SAL，例如通過保存這些信息的C解析器？還是由微軟製造，僅供微軟內部使用？ 這對於很多任務來說非常有用，例如爲其他語言創建C庫綁定。

c++ c visual-c++ microsoft-sal sal 2012-05-03

---