Symbolic Execution

SP2024 Week 12

rev
pwn
Nikhil Date
Pete Stenger
Everitt Lab 2310

Watch video

Download slides

Summary

Learn how to analyze and reverse engineer binaries using symbolic execution!