DOI QR코드

DOI QR Code

A Survey of the Scheme of Data Type and Variables Inference for Intermediate Language Generation from Binary Code

중간언어 생성을 위한 바이너리 코드 자료형 및 변수 추론 기술 조사 분석

  • Min, Ye Sul (Dept of Computer Engineering, Dongguk University) ;
  • Jung, Hyunoh (Dept of Computer Engineering, Dongguk University) ;
  • Son, Yunsik (Dept of Computer Engineering, Dongguk University) ;
  • Jeong, Junho (Electronic Commerce Institute, Dongguk University Gyeongju Campus) ;
  • Ko, Kangman (Dept. of Computer and Information Engineering, SangJi University) ;
  • On, Seman (Dept of Computer Engineering, Dongguk University)
  • 민예슬 (동국대학교 컴퓨터공학과) ;
  • 정현오 (동국대학교 컴퓨터공학과) ;
  • 손윤식 (동국대학교 컴퓨터공학과) ;
  • 정준호 (동국대학교 경주캠퍼스 전자성거래 연구소) ;
  • 고광만 (상지대학교 컴퓨터정보공학부) ;
  • 오세만 (동국대학교 컴퓨터공학과)
  • Published : 2017.04.27

Abstract

소프트웨어 내제되어 있는 보안약점과 보안취약점으로 인해 사회적으로 많이 비용이 발생함에 따라 안전한 소프트웨어를 개발하고자하는 요구가 증가하고 있다. 최근 바이너리 코드에 내제된 보안약점을 분석하기 위해서 중간코드를 이용하여 정적분석을 수행하는 다양한 연구가 진행되고 있다. 중간 언어를 사용함으로 실행환경에 따라 달라지는 바이너리 코드가 중간언어로만 변환이 된다면 동일한 형태의 보안약점 분석기술을 통해 효과적인 수행이 가능하다. 이 기술의 핵심은 바이너리 코드로부터 얼마나 코드내의 자료형 및 변수를 재구성하여 중간언어로 변환하는 것이다. 본 논문에서는 이와 같은 바이너리 코드로부터 보안약점 분석을 위한 중간언어 변환시 효과적으로 자료형 및 변수 등에 관한 정보를 재구성하는 기법들에 대해서 조사 분석하였다.

Keywords