A Tool for the Symbolic Execution of Linux Binaries - PySymemu (Slides).pdf 758 KB