Doc update

uds-se · Jan 7, 2025 · 0f37217 · 0f37217
1 parent 384f7f4
commit 0f37217
Show file tree

Hide file tree

Showing 113 changed files with 23,110 additions and 23,256 deletions.
diff --git a/docs/beta/404.html b/docs/beta/404.html
@@ -12124,7 +12124,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_36872/1830731544.py&#34;, line 4, in &lt;module&gt;
+  File &#34;/var/folders/n2/xd9445p97rb3xh7m1dfx8_4h0006ts/T/ipykernel_4590/1830731544.py&#34;, line 4, in &lt;module&gt;
     raise NotFoundError
 NotFoundError: &#39;404&#39; (expected)
 </pre>

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: 2025-01-06 13:58:33+01:00
+# Last change: 2025-01-07 12:04:24+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: 2025-01-06 13:58:56+01:00
+# Last change: 2025-01-07 12:04:46+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: 2025-01-06 13:59:29+01:00
+# Last change: 2025-01-07 12:05:17+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: 2025-01-06 13:59:54+01:00
+# Last change: 2025-01-07 12:05: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: 2025-01-06 14:00:23+01:00
+# Last change: 2025-01-07 12:06:10+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: 2025-01-06 14:05:23+01:00
+# Last change: 2025-01-07 12:12:30+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: 2025-01-06 14:05:57+01:00
+# Last change: 2025-01-07 12:13: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/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: 2025-01-06 14:14:14+01:00
+# Last change: 2025-01-07 13:39:02+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/Alhazen.py b/docs/beta/code/Alhazen.py
@@ -3,7 +3,7 @@
 
 # "Learning from Failures" - a chapter of "The Debugging Book"
 # Web site: https://www.debuggingbook.org/html/Alhazen.html
-# Last change: 2025-01-07 11:35:49+01:00
+# Last change: 2025-01-07 12:08:50+01:00
 #
 # Copyright (c) 2021-2023 CISPA Helmholtz Center for Information Security
 # Copyright (c) 2018-2020 Saarland University, authors, and contributors
@@ -79,17 +79,14 @@
 There is also a text version available, with much fewer (but hopefully still essential) details:
 
 >>> print(alhazen.friendly_decision_tree())
-if  <= 4.5000:
-  if  == 'sqrt':
-    if  <= 42.2000:
-      if  <= -11.8470:
-        BUG
-      else:
-        NO_BUG
+if  <= -11.5000:
+  if  <= -42.2970:
+    NO_BUG
+  else:
+    if  == 'sqrt':
+      BUG
     else:
       NO_BUG
-  else:
-    NO_BUG
 else:
   NO_BUG
 

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: 2025-01-06 18:55:05+01:00
+# Last change: 2025-01-07 12:05:15+01:00
 #
 # Copyright (c) 2021-2023 CISPA Helmholtz Center for Information Security
 # Copyright (c) 2018-2020 Saarland University, authors, and contributors
@@ -55,10 +55,10 @@
 >>> with ExpectError():
 >>>     y = my_square_root(-1)
 Traceback (most recent call last):
-  File "/var/folders/n2/xd9445p97rb3xh7m1dfx8_4h0006ts/T/ipykernel_84673/76616918.py", line 2, in 
+  File "/var/folders/n2/xd9445p97rb3xh7m1dfx8_4h0006ts/T/ipykernel_18303/76616918.py", line 2, in 
     y = my_square_root(-1)
         ^^^^^^^^^^^^^^^^^^
-  File "/var/folders/n2/xd9445p97rb3xh7m1dfx8_4h0006ts/T/ipykernel_84673/2617682038.py", line 2, in my_square_root
+  File "/var/folders/n2/xd9445p97rb3xh7m1dfx8_4h0006ts/T/ipykernel_18303/2617682038.py", line 2, in my_square_root
     assert x >= 0
            ^^^^^^
 AssertionError (expected)
@@ -79,13 +79,13 @@
 >>> with ExpectError():
 >>>     x = managed_mem[2]
 Traceback (most recent call last):
-  File "/var/folders/n2/xd9445p97rb3xh7m1dfx8_4h0006ts/T/ipykernel_84673/1296110967.py", line 2, in 
+  File "/var/folders/n2/xd9445p97rb3xh7m1dfx8_4h0006ts/T/ipykernel_18303/1296110967.py", line 2, in 
     x = managed_mem[2]
         ~~~~~~~~~~~^^^
-  File "/var/folders/n2/xd9445p97rb3xh7m1dfx8_4h0006ts/T/ipykernel_84673/2465984283.py", line 3, in __getitem__
+  File "/var/folders/n2/xd9445p97rb3xh7m1dfx8_4h0006ts/T/ipykernel_18303/2465984283.py", line 3, in __getitem__
     return self.read(address)
            ^^^^^^^^^^^^^^^^^^
