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

Maryam Mouzarani, Ali Kamali, Sara Baradaran, Mahdi Heidari

Browse the full TAP paper archive.