niklas/master_thesis
1
0
Fork 0
mirror of https://sharelatex.tu-darmstadt.de/git/681e0e7a3a9c7c9c6b8bb298 synced 2026-02-04 03:07:43 +00:00
Code Issues Packages Projects Releases Wiki Activity

Update on Overleaf.

Browse Source
This commit is contained in:
nb72soza Bittner
2025-05-27 17:27:02 +00:00
committed by node
parent 8f8def65f4
commit 463c45f08d
4 changed files with 201 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

22
Graphics/scenario_recorder.tikz Normal file
View File

@@ -0,0 +1,22 @@
\begin{tikzpicture}[node distance=1.5cm and 2cm]
\node (start) [startstop] {Recorder: get\_next\_mutation(func)};
\node (checkcurrent) [decision, below of=start] {Current Node Has Untried Mutations?};
\node (addnode) [process, right=3.5cm of checkcurrent] {Add New Mutation Node};
\node (traverse) [process, below of=checkcurrent] {Traverse Children};
\node (foundchild) [decision, below of=traverse] {Child With Untried Mutations?};
\node (usechild) [process, left=3.5cm of foundchild] {Use Child Node};
\node (usenone) [process, right=3.5cm of foundchild] {Use NONE Node};
\node (mutate) [process, below of=foundchild, yshift=-2cm] {Mutate APDU and Send};
\node (record) [process, below of=mutate] {Recorder.record()};
\draw [arrow] (start) -- (checkcurrent);
\draw [arrow] (checkcurrent.east) -- node[above] {Yes} (addnode.west);
\draw [arrow] (addnode.south) |- (mutate);
\draw [arrow] (checkcurrent) -- (traverse);
\draw [arrow] (traverse) -- (foundchild);
\draw [arrow] (foundchild.west) -- node[above] {Yes} (usechild.east);
\draw [arrow] (foundchild.east) -- node[above] {No} (usenone.west);
\draw [arrow] (usechild.south) |- (mutate);
\draw [arrow] (usenone.south) |- (mutate);
\draw [arrow] (mutate) -- (record);
\end{tikzpicture}

41
Graphics/scenario_runner.tikz Normal file
View File

@@ -0,0 +1,41 @@
\begin{tikzpicture}[node distance=1.5cm and 2cm]
\node (start) [startstop] {Start: \texttt{record\_card()}};
\node (initlink) [process, below of=start] {Initialize \texttt{PcscLink}};
\node (card) [process, below of=initlink] {Create Card};
\node (clear) [process, below of=card] {Clear Card Memory};
\node (assignme) [process, below of=clear] {Assign Mutation Engine};
\node (loopscenarios) [process, below of=assignme] {For Each Scenario};
\node (initscenario) [process, below of=loopscenarios] {Instantiate Scenario};
\node (runscenario) [process, below of=initscenario] {Run \texttt{scenario.run(card)}};
\node (handlemut) [process, below of=runscenario] {Invoke Mutation \& Recording (see right)};
\node (exception) [decision, below of=handlemut] {Exception Raised?};
\node (markleaf) [process, left=2.5cm of exception] {Mark Node as Leaf};
\node (logfail) [process, right=2.5cm of exception] {Log + Record Failure};
\node (reset) [process, below of=logfail] {Reset Card + Recorder};
\node (check) [decision, below of=exception, yshift=-3cm] {All Mutations Tried?};
\node (savefile) [process, left=2.5cm of check] {Save Tree to File};
\node (loopagain) [process, right=2.5cm of check] {Loop Again};
\node (nextscenario) [process, below of=check] {Continue to Next Scenario};
\node (end) [startstop, below of=nextscenario] {End};
\draw [arrow] (start) -- (initlink);
\draw [arrow] (initlink) -- (card);
\draw [arrow] (card) -- (clear);
\draw [arrow] (clear) -- (assignme);
\draw [arrow] (assignme) -- (loopscenarios);
\draw [arrow] (loopscenarios) -- (initscenario);
\draw [arrow] (initscenario) -- (runscenario);
\draw [arrow] (runscenario) -- (handlemut);
\draw [arrow] (handlemut) -- (exception);
\draw [arrow] (exception.west) -- node[above] {No} (markleaf.east);
\draw [arrow] (exception.east) -- node[above] {Yes} (logfail.west);
\draw [arrow] (logfail) -- (reset);
\draw [arrow] (markleaf.south) |- (check.north);
\draw [arrow] (reset.south) |- (check.north);
\draw [arrow] (check.west) -- node[above] {Yes} (savefile.east);
\draw [arrow] (check.east) -- node[above] {No} (loopagain.west);
\draw [arrow] (savefile.south) |- (nextscenario);
\draw [arrow] (loopagain.south) |- (nextscenario);
\draw [arrow] (nextscenario) -- (end);
\end{tikzpicture}