Microsoft、C言語を拡張した「Checked C」リリース

Microsoft Researchは、C言語を拡張した新しいプログラミング言語「Checked C」をリリースした。

「Checked C」は、C言語に静的・動的チェック機構を加え、高頻度で見られるエラーを検出する仕様が加わっている。これによって、バッファオーバフロー、領域外メモリ参照などのエラーを検出するチェック機能が加わっている。

また、C言語との後方互換性があり、既存のC言語のコードを、修正せずに動作させることもできる。

「Checked C」はMITライセンスの下で配布される。「Checked C」をサポートするLLVM/clangや言語仕様は、GitHubで公開されている。

(川原 龍人/びぎねっと)

[関連リンク]
Checked C
Checked C(Microsoft Reserch)