Microsoft は、セキュリティ ホールが混合最小規則が共通言語ランタイムをサポートする、C++ の最も重要な問題に焦点を当てた追加し、アプリケーションがクラッシュ。共通言語ランタイムをサポートする C++ プロジェクトにカスタムの規則セットを作成する場合は、必ずこの規則セットを含める必要があります。
規則 |
説明 |
|---|---|
初期化されていないメモリを使用します |
|
null ポインターを逆参照しています。 |
|
unchecked 値の使用 |
|
呼び出しの終了 |
|
不適切な連結 |
|
関数の書式設定の文字列引数がありません。 |
|
関数の書式設定。不足の整数引数 |
|
関数の書式設定。不足の引数のポインター |
|
関数を書式設定不足している文字列のポインター引数 |
|
返される初期化されていないメモリ |
|
インデックスはバッファーの最大値を超えています。 |
|
インデックスは、スタック バッファーの最大値を超えています。 |
|
関数の書式設定の欠落 float 引数 |
|
関数の引数の書式設定 |
|
書式設定関数を非 float 引数 |
|
関数を非整数 Argumen 書式設定 |
|
関数の書式設定、文字の引数 |
|
無効な文字列のキャスト |
|
無効な CreateProcess は |
|
ファイル形式の関数への無効なオブジェクトの引数 |
|
論理否定ビットごとの AND 優先順位 |
|
論理否定ビットごとの OR の優先順位 |
|
関数を無効な書式指定文字列の引数 |
|
関数を書式設定無効なワイド文字列引数 |
|
一致しないサイズと数の使用 |
|
不適切な引数の関数呼び出し |
|
潜在的な引数の型が一致しません |
|
オーバーランを参照してください。 |
|
オーバーランを記述します。 |
|
無効なパラメーター値 |
|
無効な属性のプロパティ |
|
競合する属性のプロパティ値 |
|
参照を null にすることはできません |
|
非 null ポインターの値 |
|
無効な MustCheck |
|
非ポインターまたは配列のバッファー サイズ |
|
逆参照個の空白の不一致 |
|
定数の書き込み |
|
事前条件で使用して返します。 |
|
ポインター型以外で終了して無効にします。 |
|
MustCheck は Yes または No で |
|
バッファー サイズのない要素のサイズ |
|
バッファーのサイズは配列のサイズを超えています |
|
ポインター型以外のバッファー サイズ |
|
属性のプロパティなし |
|
読み取ることができる有効なバッファーのサイズ |
|
非書き込み可能なバッファーの書き込み可能サイズ |
|
無効なコメント: "" NeedsRelease のプロパティの値は Yes または No で |
|
無効なサイズの文字列の逆参照 |
|
無効なサイズの文字列型 |
|
無効なサイズの文字列パラメーター |
|
無効なサイズの文字列の位置が渡らない |
|
無効なサイズの文字列バッファーの型 |
|
無効なコメント: "" NeedsRelease のプロパティは、void 型の値では使用できない場合があります。 |
|
認識されないファイル形式の文字列のスタイル |
|
この関数の属性のコメントを使用すると、既存の__declspec のコメントをすべて無効になります |
|
無効なサイズ指定です: 解析できる式 |
|
無効な Deref= か Notref=: 解析できる式 |
|
値は、有効な Yes/No/Maybe の値ではありません。 |
|
値は文字列値ではありません。 |
|
値が数値以外です |
|
予期しないコメントの式のエラー |
|
コメントの引数の数は、予想されるコメントの引数の実際の数と一致しません |
|
コメントの予期しないコメントのエラー |
|
指定したパラメーターはポインターである必要があります。 |
|
NULL ポインターを逆参照しています。ポインターは別のポインターがのと同じ null 値が含まれています。 |
|
非静的メンバーへの参照が正しくありません。 |
|
クラス メンバーへのあいまいな参照です。 |
|
不正なコンテキストで使用される_Success_か_On_failure_ |
|
構造体、を使用してに左のオペランドのポイント "-" > |
|
左のオペランドは、構造体です"。型 " |
|
__on_failure コンテキストのコメントはコンテキストに明示的な前にある必要があります。 |
|
SAL_context で予測される静的なコンテキスト名 |
|
コメントで予測されるポインター式 |
|
_Use_decl_annotations_ 注釈は、変更、先行する宣言なしで、参照に使用される必要があります。 |
|
属性のパラメーター名は p1… p9 なります。 |
|
typefix は、既に typefix のあるパラメーターには適用できません |
|
checkReturn のコメントは、特定の関数のパラメーターに事後条件にのみ適用されます。 |
|
関数の場合、コメントへのパラメーターの数はファイルの検索値と一致しません |
|
関数の paramteer の場合、コメントのパラメーターは、ファイルに含まれる値と一致しません |
|
注釈 (注釈のパラメーター) には列挙型のメンバーが必要です |
|
整数の式はコメントのコメントのパラメーターが必要です。 |
|
コメントのパラメーターに対して期待される文字列式 |
|
__yes、コメントで予測される__no、または__maybe |
|
コメント、パラメーターの予想されるトークンまたは識別子の検索 |
|
コメントはパラメーターが必要です |
|
コメントの必要な正しい数のパラメーターを検索 |
|
コメントは、PrimOp はにできません (現在の申告) |
|
コメントは、PrimOp にすることはできません (前の申告を参照) |
|
コメントのパラメーター: 型としてコメントを使用できません |
|
コメントはパラメーターをサポートしません |
|
パラメーターの型とメンバーはありません。 |
|
コメントは、配列内でのみ有効です |
|
前に、コメントは適用されないポスト、または deref |
|
前に、ブロックに適用されるポスト、または deref |
|
__at の式は、現在の関数に適用されません |
|
関数は、コメントとして単独ですることはできません |
|
コメントは式で使用できません。 |
|
パラメーターのコメントはサポートされていません |
|
コメントは、パラメーターの値 stringValue と longValue の 1 以上があります。paramn=xxx を使用します。 |
|
パラメーターのコメントでも、longValue は、stringValue を評価して、[; と paramn=xxx。paramn=xxx のみ使用します。 |
|
パラメーターのコメントに param2 param1 はありません |
|
パラメーターの関数のコメントが認識されない |
|
パラメーターの関数のコメントは、注釈される実際の型の制限よりも多くの逆参照が必要です |
|
関数のコメントは非メンバー関数の "this "" の注釈を付けます。 |
|
関数のパラメーターのコメントは、パラメーターの型と一致しません |
|
関数の矛盾したコメント: 前のインスタンスにエラーがあります。 |
|
関数の矛盾したコメント: このインスタンスにエラーがあります。 |
|
関数の矛盾したコメント: パラメーターにこのインスタンスの別のコメントがあります。 |
|
関数の矛盾したコメント: パラメーターにこのインスタンスの別のコメントがあります。 |
|
dynamic_cast<>() はコメントではサポートされていません |
|
コメントの構文エラーは、コメントの関数でを検索 |
|
条件付きコメント構文エラーは、基本的なコメント見つかりませんでした。 |
|
結果リストの値は定数である必要があります。 |
|
コメント構文エラーは、関数にあるコメントです。 |
|
チェックが関数宣言と矛盾しているときに、関数パラメーターのコメント |
|
関数の場合、手掛かりが関数宣言と一致しません。 |
|
_Macro_value_へのパラメーターは null です |
|
シンボルについては、" "と "" が一致の末尾に" なし " |
|
シンボルには、" End" は一致しない検索 "" で始まります |
|
ファイル形式の文字列は事前条件でなければなりません |
|
関数の場合、パラメーターの構文エラー |
|
関数の場合、末尾付近の構文エラー |
|
関数の場合、_At_() のコメント (認識されないパラメーター名) の構文エラー |
|
関数の場合、_At_() のコメント (無効なパラメーター名) の構文エラー |
|
関数の場合: ReadableTo かに WritableTo にパラメーターとして指定制限はありません。 |
|
関数のコメントがパラメーターの実際の数よりも多くの外部が含まれます。 |
|
deref のレベル 0 のポストの null 値/notnull は関数ごとに無意味です。 |
|
演算子の互換性のない型の式のオペランド |
|
関数の最初申告のコメントはありません。 |
|
追加の_Deref_の演算子はコメントにあります。 |
|
あいまいな_Deref_の演算子はコメントにあります。 |
|
不適切に設定された_Notref_の演算子はトークンに適用された検索します。 |
|
トークンを分析することが検出されたときにエラー。 |
|
コメントは、条件付きで適用されるものではない状態を示します。 |
|
コメントは動的な値 (変数) が要件の任意の場所で使用できない方法について説明します。 |
|
破棄可能なフィールドを所有することで、破棄可能型であること |
|
空のファイナライザーの削除 |
|
破棄可能なフィールドは破棄する必要があります。 |
|
ValueType.Equals のオーバーライドのオーバーロードされた演算子になります。 |