A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes
Published in International Journal of Information Security, 2023
Recommended citation: Baradaran, S., Heidari, M., Kamali, A. et al. A unit-based symbolic execution method for detecting memory corruption vulnerabilities in executable codes. Int. J. Inf. Secur. 22, 1277–1290 (2023). https://doi.org/10.1007/s10207-023-00691-1
This paper is an extension of our conference paper entitled “A Unit-Based Symbolic Execution Method for Detecting Heap Overflow Vulnerability in Executable Codes” and proposes a method for improving the efficiency of symbolic execution and detecting memory corruption vulnerabilities in executable codes by restricting the scope of symbolic execution and estimating the program’s behavior using machine learning techniques.