C언어 기반 프로그램의 동적 메모리 접근 오류 테스트 자동화 도구 설계 = Design of an Automated Testing Tool to Detect Dynamic Memory Access Errors in C Programs

국문 초록 (Abstract)

메모리 접근연산으로부터 발생되는 프로그램 오류는 C언어로 작성된 테스트 대상 프로그램에서 가장 빈번하게 발생하는 오류이다[1,2]. 기존연구를 통해 이런 문제점을 해결하기 위한 다양한 메모리 오류 자동검출 방법들이 제안되었다. 하지만 기존의 오류검출방법은 테스트 대상 프로그램에 가해지는 부가적인 오버헤드가 매우 크거나 검출할 수 있는 메모리 접근오류의 종류가 제한적이다. 또한 메모리 할당 함수의 내부구현에 의존성을 갖고 있기 때문에 플랫폼 간 이식성(portability)이 떨어지는 단점을 갖고 있다. 본 연구에서는 이러한 문제점을 해결하기 위해 새로운 메모리 접근오류 검출기법을 제안하고 테스트 자동화 도구를 설계하였다.

다국어 초록 (Multilingual Abstract)

Memory access errors are frequently occurred in computer programs written in C programming language [1,2]. Accordingly, a number of research works have suggested a wide variety of methods to detect such errors automatically. However, they have one or more of the following problems: inability to detect all memory errors, changing the memory allocation mechanism, and excessive performance overhead. To cope with these problems, in this paper we suggest a new and automated tool to detect dynamic memory access errors in C programs.

목차 (Table of Contents)

• 요약
• Abstract
• 1. 서론
• 2. 관련연구
• 3. 메모리 테스트 자동화 도구 설계
• 4. 실험 및 평가
• 5. 결론 및 향후연구
• 참고문헌

참고문헌 (Reference)

1 "fast detection of memory leaks and access errors In Proceedings of the Winter USENIX Conference" 125-136, 1992.

2 "Software defects and their impact on system availability a study of field failures in operation systems Digest of the 21st International Symposium on Fault Tolerant Computing" 2-9,

3 "Efficient detection of all pointer and array access errors" 1994.6

4 "Cyclone: A safe dialect of C" 275-288, 2002.6

5 "CCured: type-safe retrofitting of legacy software" 27 (27): 477-526, 2005

6 "Backwards-compatible bounds checking for arrays and pointers in C programs" 1997.5

7 "Backwards-compatible array bounds checking for C with very low overhead" 2006.5

8 "An empirical study of the reliability of Unix util" 32-44, 1990

9 "An efficient and backwards-compatible transformation to ensure memory safety of C programs" 117-126, 2004.10

10 "A practical dynamic buffer overflow detector" 159-169, 2004.2