diff --git a/slides.tex b/slides.tex index b34e9ba..97bc46b 100644 --- a/slides.tex +++ b/slides.tex @@ -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} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%