16 Jun 2009: New version of Fail-Safe C compiler has released
[Translated and posted 16/JUN/2009]
Research Center for Information Security (RCIS) of the National Institute of Advanced Industrial Science and Technology (AIST) releases new version (version 1.5.0) of Fail-Safe C, our memory-safe C language compiler system today.
Fail-Safe C, developped by our research scientist Yutaka OIWA, provides both complete protection against any memory-related vulnerability and complete compatibility with ANSI C90 specification at the same time. The initial release of the compiler has been released on April 2008. The new version of the compiler system supports more existing programs than before by providing broader set of library functions.
Further more, this version supports several embedded architectures such as ARM and MIPS in addition to the PC (IA-32) architecture. The compiler for ARM and MIPS architectures includes support for both native and cross build environment. From this version we relaxed the licensing terms so that it can be used in more wider applications. The support for those architectures and cross-build environments are implemented under research project "Security technology for embedded systems" under the Programs of Special Coordination Funds for Promoting Science and Technology from Japan.
We have a presentation on this compiler system at the PLDI 2009 conference at Dublin from today.