http://www.logos.t.u-tokyo.ac.jp/ppl_ss08/index.php/Topなんか参加費は数千円かかるようだけど、こういう分野に興味あるひとはくるといいんじゃないかな。 PPLサマースクール2008今日から使える! みんなの静的解析・バグ検出ツールPPLサマースクールは, …

PPLサマースクールで使うそうなのでインストールしたり遊んだりしてみた。Fail-Safe C インストールメモFail-Safe Cで、既存のライブラリがリンクできて使えてしまったのだけど、それってメモリ安全でないライブラリもリンクできるということだから、メモリ…