Modular Synthesis of Heap Exploits
Dusan Repel, Johannes Kinder, Lorenzo Cavallaro · 2017
Memory errors continue to compromise the security of today's systems. Recent efforts to automatically synthesize exploits for stack-based buffer overflows promise to help assess a vulnerability's severity more quickly and alleviate the burden of manual reasoning. However, generation of heap exploits has been out of scope for such methods thus far.