Solving a CTF Challenge with S2E This code accompanies my blog post Solving a CTF Challenge with S2E. This code should be copied into the directory of the same name in your S2E environment, located at $S2EDIR. libs2eplugins: $S2EDIR/source/s2e/libs2eplugins