メモリ安全なC言語処理系Fail-Safe Cの実用プログラムへの適用のための改良

情報処理学会

説明

Fail-Safe Cは、完全なメモリ安全性を実現するANSI C準拠の処理系である。ANSI C言語の使用で定められた全てのメモリ操作(キャストや共用体を含む)に対しその安全性を保証し、全ての危険なメモリアクセスを事前に検知し防止する。このコンパイラを用いることでプログラマは、既存のプログラムを大幅に書き換えたり別の言語に移植したりすることなく、そのままプログラムを安全に実行することができる。本発表では主に、この処理系の概要のほかに、実際の大規模プログラムに適用する過程で生じた問題点やそれに対する改良、移植性や実用性を向上させるための取り組みについても報告する。

Fail-Safe C is a completely memory-safe, completely ANSI-compatible compiler system for the C language. It detects and disallows all unsafe operations, yet conforms to the full ANSI C90 standard (including casts and unions). This system introduces several techniques—both compile-time and runtime—to reduce the overhead of runtime checks, while still maintaining 100% memory safety. In this report the author describes his effort on making the system more reliable, more portable and applicable to the real-world applications, as well as the system’s basic design and implementation methods.

収録刊行物

詳細情報 詳細情報について

問題の指摘

ページトップへ