Update synopsis

andreas-zeller · andreas-zeller · commit 2fb78ff88155 · 2024-11-09T18:18:14.000+01:00
diff --git a/notebooks/PICS/ConcolicFuzzer-synopsis-1.svg b/notebooks/PICS/ConcolicFuzzer-synopsis-1.svg
@@ -1,7 +1,7 @@
 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
 <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
  "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
-<!-- Generated by graphviz version 11.0.0 (20240428.1522)
+<!-- Generated by graphviz version 12.1.1 (20240910.0053)
  -->
 <!-- Pages: 1 -->
 <svg width="250pt" height="145pt"
diff --git a/notebooks/PICS/ConcolicFuzzer-synopsis-2.svg b/notebooks/PICS/ConcolicFuzzer-synopsis-2.svg
@@ -1,7 +1,7 @@
 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
 <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
  "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
-<!-- Generated by graphviz version 11.0.0 (20240428.1522)
+<!-- Generated by graphviz version 12.1.1 (20240910.0053)
  -->
 <!-- Pages: 1 -->
 <svg width="294pt" height="229pt"
diff --git a/notebooks/PICS/ConcolicFuzzer-synopsis-3.svg b/notebooks/PICS/ConcolicFuzzer-synopsis-3.svg
@@ -1,7 +1,7 @@
 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
 <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
  "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
-<!-- Generated by graphviz version 11.0.0 (20240428.1522)
+<!-- Generated by graphviz version 12.1.1 (20240910.0053)
  -->
 <!-- Pages: 1 -->
 <svg width="318pt" height="478pt"
diff --git a/notebooks/PICS/ConfigurationFuzzer-synopsis-1.svg b/notebooks/PICS/ConfigurationFuzzer-synopsis-1.svg
@@ -1,7 +1,7 @@
 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
 <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
  "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
-<!-- Generated by graphviz version 11.0.0 (20240428.1522)
+<!-- Generated by graphviz version 12.1.1 (20240910.0053)
  -->
 <!-- Pages: 1 -->
 <svg width="586pt" height="771pt"
diff --git a/notebooks/PICS/Coverage-synopsis-1.svg b/notebooks/PICS/Coverage-synopsis-1.svg
@@ -1,7 +1,7 @@
 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
 <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
  "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
-<!-- Generated by graphviz version 11.0.0 (20240428.1522)
+<!-- Generated by graphviz version 12.1.1 (20240910.0053)
  -->
 <!-- Pages: 1 -->
 <svg width="258pt" height="145pt"
diff --git a/notebooks/PICS/FuzzingWithConstraints-synopsis-1.svg b/notebooks/PICS/FuzzingWithConstraints-synopsis-1.svg
diff --git a/notebooks/PICS/GrammarMiner-synopsis-5.png b/notebooks/PICS/GrammarMiner-synopsis-5.png
diff --git a/notebooks/PICS/GrammarMiner-synopsis-5.svg b/notebooks/PICS/GrammarMiner-synopsis-5.svg
@@ -28,9 +28,9 @@
 </style><g>
 <path d="M20 51v20m10 -20v20m-10 -10h20"/></g><g>
 <path d="M40 61h0.0"/><path d="M329.5 61h0.0"/><path d="M40.0 61a10 10 0 0 0 10 -10v-10a10 10 0 0 1 10 -10"/><g>
