From 7893267198c7f5a2d71c74e28534122e88ce6e29 Mon Sep 17 00:00:00 2001 From: Christoph Urlacher Date: Thu, 10 Sep 2026 20:04:36 +0200 Subject: [PATCH] Add golden run and pilot to glossary --- chapters/03_background/03_03_fail.tex | 4 ++-- glossary.tex | 10 ++++++++++ 2 files changed, 12 insertions(+), 2 deletions(-) diff --git a/chapters/03_background/03_03_fail.tex b/chapters/03_background/03_03_fail.tex index 5a6254d..d7bb6f4 100644 --- a/chapters/03_background/03_03_fail.tex +++ b/chapters/03_background/03_03_fail.tex @@ -20,8 +20,8 @@ To perform a vulnerability analysis, the examined program needs to be instrument \begin{codeblock}[label=lst:tracefencemarkers]{Trace Region Fence}{.cpp} \inputminted{cpp}{\subfix{listings/tracefence.cpp}} \end{codeblock} -\Gls{fail} then records the instruction pointer changes and memory accesses inside this region during the so-called \textquote{golden run}: a faultless execution of the program that determines which injections should be performed during the campaign. -Then, the golden run is enriched with the traced region's disassembly to take into account the register reads and writes. +\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. The last step before campaign execution is the \textit{prune} step, where the collected data is translated into corresponding experiments. Different data points from the trace that result in the same \textquote{fault-similarity class} (as used by Schirmeier~\autocite{schirmeierEfficientFaultInjectionbasedAssessment}) are removed from the campaign. Two experiments belong to the same similarity class if the \textit{relevant} parts of their resulting simulator state are identical. diff --git a/glossary.tex b/glossary.tex index 1abcb03..5102edf 100644 --- a/glossary.tex +++ b/glossary.tex @@ -63,10 +63,20 @@ text={FARM}, description={Model to specify \Gls{fi} applications by structuring them into four sets: faults (\(F\)), activations (\(A\)), readouts (\(R\)), and measures (\(M\))} } +\newglossaryentry{goldenrun}{% + name={Golden Run}, + text={golden run}, + description={A recording of a fault-free execution of the program under test} +} \newglossaryentry{iwasm}{% name={iWasm}, description={\Gls{wamr}'s standalone binary that provides a command-line interface to load and execute \Gls{wasm} modules using \Gls{vmcore}} } +\newglossaryentry{pilot}{% + name={Pilot}, + text={pilot}, + description={A single \Gls{fi} experiment representing an equivalence class of experiments with the same outcome} +} \newglossaryentry{replication}{% name={Replication}, text={replication},