A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes

International Journal of Information Security, 2023

Recommended citation: https://raw.githack.com/SaraBaradaran/SaraBaradaran.github.io/master/papers/UbSym.bib https://raw.githack.com/SaraBaradaran/SaraBaradaran.github.io/master/papers/UbSym.pdf