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: https://sigpwny.com/meetings/sp2024/2...