2 papers
cs.SE2018
Evaluating Manual Intervention to Address the Challenges of Bug Finding with KLEE
John Galea, Sean Heelan, Daniel Neville +1
Symbolic execution has shown its ability to find security-relevant flaws in software, but faces significant scalability challenges. There is a commonly held belief that manual inte…
cs.CR2018
Automatic Heap Layout Manipulation for Exploitation
Sean Heelan, Tom Melham, Daniel Kroening
Heap layout manipulation is integral to exploiting heap-based memory corruption vulnerabilities. In this paper we present the first automatic approach to the problem, based on pseu…