Reachability Logic for Low-Level Programs

Nico Naus, Freek Verbeek, Marc Schoolderman +1

Automatic exploit generation is a relatively new area of research. Work in this area aims to automate the manual and labor intensive task of finding exploits in software. In this p…