SP2024 Week 12: Symbolic Execution (2024-04-11)

This meeting covers symbolic execution using tools such as Angr and z3. Recorded on 2024-04-11.
This meeting was run by Nikhil and Pete.
Meeting slides: sigpwny.com/me...