동적 기호 실행을 이용한 그래프 기반 바이너리 코드 실행 경로 탐색 플랫폼
Vol. 24, No. 3, pp. 437-444,
6월.
2014
10.13089/JKIISC.2014.24.3.437,
Full Text:
Keywords: Execution Path Exploration, Code Coverage Improvement, Symbolic Execution, Taint Analysis
Abstract Statistics
Cite this article
![](https://d2kjln74dkk4oj.cloudfront.net/img/doi_icon.png)
![](https://d2kjln74dkk4oj.cloudfront.net/img/pdficon_small.png)
Keywords: Execution Path Exploration, Code Coverage Improvement, Symbolic Execution, Taint Analysis
Abstract Statistics
Cite this article
[IEEE Style]
B. Kang and E. G. Im, "Graph based Binary Code Execution Path Exploration Platform for Dynamic Symbolic Execution," Journal of The Korea Institute of Information Security and Cryptology, vol. 24, no. 3, pp. 437-444, 2014. DOI: 10.13089/JKIISC.2014.24.3.437.
[ACM Style]
Byeongho Kang and Eul Gyu Im. 2014. Graph based Binary Code Execution Path Exploration Platform for Dynamic Symbolic Execution. Journal of The Korea Institute of Information Security and Cryptology, 24, 3, (2014), 437-444. DOI: 10.13089/JKIISC.2014.24.3.437.