A Unit-Based Symbolic Execution Method for Detecting Heap Overflow Vulnerability in Executable Codes

International Conference on Tests and Proofs (TAP), 2022

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