Fail-Safe CコンパイラRelease 1
https://www.rcis.aist.go.jp/project/FailSafeC-ja.html
2008年4月11日、「Release 1」を一般公開しました。
https://staff.aist.go.jp/y.oiwa/FailSafeC/
Fail-Safe C は、メモリ安全性を保証する ANSI C 言語のフルスペックの実装です。 ANSI C 言語の仕様で定められた全てのメモリ操作(キャストや共用体を含む)に対しその安全性を保証し、全ての危険なメモリアクセスを事前に検知し防止します。