About Fail-Safe C
Moved
The project is now moved to AIST-RCIS, Research Center for Information Security, National Institute of Advanced Industrial Science and Technology. Please contact Yutaka Oiwa, at the mail addresses shown below.
Overview
Fail-Safe C is a memory-safe implementation of the full
ANSI C language. More precisely, it
detects and disallows all unsafe operations, yet conforming to the
full ANSI C standard (including casts and unions) and even supporting
many ``dirty tricks'' common in many existing programs which do not
strictly conform to the standard. This work also
proposes several techniques---both compile-time and runtime---to reduce
the overhead of runtime checks. By using the Fail-Safe C compiler,
programmers can easily make their programs safe without performing heavy
rewriting or porting of their code.
Papers written in University of Tokyo
-
Yutaka Oiwa.
"Implementation of a Fail-Safe ANSI C Compiler".
Doctoral Dissertation. December 2004.
-
大岩 寛, 住井 英二郎, 米澤 明憲.
「安全性を保証する ANSI-C 実行系の実装手法」.
コンピュータソフトウェア, 日本ソフトウェア科学会. 19(3):39-44. 2002年5月.
-
大岩 寛.
「Fail-Safe C の safe pointer 実装のオブジェクト指向言語のための拡張」.
日本ソフトウェア科学会 第7回プログラミングおよびプログラミング言語に関するワークショップ (PPL2005).
2005年3月.
-
大岩 寛, 住井 英二郎, 米澤 明憲.
「安全性を保証する ANSI-C 実行系の実装手法」.
日本ソフトウェア科学会第18回大会. 2001年9月.
高橋奨励賞受賞。
- Yutaka Oiwa, Eijiro Sumii, Akinori Yonezawa.
"Fail-Safe ANSI-C Compiler".
Poster presentation at the student research session in the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation (PLDI'02). June 17, 2002.
- Yutaka Oiwa, Tatsurou Sekiguchi, Eijiro Sumii, Akinori Yonezawa.
"Fail-Safe ANSI-C Compiler: An Approach to Making C Programs Secure (Progress Report)".
International Symposium on Software Security, November 8--10, 2002.
In Lecture Notes in Computer Science Vol. 2609, February 2003.
Members concerned at Yonezawa Laboratory (~Year 2004)
- Yutaka Oiwa
- Eijiro Sumii
- Tatsurou Sekiguchi
- Kohei Suenaga
- Akinori Yonezawa