-be no exception. We have extended the QEMU emulator~\cite{Bellard2005QEMU} to
-perform tailored analyses that point out errors such as race conditions.
+be no exception. In Section~\ref{sec:dynamicanalysis}, we describe how we
+extended the QEMU emulator~\cite{Bellard2005QEMU} to
+perform tailored analyses that find errors such as race conditions.