SAL は、Microsoft のソース・コード コメントの言語です。ソース・コードのコメントを使用して、コードの分離の意図を明確にすることができます。これらのコメントもかなり少なく誤検出および false の値とコードを、より正確な分析を自動化されたスタティック分析ツールを有効にします。 ドキュメントのこのセクションのトピックには、SAL 側面を示し、SAL 構文に参照を追加し、と使用の例を示します。 SAL について コア SAL コメントを示す例と情報を提供します。 関数パラメーターおよび戻り値の注釈設定 関数および関数のパラメーターには、SAL コメントを示します。 関数の動作に注釈を付ける 関数と関数の動作の SAL コメントを示します。 構造体とクラスに注釈を付ける 構造体とクラスの SAL コメントを示します。 ロック動作に注釈を付ける ロック機構を持つ SAL コメントを使

