Reorder chapters

This commit is contained in:
2026-09-10 21:05:45 +02:00
parent ba45bc64c3
commit 4c99a4be15
9 changed files with 36 additions and 17 deletions
+2 -2
View File
@@ -15,11 +15,11 @@ Besides instructions or execution behavior, two file formats are defined by the
Both formats represent the same underlying content, but serve different purposes. Both formats represent the same underlying content, but serve different purposes.
% \begin{codeblock}[label=lst:wasmexample]{\Gls{wasm} Binary Format}{.wasm} % \begin{codeblock}[label=lst:wasmexample]{\Gls{wasm} Binary Format}{.wasm}
% \inputminted{hex}{\subfix{listings/wat_example.hex}} % \inputminted{hex}{listings/wat_example.hex}
% \end{codeblock} % \end{codeblock}
\begin{codeblock}[label=lst:watexample]{\Gls{wasm} Text Format}{.wat} \begin{codeblock}[label=lst:watexample]{\Gls{wasm} Text Format}{.wat}
\inputminted{wat}{\subfix{listings/wat_example.wat}} \inputminted{wat}{listings/wat_example.wat}
\end{codeblock} \end{codeblock}
% TODO: Info on wat (module, type, func, memory, global, export) % TODO: Info on wat (module, type, func, memory, global, export)
@@ -0,0 +1,9 @@
%! TeX program = lualatex
%! TeX root = ../../thesis.tex
\documentclass[../../thesis.tex]{subfiles}
\begin{document}
\section{Faults, Errors and Failures}\label{sec:faultchain}
\end{document}
@@ -18,7 +18,7 @@ This abstraction layer allows switching out backends to support different target
To perform a vulnerability analysis, the examined program needs to be instrumented with fences that define the region to trace (see \autoref{lst:tracefencemarkers}). To perform a vulnerability analysis, the examined program needs to be instrumented with fences that define the region to trace (see \autoref{lst:tracefencemarkers}).
\begin{codeblock}[label=lst:tracefencemarkers]{Trace Region Fence}{.cpp} \begin{codeblock}[label=lst:tracefencemarkers]{Trace Region Fence}{.cpp}
\inputminted{cpp}{\subfix{listings/tracefence.cpp}} \inputminted{cpp}{listings/tracefence.cpp}
\end{codeblock} \end{codeblock}
\Gls{fail} then records the instruction pointer changes and memory accesses inside this region during the so-called \gls{goldenrun}: a faultless execution of the program that determines which injections should be performed during the campaign. \Gls{fail} then records the instruction pointer changes and memory accesses inside this region during the so-called \gls{goldenrun}: a faultless execution of the program that determines which injections should be performed during the campaign.
Then, the \gls{goldenrun} is enriched with the traced region's disassembly to take into account the register reads and writes. Then, the \gls{goldenrun} is enriched with the traced region's disassembly to take into account the register reads and writes.
@@ -50,7 +50,7 @@ Furthermore, different experiment outcomes are classified:
Ok/Detected/Fail outcomes are classified by instrumenting the tested code with \textquote{markers} (see \autoref{lst:classificationmarkers}). Ok/Detected/Fail outcomes are classified by instrumenting the tested code with \textquote{markers} (see \autoref{lst:classificationmarkers}).
If the program execution passes a marker, the experiment outcome is classified accordingly. If the program execution passes a marker, the experiment outcome is classified accordingly.
\begin{codeblock}[label=lst:classificationmarkers]{Classification Markers}{.cpp} \begin{codeblock}[label=lst:classificationmarkers]{Classification Markers}{.cpp}
\inputminted{cpp}{\subfix{listings/classificationmarkers.cpp}} \inputminted{cpp}{listings/classificationmarkers.cpp}
\end{codeblock} \end{codeblock}
\end{document} \end{document}
+10
View File
@@ -0,0 +1,10 @@
%! TeX program = lualatex
%! TeX root = ../../thesis.tex
\documentclass[../../thesis.tex]{subfiles}
\begin{document}
% \addchap{Examples}\label{ch:examples}
\chapter{Experiment Results}\label{ch:experimentresults}
\end{document}
@@ -5,9 +5,7 @@
\begin{document} \begin{document}
% \addchap{Examples}\label{ch:examples} % \addchap{Examples}\label{ch:examples}
\chapter{Examples}\label{ch:examples} \chapter{Sanity Checks}\label{ch:examples}
\todo[inline]{Sanity check so everything looks correct}
This is \code{inline code}. This is \code{inline code}.
This is a reference to \Gls{fail}. This is a reference to \Gls{fail}.
@@ -21,18 +19,18 @@ This is a formula: \( \sum\limits_{f=1}^{\infty}\frac{o}{r}\cdot m_{u} + l^{a} \
This is \textbf{bold text that is slightly bold}, so underwhelming. This is \textbf{bold text that is slightly bold}, so underwhelming.
In contrast, \sansbf{this text is very strong}, very cool\footnote{very cool}. In contrast, \sansbf{this text is very strong}, very cool\footnote{very cool}.
\begin{codeblock}[label=lst:examplelisting]{This is a listing.}{C++}
\inputminted{cpp}{\subfix{listings/example.cpp}}
\end{codeblock}
\begin{figure}[H] \begin{figure}[H]
\centering \centering
\begin{subfigure}[b]{\textwidth} \begin{subfigure}[b]{0.85\textwidth}
\includesvg[width=1.0\linewidth]{\subfix{figures/example.svg}} \includesvg[width=1.0\linewidth]{figures/example.svg}
\end{subfigure} \end{subfigure}
\caption{This is a figure.}\label{fig:examplefigure} \caption{This is a figure.}\label{fig:examplefigure}
\end{figure} \end{figure}
\begin{codeblock}[label=lst:examplelisting]{This is a listing.}{C++}
\inputminted{cpp}{listings/example.cpp}
\end{codeblock}
\begin{table}[H] \begin{table}[H]
\centering \centering
\begin{tabularx}{\textwidth}{lX} \begin{tabularx}{\textwidth}{lX}

Before

Width:  |  Height:  |  Size: 1.9 MiB

After

Width:  |  Height:  |  Size: 1.9 MiB

Before

Width:  |  Height:  |  Size: 610 KiB

After

Width:  |  Height:  |  Size: 610 KiB

+6 -4
View File
@@ -17,9 +17,8 @@
\subfile{chapters/03_background/03_00_background.tex} \subfile{chapters/03_background/03_00_background.tex}
\subfile{chapters/03_background/03_01_wasm.tex} \subfile{chapters/03_background/03_01_wasm.tex}
\subfile{chapters/03_background/03_02_wamr.tex} \subfile{chapters/03_background/03_02_wamr.tex}
% TODO: Write about faults/errors/fault chain? \subfile{chapters/03_background/03_03_fault_chain.tex}
% TODO: Write about fault-injection? \subfile{chapters/03_background/03_04_fail.tex}
\subfile{chapters/03_background/03_03_fail.tex}
\cleardoublepage% \cleardoublepage%
\subfile{chapters/04_methodology/04_00_methodology.tex} \subfile{chapters/04_methodology/04_00_methodology.tex}
@@ -40,7 +39,10 @@
\appendix \appendix
% \pagenumbering{Roman} % \pagenumbering{Roman}
\subfile{chapters/examples/examples.tex} \subfile{chapters/0A_results/0A_00_results.tex}
\cleardoublepage%
\subfile{chapters/0B_sanity/0B_00_sanity_checks.tex}
\cleardoublepage% \cleardoublepage%
\end{document} \end{document}