Microsoftの開発したC言語拡張「Checked-C」とは何なのか

Microsoftが、C言語を拡張した独自言語「Checked-C」の仕様をオープンソース化した。 developers.srad.jp Checked CはC言語にポインタの境界チェック機能を追加したことが名前の由来となっている。チェックに対応する新しい種類の配列型やポインタ型が追加されており、スコープを指定してチェックを強制することもできる。…