C++ 정적 캐스팅에서 취약점 완화를 위한 프로그램 재작성 도구

노승우; 박근철; 최지은; 박찬열; Seungwoo Rho; Geunchul Park; Ji Eun Choi; Chan-Yeol Park; 김혁진; 양종환; 조은선; 류재철; Hyeockjin Kim; Jonghwan Yang; Eun-Sun Cho; Jaecheol Ryou

연구문헌

국내 논문지

홈 > 연구문헌 > 국내 논문지 > 한국정보과학회 논문지 > 정보과학회 컴퓨팅의 실제 논문지 (KIISE Transactions on Computing Practices)

정보과학회 컴퓨팅의 실제 논문지 (KIISE Transactions on Computing Practices)

Current Result Document : 1 / 3 다음건

한글제목(Korean Title)	C++ 정적 캐스팅에서 취약점 완화를 위한 프로그램 재작성 도구
영문제목(English Title)	Program Rewriting Tool for Mitigation of Static Casting Vulnerabilities in C++
저자(Author)	노승우 박근철 최지은 박찬열 Seungwoo Rho Geunchul Park Ji Eun Choi Chan-Yeol Park 김혁진 양종환 조은선 류재철 Hyeockjin Kim Jonghwan Yang Eun-Sun Cho Jaecheol Ryou
원문수록처(Citation)	VOL 26 NO. 02 PP. 0089 ~ 0103 (2020. 02)
한글내용 (Korean Abstract)	C/C++의 타입 캐스팅은 취약점을 유발하며 프로그램의 안정성을 저하시킨다. 이를 보완하기 위해 C++에서는 실행 중 객체의 타입을 확인하여 캐스팅하는 dynamic_cast를 지원하지만, 안전성이 높아지는 대신 실행 속도가 느려진다는 단점이 있다. 이러한 이유로 절충안인 런타임 오버헤드가 적은 static_cast가 사용된다. 그러나 static_cast는 컴파일시에 알려진 타입으로만 캐스팅을 제한하는 방법으로서, 취약점이 여전히 존재한다. 본 논문에서는 프로그램 재작성과 타입 시스템을 활용하여 기존의 C++ static_cast를 보완하여 런타임 오버헤드가 적으면서도 개발 단계에서 좀 더 안전한 코딩을 할 수 있도록 유도하는 방법을 제안한다
영문내용 (English Abstract)	C/C type casting has been threatening the safety of C based programs. To overcome this threat, C supports dynamic_cast which functions according to the actual types of runtime objects. Because dynamic_cast is very slow, static_cast is more preferable. However, static_cast has shortcomings in that it restricts type casting statically without knowledge of the actual types of objects, thus incurring vulnerabilities. In this paper, we propose an improved static_cast, by introducing the program rewriting process and a new type system, which enhances the safety of programs at the development stage with ignorable runtime overhead.
키워드(Keyword)	벤치마크 고성능컴퓨팅시스템 성능 평가 매니코어 고성능 메모리 benchmark high-bandwidth memory high-performance computing system performance evaluation many-core C++ 가상함수 테이블 프로그램 재작성 static_cast virtual function table program rewriting static_
파일첨부	PDF 다운로드