米澤研 SurveyBBSによると、SAFECode Projectというのがあるらしい。 Control-Cの話。いわゆる安全なC。メモリ安全性を100％静的に保証する。プログラムにセマンティクス制限を課す。動的メモリ確保とかポインタや配列の使い方に関して。文脈は組み込み。Cプ…

とあるきっかけで参加させて頂いた勉強会＋オフ会で、SELinuxの方とお話する機会に恵まれた。私なんぞが言うまでもないけれども、これからのOSの方向性はこれでキマリだな!と感じた。すぐにでも使い始めたい魅力に溢れている。 ネックは、誰もが思うことだろ…