Last Update: Saturday, 20 Oct 2007 21:49:57 JST [[ To Japanese Page ]]

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

Members concerned at Yonezawa Laboratory (~Year 2004)

Yutaka Oiwa, Ph.D.
Research Scientist, Research Team for Software Security, Research Center for Information Security (RCIS), National Institute of Advanced Industrial Science and Technology (AIST).
(I was a PhD Student in Yonezawa Laboratory, Department of Computer Science, Graduate School of Information Science and Technology, University of Tokyo until March 2005.)

Mail addresses:

PGP Public Keys:

$Id: FailSafe-C.www,v 1.1 2005/06/13 08:07:40 oiwa Exp oiwa $