「Microsoft 擴充正確性規則」規則集會讓程式碼分析回報的邏輯和 Framework 使用錯誤達到最大的功效。另外則特別強調 COM 互通性和行動應用這類特定案例。如果其中一個案例適合您的專案或您想找出專案的其他問題，請考慮包含這個規則集。
「Microsoft 擴充正確性規則」規則集包含「Microsoft 基本正確性規則」規則集中的規則。「基本正確性規則」包含「Microsoft 最小建議規則」規則集中的規則。如需詳細資訊，請參閱 適用於 Managed 程式碼的基本正確性規則規則集和 適用於 Managed 程式碼的 Managed 建議規則規則集。
下表說明「Microsoft 擴充正確性規則」規則集中的所有規則。
規則 |
描述 |
|---|---|
具有可處置欄位的型別應該是可處置的 |
|
正確宣告事件處理常式 |
|
以 AssemblyVersionAttribute 標記組件 |
|
介面方法應該要可以由子型別呼叫 |
|
擁有原生資源的型別應為可處置 |
|
將 P/Invokes 移到 NativeMethods 類別 |
|
不要隱藏基底類別方法 |
|
必須正確實作 IDisposable |
|
不要在非預期的位置中引發例外狀況 |
|
避免使用重複的快速鍵 |
|
P/Invoke 進入點應該要存在 |
|
P/Invokes 不應該為可見的 |
|
自動配置型別不應該是 COM 可見的 |
|
必須在 P/Invoke 之後立即呼叫 GetLastError |
|
COM 可見型別的基底型別應該是 COM 可見 |
|
應該符合 COM 註冊方法 |
|
P/Invokes 必須正確宣告 |
|
必須移除空的完成項 |
|
實值型別欄位應該為可移植的 |
|
P/Invoke 宣告應該是可移植的 |
|
請勿鎖定具有弱式識別的物件 |
|
必須檢視 SQL 查詢中是否有安全性弱點 |
|
必須指定 P/Invoke 字串引數的封送處理 |
|
必須檢查實值型別上的宣告式安全性 |
|
指標不應該為可見的 |
|
受保護型別不應公開欄位 |
|
方法安全性應該是型別的超集 |
|
APTCA 方法應該只呼叫 APTCA 方法 |
|
APTCA 型別應該只擴充 APTCA 基底型別 |
|
不要間接公開具有連結要求的方法 |
|
覆寫連結要求應該與基底相同 |
|
必須將有弱點的 finally 子句包裝在外層 try 中 |
|
必須同時具有型別連結要求和繼承要求 |
|
安全性關鍵型別可能未參與型別等價 |
|
預設建構函式至少必須和基底型別的預設建構函式一樣關鍵 |
|
委派必須繫結至透明度一致的方法 |
|
覆寫基底方法時，方法必須保持一致的透明度 |
|
透明方法必須只包含可驗證的 IL |
|
透明方法不可以使用 SuppressUnmanagedCodeSecurity 屬性呼叫方法 |
|
透明程式碼不可以參考安全性關鍵項目 |
|
透明方法不可以滿足 LinkDemand |
|
型別至少必須和基底型別與介面一樣關鍵 |
|
透明的方法不可以使用安全性判斷提示 |
|
透明方法不可以呼叫機器碼 |
|
請重新擲回以保存堆疊詳細資料 |
|
不要多次處置物件 |
|
必須初始化實值型別的靜態欄位內嵌 |
|
不要以 WebMethod 標記 Serviced 元件 |
|
可處置的欄位應該受到處置 |
|
不要呼叫建構函式中的可覆寫方法 |
|
可處置型別應該宣告完成項 |
|
完成項應該呼叫基底類別完成項 |
|
請實作序列化建構函式 |
|
覆寫 ValueType.Equals 時必須一併多載等號比較運算子 |
|
以 STAThread 標記 Windows Form 進入點 |
|
必須標記所有不可序列化的欄位 |
|
必須呼叫 ISerializable 型別上的基底類別方法 |
|
必須以 SerializableAttribute 標記 ISerializable 型別 |
|
請正確實作序列化方法 |
|
必須正確實作 ISerializable |
|
必須提供格式化方法的正確引數 |
|
必須正確測試 NaN |
|
列舉值中應該要有值為零的成員 |
|
多載加號和減號運算子時必須一併多載等號比較運算子 |
|
不要將常值當做已當地語系化的參數傳遞 |
|
必須將字串標準化為大寫字母 |
|
不要忽略方法的結果 |
|
正確呼叫 GC.SuppressFinalize |
|
屬性不應傳回陣列 |
|
應該使用字串長度測試空白字串 |
|
只使用來自目標架構的 API |
|
必須移除對 GC.KeepAlive 的呼叫 |
|
使用 SafeHandle 封裝原生資源 |
|
在一般處理常式中攔截非 CLSCompliant 的例外狀況 |
|
不要宣告唯讀的可變動參考型別 |
|
陣列欄位不應為唯讀 |
|
保護判斷提示 |
|
使用原生資源時必須呼叫 GC.KeepAlive |
|
密封方法以滿足私用介面的要求 |
|
必須保護序列化建構函式 |
|
靜態建構函式應為私用 |
|
安全性關鍵常數應該是透明的 |
|
必須使用 Win32 API 的 Managed 對應項 |
|
Dispose 方法應該呼叫基底類別處置 |
|
完成項應該受到保護 |
|
請勿降低繼承成員的可視性 |
|
成員不應該只有在傳回型別上不同 |
|
多載等號比較運算子時必須一併覆寫 Equals |
|
運算子應該有對稱的多載 |
|
集合屬性應該為唯讀 |
|
必須為選擇性欄位提供還原序列化方法 |
|
必須實作標準例外狀況建構函式 |
|
URI 參數不應該為字串 |
|
URI 傳回值不應該為字串 |
|
URI 屬性不應該為字串 |
|
字串 URI 多載呼叫 System.Uri 多載 |
|
避免在 COM 可見介面中多載 |
|
避免對 Visual Basic 6 用戶端使用 Int64 引數 |
|
避免在 COM 可見型別中使用靜態成員 |
|
不要使用 AutoDual ClassInterfaceType |
|
COM 可見型別應該是可建立的 |
|
COM 註冊方法不應該為可見的 |
|
將 ComSource 介面標記為 IDispatch |
|
避免在 COM 可見的實值型別中使用非公用欄位 |
|
以 MarshalAs 標記布林值 P/Invoke 引數 |
|
不要使用 Idle 處理序優先權 |
|
不要使用會妨礙電源狀態變更的計時器 |
|
以 NeutralResourcesLanguageAttribute 標記組件 |
|
避免呼叫有問題的方法 |
|
不要將 Fiber 視為執行緒 |
|
層級 2 組件不應該包含 LinkDemand |
|
成員不應該具有衝突的透明度附註 |
|
透明方法不能使用 HandleProcessCorruptingExceptions 屬性 |
|
透明程式碼不可以使用 LinkDemand 加以保護 |
|
透明方法不可以使用安全性要求 |
|
透明程式碼不可以從位元組陣列載入組件 |
|
透明方法不可以使用 SuppressUnmanagedCodeSecurityAttribute 來裝飾 |
|
常值必須使用正確的拼字 |
|
非常數欄位不應該為可見的 |
|
不要以 FlagsAttribute 標記列舉 |
|
覆寫 Equals 時必須一併覆寫 GetHashCode |
|
不要在 exception 子句中引發例外狀況 |
|
運算子多載必須有具名的替代方法 |
|
不要使用尚未發行版本所支援的格式建置資源 |
|
必須使用 params 做為變數引數 |
|
運算不應該發生溢位 |
|
必須傳遞 System.Uri 物件，而不要傳遞字串 |
|
屬性字串常值必須正確剖析 |