Fail-Safe C: Top Page

Fail-Safe C は、メモリ安全性を保証する ANSI C 言語のフルスペックの実装です。 ANSI C 言語の仕様で定められた全てのメモリ操作（キャストや共用体を含む）に対し その安全性を保証し、全ての危険なメモリアクセスを事前に検知し防止します。 Fail-Safe C では、コンパイル時や実行時の様々な最適化手法を組み合わせる ことで、実行時検査のオーバーヘッドの削減を行っています。このコンパイラ を用いることでプログラマは、既存のプログラムを大幅に書き換えたり別の言 語に移植したりすることなく、そのままプログラムを安全に実行することがで きます。 詳細については次の文献もごらん下さい。 Yutaka Oiwa. Implementation of the Memory-safe Full ANSI-C Compiler. ACM SIGPLAN Conference on P

[masterq]

論文はこっち https://staff.aist.go.jp/y.oiwa/publications/2005-PhDthesis.pdf

[wacky]

メモリ操作の安全性を保障するANSI C規格準拠C言語コンパイラ「Fail-Safe C」。産総研情報セキュリティ研究センターによる開発。QPL を一部改変したライセンスで配布。

[kazuhooku]

おめ

[hasegawayosuke]

あとで調べる

[nirvash]

Fail-Safe C is a memory-safe implementation of the full ANSI C language.研究者向けプレビュー