Fill in main content for §2

This commit is contained in:
Théophile Bastian 2018-11-06 13:14:12 +01:00
parent f0d2f6bca5
commit 751ff79d67

View file

@ -526,8 +526,14 @@ $1 = 84
\end{frame}
\begin{frame}{TODO}
\todo{}
\begin{frame}{What for, in the end?}
\begin{itemize}[<+->]
\item We can \alert{find bugs} in compilers
\item We can \alert{validate DWARF tables}!
\item \ldots{}well, only along \alert{one execution path}\ldots
\item but mostly we are close to a working \alert{algorithm} to
\alert{synthesize unwinding data from assembly}!
\end{itemize}
\end{frame}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%