とのこと。https://staff.aist.go.jp/y.oiwa/FailSafeC/ (via http://www.oiwa.jp/~yutaka/tdiary/20071029.html#p01)…またポインタだけですみません。個人的には、動的検査だけ（ほとんど静的解析なし）なのに、わりと現実的なプログラムで「4〜10倍のオー…