이진 코드의 정적 제어 흐름 분석

국문 초록 (Abstract)

바이너리 코드 수준에서 정적인 프로그램 분석을 수행한다. 소스 코드가 아닌 바이너리 코드 수준에서 분석을 수행하는 이유는 일반적으로 로컬 컴퓨터에 설치하는 실행 파일은 소스 코드 없이 단지 바이너리로 된 실행 파일만 주어지는 경우가 대부분이기 때문이다. 또한 정적으로 분석을 수행하려는 이유는 정적인 제어 흐름 분석을 통해 프로그램이 수행 시 어떤 동작을 수행하게 될지를 수행 전에 파악하기 위해서이다.
본 논문에서는 바이너리 실행 파일로부터 함수간의 실행 순서 및 제어 흐름 등의 정보를 표현할 수 있는 실행 흐름 그래프를 작성하여 사용자가 바이너리 파일의 실행 흐름과 위험한 함수의 호출 여부를 동시에 파악할 수 있도록 하며, 그래프를 통해 바이너리 파일의 분석을 용이하게 한다. 또한 실행 흐름에 대한 자동 탐색 방법을 제공하여 수행될 프로그램의 안전성을 보장하고, 수행 전에 외부에서 다운받아 설치할 프로그램이 안전한지를 판단할 수 있도록 한다.

다국어 초록 (Multilingual Abstract)

We perform static program analysis for the binary code. The reason you want to analyze at the level of binary code, installed on your local computer, run the executable file without source code. And the reason we want to perform static analysis, static program analysis is to understand what actions to perform on your local computer.
In this paper, execution flow graph representing information such as the execution order among functions and the flow of control is generated. Using graph, User can find execution flow of binary file and calls of insecure functions at the same time, and the graph should facilitate the analysis of binary files. In addition, program to be run is ensured the safety by providing an automated way to search the flow of execution, and program to be downloaded and installed from outside is determined whether safe before running.

목차 (Table of Contents)

• 요약
• Abstract
• Ⅰ. 서론
• Ⅱ. 관련연구
• Ⅲ. PE 파일
• Ⅳ. 디스어셈블러
• Ⅴ. 제어 흐름 분석기 구현
• Ⅵ. 결론 및 향후 계획
• 참고문헌
• 저자소개

참고문헌 (Reference)

1 "http://www.ollydbg.de"

2 "http://www.jgraph.com"

3 "http://www.hex-rays.com/idapro"

4 "http://www.eclipse.org"

5 G. Balakrishnan, "WYSINWYX:What You See Is Not What You eXecute" 2005

6 C. Kruegel, "Static disassembly of obfuscated binaries" 18-18, 2004

7 M. D. Ernst, "Static and Dynamic Analysis: Synergy and Duality" 2003

8 M. Cova, "Static Detection of Vulnerabilities in x86 Executables" 2006

9 Microsoft Corporation, "Microsoft Portable Executable and Common Object File Format Specification"

10 Intel Corporation, "Intel® 64 and IA-32 Architectures Software Developer's Manual Volume 2B: Instruction Set Reference"

11 G. Snelting, "Efficient path conditions in dependence graphs for software safety analysis" 15 (15): 410-457, 2006

12 B. Schwarz, "Disassembly of Executable Code Revisited" 45-54, 2002

13 C. Cifuentes, "Decompilation of binary programs" 25 (25): 811-829, 1995

14 A. Lanzi, "A Smart Fuzzer for x86 Executables" 1-7, 2007