Implementation of the memory-safe full ANSI-C compiler

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

Volumn , Issue , 2009, Pages 259-269

  Oiwa, Yutaka ^a  

^a NATIONAL INSTITUTE OF ADVANCED INDUSTRIAL SCIENCE AND TECHNOLOGY AIST   (Japan)

Author keywords

C language; Memory safety

Indexed keywords

BUFFER OVERFLOWS; BUFFER OVERRUN; C COMPILERS; C LANGUAGE; C PROGRAMS; COMPILE TIME; DANGLING POINTERS; ENTIRE SYSTEM; FULLY COMPATIBLE; INTERNET SERVERS; MEMORY CORRUPTION; MEMORY PROTECTION; MEMORY SAFETY; REAL-WORLD; RUN-TIME CHECKS; RUNTIMES; TECHNICAL DETAILS;

C (PROGRAMMING LANGUAGE); COMPUTER SOFTWARE; DATA STRUCTURES; EMBEDDED SYSTEMS; ERRORS; LINGUISTICS; PROGRAM COMPILERS; QUERY LANGUAGES; SPECIFICATIONS; WIRELESS TELECOMMUNICATION SYSTEMS;

JAVA PROGRAMMING LANGUAGE;

EID: 70450260584     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1542476.1542505     Document Type: Conference Paper

References (21)

1. American National Standard Institute. American national standard for information systems - programming language - C. ANSI X3.159-1989.
2. Todd M. Austin, Scott E. Breach, and Gurindar S. Sohi. Efficient detection of all pointer and array access errors. In Proc. '94 Conference on Programming Language Design and Implementation (PLDI), pages 290-301, 1994.
3. Hans Boehm. A garbage collector for C and C++. http://www.hpl.hp.com/ personal/Hans-Boehm/gc/.
4. Hans Boehm and Mark Weiser. Garbage collection in an uncooperative environment. Software: Practice & Experience, pages 807-820, September 1988.
5. Jeremy Condit, Matthew Harren, Scott McPeak, George C. Necula, and Westley Weimer. CCured in the real workd. In ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 232-244, June 2003.
6. Crispan Cowan, Calton Pu, Dave Maier, Jonathan Walpole, Peat Bakke, Steve Beattie, Aaron Grier, Perry Wagle, Qian Zhang, and Heather Hinton. StackGuard: Automatic adaptive detection and prevention of buffer-overflow attacks. In Proc. 7th USENIX Security Conference, pages 63-78, San Antonio, Texas, January 1998.
7. Hiroaki Etoh and Kunikazu Yoda. Propolice: Improved stack-smashing attack detection. IPSJ SIG Notes, 2001(75):181-188, 2001.
8. Jun Furuse. VITC: Safe C code compilation against attacks. In 4th Workshop on Dependable Software, 2006. In Japanese.
9. Dan Grossman, Greg Morrisett, Trevor Jim, Michael Hicks, Yanling Wang, and James Cheney. Region-based memory management in Cyclone. In Proc. ACM Conference on Programming Language Design and Implementation (PLDI), pages 282-293, June 2002.
10. International Organization for Standards and International Elec-trotechnical Commission. Programming languages - C. ISO/IEC Standard ISO/IEC 9899:1990.
11. Trevor Jim, Greg Morrisett, Dan Grossman, Michael Hicks, James Cheney, and Yanling Wang. Cyclone: A safe dialect of C. In USENIX Annual Technical Conference, June 2002.
12. Richard W. M. Jones and Paul H. J. Kelly. Backwards-compatible bounds checking for arrays and pointers in C programs. In Automated and Algorithmic Debugging, pages 13-26, 1997.
13. Yuhki Kamijima and Eijiro Sumii. Safe implementation of C pointer arithmetics by translation to Java. JSSST, 26(1):139-154, 2009. In japanese.
14. Brian W. Kernighan and Dennis M. Ritchie. The Programming Language C. Prentice Hall, second edition, 1988.
15. Alexey Loginov, Suan Hsi Yong, Susan Horwitz, and Thomas Reps. Debugging via run-time type checking. Lecture Notes in Computer Science, 2029:217-, 2001.
16. George Necula, Scott McPeak, and Westley Weimer. CCured: Type-safe retrofitting of legacy code. In Proc. The 29th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL2002), pages 128-139, January 2002.
17. Yutaka Oiwa. Fail-Safe C webpage. https://staff.aist.go.jp/y.oiwa/ FailSafeC/index-en.html.
18. Yutaka Oiwa. An extension to Fail-Safe C to support object-oriented languages. In Symposium on Programming and Programming Languages, March 2005.
19. Yutaka Oiwa. Implementation of a Fail-Safe ANSI C Compiler. PhD thesis, University of Tokyo, 2005.
20. Yutaka Oiwa. Type-safe linking of C programs. In Symposium on Programming and Programming Languages, March 2007.
21. Gray Watson. Dmalloc - debug malloc library. http://www.dmalloc.com/.