union 멤버 사용 오류 검출 기법 = A Method for Detecting Misuse of union Members

국문 초록 (Abstract)

C/C++의 union 멤버 사용 오류는 union 변수에 저장된 값의 타입과 다른 타입의 union 멤버를 사용해서 값을 참조하는 것이다. union 멤버 사용 오류를 포함하는 프로그램은 실행 중 오류를 발생하거나 실행 후 적절하지 못한 결과를 발생할 수 있다. 기존 컴파일러는 union 멤버 사용 오류를 다루지 않기 때문에 이를 검출하기 위한 분석기가 필요하다. 본 논문에서는 이 같은 오류를 검출하기 위한 기법을 제안한다. 제안하는 기법은 타입 계산식과 타입 주석을 이용해서 union 멤버 사용 오류를 검출한다.

다국어 초록 (Multilingual Abstract)

Errors misusing union member are expressions that refer the value of a union variable with different type from the type of the value. A program with errors misusing union member may occur runtime errors or may return inappropriate results. An analyzer for detecting errors misusing union member is required because the existing compilers in C/C++ does not handle those. In this paper we propose an idea that detects those errors. The proposed method detects errors misusing union member using type annotation and type expressions that compute the types of union members.

목차 (Table of Contents)

• 요약
• Abstract
• 1. 서론
• 2. 관련 연구
• 3. union 멤버 사용 오류
• 4. union 멤버 사용 오류 검출기법
• 5. 결론
• 참고문헌

참고문헌 (Reference)

1 R. Rugina, "Symbolic bounds analysis of pointers, array indices, and accessed memory regions. In PLDI'00" ACM Press 182-195, 2000

2 B. Steensgard, "Points-to analysis by type inference of programs with structures and unions" 1060 : 136-150, 1996

3 S. Yong, "Pointer-range analysis"

4 . Yong, "Pointer analysis for programs with structures and casting. In PLDI'99" ACM Press 91-103, 1999

5 M. Hind, "Pointer Analysis: Haven't we solved this problem yet? In PASTE'01" ACM Press 54-61, 2001

6 Antoni Mine, "Field-Sensitive Value Analysis of Embedded C Programs with Union Types and Pointer Arithmetics"

7 R. Wilson, "Efficient context-sensitive pointer analysis for C programs. In PLDI'95" ACM Press 1-12, 1995

8 G. Necular, "CCured: type-safe retrofitting of lgacy code. In POPL'02" ACM Press 128-139, 2002

9 "C/C++ 국제 표준화 기구"

10 G. Balakrishnan, "Analyzing memory accesses in x86 executables"

11 J. Whaley, "An efficient inclusion- based points-to analysis for strictly-typed languages" 2477 : 180-195,

12 A. Venet, "A scalable nonuniform pointer analysis for embedded programs"