-  File "/var/folders/n2/xd9445p97rb3xh7m1dfx8_4h0006ts/T/ipykernel_84673/2898840933.py", line 9, in read
+  File "/var/folders/n2/xd9445p97rb3xh7m1dfx8_4h0006ts/T/ipykernel_18303/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: 2025-01-06 14:14:09+01:00
+# Last change: 2025-01-07 13:38:59+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/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: 2025-01-06 14:00:19+01:00
+# Last change: 2025-01-07 12:06:07+01:00
 #
 # Copyright (c) 2021-2023 CISPA Helmholtz Center for Information Security
 # Copyright (c) 2018-2020 Saarland University, authors, and contributors
@@ -100,9 +100,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_13097/4262003862.py", line 3, in 
+  File "/var/folders/n2/xd9445p97rb3xh7m1dfx8_4h0006ts/T/ipykernel_19955/4262003862.py", line 3, in 
     test()
-  File "/var/folders/n2/xd9445p97rb3xh7m1dfx8_4h0006ts/T/ipykernel_13097/3045937450.py", line 2, in test
+  File "/var/folders/n2/xd9445p97rb3xh7m1dfx8_4h0006ts/T/ipykernel_19955/3045937450.py", line 2, in test
     assert remove_html_markup('"foo"') == '"foo"'
            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 AssertionError (expected)
@@ -145,7 +145,6 @@ def remove_html_markup(s):  # type: ignore
 +    quote = False
 
      out = ""
-
 @@ -104,50 +104,43 @@
   s:
 

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: 2025-01-06 14:14:57+01:00
+# Last change: 2025-01-07 13:39: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/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: 2025-01-06 17:58:01+01:00
+# Last change: 2025-01-07 12:06:46+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: 2025-01-06 18:54:29+01:00
+# Last change: 2025-01-07 12:05:04+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: 2025-01-06 18:55:02+01:00
+# Last change: 2025-01-07 12:05:52+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_84917/4002351332.py", line 2, in 
+  File "/var/folders/n2/xd9445p97rb3xh7m1dfx8_4h0006ts/T/ipykernel_19657/4002351332.py", line 2, in 
     myeval('1 + 2 * 3 / 0')
-  File "/var/folders/n2/xd9445p97rb3xh7m1dfx8_4h0006ts/T/ipykernel_84917/2200911420.py", line 2, in myeval
+  File "/var/folders/n2/xd9445p97rb3xh7m1dfx8_4h0006ts/T/ipykernel_19657/2200911420.py", line 2, in myeval
     return eval(inp)
            ^^^^^^^^^
   File "", line 1, in 

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: 2025-01-06 18:59:06+01:00
+# Last change: 2025-01-07 12:06: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/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: 2025-01-06 14:14:37+01:00
+# Last change: 2025-01-07 13:39:24+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_34126/2664980466.py", line 2, in 
+  File "/var/folders/n2/xd9445p97rb3xh7m1dfx8_4h0006ts/T/ipykernel_2225/2664980466.py", line 2, in 
     x = 1 / 0
         ~~^~~
 ZeroDivisionError: division by zero (expected)
@@ -68,9 +68,9 @@
 3 seconds have passed
 
 Traceback (most recent call last):
-  File "/var/folders/n2/xd9445p97rb3xh7m1dfx8_4h0006ts/T/ipykernel_34126/1223755941.py", line 2, in 
+  File "/var/folders/n2/xd9445p97rb3xh7m1dfx8_4h0006ts/T/ipykernel_2225/1223755941.py", line 2, in 
     long_running_test()
-  File "/var/folders/n2/xd9445p97rb3xh7m1dfx8_4h0006ts/T/ipykernel_34126/3930412460.py", line 4, in long_running_test
+  File "/var/folders/n2/xd9445p97rb3xh7m1dfx8_4h0006ts/T/ipykernel_2225/3930412460.py", line 4, in long_running_test
     time.sleep(1)
   File "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: 2025-01-06 13:58:51+01:00
+# Last change: 2025-01-07 12:04:41+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: 2025-01-06 19:02:58+01:00
+# Last change: 2025-01-07 12:12:27+01:00
 #
 # Copyright (c) 2021-2023 CISPA Helmholtz Center for Information Security
 # Copyright (c) 2018-2020 Saarland University, authors, and contributors
@@ -59,11 +59,11 @@
  243  16%     for c in s:
  244  14%         assert tag or not quote
  245   0%
- 246  16%         if c == '<' and not quote:
+ 246  14%         if c == '<' and not quote:
  247   2%             tag = True
- 248  12%         elif c == '>' and not quote:
+ 248  11%         elif c == '>' and not quote:
  249   2%             tag = False
