서지주요정보
효율적인 바이너리 분석 프론트엔드 = Efficient binary analysis frontend
서명 / 저자 효율적인 바이너리 분석 프론트엔드 = Efficient binary analysis frontend / 정민규.
저자명 정민규 ; Jung, Minkyu
발행사항 [대전 : 한국과학기술원, 2019].
Online Access 원문보기 원문인쇄

소장정보

등록번호

8035052

소장위치/청구기호

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

MIS 19014

휴대폰 전송

도서상태

이용가능

대출가능

반납예정일

리뷰정보

초록정보

Current binary analysis research focus on the back-end rather than the front-end. In this thesis, we list various design choices that can improve the efficiency of the binary analyses. To show efficient of our design choices, we design and implement new binary analysis platform B2R2. B2R2 is fast with respect to lifting binary code and evaluation of the IRs. Since our platform is written purely in functional programming language, f# without any external dependencies, it is easy to supports pure parallelism. B2R2's IR contains metadata for boosting the data-flow analyses. Hence, any binary analysis technique can benefit from our IRs.

현재의 바이너리 분석 연구들은 주로 프론트엔드가 아닌 백엔드에 중점을 두고 있다. 본 학위 논문에서는 바이너리 분석의 효율을 올릴 수 있는 몇 가지의 설계 관점들을 나열하고 해당 관점들의 효율성을 보이기 위해서 새로운 바이너리 분석 플랫폼인 B2R2을 설계 및 개발한다. B2R2은 바이너리 코드를 빠르게 리프팅 할 수 있으며, 빠른 중간 표현 연산이 가능하다. B2R2은 어떠한 외부 종속성 없이 f#이라는 함수형 언어로 작성되어 있어, 병렬화가 쉽게 가능하며 B2R2은 중간 표현이 메타정보를 담고 있어 빠른 데이터 흐름 분석이 가능하다. 따라서 모든 바이너리 분석 기술들이 우리의 중간 표현을 사용함으로써 이득을 얻을 수 있다.

서지기타정보

서지기타정보
청구기호 {MIS 19014
형태사항 iv, 22 p. : 삽도 ; 30 cm
언어 한국어
일반주기 저자명의 영문표기 : Minkyu Jung
지도교수의 한글표기 : 차상길
지도교수의 영문표기 : Sang Kil Cha
학위논문 학위논문(석사) - 한국과학기술원 : 정보보호대학원,
서지주기 참고문헌 : p. 19-22
주제 바이너리 분석
병렬 리프팅
Binary analysis
parallel lifting
QR CODE qr code