SAFECode Project
米澤研 SurveyBBSによると、SAFECode Projectというのがあるらしい。
Control-Cの話。いわゆる安全なC。メモリ安全性を100%静的に保証する。プログラムにセマンティクス制限を課す。動的メモリ確保とかポインタや配列の使い方に関して。文脈は組み込み。
Cプログラム用の全自動のregion inferenceアルゴリズムを開発したらしい。
だそうだ。LLVMの人たちがやってるのかな。
米澤研 SurveyBBSによると、SAFECode Projectというのがあるらしい。
Control-Cの話。いわゆる安全なC。メモリ安全性を100%静的に保証する。プログラムにセマンティクス制限を課す。動的メモリ確保とかポインタや配列の使い方に関して。文脈は組み込み。
Cプログラム用の全自動のregion inferenceアルゴリズムを開発したらしい。
だそうだ。LLVMの人たちがやってるのかな。