Current Result Document :
| 한글제목(Korean Title) |
바이너리 분석을 위한 중간언어 검증 연구 |
| 영문제목(English Title) |
A study of Intermediate Representation verification for binary analysis |
| 저자(Author) |
양희동
지수근
김준태
정승일
Heedong Yang
Sugeun Ji
Juntae Kim
Seungil Jung
|
| 원문수록처(Citation) |
VOL 49 NO. 02 PP. 0949 ~ 0951 (2022. 12) |
한글내용
(Korean Abstract) |
바이너리 분석을 위한 중요한 단계 중 하나는 바이너리 코드를 중간언어로 변환하는 리프팅 과정이다. 중간언어는 명령어의 실행 과정을 특정 언어로 표현한 것으로 CPU의 실행을 분석하여 프로그램의 흐름을 분석할 수 있다. 이러한 중간언어 변환 과정은 다양한 바이너리 분석 플랫폼에서 지원하는데, 플랫폼마다 각각의 중간언어를 정의하여 변환하고 있다. 아키텍처 매뉴얼에 명시된 내용을 기반으로 명령어의 동작을 분석하여 중간언어를 변환한다. 이러한 과정 중에 중간언어 변환의 오류가 발생할 가능성이 존재한다. 중간언어 변환의 오류가 발생하면 바이너리 분석에서 정확하지 않은 분석이 발생하기 때문에 중간언어 변환에 대한 검증은 중요하다. 중간언어 검증을 위하여 다양한 바이너리 분석 플랫폼의 중간언어를 비교하여 실제 CPU의 동작과 다른 버그를 찾아내는 연구가 진행되고 있고, 이는 에뮬레이터 검증 연구와 유사하다. 본 논문에서는 1) 중간언어의 의미와 중요성을 설명하고, 2) 중간언어 및 에뮬레이터 검증을 위한 연구들의 특성을 비교 분석하며, 3) 중간언어 검증의 향후 방향에 대해 제시한다. |
영문내용
(English Abstract) |
|
| 키워드(Keyword) |
|
| 파일첨부 |
PDF 다운로드
|
