Symbolic Execution and Fuzzing This set of challenges is about symbolic execution and fuzzing. The goal is to find a string that satisfies a set of constraints. Challenges: cracksymb pnrg prodkey