From 751ff79d676797b478838da8c7b05710f745afcd Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Th=C3=A9ophile=20Bastian?= Date: Tue, 6 Nov 2018 13:14:12 +0100 Subject: [PATCH] =?UTF-8?q?Fill=20in=20main=20content=20for=20=C2=A72?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- slides.tex | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) 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} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%