\newchapter{KLEE}

\renewcommand{\CURPATH}{KLEE}

\leveldown{}

\myheading{Installation}

KLEE building from source is tricky.
Easiest way to use KLEE is to install \emph{docker} and then to run KLEE docker image\footnote{\url{http://klee.github.io/docker/}}.
To copy files to/from docker, use the ``docker cp'' command.

\input{KLEE/color_EN.tex}
\input{KLEE/strcmp_EN.tex}
\input{KLEE/UNIXdatetime_EN.tex}
\input{KLEE/base64_EN.tex}
\input{KLEE/LZSS_EN.tex}
\input{KLEE/strtodx_EN.tex}
\input{KLEE/calc_EN.tex}

\myheading{More examples}

\url{https://feliam.wordpress.com/2010/10/07/the-symbolic-maze/}

\myheading{Exercise}

Here is my crackme/keygenme, which may be tricky, but easy to solve using KLEE:
\url{http://challenges.re/74/}.

\levelup{}

