# symbolic execution

[emile](/about#contact) [/ctf/resources/symbolic-execution/](/ctf/resources/symbolic-execution/)

The goly grail.

We'll go into what symbolic execution actually is and how to do cool stuff with it.