Ctf-foo/2022-09-03

= symbolic execution =

topics

 * What is symbolic execution?
 * Into: z3
 * Intro: angr
 * Problems: Path explosion
 * ... (add stuff here that might fit here)

participants

 * YOUR NAME HERE