Boosting Symbolic Execution for Heap-based Vulnerability Detection and Exploit Generation.

Haoxin Tu

Browse the full ICSE paper archive.