\myheading{Examples}

\begin{itemize}

\item \url{https://fevral.github.io/2017/08/13/flareon2015-2.html} -- using angr.io.

\item Breaking Kryptonite's obfuscation: a static analysis approach relying on symbolic execution
\footnote{\url{https://doar-e.github.io/blog/2013/09/16/breaking-kryptonites-obfuscation-with-symbolic-execution/}}.

\item Sean Heelan -- Anatomy of a Symbolic Emulator\footnote{
\url{https://sean.heelan.io/2012/03/23/anatomy-of-a-symbolic-emulator-part-1-trace-generation/},
\url{https://sean.heelan.io/2012/03/23/anatomy-of-a-symbolic-emulator-part-2-introducing-symbolic-data/},
\url{https://sean.heelan.io/2012/03/23/anatomy-of-a-symbolic-emulator-part-3-processing-symbolic-data-generating-new-inputs/}}

\end{itemize}