Fail-Safe C 「研究者向けプレビュー」公開

とのこと。

https://staff.aist.go.jp/y.oiwa/FailSafeC/
(via http://www.oiwa.jp/~yutaka/tdiary/20071029.html#p01)

…またポインタだけですみません。個人的には、動的検査だけ(ほとんど静的解析なし)なのに、わりと現実的なプログラムで「4〜10倍のオーバーヘッド」というのは大したものだと思う。