C 및 C++의 정의되지 않은 동작: 데스크톱 사용 사례 실험

요약

본 논문은 리눅스 데스크톱 환경에서 발생하는 C/C++의 정의되지 않은 동작(Undefined behavior)을 경험적으로 탐구했습니다. 컴파일러 기반 검사기를 사용한 실험 결과, 간단한 과제만으로도 수많은 정의되지 않은 동작 경고가 발생했으며, 특히 Mesa 그래픽스 라이브러리와 GUI 상호작용 과정에서 빈번하게 관찰되었습니다.

핵심 포인트

• C/C++의 정의되지 않은 동작은 데스크톱 환경에서 흔히 발생함.
• 실험 결과, 32개 프로그램에서 약 1만 1천 개의 고유한 경고가 발견됨.
• 경고의 대다수는 Mesa 그래픽스 라이브러리와 GUI 상호작용과 관련되어 있음.
• 발생하는 정의되지 않은 동작은 주로 가상 테이블 포인터와 관련됨.