Fail-Safe ANSI-C Compiler: An Approach to Making C Programs Secure: Progress Report

  title={Fail-Safe ANSI-C Compiler: An Approach to Making C Programs Secure: Progress Report},
  author={Yutaka Oiwa and Tatsurou Sekiguchi and Eijiro Sumii and Akinori Yonezawa},
It is well known that programs written in C are apt to suffer from nasty errors due to dangling pointers and/or buffer overflow. In particular, such errors in Internet servers are often exploited by malicious attackers to “crack” an entire system, which becomes even social problems nowadays. Nevertheless, it is yet unrealistic to throw away the C language at once because of legacy programs and legacy programmers. To alleviate this dilemma, many approaches to safe implementations of the C… CONTINUE READING
Highly Cited
This paper has 27 citations. REVIEW CITATIONS
18 Citations
14 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 18 extracted citations


Publications referenced by this paper.
Showing 1-10 of 14 references

Implementing a fail-safe ANSIC compiler

  • Yutaka Oiwa, Eijiro Sumii, Akinori Yonezawa
  • Computer Software,
  • 2002
1 Excerpt

Saber-C: an interpreter-based programming environment for the C language

  • Stephen Kaufer, Russell Lopez, Sasha Pratap
  • In Proc
  • 1998
1 Excerpt

Similar Papers

Loading similar papers…