Proceedings of the Korea Information Processing Society Conference (한국정보처리학회:학술대회논문집)

  • 2017.04a
  • /
  • Pages.280-282
  • /
  • 2017
  • /
  • 2005-0011(pISSN)
  • /
  • 2671-7298(eISSN)
Korea Information Processing Society (한국정보처리학회)
권호 표지
DOI QR코드

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
Download PDF
⟨ Previous Next ⟩

Abstract

최근 소프트웨어에 내장된 취약점 분석을 위한 자동화 도구 개발 연구가 각 분야에서 활발히 연구되고 있다. 그 중 바이너리 코드를 대상으로 바로 보안취약점을 분석하는 방법이 아닌 중간언어를 활용하여 분석하는 방법이 대두되고 있으며 이를 위한 다양한 중간언어가 제시되었다. 그 중 하이레벨 언어 수준의 내용의 기술이 가능하며 명령어 자체적으로 자료형을 유지하여 보안 취약점 분석에 효과적인 언어로 SIL 중간언어가 재조명 받고 있다. 따라서 본 논문에서는 이룰 위해서 x86/64 기반 어셈블리어를 SIL 로 효과적으로 변환하며 프로그램의 의미가 변하지 않는 것을 확인하기 위해서 프로그램의 제어흐름을 시각화하는 기능을 가진 시스템을 제안한다.

Keywords