原生最小規則規則集
這些規則的重點在於機器碼中最關鍵的問題，包括潛在的安全性漏洞和應用程式損毀。 您應該在您為原生專案建立的任何自訂規則集中都包含這個規則集。
規則 |
描述 |
|---|---|
使用尚未初始化的記憶體。 |
|
正在取值 NULL 指標 '$ls'。 |
|
使用未經確認的 's'值 。 |
|
從呼叫的零結束。 |
|
終結串連 |
|
遺漏字串中的引數去格式化函式。 |
|
遺漏整數引數去格式化函式。 |
|
遺漏指標引數去格式化函式 |
|
遺漏字串中的指標引數去格式化函式。 |
|
傳回未初始化的記憶體 '$ls'。 |
|
索引超出緩衝區最大值 |
|
索引超出堆疊緩衝區最大值 |
|
遺漏浮點引數去格式化函式。 |
|
額外引數去格式化函式。 |
|
非浮點引數去格式化函式。 |
|
非整數引數去格式化函式。 |
|
非字元引數去格式化函式。 |
|
無效的資料轉換。 |
|
無效的 CreateProcess 呼叫 |
|
無效的物件引數去格式化函式 |
|
邏輯 NOT 位元 AND 優先順序 |
|
邏輯 NOT 位元 OR 的優先順序。 |
|
無效的字串引數去格式化函式。 |
|
無效的寬字元字串引數去格式化函式。 |
|
不相符的大小和使用數目。 |
|
不正確的變數引數函式呼叫。 |
|
可能的引數型別不符。 |
|
讀取滿溢 |
|
撰寫滿溢 |
|
無效的參數值。 |
|
無效的屬性 |
|
發生衝突的屬性值。 |
|
參考不可以是空值。 |
|
在非指標的空值。 |
|
在 void的MustCheck |
|
在非指標或陣列的緩衝區大小。 |
|
空值不符在取值零 |
|
in 常數的寫入權限。 |
|
在之前狀況中回傳使用過 |
|
在非指標的空值結束 |
|
'MustCheck' 屬性必須為 Yes 或 No。 |
|
沒有緩衝區大小的項目大小。 |
|
緩衝區大小超過陣列大小 |
|
在非指標的緩衝區大小。 |
|
在屬性中沒有屬性。 |
|
在不可讀取緩衝區的有效大小 |
|
在非可寫入緩衝區的可寫入的大小 |
|
無效的註釋: 'NeedsRelease' 屬性的值必須為 Yes 或 No。 |
|
無效的大小指標值的字串。 |
|
無效的資料型別 |
|
無效的字串參數大小 |
|
無效的字串大小不可能執行到的位置。 |
|
無效的字串緩衝區型別大小 |
|
無效的註釋: NeedsRelease 屬性在 void 型別的值不能使用。 |
|
無法辨認的格式字串樣式 |
|
在這個函式上使用屬性附註會使其所有存在的 __declspec 附註無效。 |
|
無效的大小規格: 無法剖析運算式 |
|
無效的 Deref=或 Notref=: 無法剖析運算式 |
|
值不是有效的 Yes/No/Maybe 值: 's'。 |
|
值不是字串。 |
|
此值不是數值。 |
|
未預期的附註表示錯誤 |
|
附註的引數的預期數字不符合附註的引數的實際數目 |
|
附註的未預期的附註錯誤。 |
|
被附註的參數必須是指標。 |
|
正在取值 NULL 指標。 指標含有與另一個指標的空值。 |
|
非靜態成員 's'之不合法的參考。 |
|
類別成員的參考模稜兩可。 |
|
's' : _Success_ 或 _On_failure_ 用於不合法的內容中: |
|
's' : 左運算元指向結構，請使用 '->'。 |
|
's' : 左運算元是結構，請使用 '.'。 |
|
_On_failure_ 內容的註釋不能在明確在pre context 中 |
|
SAL_context 必須有靜態內容名稱，但找到 's'。 |
|
為附註預期的指標運算式 |
|
_Use_decl_annotations_ 附註必須不需修改就能用來參考預先宣告。 |
|
屬性參數名稱必須是 p1...p9。 |
|
typefix 不能套用到已經有 typefix 的參數 |
|
checkReturn 附註只適用於為特定函式參數的後置條件。 |
|
對於函式 's' s，附註 's' 的參數數目與在 s() 找到的不符。 |
|
針對函式 paramteer，附註的參數不符合在檔案中尋找的。 |
|
註釋中標註的參數需要列舉的成員 |
|
整數運算式為附註預期標記法的參數 |
|
用於附註的參數預期的字串運算式。 |
|
__yes、 __no 或 __maybe為預期的附註 |
|
附註 's' 參數預期語彙基元/識別項，找到 's'。 |
|
附註 's' 需要的參數。 |
|
沒有找到附註中參數所需的正確數目 |
|
附註 's' 不可以同時是 PrimOp (在目前宣告中)。 |
|
附註 's' 不可以同時是 PrimOp (請參閱預先宣告)。 |
|
附註參數:無法使用附註中的型別 |
|
附註 's' 不支援參數。 |
|
'$ls' 的型別沒有成員 '$ls'。 |
|
附註只在陣列有效 |
|
pre、post 或 deref 未套用至任何附註。 |
|
pre、post 或 deref 已套用至區塊。 |
|
__at 運算式不套用於目前函式。 |
|
函式 's' 無法單獨做為附註。 |
|
附註 's' 不能用在運算式中。 |
|
不再支援註釋 '$ls' (位於 $d)。 |
|
在$ls的註釋 '$ls' (位於 $d) 具有一個以上的值，stringValue 和 longValue。 請使用 paramn=xxx。 |
|
在引數中的註釋 '$ls' (位於 $d) 具有兩個值，stringValue 或 longValue 以及 paramn=xxx。 請只使用 paramn=xxx。 |
|
引數中的註釋 '$ls' (位於 $d) 有 param2 但沒有 param1。 |
|
函式的附註參數無法辨認 |
|
函式 '$ls' (位於 $d) 的註釋需要執行的取值比實際註釋之型別允許的還多。 |
|
函式 's' 的附註會在非成員函式上附註 'this'。 |
|
函式 's' 中的參數 's' 的附註不符合參數的型別。 |
|
函式不一致的附註:先前的執行個體是否有錯誤發生。 |
|
函式不一致的附註:這個執行個體有錯誤發生。 |
|
函式不一致的附註:參數會在這個執行個體有另一個附註。 |
|
函式不一致的附註:參數會在這個執行個體有另一個附註。 |
|
dynamic_cast()在附註中不支援。 |
|
在函式 s (隸屬於附註 's') 中找到附註的語法錯誤: |
|
找到內建 '$ls' 的條件式註釋語法錯誤: |
|
結果清單值必須是常數。 |
|
在函式 s (隸屬於附註 's') 中找到附註的語法錯誤: |
|
函式 s 、參數 's' 的附註在檢查 's' 時，與函式宣告不一致。 |
|
對於函式 s，'s' 與函式宣告不一致。 |
|
_Macro_value_ 的參數為空值。 |
|
找到符號 's' 的 'begin'，但沒有相符的 'end'。 |
|
找到符號 's' 的 'end'，但沒有相符的 'begin'。 |
|
格式化字串必須在前置條件 |
|
針對函式，在參數中的語法錯誤 |
|
函式 's' 的 's' 結尾附近發生錯誤。 |
|
函式 's' 的 _At_() 附註中有語法錯誤 (無法辨認的參數名稱)。 |
|
函式 's' 的 _At_() 附註中有語法錯誤 (無效的參數名稱)。 |
|
對函式來說: ReadableTo 或 WritableTo 沒有有限的規格做為參數。 |
|
函式 's' 的附註包含比實際參數數目還多的外部。 |
|
位於 deref 層級 0 的 post null/notnull 對函式 's' s 是無意義的。 |
|
運算子 's' 不相容型別的運算式運算元。 |
|
函式的第一個宣告中沒有附註。 |
|
額外的 _Deref_ 運算子在註解中被找到。 |
|
一個模稜兩可的 _Deref_ 運算子在註解中被找到。 |
|
找到非正確定位 _Notref_ 運算子套用至語彙基元。 |
|
在剖析時語彙基元找到的錯誤。 |
|
附註 's' 描述條件上不適合的情況: |
|
附註 's' 描述條件中不可以使用動態值 (變數)。 |