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 言語の仕様で定められた全てのメモリ操作(キャストや共用体を含む)に対しその安全性を保証し、全ての危険なメモリアクセスを事前に検知し防止します。