논문KCI 등재
정의되지 않은 행동에 의한 안전성 검사 무효화 탐지 기법
Detection of invalidated sanity checks caused by undefined behaviors
1
조회
0
다운로드
0
인용
0
참고문헌
키워드
주제분류컴퓨터학
초록
C언어에는 프로그래머의 의도와는 다르게 동작하는 정의되지 않은 행동(undefined behavior)들이 존재한다. 정상적인 데이터를 확인하기 위한 안전성 검사에서 정의되지 못한 행동에 해당되는 경우를 인지하지 못하고 사용하여안전성 검사가 컴파일러에 의해 무효화 되는 문제점이 발생한다. 본 논문에서는 이러한 문제점들을 해결하기 위해 소스코드에서 안전성 검사를 표기하고 실행파일에서 유효성을 확인하는 자동화된 시스템을 제안한다.
Abstract
C programming language has undefined behaviors, which cause unintended execution of a program. When a programmeradds sanity checks without caring about undefined behaviors, compilers may misunderstand and invalidate the sanity checks. Thus, we propose an automated system to detect invalidated sanity checks by marking sanity checks in source code andchecking the marks in binary code.
참고문헌 (7)
- X. Wang, "Towards optimization-safe systems: analyzing the impact of undefined behavior", Proceedings of the 24th ACM Symposium on Operating Systems Principles, pp.260~275 (2013)
- X. Wang, "Undefined behavior: what happened to my code?", Proceedings of the 3rd ACM SIGOPS Asia-Pacific conference on Systems (2012)
- "What every C programmer should know about undefined behavior" (2011)[URL]
- "assert(int+100 > int)optimized away", GCC Bug 30475, ~ (2007)
- "ext4: fixpoint divide exception at ext4_fill_super", Linux Bug 14287, ~ (2009)
- "C compilers may silently discard some wraparound checks", Vulnerability Note VU#162289, US-CERT, ~ (2008)
- G. Necula, "CIL : Intermediate language and tools for analysis and transformation of C programs", Compiler Construction, pp.213~218 (2002)
관련 논문AI추천
C/C++ 프로그램을 위한 진단 정보와 분석 방법의 분류이담호, 표창우, 한경숙한국컴퓨터정보학회 · 한국컴퓨터정보학회논문지2017 · 제22권 제3호C언어 기반 프로그램의 소스코드 분석을 이용한 메모리 접근오류 자동검출 기법김현수, 오승욱, 조대완한국정보처리학회 · 정보처리학회논문지D2007 · 제14권 제6호버퍼 오버플로우 공격 방지를 위한 취약 함수 변환기 구현김익수, 조용윤(사)디지털산업정보학회 · (사)디지털산업정보학회 논문지2010 · 제6권 제1호유니온 타입 안전 위반 취약점 탐지 도구전유석, 최민성, 황태영한국정보보호학회 · 정보보호학회논문지2025 · 제35권 제4호소프트웨어 개발단계 Use-After-Free 보안약점 제거방안 연구박용구, 최진영한국정보처리학회 · 정보처리학회논문지. 컴퓨터 및 통신시스템2017 · 제6권 제1호프로그램의 오염 정보 추적을 위한 동적 오염 분석의 이론 및 구현임현일한국정보처리학회 · 정보처리학회논문지. 컴퓨터 및 통신시스템2013 · 제2권 제7호