서지주요정보
Testing intermediate representation for binary analysis = 바이너리 분석 용 중간 언어 점검
서명 / 저자 Testing intermediate representation for binary analysis = 바이너리 분석 용 중간 언어 점검 / Soomin Kim.
저자명 Kim, Soomin ; 김수민
발행사항 [대전 : 한국과학기술원, 2018].
Online Access 원문보기 원문인쇄

소장정보

등록번호

8032173

소장위치/청구기호

학술문화관(문화관) 보존서고

MIS 18008

SMS전송

도서상태

이용가능

대출가능

반납예정일

초록정보

Binary lifting, which is to translate a binary executable to a high-level immediate representation, is a primary step in binary analysis. Despite its importance, there are only few existing approaches to testing the correctness of binary lifters. Furthermore, the existing approaches suffer from low test coverage, because they largely depend on random test case generation. In this thesis, we present the design and implementation of the first systematic approach to testing binary lifters. we have evaluated the proposed system on 3 state-of-the-art binary lifters, and found 24 previously unknown semantic bugs. Our result demonstrates that writing a precise binary lifter is extremely difficult even for those heavily tested projects.

바이너리 실행 파일을 고수준의 중간 언어로 변환하는 바이너리 리프팅이라는 과정은 바이너리 분석에서 중요한 역할을 맡고 있다. 하지만 이에 반하여 바이너리 리프터의 정확성에 대한 연구는 별로 이루어지지 않고 있다. 또한, 기존의 방법론도 테스트 커버리지가 낮은 것이 문제인데, 이는 기존의 방법론이 랜덤하게 생성된 테스트 케이스에 의존하고 있기 때문이다. 본 논문에서는 바이너리 리프터를 점검하는 최초의 체계적인 방법에 대한 설계와 구현을 제시할 것이다. 본 논문에서는 세 개의 최신 바이너리 리프터를 가지고 본 논문의 방법론을 평가하였으며, 결과적으로 24개의 새로운 의미상의 버그를 찾았다. 이러한 결과는 충분히 많이 검증된 프로젝트라 하더라도 정확한 바이너리 리프터를 구현하는 것이 극도로 어려움을 보여준다.

서지기타정보

서지기타정보
청구기호 {MIS 18008
형태사항 iv, 28 p. : 삽도 ; 30 cm
언어 영어
일반주기 저자명의 한글표기 : 김수민
지도교수의 영문표기 : Sang Kil Cha
지도교수의 한글표기 : 차상길
학위논문 학위논문(석사) - 한국과학기술원 : 정보보호대학원,
서지주기 References : p. 23-26
주제 Binary code analysis
N-version IR testing
binary-biased IR and lifting
바이너리 코드 분석
N-버전 중간 언어 테스팅
바이너리 기반 IR
리프팅
QR CODE qr code