- 250   8%         elif (c == '"' or c == "'") and tag:
+ 250   9%         elif (c == '"' or c == "'") and tag:
  251   0%             quote = not quote
  252   8%         elif not tag:
  253   4%             out = out + c

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: 2025-01-06 14:05:53+01:00
+# Last change: 2025-01-07 12:13:29+01:00
 #
 # Copyright (c) 2021-2023 CISPA Helmholtz Center for Information Security
 # Copyright (c) 2018-2020 Saarland University, authors, and contributors
@@ -87,11 +87,6 @@ def middle(x, y, z):  # type: ignore
 The repairer is instantiated with the debugger used (`middle_debugger`):
 
 >>> middle_repairer = Repairer(middle_debugger)
-/var/folders/n2/xd9445p97rb3xh7m1dfx8_4h0006ts/T/ipykernel_21162/108387771.py:15: UserWarning: Can't parse ident
-  warnings.warn(f"Can't parse {item.__name__}")
-/var/folders/n2/xd9445p97rb3xh7m1dfx8_4h0006ts/T/ipykernel_21162/108387771.py:15: UserWarning: Can't parse _clean_thread_parent_frames
-  warnings.warn(f"Can't parse {item.__name__}")
-
 
 The `repair()` method of the repairer attempts to repair the function invoked by the test (`middle()`).
 

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: 2025-01-06 13:59:49+01:00
+# Last change: 2025-01-07 12:05:40+01:00
 #
 # Copyright (c) 2021-2023 CISPA Helmholtz Center for Information Security
 # Copyright (c) 2018-2020 Saarland University, authors, and contributors
@@ -75,15 +75,15 @@
 
 >>> with Slicer() as slicer:
 >>>     demo(10)
-/var/folders/n2/xd9445p97rb3xh7m1dfx8_4h0006ts/T/ipykernel_12030/2454789564.py:22: DeprecationWarning: ast.Str is deprecated and will be removed in Python 3.14; use ast.Constant instead
+/var/folders/n2/xd9445p97rb3xh7m1dfx8_4h0006ts/T/ipykernel_18911/2454789564.py:22: DeprecationWarning: ast.Str is deprecated and will be removed in Python 3.14; use ast.Constant instead
   args=[ast.Str(id), value],
-/var/folders/n2/xd9445p97rb3xh7m1dfx8_4h0006ts/T/ipykernel_12030/3554319793.py:4: DeprecationWarning: ast.Str is deprecated and will be removed in Python 3.14; use ast.Constant instead
+/var/folders/n2/xd9445p97rb3xh7m1dfx8_4h0006ts/T/ipykernel_18911/3554319793.py:4: DeprecationWarning: ast.Str is deprecated and will be removed in Python 3.14; use ast.Constant instead
   args=[ast.Str(id), Name(id=id, ctx=Load())],
-/var/folders/n2/xd9445p97rb3xh7m1dfx8_4h0006ts/T/ipykernel_12030/882995308.py:12: DeprecationWarning: ast.Num is deprecated and will be removed in Python 3.14; use ast.Constant instead
+/var/folders/n2/xd9445p97rb3xh7m1dfx8_4h0006ts/T/ipykernel_18911/882995308.py:12: DeprecationWarning: ast.Num is deprecated and will be removed in Python 3.14; use ast.Constant instead
   keywords=[keyword(arg='pos', value=ast.Num(n + 1))]
-/var/folders/n2/xd9445p97rb3xh7m1dfx8_4h0006ts/T/ipykernel_12030/882995308.py:19: DeprecationWarning: ast.NameConstant is deprecated and will be removed in Python 3.14; use ast.Constant instead
+/var/folders/n2/xd9445p97rb3xh7m1dfx8_4h0006ts/T/ipykernel_18911/882995308.py:19: DeprecationWarning: ast.NameConstant is deprecated and will be removed in Python 3.14; use ast.Constant instead
   value=ast.NameConstant(value=True)))
-/var/folders/n2/xd9445p97rb3xh7m1dfx8_4h0006ts/T/ipykernel_12030/882995308.py:25: DeprecationWarning: ast.Str is deprecated and will be removed in Python 3.14; use ast.Constant instead
+/var/folders/n2/xd9445p97rb3xh7m1dfx8_4h0006ts/T/ipykernel_18911/882995308.py:25: DeprecationWarning: ast.Str is deprecated and will be removed in Python 3.14; use ast.Constant instead
   args=[ast.Str(child.arg),
 
 
@@ -97,7 +97,7 @@
      1 def demo(x: int) -> int:
 *    2     z = x  # <= x (5)
 *    3     while x <= z <= 64:  # <= z (2), z (4), x (5)
-*    4         z *= 2  # <= z (4), z (2); <-  (3)
+*    4         z *= 2  # <= z (2), z (4); <-  (3)
 *    5     return z  # <= z (4)
 
 

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: 2025-01-06 14:15:03+01:00
+# Last change: 2025-01-07 13:39:44+01:00
 #
 # Copyright (c) 2021-2023 CISPA Helmholtz Center for Information Security
 # Copyright (c) 2018-2020 Saarland University, authors, and contributors