diff --git a/slides.tex b/slides.tex index 5803df6..f5a1556 100644 --- a/slides.tex +++ b/slides.tex @@ -36,9 +36,9 @@ \newcommand{\cmark}{\color{OliveGreen}\ding{52}} \newcommand{\xmark}{\color{BrickRed}\ding{56}} -\let\tempone\itemize -\let\temptwo\enditemize -\renewenvironment{itemize}{\tempone\addtolength{\itemsep}{0.5\baselineskip}}{\temptwo} +%\let\tempone\itemize +%\let\temptwo\enditemize +%\renewenvironment{itemize}{\tempone\addtolength{\itemsep}{0.5\baselineskip}}{\temptwo} @@ -498,8 +498,8 @@ Segmentation fault. \item Heuristic to decide whether we index with \reg{rbp} or \reg{rsp} \end{itemize} - \item By performing \alert{symbolic execution} with an abstract - semantics, we can \alert{synthesize the + \item With a \alert{symbolic execution} with an abstract semantics,\\ + we can \alert{synthesize the unwinding table} line by line. \item Control flow: forward data-flow analysis \item The fixpoints are immediate, cf article @@ -535,8 +535,10 @@ Segmentation fault. \pause{} - So much that \prog{perf} doesn't use it by default! You must use - \lstbash{perf report --call-graph dwarf} explicitly! + So much that \prog{perf} cannot unwind online! + + It must \alert{copy to disk the whole call stack} every few instants and + \alert{analyze it later} at report time! \end{frame} \sectiontitleframe{}