-<path d="M60.0 31h0.0"/><path d="M309.5 31h0.0"/><g class="terminal">
-<path d="M60.0 31h0.0"/><path d="M309.5 31h0.0"/><rect height="22" rx="10" ry="10" width="249.5" x="60.0" y="20"/><text x="184.75" y="35">user:pass@www.google.com:80</text></g></g><path d="M309.5 31a10 10 0 0 1 10 10v10a10 10 0 0 0 10 10"/><path d="M40.0 61h20"/><g>
-<path d="M60.0 61h25.5"/><path d="M284.0 61h25.5"/><g class="terminal">
-<path d="M85.5 61h0.0"/><path d="M284.0 61h0.0"/><rect height="22" rx="10" ry="10" width="198.5" x="85.5" y="50"/><text x="184.75" y="65">www.cispa.saarland:80</text></g></g><path d="M309.5 61h20"/><path d="M40.0 61a10 10 0 0 1 10 10v10a10 10 0 0 0 10 10"/><g>
+<path d="M60.0 31h25.5"/><path d="M284.0 31h25.5"/><g class="terminal">
+<path d="M85.5 31h0.0"/><path d="M284.0 31h0.0"/><rect height="22" rx="10" ry="10" width="198.5" x="85.5" y="20"/><text x="184.75" y="35">www.cispa.saarland:80</text></g></g><path d="M309.5 31a10 10 0 0 1 10 10v10a10 10 0 0 0 10 10"/><path d="M40.0 61h20"/><g>
+<path d="M60.0 61h0.0"/><path d="M309.5 61h0.0"/><g class="terminal">
+<path d="M60.0 61h0.0"/><path d="M309.5 61h0.0"/><rect height="22" rx="10" ry="10" width="249.5" x="60.0" y="50"/><text x="184.75" y="65">user:pass@www.google.com:80</text></g></g><path d="M309.5 61h20"/><path d="M40.0 61a10 10 0 0 1 10 10v10a10 10 0 0 0 10 10"/><g>
 <path d="M60.0 91h34.0"/><path d="M275.5 91h34.0"/><g class="terminal">
 <path d="M94.0 91h0.0"/><path d="M275.5 91h0.0"/><rect height="22" rx="10" ry="10" width="181.5" x="94.0" y="80"/><text x="184.75" y="95">www.fuzzingbook.org</text></g></g><path d="M309.5 91a10 10 0 0 0 10 -10v-10a10 10 0 0 1 10 -10"/></g><path d="M 329.5 61 h 20 m -10 -10 v 20 m 10 -20 v 20"/></g></svg>
diff --git a/notebooks/PICS/GrammarMiner-synopsis-6.png b/notebooks/PICS/GrammarMiner-synopsis-6.png
diff --git a/notebooks/PICS/GrammarMiner-synopsis-6.svg b/notebooks/PICS/GrammarMiner-synopsis-6.svg
@@ -28,10 +28,10 @@
 </style><g>
 <path d="M20 51v20m10 -20v20m-10 -10h20"/></g><g>
 <path d="M40 61h0.0"/><path d="M503.0 61h0.0"/><path d="M40.0 61a10 10 0 0 0 10 -10v-10a10 10 0 0 1 10 -10"/><g>
