Doc update

uds-se · Nov 12, 2023 · 26d3f7a · 26d3f7a
1 parent 6e9d1b6
commit 26d3f7a
Show file tree

Hide file tree

Showing 125 changed files with 13,549 additions and 19,163 deletions.
diff --git a/docs/beta/404.html b/docs/beta/404.html
@@ -12038,7 +12038,23 @@
 <div class="cell border-box-sizing text_cell rendered">
 <div class="inner_cell">
 <div class="text_cell_render border-box-sizing rendered_html"><h2 id="Getting-Informed-About-New-Content">Getting Informed About New Content<a class="anchor-link" href="#Getting-Informed-About-New-Content">&#182;</a></h2><p>New chapters are coming out every week.  To get notified when a new chapter (or this one) comes out, <a href="https://mastodon.social/invite/P27cijZH">follow us on Mastodon</a>.</p>
-<iframe allowfullscreen sandbox="allow-top-navigation allow-scripts allow-popups allow-popups-to-escape-sandbox" width="400" height="400" frameBorder="0" src="https://mastofeed.com/apiv2/feed?userurl=https%3A%2F%2Fmastodon.social%2Fusers%2FTheDebuggingBook&theme=auto&size=100&header=false&replies=false&boosts=false"></iframe></div>
+<!--
+<iframe allowfullscreen sandbox="allow-top-navigation allow-scripts allow-popups allow-popups-to-escape-sandbox" width="400" height="400" frameBorder="0" src="https://mastofeed.com/apiv2/feed?userurl=https%3A%2F%2Fmastodon.social%2Fusers%2FTheDebuggingBook&theme=auto&size=100&header=false&replies=false&boosts=false"></iframe>
+--></div>
+</div>
+</div>
+</div>
+
+<div class="input_markdown">
+<div class="cell border-box-sizing text_cell rendered">
+<div class="inner_cell">
+<div class="text_cell_render border-box-sizing rendered_html"><p><link rel="stylesheet" href="/html/mastodon-timeline.css" /></p>
+<p><script src="/html/mastodon-timeline.js"></script></p>
+<div class="mt-timeline">
+  <div id="mt-body" class="mt-body" role="feed">
+    <div class="loading-spinner"></div>
+  </div>
+</div></div>
 </div>
 </div>
 </div>
@@ -12057,7 +12073,7 @@
 
 <div class="inner_cell">
 <div class="input_area">
-<div class=" highlight hl-ipython3"><pre><span></span><span class="kn">import</span> <span class="nn"><a href="https://github.com/uds-se/debuggingbook//tree/master/notebooks/shared/bookutils" class="import" target="_blank">bookutils</a></span>
+<div class=" highlight hl-ipython3"><pre><span></span><span class="kn">import</span> <span class="nn"><a href="https://github.com/uds-se/debuggingbook//tree/master/notebooks/shared/bookutils" class="import" target="_blank">bookutils.setup</a></span>
 </pre></div>
 
 </div>
@@ -12105,7 +12121,7 @@
 
 <div class="output_subarea output_stream output_stderr output_text">
 <pre>Traceback (most recent call last):
-  File &#34;/var/folders/n2/xd9445p97rb3xh7m1dfx8_4h0006ts/T/ipykernel_36148/1830731544.py&#34;, line 4, in &lt;cell line: 3&gt;
+  File &#34;/var/folders/n2/xd9445p97rb3xh7m1dfx8_4h0006ts/T/ipykernel_57103/1830731544.py&#34;, line 4, in &lt;cell line: 3&gt;
     raise NotFoundError
 NotFoundError: &#39;404&#39; (expected)
 </pre>
@@ -12119,7 +12135,7 @@
 The content of this project is licensed under the
 <a href="https://creativecommons.org/licenses/by-nc-sa/4.0/" target=_blank>Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License</a>.
 The source code that is part of the content, as well as the source code used to format and display that content is licensed under the <a href="https://github.com/uds-se/debuggingbook/blob/master/LICENSE.md#mit-license">MIT License</a>.
-<a href="https://github.com/uds-se/debuggingbook/commits/master/notebooks/404.ipynb" target=_blank)>Last change: 2023-10-24 12:46:55+02:00</a> &bull; 
+<a href="https://github.com/uds-se/debuggingbook/commits/master/notebooks/404.ipynb" target=_blank)>Last change: 2023-11-11 18:05:06+01:00</a> &bull; 
 <a href="#citation" id="cite" onclick="revealCitation()">Cite</a> &bull;
 <a href="https://cispa.de/en/impressum" target=_blank>Imprint</a>
 </p>
