lorenz.stechauner/BSc-Thesis
1
0
Fork 0
Code Activity

thesis: Start Chapter 1

Browse Source
This commit is contained in:
Lorenz Stechauner
2025-08-05 11:10:55 +02:00
parent c68588919d
commit 786d5cac35
8 changed files with 78 additions and 33 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
thesis/src/03.manipulate.tex
View File

@@ -106,7 +106,7 @@ This may be the case when the following function calls differ from those which w
\subsection{Testing Return Value Checks}\label{subsec:testing-return-value-checks}
Figure~\ref{fig:call-sequence} shows the simplified and collapsed call sequence graph of prior example in Section~\ref{sec:intercepting-example}.
Figure~\ref{fig:call-sequence} shows the simplified and collapsed call sequence graph of the prior example in Section~\ref{sec:intercepting-example}.
Each edge between two nodes without any label indicates the next function call on a normal run of the program.
Edges labeled with ``fail'' indicate the next function call after a mocked failed call.
In reality, there are multiple failing paths, each for every possible error return value, but in this example they all yield the same resulting path, therefore, they have been collapsed.
@@ -116,8 +116,8 @@ This test seems trivial at first.
The simplest approach is to verify that after a failing function call only ``cleanup'' function calls (\texttt{free}, \texttt{close}, \texttt{exit}, \dots) follow.
For simple programs, this assumption may hold, but there are many exceptions.
For example, what if the program recognizes the failed call correctly as failed but recovers and continues to operate normally?
Or what if the ``cleanup'' path is very complex and includes function calls not prior marked as valid cleanup functions?
However, for simple programs (like those mentioned in\todo{Goals}) the simplest approach from above suffices.
Or what if the ``cleanup'' path is very complex and includes function calls not priorly marked as valid cleanup functions?
However, for simple programs (like those mentioned in Section~\ref{sec:motivation-and-goal}), the simplest approach from above suffices.
\begin{figure}
\begin{tikzpicture}[node distance=15mm, thick, main/.style = {draw, circle}, text centered]