-<path d="M60.0 31h83.75"/><path d="M399.25 31h83.75"/><g class="terminal">
-<path d="M143.75 31h0.0"/><path d="M180.75 31h0.0"/><rect height="22" rx="10" ry="10" width="37.0" x="143.75" y="20"/><text x="162.25" y="35">/#</text></g><path d="M180.75 31h10"/><path d="M190.75 31h10"/><g class="non-terminal">
-<path d="M200.75 31h0.0"/><path d="M399.25 31h0.0"/><rect height="22" width="198.5" x="200.75" y="20"/><text x="300.0" y="35">urlparse@394:fragment</text></g></g><path d="M483.0 31a10 10 0 0 1 10 10v10a10 10 0 0 0 10 10"/><path d="M40.0 61h20"/><g>
-<path d="M60.0 61h0.0"/><path d="M483.0 61h0.0"/><g class="non-terminal">
-<path d="M60.0 61h0.0"/><path d="M216.0 61h0.0"/><rect height="22" width="156.0" x="60.0" y="50"/><text x="138.0" y="65">urlsplit@486:url</text></g><path d="M216.0 61h10"/><path d="M226.0 61h10"/><g class="terminal">
-<path d="M236.0 61h0.0"/><path d="M264.5 61h0.0"/><rect height="22" rx="10" ry="10" width="28.5" x="236.0" y="50"/><text x="250.25" y="65">#</text></g><path d="M264.5 61h10"/><path d="M274.5 61h10"/><g class="non-terminal">
-<path d="M284.5 61h0.0"/><path d="M483.0 61h0.0"/><rect height="22" width="198.5" x="284.5" y="50"/><text x="383.75" y="65">urlparse@394:fragment</text></g></g><path d="M483.0 61h20"/></g><path d="M 503.0 61 h 20 m -10 -10 v 20 m 10 -20 v 20"/></g></svg>
+<path d="M60.0 31h0.0"/><path d="M483.0 31h0.0"/><g class="non-terminal">
+<path d="M60.0 31h0.0"/><path d="M216.0 31h0.0"/><rect height="22" width="156.0" x="60.0" y="20"/><text x="138.0" y="35">urlsplit@486:url</text></g><path d="M216.0 31h10"/><path d="M226.0 31h10"/><g class="terminal">
+<path d="M236.0 31h0.0"/><path d="M264.5 31h0.0"/><rect height="22" rx="10" ry="10" width="28.5" x="236.0" y="20"/><text x="250.25" y="35">#</text></g><path d="M264.5 31h10"/><path d="M274.5 31h10"/><g class="non-terminal">
+<path d="M284.5 31h0.0"/><path d="M483.0 31h0.0"/><rect height="22" width="198.5" x="284.5" y="20"/><text x="383.75" y="35">urlparse@394:fragment</text></g></g><path d="M483.0 31a10 10 0 0 1 10 10v10a10 10 0 0 0 10 10"/><path d="M40.0 61h20"/><g>
+<path d="M60.0 61h83.75"/><path d="M399.25 61h83.75"/><g class="terminal">
+<path d="M143.75 61h0.0"/><path d="M180.75 61h0.0"/><rect height="22" rx="10" ry="10" width="37.0" x="143.75" y="50"/><text x="162.25" y="65">/#</text></g><path d="M180.75 61h10"/><path d="M190.75 61h10"/><g class="non-terminal">
+<path d="M200.75 61h0.0"/><path d="M399.25 61h0.0"/><rect height="22" width="198.5" x="200.75" y="50"/><text x="300.0" y="65">urlparse@394:fragment</text></g></g><path d="M483.0 61h20"/></g><path d="M 503.0 61 h 20 m -10 -10 v 20 m 10 -20 v 20"/></g></svg>
diff --git a/notebooks/PICS/GrammarMiner-synopsis-9.png b/notebooks/PICS/GrammarMiner-synopsis-9.png
diff --git a/notebooks/PICS/GrammarMiner-synopsis-9.svg b/notebooks/PICS/GrammarMiner-synopsis-9.svg
@@ -28,7 +28,7 @@
 </style><g>
 <path d="M20 51v20m10 -20v20m-10 -10h20"/></g><g>
 <path d="M40 61h0.0"/><path d="M134.0 61h0.0"/><path d="M40.0 61a10 10 0 0 0 10 -10v-10a10 10 0 0 1 10 -10"/><g>
-<path d="M60.0 31h4.25"/><path d="M109.75 31h4.25"/><g class="terminal">
-<path d="M64.25 31h0.0"/><path d="M109.75 31h0.0"/><rect height="22" rx="10" ry="10" width="45.5" x="64.25" y="20"/><text x="87.0" y="35">ref</text></g></g><path d="M114.0 31a10 10 0 0 1 10 10v10a10 10 0 0 0 10 10"/><path d="M40.0 61h20"/><g>
-<path d="M60.0 61h0.0"/><path d="M114.0 61h0.0"/><g class="terminal">
-<path d="M60.0 61h0.0"/><path d="M114.0 61h0.0"/><rect height="22" rx="10" ry="10" width="54.0" x="60.0" y="50"/><text x="87.0" y="65">News</text></g></g><path d="M114.0 61h20"/></g><path d="M 134.0 61 h 20 m -10 -10 v 20 m 10 -20 v 20"/></g></svg>
+<path d="M60.0 31h0.0"/><path d="M114.0 31h0.0"/><g class="terminal">
+<path d="M60.0 31h0.0"/><path d="M114.0 31h0.0"/><rect height="22" rx="10" ry="10" width="54.0" x="60.0" y="20"/><text x="87.0" y="35">News</text></g></g><path d="M114.0 31a10 10 0 0 1 10 10v10a10 10 0 0 0 10 10"/><path d="M40.0 61h20"/><g>
+<path d="M60.0 61h4.25"/><path d="M109.75 61h4.25"/><g class="terminal">
+<path d="M64.25 61h0.0"/><path d="M109.75 61h0.0"/><rect height="22" rx="10" ry="10" width="45.5" x="64.25" y="50"/><text x="87.0" y="65">ref</text></g></g><path d="M114.0 61h20"/></g><path d="M 134.0 61 h 20 m -10 -10 v 20 m 10 -20 v 20"/></g></svg>
diff --git a/notebooks/PICS/GreyboxGrammarFuzzer-synopsis-1.svg b/notebooks/PICS/GreyboxGrammarFuzzer-synopsis-1.svg
@@ -1,7 +1,7 @@
 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
 <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
  "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
