Proceedings of the Korea Information Processing Society Conference (한국정보처리학회:학술대회논문집)
- 2017.04a
- /
- Pages.280-282
- /
- 2017
- /
- 2005-0011(pISSN)
- /
- 2671-7298(eISSN)
DOI QR Code
A Visualization Tool Implementation for Evaluation of Binary Code to Smart Intermediate Language Conversion
바이너리 코드-SIL 중간언어 변환 검증을 위한 시각화 도구 구현
- Lim, Jung-Ho (Dept of Cyber Defense, Korea University) ;
- Lee, Tae-Gue (Dept of Computer Engineering, Dongguk University) ;
- Baik, Do-Woo (Dept of Cyber Defense, Korea University) ;
- Son, Yunsik (Dept of Computer Engineering, Dongguk University) ;
- Jeong, Junho (Electronic Commerce Institute, Dongguk University Gyeongju Campus) ;
- Choi, Jin-Young (Dept of Cyber Defense, Korea University) ;
- Ko, Kwangman (Dept. of Computer and Information Engineering, SangJi University) ;
- Oh, Seman (Dept of Computer Engineering, Dongguk University)
- 임정호 (고려대학교 사이버국방학과) ;
- 이태규 (고려대학교 사이버국방학과) ;
- 백도우 (고려대학교 사이버국방학과) ;
- 손윤식 (동국대학교 컴퓨터공학과) ;
- 정준호 (동국대학교 경주캠퍼스 전자성거래 연구소) ;
- 최진영 (고려대학교 사이버국방학과) ;
- 고광만 (상지대학교 컴퓨터정보공학부) ;
- 오세만 (동국대학교 컴퓨터공학과)
- Published : 2017.04.27
Abstract
최근 소프트웨어에 내장된 취약점 분석을 위한 자동화 도구 개발 연구가 각 분야에서 활발히 연구되고 있다. 그 중 바이너리 코드를 대상으로 바로 보안취약점을 분석하는 방법이 아닌 중간언어를 활용하여 분석하는 방법이 대두되고 있으며 이를 위한 다양한 중간언어가 제시되었다. 그 중 하이레벨 언어 수준의 내용의 기술이 가능하며 명령어 자체적으로 자료형을 유지하여 보안 취약점 분석에 효과적인 언어로 SIL 중간언어가 재조명 받고 있다. 따라서 본 논문에서는 이룰 위해서 x86/64 기반 어셈블리어를 SIL 로 효과적으로 변환하며 프로그램의 의미가 변하지 않는 것을 확인하기 위해서 프로그램의 제어흐름을 시각화하는 기능을 가진 시스템을 제안한다.
Keywords