67 0

동적 기호 실행을 이용한그래프 기반 바이너리 코드 실행 경로 탐색 플랫폼

Title
동적 기호 실행을 이용한그래프 기반 바이너리 코드 실행 경로 탐색 플랫폼
Author
임을규
Keywords
Execution Path Exploration; Code Coverage Improvement; Symbolic Execution; Taint Analysis
Issue Date
2014-06
Publisher
Korea Institutes of Information Security and Cryptology
Citation
Journal of The Korea Institute of Information Security & Cryptology, VOL.24, NO.3[Jun/2014], pp. 437-444
Abstract
본 논문에서는 그래프 기반의 바이너리 코드 동적 실행 경로 탐색 플랫폼을 제안한다. 바이너리 코드의 조건 분기 명령어를 노드(Node), 그 외의 명령어를 에지(Edge)로 구성된 그래프를 정의하며, 이 그래프를 기반으로 하여 실행 경로 탐색을 수행하는 방안을 제안한다. 실험을 통해 제안하는 그래프 기반 바이너리 코드 실행 경로 탐색 플랫폼의 프로토타입이 실행 경로 탐색을 올바르게 수행함을 확인하였으며, 본 논문에서 제안하는 방안을 통해 소프트웨어 테스팅을 보다 효과적으로 수행하여 소프트웨어 보증, 시큐어 프로그래밍 및 악성 프로그램 분석 등을 보다 효과적으로 수행할 수 있을 것으로 기대한다.In this paper, we introduce a Graph based Binary Code Execution Path Exploration Platform. In the graph, a node is defined as a conditional branch instruction, and an edge is defined as the other instructions. We implemented prototype of the proposed method and works well on real binary code. Experimental results show proposed method correctly explores execution path of target binary code. We expect our method can help Software Assurance, Secure Programming, and Malware Analysis more correct and efficient.
URI
http://koreascience.or.kr/article/ArticleFullRecord.jsp?cn=JBBHCB_2014_v24n3_437http://hdl.handle.net/20.500.11754/56492
ISSN
1598-3986; 2288-2715
DOI
10.13089/JKIISC.2014.24.3.437
Appears in Collections:
COLLEGE OF ENGINEERING[S](공과대학) > COMPUTER SCIENCE(컴퓨터소프트웨어학부) > Articles
Files in This Item:
There are no files associated with this item.
Export
RIS (EndNote)
XLS (Excel)
XML


qrcode

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

BROWSE