-<!-- Generated by graphviz version 11.0.0 (20240428.1522)
+<!-- Generated by graphviz version 12.1.1 (20240910.0053)
  -->
 <!-- Pages: 1 -->
 <svg width="306pt" height="152pt"
diff --git a/notebooks/PICS/GreyboxGrammarFuzzer-synopsis-2.svg b/notebooks/PICS/GreyboxGrammarFuzzer-synopsis-2.svg
@@ -1,7 +1,7 @@
 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
 <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
  "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
-<!-- Generated by graphviz version 11.0.0 (20240428.1522)
+<!-- Generated by graphviz version 12.1.1 (20240910.0053)
  -->
 <!-- Pages: 1 -->
 <svg width="462pt" height="389pt"
diff --git a/notebooks/PICS/GreyboxGrammarFuzzer-synopsis-3.svg b/notebooks/PICS/GreyboxGrammarFuzzer-synopsis-3.svg
@@ -1,7 +1,7 @@
 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
 <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
  "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
-<!-- Generated by graphviz version 11.0.0 (20240428.1522)
+<!-- Generated by graphviz version 12.1.1 (20240910.0053)
  -->
 <!-- Pages: 1 -->
 <svg width="638pt" height="511pt"
diff --git a/notebooks/PICS/InformationFlow-synopsis-1.svg b/notebooks/PICS/InformationFlow-synopsis-1.svg
@@ -1,7 +1,7 @@
 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
 <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
  "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
-<!-- Generated by graphviz version 11.0.0 (20240428.1522)
+<!-- Generated by graphviz version 12.1.1 (20240910.0053)
  -->
 <!-- Pages: 1 -->
 <svg width="270pt" height="562pt"
diff --git a/notebooks/PICS/InformationFlow-synopsis-2.svg b/notebooks/PICS/InformationFlow-synopsis-2.svg
@@ -1,7 +1,7 @@
 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
 <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
  "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
-<!-- Generated by graphviz version 11.0.0 (20240428.1522)
+<!-- Generated by graphviz version 12.1.1 (20240910.0053)
  -->
 <!-- Pages: 1 -->
 <svg width="252pt" height="596pt"
diff --git a/notebooks/PICS/PythonFuzzer-synopsis-1.svg b/notebooks/PICS/PythonFuzzer-synopsis-1.svg
diff --git a/notebooks/PICS/Reducer-synopsis-1.svg b/notebooks/PICS/Reducer-synopsis-1.svg
@@ -1,7 +1,7 @@
 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
 <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
  "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
-<!-- Generated by graphviz version 11.0.0 (20240428.1522)
+<!-- Generated by graphviz version 12.1.1 (20240910.0053)
  -->
 <!-- Pages: 1 -->
 <svg width="476pt" height="364pt"
diff --git a/notebooks/PICS/SymbolicFuzzer-synopsis-1.svg b/notebooks/PICS/SymbolicFuzzer-synopsis-1.svg
@@ -1,7 +1,7 @@
 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
 <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
  "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
-<!-- Generated by graphviz version 11.0.0 (20240428.1522)
+<!-- Generated by graphviz version 12.1.1 (20240910.0053)
  -->
 <!-- Pages: 1 -->
 <svg width="300pt" height="402pt"
