메뉴 건너뛰기




Volumn , Issue , 2009, Pages 259-269

Implementation of the memory-safe full ANSI-C compiler

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;

EID: 70450260584     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1542476.1542505     Document Type: Conference Paper
Times cited : (19)

References (21)
  • 4
    • 0024085322 scopus 로고
    • Garbage collection in an uncooperative environment
    • September
    • Hans Boehm and Mark Weiser. Garbage collection in an uncooperative environment. Software: Practice & Experience, pages 807-820, September 1988.
    • (1988) Software: Practice & Experience , pp. 807-820
    • Boehm, H.1    Weiser, M.2
  • 7
    • 14844332687 scopus 로고    scopus 로고
    • Propolice: Improved stack-smashing attack detection
    • Hiroaki Etoh and Kunikazu Yoda. Propolice: Improved stack-smashing attack detection. IPSJ SIG Notes, 2001(75):181-188, 2001.
    • (2001) IPSJ SIG Notes , vol.2001 , Issue.75 , pp. 181-188
    • Etoh, H.1    Yoda, K.2
  • 10
    • 70450241715 scopus 로고    scopus 로고
    • International Organization for Standards and International Elec-trotechnical Commission. Programming languages - C. ISO/IEC Standard ISO/IEC 9899:1990.
    • International Organization for Standards and International Elec-trotechnical Commission. Programming languages - C. ISO/IEC Standard ISO/IEC 9899:1990.
  • 12
    • 0012582509 scopus 로고    scopus 로고
    • Backwards-compatible bounds checking for arrays and pointers in C programs
    • 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.
    • (1997) Automated and Algorithmic Debugging , pp. 13-26
    • Jones, R.W.M.1    Kelly, P.H.J.2
  • 13
    • 67149097954 scopus 로고    scopus 로고
    • Safe implementation of C pointer arithmetics by translation to Java
    • In japanese
    • Yuhki Kamijima and Eijiro Sumii. Safe implementation of C pointer arithmetics by translation to Java. JSSST, 26(1):139-154, 2009. In japanese.
    • (2009) JSSST , vol.26 , Issue.1 , pp. 139-154
    • Kamijima, Y.1    Sumii, E.2
  • 18


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.