http://www.rcis.aist.go.jp/project/FailSafeC-ja.htmlがhttp://www-plan.cs.colorado.edu/~pldi09/に出ていた。 Implementation of the Memory-safe Full ANSI-C compiler 博士論文の"a"が"the"になったところがポイントでしょうか。（←おそらく違う）日本…