지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers 정보과학회논문지 : 소프트웨어 및 응용 정보과학회논문지 : 소프트웨어 및 응용 제38권 제4호
- 발행연도
- 2011.4
- 수록면
- 224 - 228 (5page)
이용수
초록· 키워드
오류제보하기
C/C++의 union 멤버 사용 오류는 union 변수에 저장된 값의 타입과 다른 타입의 union 멤버를 사용해서 값을 참조하는 것이다. union 멤버 사용 오류를 포함하는 프로그램은 실행 중 오류를 발생하거나 실행 후 적절하지 못한 결과를 발생할 수 있다. 기존 컴파일러는 union 멤버 사용 오류를 다루지 않기 때문에 이를 검출하기 위한 분석기가 필요하다. 본 논문에서는 이 같은 오류를 검출하기 위한 기법을 제안한다. 제안하는 기법은 타입 계산식과 타입 주석을 이용해서 union 멤버 사용 오류를 검출한다.
목차
요약
Abstract
1. 서론
2. 관련 연구
3. union 멤버 사용 오류
4. union 멤버 사용 오류 검출기법
5. 결론
참고문헌
참고문헌 (12)
참고문헌 신청
1. [인터넷자원] - / / C/C++ 국제 표준화 기구
2. [기타자료] - G. Balakrishnan / 2004 / Analyzing memory accesses in x86 executables / In CC 2004, number 2985 in LNCS : 5 ~ 23
3. [단행본] - M. Hind / 2001 / Pointer Analysis: Haven't we solved this problem yet? In PASTE'01 / ACM Press : 54 ~ 61
4. [단행본] - G. Necular / 2002 / CCured: type-safe retrofitting of lgacy code. In POPL'02 / ACM Press : 128 ~ 139
5. [단행본] - R. Rugina / 2000 / Symbolic bounds analysis of pointers, array indices, and accessed memory regions. In PLDI'00 / ACM Press : 182 ~ 195
2. [기타자료] - G. Balakrishnan / 2004 / Analyzing memory accesses in x86 executables / In CC 2004, number 2985 in LNCS : 5 ~ 23
3. [단행본] - M. Hind / 2001 / Pointer Analysis: Haven't we solved this problem yet? In PASTE'01 / ACM Press : 54 ~ 61
4. [단행본] - G. Necular / 2002 / CCured: type-safe retrofitting of lgacy code. In POPL'02 / ACM Press : 128 ~ 139
5. [단행본] - R. Rugina / 2000 / Symbolic bounds analysis of pointers, array indices, and accessed memory regions. In PLDI'00 / ACM Press : 182 ~ 195
이 논문의 저자 정보
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2012-569-004458832