Reachability Analysis of Upper-Stack Manipulating Binary Code.

Shijie Lin, Tayssir Touili

Browse the full SEFM paper archive.