Testing intermediate representation for binary analysis = 바이너리 분석 용 중간 언어 점검

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 49
  • Download : 0
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.
Advisors
Cha, Sang Kilresearcher차상길researcher
Description
한국과학기술원 :정보보호대학원,
Publisher
한국과학기술원
Issue Date
2018
Identifier
325007
Language
eng
Description

학위논문(석사) - 한국과학기술원 : 정보보호대학원, 2018.2,[iv, 28 p. :]

Keywords

Binary code analysis▼aN-version IR testing▼abinary-biased IR and lifting; 바이너리 코드 분석▼aN-버전 중간 언어 테스팅▼a바이너리 기반 IR▼a리프팅

URI
http://hdl.handle.net/10203/267181
Link
http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=734115&flag=dissertation
Appears in Collection
IS-Theses_Master(석사논문)
Files in This Item
There are no files associated with this item.

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0