Symbolic Execution SP2024 Week 12 revpwn Nikhil Date, Helper Nikhil Date @TENSOR Pete Stenger President Pete Stenger @spicypete Friday, April 12th, 2024 12 – 1 AM Everitt Lab 2310 Watch video Download slides Summary Learn how to analyze and reverse engineer binaries using symbolic execution!
