2 papers
cs.CR2020
The Taint Rabbit: Optimizing Generic Taint Analysis with Dynamic Fast Path Generation
John Galea, Daniel Kroening
Generic taint analysis is a pivotal technique in software security. However, it suffers from staggeringly high overhead. In this paper, we explore the hypothesis whether just-in-ti…
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…