초록 ▼

□ 연구개요
역공학(Reverse Engineering)은 소프트웨어 보안에 있어 필수적인 연구주제이다. 왜냐하면, 소스코드와 그것을 컴파일한 결과물인 바이너리 코드(Binary Code)는 그 시맨틱(semantics)이 근원적으로 다를 수 있기 때문이다. 본 연구에서는 역공학에 있어 핵심적인 도전 과제인 CFG복원 알고리즘과 이를 평가할 수 있는 토대자료의 구축을 목표로 한다.

□ 연구 목표대비 연구결과
본 연구에서는 크게 두 가지의 목표를 제시하였으며, 두 목표 모두 충실히 달성하였다. 첫 번째 목표는

□ 연구개요
역공학(Reverse Engineering)은 소프트웨어 보안에 있어 필수적인 연구주제이다. 왜냐하면, 소스코드와 그것을 컴파일한 결과물인 바이너리 코드(Binary Code)는 그 시맨틱(semantics)이 근원적으로 다를 수 있기 때문이다. 본 연구에서는 역공학에 있어 핵심적인 도전 과제인 CFG복원 알고리즘과 이를 평가할 수 있는 토대자료의 구축을 목표로 한다.

□ 연구 목표대비 연구결과
본 연구에서는 크게 두 가지의 목표를 제시하였으며, 두 목표 모두 충실히 달성하였다. 첫 번째 목표는 CFG복원 알고리즘의 성능을 평가할 수 있는 토대자료의 구축이다. 일반적으로 바이너리에는 간접 분기문의 대상 주소가 나타나있지 않으며 이것은 바이너리코드가 최종적으로 생성되는 시점에만 존재하는 정보이다. 따라서 이 정보를 먼저 복원해야만 정확한 토대자료 생성이 가능하다. 본 연구에서는 컴파일 과정의 중간 생성물인 어셈블리파일을 분석하여 바이너리코드 상의 점프테이블 위치와 주소를 교차분석을 통해 알아내는 기술을 구현하였고, 이를 통해 정확한 토대자료를얻을 수 있었다. 두 번째 목표는 CFG복원 알고리즘의 구현이다. 본 연구에서는 JMP RAX와 같은 간접 분기문에 대하여 데이터흐름 분석과 기호분석(symbolic analysis)를 결합한 새로운 복원 알고리즘을 개발하였고, 이를 통해 실생활에 사용되는 다수의 응용프로그램에 대해 CFG복원 성능을 측정하였다. 그 결과 우리의 대상 벤치마크 프로그램이었던 coreutils 프로그램에 대해 모든 스위치 문을 정확히 분석하는 성과를 거두었다. 우리의 연구 결과는 KAIST에서 운영하는 공개형 바이너리 분석 플랫폼인 B2R2에 탑재되었으며, 이를 토대로 다양한 연구를 이어나갈 예정이다.

□ 연구개발성과의 활용 계획 및기대효과 (연구개발결과의 중요성)
CFG 복원 알고리즘은 바이너리 재작성(rewriting)과 정적 계측(static instrumentation)에 있어 필수적이다. 바이너리 재작성과 정적 계측은 소프트웨어 디버깅과 최적화 연구 분야에서 활용되는 핵심기술이기도 하다. 또한 많은 바이너리 기반 방어기법에도 필수적으로 활용되는데, 일례로 바이너리강화(hardening)분야는 대개 CFG복원이 정확하다는 가정에 기반하여 알고리즘이 개발된다. 따라서 우리가 개발한 CFG복원 알고리즘은 기존 보안 분야의 다양한 연구를 강화하고 발전시키는 데에 획기적인 역할을 할 것으로 전망된다.
그 뿐 아니라 CFG 복원기술은 악성코드 분석이나 난독화 해제에 있어서도 필수적이다. 악성코드는 그 동작의 특성상 실행 없이 정적으로 분석하는 것이 선호되며, 정확한 분석을 위해서는 정확한 CFG분석이 필수적이다. 본 연구를 통해 악성코드 분석에 있어서도 획기적인 성능 향상이 기대된다.

(출처 : 연구결과 요약문 2p)

목차 Contents

• 표지 ... 1
• 연구결과 요약문 ... 2
• 목차 ... 3
• 1. 연구개발과제의 개요 ... 4
• 2. 연구개발과제의 수행 과정 및 수행 내용 ... 5
• 3. 연구개발과제의 수행 결과 및 목표 달성 수준 ... 7
• 1) 정성적 연구개발성과(연구개발결과) ... 7
• 2) 세부 정량적 연구개발성과 ... 7
• 3) 목표 달성 수준 ... 7
• 4) 목표 미달 시 원인 분석 ... 7
• 4. 연구개발성과의 관련 분야에 대한 기여 정도(연구개발결과의 중요성) ... 8
• 5. 연구개발성과의 관리 및 활용 계획 ... 8
• 6. 참고문헌 ... 8
• [붙임1] 세부 정량적 연구개발성과 ... 9
• [붙임2] 연구책임자 대표적 연구실적 및 증빙(요약문 및 사본) ... 10
• 끝페이지 ... 13