@@ -12135,7 +12151,7 @@
 <a name="citation"></a>
 <h2>How to Cite this Work</h2>
 <p>
-Andreas Zeller: "<a href="https://www.debuggingbook.org/beta/">The Debugging Book</a>".  Retrieved 2023-10-24 12:46:55+02:00.
+Andreas Zeller: "<a href="https://www.debuggingbook.org/beta/">The Debugging Book</a>".  Retrieved 2023-11-11 18:05:06+01:00.
 </p>
 <pre>
 @book{debuggingbook2023,
@@ -12144,9 +12160,9 @@ <h2>How to Cite this Work</h2>
     year = {2023},
     publisher = {CISPA Helmholtz Center for Information Security},
     howpublished = {\url{https://www.debuggingbook.org/beta/}},
-    note = {Retrieved 2023-10-24 12:46:55+02:00},
+    note = {Retrieved 2023-11-11 18:05:06+01:00},
     url = {https://www.debuggingbook.org/beta/},
-    urldate = {2023-10-24 12:46:55+02:00}
+    urldate = {2023-11-11 18:05:06+01:00}
 }
 </pre>
 </div>

diff --git a/docs/beta/code/01_Intro.py b/docs/beta/code/01_Intro.py
@@ -3,7 +3,7 @@
 
 # "Part I: Whetting Your Appetite" - a chapter of "The Debugging Book"
 # Web site: https://www.debuggingbook.org/html/01_Intro.html
-# Last change: 2023-10-16 19:46:31+02:00
+# Last change: 2023-11-12 13:39:12+01:00
 #
 # Copyright (c) 2021-2023 CISPA Helmholtz Center for Information Security
 # Copyright (c) 2018-2020 Saarland University, authors, and contributors

diff --git a/docs/beta/code/02_Observing.py b/docs/beta/code/02_Observing.py
@@ -3,7 +3,7 @@
 
 # "Part II: Observing Executions" - a chapter of "The Debugging Book"
 # Web site: https://www.debuggingbook.org/html/02_Observing.html
-# Last change: 2023-10-16 19:46:54+02:00
+# Last change: 2023-11-12 13:39:37+01:00
 #
 # Copyright (c) 2021-2023 CISPA Helmholtz Center for Information Security
 # Copyright (c) 2018-2020 Saarland University, authors, and contributors

diff --git a/docs/beta/code/03_Dependencies.py b/docs/beta/code/03_Dependencies.py
@@ -3,7 +3,7 @@
 
 # "Part III: Flows and Dependencies" - a chapter of "The Debugging Book"
 # Web site: https://www.debuggingbook.org/html/03_Dependencies.html
-# Last change: 2023-10-16 19:47:26+02:00
+# Last change: 2023-11-12 13:40:15+01:00
 #
 # Copyright (c) 2021-2023 CISPA Helmholtz Center for Information Security
 # Copyright (c) 2018-2020 Saarland University, authors, and contributors

diff --git a/docs/beta/code/04_Reducing.py b/docs/beta/code/04_Reducing.py
@@ -3,7 +3,7 @@
 
 # "Part IV: Reducing Failure Causes" - a chapter of "The Debugging Book"
 # Web site: https://www.debuggingbook.org/html/04_Reducing.html
-# Last change: 2023-10-16 19:47:50+02:00
+# Last change: 2023-11-12 13:40:43+01:00
 #
 # Copyright (c) 2021-2023 CISPA Helmholtz Center for Information Security
 # Copyright (c) 2018-2020 Saarland University, authors, and contributors

diff --git a/docs/beta/code/05_Abstracting.py b/docs/beta/code/05_Abstracting.py
@@ -3,7 +3,7 @@
 
 # "Part V: Abstracting Failures" - a chapter of "The Debugging Book"
 # Web site: https://www.debuggingbook.org/html/05_Abstracting.html
-# Last change: 2023-10-16 19:48:20+02:00
+# Last change: 2023-11-12 13:41:16+01:00
 #
 # Copyright (c) 2021-2023 CISPA Helmholtz Center for Information Security
 # Copyright (c) 2018-2020 Saarland University, authors, and contributors

diff --git a/docs/beta/code/06_Repairing.py b/docs/beta/code/06_Repairing.py
@@ -3,7 +3,7 @@
 
 # "Part VI: Automatic Repair" - a chapter of "The Debugging Book"
 # Web site: https://www.debuggingbook.org/html/06_Repairing.html
-# Last change: 2023-10-16 19:54:22+02:00
+# Last change: 2023-11-12 13:47:25+01:00
 #
 # Copyright (c) 2021-2023 CISPA Helmholtz Center for Information Security
 # Copyright (c) 2018-2020 Saarland University, authors, and contributors

diff --git a/docs/beta/code/07_In_the_Large.py b/docs/beta/code/07_In_the_Large.py
@@ -3,7 +3,7 @@
 
 # "Part VII: Debugging in the Large" - a chapter of "The Debugging Book"
 # Web site: https://www.debuggingbook.org/html/07_In_the_Large.html
-# Last change: 2023-10-16 19:55:37+02:00
+# Last change: 2023-11-12 13:48:39+01:00
 #
 # Copyright (c) 2021-2023 CISPA Helmholtz Center for Information Security
 # Copyright (c) 2018-2020 Saarland University, authors, and contributors

diff --git a/docs/beta/code/99_Appendices.py b/docs/beta/code/99_Appendices.py
@@ -3,7 +3,7 @@
 
 # "Appendices" - a chapter of "The Debugging Book"
 # Web site: https://www.debuggingbook.org/html/99_Appendices.html
-# Last change: 2023-10-16 20:08:59+02:00
+# Last change: 2023-11-12 14:02:13+01:00
 #
 # Copyright (c) 2021-2023 CISPA Helmholtz Center for Information Security
 # Copyright (c) 2018-2020 Saarland University, authors, and contributors

diff --git a/docs/beta/code/Assertions.py b/docs/beta/code/Assertions.py
@@ -3,7 +3,7 @@
 
 # "Asserting Expectations" - a chapter of "The Debugging Book"
 # Web site: https://www.debuggingbook.org/html/Assertions.html
-# Last change: 2023-10-22 16:21:26+02:00
+# Last change: 2023-11-12 13:40:07+01:00
 #
 # Copyright (c) 2021-2023 CISPA Helmholtz Center for Information Security
 # Copyright (c) 2018-2020 Saarland University, authors, and contributors
@@ -55,9 +55,9 @@
 >>> with ExpectError():
 >>>     y = my_square_root(-1)
 Traceback (most recent call last):
-  File "/var/folders/n2/xd9445p97rb3xh7m1dfx8_4h0006ts/T/ipykernel_28137/76616918.py", line 2, in 
+  File "/var/folders/n2/xd9445p97rb3xh7m1dfx8_4h0006ts/T/ipykernel_22305/76616918.py", line 2, in 
     y = my_square_root(-1)
-  File "/var/folders/n2/xd9445p97rb3xh7m1dfx8_4h0006ts/T/ipykernel_28137/2617682038.py", line 2, in my_square_root
+  File "/var/folders/n2/xd9445p97rb3xh7m1dfx8_4h0006ts/T/ipykernel_22305/2617682038.py", line 2, in my_square_root
     assert x >= 0
 AssertionError (expected)
 
@@ -77,11 +77,11 @@
 >>> with ExpectError():
 >>>     x = managed_mem[2]
 Traceback (most recent call last):
-  File "/var/folders/n2/xd9445p97rb3xh7m1dfx8_4h0006ts/T/ipykernel_28137/1296110967.py", line 2, in 
+  File "/var/folders/n2/xd9445p97rb3xh7m1dfx8_4h0006ts/T/ipykernel_22305/1296110967.py", line 2, in 
     x = managed_mem[2]
-  File "/var/folders/n2/xd9445p97rb3xh7m1dfx8_4h0006ts/T/ipykernel_28137/2465984283.py", line 3, in __getitem__
+  File "/var/folders/n2/xd9445p97rb3xh7m1dfx8_4h0006ts/T/ipykernel_22305/2465984283.py", line 3, in __getitem__
     return self.read(address)
-  File "/var/folders/n2/xd9445p97rb3xh7m1dfx8_4h0006ts/T/ipykernel_28137/2898840933.py", line 9, in read
+  File "/var/folders/n2/xd9445p97rb3xh7m1dfx8_4h0006ts/T/ipykernel_22305/2898840933.py", line 9, in read
     assert self.allocated[address], \
 AssertionError: Reading from unallocated memory (expected)
 

diff --git a/docs/beta/code/ChangeCounter.py b/docs/beta/code/ChangeCounter.py
@@ -3,7 +3,7 @@
 
 # "Where the Bugs are" - a chapter of "The Debugging Book"
 # Web site: https://www.debuggingbook.org/html/ChangeCounter.html
-# Last change: 2023-10-22 16:34:52+02:00
+# Last change: 2023-11-12 14:02:09+01:00
 #
 # Copyright (c) 2021-2023 CISPA Helmholtz Center for Information Security
 # Copyright (c) 2018-2020 Saarland University, authors, and contributors
@@ -60,7 +60,7 @@
 A `change_counter` provides a number of attributes. `changes` is a mapping of nodes to the number of changes in that node:
 
 >>> change_counter.changes.get(('README.md',), None)
-15
+17
 
 The `messages` attribute holds all commit messages related to that node:
 
@@ -79,12 +79,14 @@
  'Fix: bad links in CI badges',
  'New: prefer Unicode arrows over LaTeX ones',
  'Updated README.md',
- 'Update']
+ 'Update',
+ 'Doc update',
+ 'Doc update']
 
 The `sizes` attribute holds the (last) size of the respective element:
 
 >>> change_counter.sizes.get(('README.md',), None)
-14405
+4614
 
 `FineChangeCounter` acts like `ChangeCounter`, but also retrieves statistics for elements _within_ the respective files; it has been tested for C, Python, and Jupyter Notebooks and should provide sufficient results for programming languages with similar syntax.
 

diff --git a/docs/beta/code/ChangeDebugger.py b/docs/beta/code/ChangeDebugger.py
@@ -3,7 +3,7 @@
 
 # "Isolating Failure-Inducing Changes" - a chapter of "The Debugging Book"
 # Web site: https://www.debuggingbook.org/html/ChangeDebugger.html
-# Last change: 2023-10-16 19:48:15+02:00
+# Last change: 2023-11-12 13:41:11+01:00
 #
 # Copyright (c) 2021-2023 CISPA Helmholtz Center for Information Security
 # Copyright (c) 2018-2020 Saarland University, authors, and contributors
@@ -96,9 +96,9 @@ def remove_html_markup(s):  # type: ignore
 >>> with ExpectError(AssertionError):
 >>>     test()
 Traceback (most recent call last):
-  File "/var/folders/n2/xd9445p97rb3xh7m1dfx8_4h0006ts/T/ipykernel_9115/4262003862.py", line 3, in 
+  File "/var/folders/n2/xd9445p97rb3xh7m1dfx8_4h0006ts/T/ipykernel_25954/4262003862.py", line 3, in 
     test()
-  File "/var/folders/n2/xd9445p97rb3xh7m1dfx8_4h0006ts/T/ipykernel_9115/3045937450.py", line 2, in test
+  File "/var/folders/n2/xd9445p97rb3xh7m1dfx8_4h0006ts/T/ipykernel_25954/3045937450.py", line 2, in test
     assert remove_html_markup('"foo"') == '"foo"'
 AssertionError (expected)
 

diff --git a/docs/beta/code/ClassDiagram.py b/docs/beta/code/ClassDiagram.py
@@ -3,7 +3,7 @@
 
 # "Class Diagrams" - a chapter of "The Debugging Book"
 # Web site: https://www.debuggingbook.org/html/ClassDiagram.html
-# Last change: 2023-10-16 20:09:39+02:00
+# Last change: 2023-11-12 14:02:52+01:00
 #
 # Copyright (c) 2021-2023 CISPA Helmholtz Center for Information Security
 # Copyright (c) 2018-2020 Saarland University, authors, and contributors

diff --git a/docs/beta/code/DDSetDebugger.py b/docs/beta/code/DDSetDebugger.py
@@ -3,7 +3,7 @@
 
 # "Generalizing Failure Circumstances" - a chapter of "The Debugging Book"
 # Web site: https://www.debuggingbook.org/html/DDSetDebugger.html
-# Last change: 2023-10-22 16:22:20+02:00
+# Last change: 2023-11-12 13:41:55+01:00
 #
 # Copyright (c) 2021-2023 CISPA Helmholtz Center for Information Security
 # Copyright (c) 2018-2020 Saarland University, authors, and contributors

diff --git a/docs/beta/code/Debugger.py b/docs/beta/code/Debugger.py
@@ -3,7 +3,7 @@
 
 # "How Debuggers Work" - a chapter of "The Debugging Book"
 # Web site: https://www.debuggingbook.org/html/Debugger.html
-# Last change: 2023-10-22 16:21:09+02:00
+# Last change: 2023-11-12 13:39:56+01:00
 #
 # Copyright (c) 2021-2023 CISPA Helmholtz Center for Information Security
 # Copyright (c) 2018-2020 Saarland University, authors, and contributors

diff --git a/docs/beta/code/DeltaDebugger.py b/docs/beta/code/DeltaDebugger.py
@@ -3,7 +3,7 @@
 
 # "Reducing Failure-Inducing Inputs" - a chapter of "The Debugging Book"
 # Web site: https://www.debuggingbook.org/html/DeltaDebugger.html
-# Last change: 2023-10-22 16:22:00+02:00
+# Last change: 2023-11-12 13:40:54+01:00
 #
 # Copyright (c) 2021-2023 CISPA Helmholtz Center for Information Security
 # Copyright (c) 2018-2020 Saarland University, authors, and contributors
@@ -51,9 +51,9 @@
 >>> with ExpectError(ZeroDivisionError):
 >>>     myeval('1 + 2 * 3 / 0')
 Traceback (most recent call last):
-  File "/var/folders/n2/xd9445p97rb3xh7m1dfx8_4h0006ts/T/ipykernel_28785/4002351332.py", line 2, in 
+  File "/var/folders/n2/xd9445p97rb3xh7m1dfx8_4h0006ts/T/ipykernel_25735/4002351332.py", line 2, in 
     myeval('1 + 2 * 3 / 0')
-  File "/var/folders/n2/xd9445p97rb3xh7m1dfx8_4h0006ts/T/ipykernel_28785/2200911420.py", line 2, in myeval
+  File "/var/folders/n2/xd9445p97rb3xh7m1dfx8_4h0006ts/T/ipykernel_25735/2200911420.py", line 2, in myeval
     return eval(inp)
   File "", line 1, in 
 ZeroDivisionError: division by zero (expected)

diff --git a/docs/beta/code/DynamicInvariants.py b/docs/beta/code/DynamicInvariants.py
@@ -3,7 +3,7 @@
 
 # "Mining Function Specifications" - a chapter of "The Debugging Book"
 # Web site: https://www.debuggingbook.org/html/DynamicInvariants.html
-# Last change: 2023-10-16 19:48:42+02:00
+# Last change: 2023-11-12 13:41:42+01:00
 #
 # Copyright (c) 2021-2023 CISPA Helmholtz Center for Information Security
 # Copyright (c) 2018-2020 Saarland University, authors, and contributors

diff --git a/docs/beta/code/ExpectError.py b/docs/beta/code/ExpectError.py
@@ -3,7 +3,7 @@
 
 # "Error Handling" - a chapter of "The Debugging Book"
 # Web site: https://www.debuggingbook.org/html/ExpectError.html
-# Last change: 2023-10-16 20:09:22+02:00
+# Last change: 2023-11-12 14:02:36+01:00
 #
 # Copyright (c) 2021-2023 CISPA Helmholtz Center for Information Security
 # Copyright (c) 2018-2020 Saarland University, authors, and contributors
@@ -47,7 +47,7 @@
 >>> with ExpectError():
 >>>     x = 1 / 0
 Traceback (most recent call last):
-  File "/var/folders/n2/xd9445p97rb3xh7m1dfx8_4h0006ts/T/ipykernel_47751/2664980466.py", line 2, in 
+  File "/var/folders/n2/xd9445p97rb3xh7m1dfx8_4h0006ts/T/ipykernel_55153/2664980466.py", line 2, in 
     x = 1 / 0
 ZeroDivisionError: division by zero (expected)
 
@@ -63,9 +63,9 @@
 3 seconds have passed
 
 Traceback (most recent call last):
-  File "/var/folders/n2/xd9445p97rb3xh7m1dfx8_4h0006ts/T/ipykernel_47751/1223755941.py", line 2, in 
+  File "/var/folders/n2/xd9445p97rb3xh7m1dfx8_4h0006ts/T/ipykernel_55153/1223755941.py", line 2, in 
     long_running_test()
-  File "/var/folders/n2/xd9445p97rb3xh7m1dfx8_4h0006ts/T/ipykernel_47751/3930412460.py", line 4, in long_running_test
+  File "/var/folders/n2/xd9445p97rb3xh7m1dfx8_4h0006ts/T/ipykernel_55153/3930412460.py", line 4, in long_running_test
     time.sleep(1)
   File "/Users/zeller/Projects/debuggingbook/notebooks/Timeout.ipynb", line 43, in timeout_handler
     raise TimeoutError()

diff --git a/docs/beta/code/Intro_Debugging.py b/docs/beta/code/Intro_Debugging.py
@@ -3,7 +3,7 @@
 
 # "Introduction to Debugging" - a chapter of "The Debugging Book"
 # Web site: https://www.debuggingbook.org/html/Intro_Debugging.html
-# Last change: 2023-10-16 19:46:50+02:00
+# Last change: 2023-11-12 13:39:32+01:00
 #
 # Copyright (c) 2021-2023 CISPA Helmholtz Center for Information Security
 # Copyright (c) 2018-2020 Saarland University, authors, and contributors

diff --git a/docs/beta/code/PerformanceDebugger.py b/docs/beta/code/PerformanceDebugger.py
@@ -3,7 +3,7 @@
 
 # "Debugging Performance Issues" - a chapter of "The Debugging Book"
 # Web site: https://www.debuggingbook.org/html/PerformanceDebugger.html
-# Last change: 2023-10-16 19:54:18+02:00
+# Last change: 2023-11-12 13:47:21+01:00
 #
 # Copyright (c) 2021-2023 CISPA Helmholtz Center for Information Security
 # Copyright (c) 2018-2020 Saarland University, authors, and contributors
@@ -56,17 +56,17 @@
  240   1%     quote = False
  241   1%     out = ""
  242   0%
- 243  16%     for c in s:
+ 243  17%     for c in s:
  244  15%         assert tag or not quote
  245   0%
  246  14%         if c == '' and not quote:
  249   3%             tag = False
- 250   9%         elif (c == '"' or c == "'") and tag:
+ 250   8%         elif (c == '"' or c == "'") and tag:
  251   0%             quote = not quote
  252   9%         elif not tag:
  253   5%             out = out + c
  254   0%
- 255   3%     return out
+ 255   2%     return out
 
 
 

diff --git a/docs/beta/code/Repairer.py b/docs/beta/code/Repairer.py
@@ -3,7 +3,7 @@
 
 # "Repairing Code Automatically" - a chapter of "The Debugging Book"
 # Web site: https://www.debuggingbook.org/html/Repairer.html
-# Last change: 2023-10-16 19:55:32+02:00
+# Last change: 2023-11-12 13:48:34+01:00
 #
 # Copyright (c) 2021-2023 CISPA Helmholtz Center for Information Security
 # Copyright (c) 2018-2020 Saarland University, authors, and contributors

diff --git a/docs/beta/code/Slicer.py b/docs/beta/code/Slicer.py
@@ -3,7 +3,7 @@
 
 # "Tracking Failure Origins" - a chapter of "The Debugging Book"
 # Web site: https://www.debuggingbook.org/html/Slicer.html
-# Last change: 2023-10-22 16:21:50+02:00
+# Last change: 2023-11-12 13:40:39+01:00
 #
 # Copyright (c) 2021-2023 CISPA Helmholtz Center for Information Security
 # Copyright (c) 2018-2020 Saarland University, authors, and contributors

diff --git a/docs/beta/code/StackInspector.py b/docs/beta/code/StackInspector.py
@@ -3,7 +3,7 @@
 
 # "Inspecting Call Stacks" - a chapter of "The Debugging Book"
 # Web site: https://www.debuggingbook.org/html/StackInspector.html
-# Last change: 2023-10-16 20:09:44+02:00
+# Last change: 2023-11-12 14:02:58+01:00
 #
 # Copyright (c) 2021-2023 CISPA Helmholtz Center for Information Security
 # Copyright (c) 2018-2020 Saarland University, authors, and contributors