동적 기호 실행을 이용한 힙 메모리 OOB 취약점 자동 탐지 방법
Vol. 28, No. 4, pp. 919-928,
7월.
2018
10.13089/JKIISC.2018.28.4.919, Full Text:
Keywords: Dynamic Symbolic Execution, software vulnerability, Heap Memory Vulnerability, Out-of-bounds
Abstract Statistics
Cite this article
10.13089/JKIISC.2018.28.4.919, Full Text:
Keywords: Dynamic Symbolic Execution, software vulnerability, Heap Memory Vulnerability, Out-of-bounds
Abstract Statistics
Cite this article
[IEEE Style]
강상용, 노봉남, 박성현, "Automated Method for Detecting OOB Vulnerability of Heap Memory Using Dynamic Symbolic Execution," Journal of The Korea Institute of Information Security and Cryptology, vol. 28, no. 4, pp. 919-928, 2018. DOI: 10.13089/JKIISC.2018.28.4.919.
[ACM Style]
강상용, 노봉남, and 박성현. 2018. Automated Method for Detecting OOB Vulnerability of Heap Memory Using Dynamic Symbolic Execution. Journal of The Korea Institute of Information Security and Cryptology, 28, 4, (2018), 919-928. DOI: 10.13089/JKIISC.2018.28.4.919.