docs/notebooks/PICS/GUIFuzzer-synopsis-4.svg

<?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 7.0.2 (20221119.0110)
 -->
<!-- Pages: 1 -->
<svg width="851pt" height="770pt"
 viewBox="0.00 0.00 850.50 770.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 766)">
<g id="a_graph0"><a xlink:title="GUIFuzzer class hierarchy">
<polygon fill="white" stroke="none" points="-4,4 -4,-766 846.5,-766 846.5,4 -4,4"/>
</a>
</g>
<!-- GUIFuzzer -->
<g id="node1" class="node">
<title>GUIFuzzer</title>
<g id="a_node1"><a xlink:href="#" xlink:title="class GUIFuzzer:&#10;A fuzzer for GUIs, using Selenium.">
<polygon fill="none" stroke="black" points="0,-339.5 0,-469.5 155,-469.5 155,-339.5 0,-339.5"/>
<text text-anchor="start" x="45.5" y="-455.3" font-family="Patua One, Helvetica, sans-serif" font-weight="bold" font-size="14.00" fill="#b03a2e">GUIFuzzer</text>
<polyline fill="none" stroke="black" points="0,-446.5 155,-446.5"/>
<g id="a_node1_0"><a xlink:href="#" xlink:title="GUIFuzzer">
<g id="a_node1_1"><a xlink:href="#" xlink:title="__init__(self, driver, *, miner: Optional[GUIGrammarMiner] = None, stay_on_host: bool = True, log_gui_exploration: bool = False, disp_gui_exploration: bool = False, **kwargs) &#45;&gt; None:&#10;Constructor.&#10;`driver` &#45; the Selenium driver to use.&#10;`miner` &#45; the miner to use (default: `GUIGrammarMiner(driver)`)&#10;`stay_on_host` &#45; if True (default), do not explore external links.&#10;`log_gui_exploration` &#45; if set, print out exploration steps.&#10;`disp_gui_exploration` &#45; if set, display screenshot of current Web page&#10;as well as FSM diagrams during exploration.&#10;Other keyword arguments are passed to the `GrammarFuzzer` superclass.">
<text text-anchor="start" x="8.5" y="-435" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-weight="bold" font-style="italic" font-size="10.00">__init__()</text>
</a>
</g>
<g id="a_node1_2"><a xlink:href="#" xlink:title="restart(self) &#45;&gt; None:&#10;Get back to original URL">
<text text-anchor="start" x="8.5" y="-424" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-weight="bold" font-size="10.00">restart()</text>
</a>
</g>
<g id="a_node1_3"><a xlink:href="#" xlink:title="run(self, runner: GUIRunner) &#45;&gt; Tuple[str, str]:&#10;Run the fuzzer on the given GUIRunner `runner`.">
<text text-anchor="start" x="8.5" y="-413" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-weight="bold" font-style="italic" font-size="10.00">run()</text>
</a>
</g>
<g id="a_node1_4"><a xlink:href="#" xlink:title="fsm_last_state_symbol(self, tree: DerivationTree) &#45;&gt; str:&#10;Return current (expected) state symbol">
<text text-anchor="start" x="8.5" y="-401" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-size="10.00">fsm_last_state_symbol()</text>
</a>
</g>
<g id="a_node1_5"><a xlink:href="#" xlink:title="fsm_path(self, tree: DerivationTree) &#45;&gt; List[str]:&#10;Return sequence of state symbols.">
<text text-anchor="start" x="8.5" y="-390" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-size="10.00">fsm_path()</text>
</a>
</g>
<g id="a_node1_6"><a xlink:href="#" xlink:title="set_grammar(self, new_grammar: Dict[str, List[Expansion]]) &#45;&gt; None:&#10;Set grammar to `new_grammar`.">
<text text-anchor="start" x="8.5" y="-379" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-size="10.00">set_grammar()</text>
</a>
</g>
<g id="a_node1_7"><a xlink:href="#" xlink:title="update_existing_state(self) &#45;&gt; None:&#10;Update actions of existing state">
<text text-anchor="start" x="8.5" y="-368" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-size="10.00">update_existing_state()</text>
</a>
</g>
<g id="a_node1_8"><a xlink:href="#" xlink:title="update_new_state(self) &#45;&gt; None:&#10;Found new state; extend grammar accordingly">
<text text-anchor="start" x="8.5" y="-357" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-size="10.00">update_new_state()</text>
</a>
</g>
<g id="a_node1_9"><a xlink:href="#" xlink:title="update_state(self) &#45;&gt; None:&#10;Determine current state from current Web page">
<text text-anchor="start" x="8.5" y="-346" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-size="10.00">update_state()</text>
</a>
</g>
</a>
</g>
</a>
</g>
</g>
<!-- GrammarFuzzer -->
<g id="node2" class="node">
<title>GrammarFuzzer</title>
<g id="a_node2"><a xlink:href="GrammarFuzzer.ipynb" xlink:title="class GrammarFuzzer:&#10;Produce strings from grammars efficiently, using derivation trees.">
<polygon fill="none" stroke="black" points="120.5,-585.5 120.5,-649.5 236.5,-649.5 236.5,-585.5 120.5,-585.5"/>
<text text-anchor="start" x="128.5" y="-635.3" font-family="Patua One, Helvetica, sans-serif" font-weight="bold" font-size="14.00" fill="#b03a2e">GrammarFuzzer</text>
<polyline fill="none" stroke="black" points="120.5,-626.5 236.5,-626.5"/>
<g id="a_node2_10"><a xlink:href="#" xlink:title="GrammarFuzzer">
<g id="a_node2_11"><a xlink:href="GrammarFuzzer.ipynb" xlink:title="__init__(self, grammar: Dict[str, List[Expansion]], start_symbol: str = &#39;&lt;start&gt;&#39;, min_nonterminals: int = 0, max_nonterminals: int = 10, disp: bool = False, log: Union[bool, int] = False) &#45;&gt; None:&#10;Produce strings from `grammar`, starting with `start_symbol`.&#10;If `min_nonterminals` or `max_nonterminals` is given, use them as limits&#10;for the number of nonterminals produced.&#10;If `disp` is set, display the intermediate derivation trees.&#10;If `log` is set, show intermediate steps as text on standard output.">
<text text-anchor="start" x="145.5" y="-615" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-weight="bold" font-style="italic" font-size="10.00">__init__()</text>
</a>
</g>
<g id="a_node2_12"><a xlink:href="GrammarFuzzer.ipynb" xlink:title="fuzz(self) &#45;&gt; str:&#10;Produce a string from the grammar.">
<text text-anchor="start" x="145.5" y="-604" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-weight="bold" font-style="italic" font-size="10.00">fuzz()</text>
</a>
</g>
<g id="a_node2_13"><a xlink:href="GrammarFuzzer.ipynb" xlink:title="fuzz_tree(self) &#45;&gt; DerivationTree:&#10;Produce a derivation tree from the grammar.">
<text text-anchor="start" x="145.5" y="-593" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-weight="bold" font-size="10.00">fuzz_tree()</text>
</a>
</g>
</a>
</g>
</a>
</g>
</g>
<!-- GUIFuzzer&#45;&gt;GrammarFuzzer -->
<g id="edge1" class="edge">
<title>GUIFuzzer&#45;&gt;GrammarFuzzer</title>
<path fill="none" stroke="black" d="M104.59,-469.24C115.59,-494.32 128.71,-523.22 141.5,-549 145.81,-557.69 150.65,-566.88 155.38,-575.59"/>
<polygon fill="none" stroke="black" points="152.22,-577.12 160.1,-584.2 158.36,-573.75 152.22,-577.12"/>
</g>
<!-- Fuzzer -->
<g id="node3" class="node">
<title>Fuzzer</title>
<g id="a_node3"><a xlink:href="Fuzzer.ipynb" xlink:title="class Fuzzer:&#10;Base class for fuzzers.">
<polygon fill="none" stroke="black" points="140,-686.5 140,-761.5 217,-761.5 217,-686.5 140,-686.5"/>
<text text-anchor="start" x="157.5" y="-747.3" font-family="Patua One, Helvetica, sans-serif" font-weight="bold" font-size="14.00" fill="#b03a2e">Fuzzer</text>
<polyline fill="none" stroke="black" points="140,-738.5 217,-738.5"/>
<g id="a_node3_14"><a xlink:href="#" xlink:title="Fuzzer">
<g id="a_node3_15"><a xlink:href="Fuzzer.ipynb" xlink:title="__init__(self) &#45;&gt; None:&#10;Constructor">
<text text-anchor="start" x="148.5" y="-727.5" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-weight="bold" font-style="italic" font-size="10.00">__init__()</text>
</a>
</g>
<g id="a_node3_16"><a xlink:href="Fuzzer.ipynb" xlink:title="fuzz(self) &#45;&gt; str:&#10;Return fuzz input">
<text text-anchor="start" x="148.5" y="-716.5" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-weight="bold" font-style="italic" font-size="10.00">fuzz()</text>
</a>
</g>
<g id="a_node3_17"><a xlink:href="Fuzzer.ipynb" xlink:title="run(self, runner: Fuzzer.Runner = &lt;Fuzzer.Runner object&gt;) &#45;&gt; Tuple[subprocess.CompletedProcess, str]:&#10;Run `runner` with fuzz input">
<text text-anchor="start" x="148.5" y="-705.5" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-weight="bold" font-style="italic" font-size="10.00">run()</text>
</a>
</g>
<g id="a_node3_18"><a xlink:href="Fuzzer.ipynb" xlink:title="runs(self, runner: Fuzzer.Runner = &lt;Fuzzer.PrintRunner object&gt;, trials: int = 10) &#45;&gt; List[Tuple[subprocess.CompletedProcess, str]]:&#10;Run `runner` with fuzz input, `trials` times">
<text text-anchor="start" x="148.5" y="-694.5" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-weight="bold" font-size="10.00">runs()</text>
</a>
</g>
</a>
</g>
</a>
</g>
</g>
<!-- GrammarFuzzer&#45;&gt;Fuzzer -->
<g id="edge2" class="edge">
<title>GrammarFuzzer&#45;&gt;Fuzzer</title>
<path fill="none" stroke="black" d="M178.5,-649.29C178.5,-657.41 178.5,-666.37 178.5,-675.16"/>
<polygon fill="none" stroke="black" points="175,-675.02 178.5,-685.02 182,-675.02 175,-675.02"/>
</g>
<!-- GUICoverageFuzzer -->
<g id="node4" class="node">
<title>GUICoverageFuzzer</title>
<g id="a_node4"><a xlink:href="#" xlink:title="class GUICoverageFuzzer:&#10;Systematically explore all states of the current Web page">
<polygon fill="none" stroke="black" points="159.5,-59.5 159.5,-112.5 297.5,-112.5 297.5,-59.5 159.5,-59.5"/>
<text text-anchor="start" x="167.5" y="-98.3" font-family="Patua One, Helvetica, sans-serif" font-weight="bold" font-size="14.00" fill="#b03a2e">GUICoverageFuzzer</text>
<polyline fill="none" stroke="black" points="159.5,-89.5 297.5,-89.5"/>
<g id="a_node4_19"><a xlink:href="#" xlink:title="GUICoverageFuzzer">
<g id="a_node4_20"><a xlink:href="#" xlink:title="__init__(self, *args, **kwargs):&#10;Constructor. All args are passed to the `GUIFuzzer` superclass.">
<text text-anchor="start" x="189.5" y="-78.5" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-weight="bold" font-style="italic" font-size="10.00">__init__()</text>
</a>
</g>
<g id="a_node4_21"><a xlink:href="#" xlink:title="explore_all(self, runner: GUIRunner, max_actions=100) &#45;&gt; None:&#10;Explore all states of the GUI, up to `max_actions` (default 100).">
<text text-anchor="start" x="189.5" y="-67.5" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-weight="bold" font-size="10.00">explore_all()</text>
</a>
</g>
</a>
</g>
</a>
</g>
</g>
<!-- GUICoverageFuzzer&#45;&gt;GUIFuzzer -->
<g id="edge3" class="edge">
<title>GUICoverageFuzzer&#45;&gt;GUIFuzzer</title>
<path fill="none" stroke="black" d="M213.93,-112.15C200.09,-136.39 179,-174.25 162.5,-208 143.11,-247.66 123.33,-292.81 107.74,-329.72"/>
<polygon fill="none" stroke="black" points="104.7,-327.93 104.05,-338.5 111.15,-330.64 104.7,-327.93"/>
</g>
<!-- GrammarCoverageFuzzer -->
<g id="node5" class="node">
<title>GrammarCoverageFuzzer</title>
<g id="a_node5"><a xlink:href="GrammarCoverageFuzzer.ipynb" xlink:title="class GrammarCoverageFuzzer:&#10;Produce from grammars, aiming for coverage of all expansions.">
<polygon fill="none" stroke="black" points="171.5,-237.5 171.5,-273.5 345.5,-273.5 345.5,-237.5 171.5,-237.5"/>
<text text-anchor="start" x="179.5" y="-252.8" font-family="Patua One, Helvetica, sans-serif" font-weight="bold" font-size="14.00" fill="#b03a2e">GrammarCoverageFuzzer</text>
</a>
</g>
</g>
<!-- GUICoverageFuzzer&#45;&gt;GrammarCoverageFuzzer -->
<g id="edge4" class="edge">
<title>GUICoverageFuzzer&#45;&gt;GrammarCoverageFuzzer</title>
<path fill="none" stroke="black" d="M233.06,-112.44C238.55,-143.11 247.76,-194.51 253.46,-226.35"/>
<polygon fill="none" stroke="black" points="249.98,-226.79 255.19,-236.02 256.87,-225.56 249.98,-226.79"/>
</g>
<!-- SimpleGrammarCoverageFuzzer -->
<g id="node6" class="node">
<title>SimpleGrammarCoverageFuzzer</title>
<g id="a_node6"><a xlink:href="GrammarCoverageFuzzer.ipynb" xlink:title="class SimpleGrammarCoverageFuzzer:&#10;When choosing expansions, prefer expansions not covered.">
<polygon fill="none" stroke="black" points="173,-386.5 173,-422.5 388,-422.5 388,-386.5 173,-386.5"/>
<text text-anchor="start" x="181" y="-401.8" font-family="Patua One, Helvetica, sans-serif" font-weight="bold" font-size="14.00" fill="#b03a2e">SimpleGrammarCoverageFuzzer</text>
</a>
</g>
</g>
<!-- GrammarCoverageFuzzer&#45;&gt;SimpleGrammarCoverageFuzzer -->
<g id="edge5" class="edge">
<title>GrammarCoverageFuzzer&#45;&gt;SimpleGrammarCoverageFuzzer</title>
<path fill="none" stroke="black" d="M261.02,-273.36C264.77,-298.4 271.84,-345.67 276.36,-375.82"/>
<polygon fill="none" stroke="black" points="272.84,-375.97 277.78,-385.34 279.76,-374.93 272.84,-375.97"/>
</g>
<!-- TrackingGrammarCoverageFuzzer -->
<g id="node7" class="node">
<title>TrackingGrammarCoverageFuzzer</title>
<g id="a_node7"><a xlink:href="GrammarCoverageFuzzer.ipynb" xlink:title="class TrackingGrammarCoverageFuzzer:&#10;Track grammar coverage during production">
<polygon fill="none" stroke="black" points="151,-506.5 151,-548.5 380,-548.5 380,-506.5 151,-506.5"/>
<text text-anchor="start" x="159" y="-534.3" font-family="Patua One, Helvetica, sans-serif" font-weight="bold" font-size="14.00" fill="#b03a2e">TrackingGrammarCoverageFuzzer</text>
<polyline fill="none" stroke="black" points="151,-525.5 380,-525.5"/>
<g id="a_node7_22"><a xlink:href="#" xlink:title="TrackingGrammarCoverageFuzzer">
<g id="a_node7_23"><a xlink:href="GrammarCoverageFuzzer.ipynb" xlink:title="__init__(self, *args, **kwargs) &#45;&gt; None:&#10;Produce strings from `grammar`, starting with `start_symbol`.&#10;If `min_nonterminals` or `max_nonterminals` is given, use them as limits&#10;for the number of nonterminals produced.&#10;If `disp` is set, display the intermediate derivation trees.&#10;If `log` is set, show intermediate steps as text on standard output.">
<text text-anchor="start" x="235.5" y="-514" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-weight="bold" font-style="italic" font-size="10.00">__init__()</text>
</a>
</g>
</a>
</g>
</a>
</g>
</g>
<!-- SimpleGrammarCoverageFuzzer&#45;&gt;TrackingGrammarCoverageFuzzer -->
<g id="edge6" class="edge">
<title>SimpleGrammarCoverageFuzzer&#45;&gt;TrackingGrammarCoverageFuzzer</title>
<path fill="none" stroke="black" d="M278.41,-422.32C276.08,-441.13 272.26,-471.98 269.38,-495.24"/>
<polygon fill="none" stroke="black" points="265.91,-494.75 268.15,-505.1 272.86,-495.61 265.91,-494.75"/>
</g>
<!-- TrackingGrammarCoverageFuzzer&#45;&gt;GrammarFuzzer -->
<g id="edge7" class="edge">
<title>TrackingGrammarCoverageFuzzer&#45;&gt;GrammarFuzzer</title>
<path fill="none" stroke="black" d="M245.76,-548.47C237.21,-557.11 226.9,-567.54 216.95,-577.61"/>
<polygon fill="none" stroke="black" points="214.69,-574.91 210.15,-584.48 219.67,-579.83 214.69,-574.91"/>
</g>
<!-- GUIRunner -->
<g id="node8" class="node">
<title>GUIRunner</title>
<g id="a_node8"><a xlink:href="#" xlink:title="class GUIRunner:&#10;Execute the actions in a given action string">
<polygon fill="none" stroke="black" points="370,-6 370,-166 495,-166 495,-6 370,-6"/>
<text text-anchor="start" x="398" y="-151.8" font-family="Patua One, Helvetica, sans-serif" font-weight="bold" font-size="14.00" fill="#b03a2e">GUIRunner</text>
<polyline fill="none" stroke="black" points="370,-143 495,-143"/>
<g id="a_node8_24"><a xlink:href="#" xlink:title="GUIRunner">
<g id="a_node8_25"><a xlink:href="#" xlink:title="DELAY_AFTER_CHECK = 0.1">
<text text-anchor="start" x="378.5" y="-131" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-size="10.00">DELAY_AFTER_CHECK</text>
</a>
</g>
<g id="a_node8_26"><a xlink:href="#" xlink:title="DELAY_AFTER_CLICK = 1">
<text text-anchor="start" x="378.5" y="-120" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-size="10.00">DELAY_AFTER_CLICK</text>
</a>
</g>
<g id="a_node8_27"><a xlink:href="#" xlink:title="DELAY_AFTER_FILL = 0.1">
<text text-anchor="start" x="378.5" y="-109" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-size="10.00">DELAY_AFTER_FILL</text>
</a>
</g>
<g id="a_node8_28"><a xlink:href="#" xlink:title="DELAY_AFTER_SUBMIT = 1">
<text text-anchor="start" x="378.5" y="-98" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-size="10.00">DELAY_AFTER_SUBMIT</text>
</a>
</g>
</a>
</g>
<polyline fill="none" stroke="black" points="370,-91 495,-91"/>
<g id="a_node8_29"><a xlink:href="#" xlink:title="GUIRunner">
<g id="a_node8_30"><a xlink:href="#" xlink:title="__init__(self, driver) &#45;&gt; None:&#10;Constructor. `driver` is a Selenium Web driver">
<text text-anchor="start" x="390.5" y="-79.5" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-weight="bold" font-style="italic" font-size="10.00">__init__()</text>
</a>
</g>
<g id="a_node8_31"><a xlink:href="#" xlink:title="run(self, inp: str) &#45;&gt; Tuple[str, str]:&#10;Execute the action string `inp` on the current Web site.&#10;Return a pair (`inp`, `outcome`).">
<text text-anchor="start" x="390.5" y="-68.5" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-weight="bold" font-style="italic" font-size="10.00">run()</text>
</a>
</g>
<g id="a_node8_32"><a xlink:href="#" xlink:title="do_check(self, name: str, state: bool) &#45;&gt; None:&#10;Set the check element `name` to `state`">
<text text-anchor="start" x="390.5" y="-56.5" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-size="10.00">do_check()</text>
</a>
</g>
<g id="a_node8_33"><a xlink:href="#" xlink:title="do_click(self, name: str) &#45;&gt; None:&#10;Click on the element `name`">
<text text-anchor="start" x="390.5" y="-45.5" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-size="10.00">do_click()</text>
</a>
</g>
<g id="a_node8_34"><a xlink:href="#" xlink:title="do_fill(self, name: str, value: str) &#45;&gt; None:&#10;Fill the text element `name` with `value`">
<text text-anchor="start" x="390.5" y="-34.5" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-size="10.00">do_fill()</text>
</a>
</g>
<g id="a_node8_35"><a xlink:href="#" xlink:title="do_submit(self, name: str) &#45;&gt; None:&#10;Click on the submit element `name`">
<text text-anchor="start" x="390.5" y="-23.5" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-size="10.00">do_submit()</text>
</a>
</g>
<g id="a_node8_36"><a xlink:href="#" xlink:title="find_element(self, name: str) &#45;&gt; Any:&#10;Search for an element named `name` on the current Web site.&#10;Matches can occur by name or by link text.">
<text text-anchor="start" x="390.5" y="-12.5" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-size="10.00">find_element()</text>
</a>
</g>
</a>
</g>
</a>
</g>
</g>
<!-- Runner -->
<g id="node9" class="node">
<title>Runner</title>
<g id="a_node9"><a xlink:href="Fuzzer.ipynb" xlink:title="class Runner:&#10;Base class for testing inputs.">
<polygon fill="none" stroke="black" points="394,-208.5 394,-302.5 471,-302.5 471,-208.5 394,-208.5"/>
<text text-anchor="start" x="409.5" y="-288.3" font-family="Patua One, Helvetica, sans-serif" font-weight="bold" font-size="14.00" fill="#b03a2e">Runner</text>
<polyline fill="none" stroke="black" points="394,-279.5 471,-279.5"/>
<g id="a_node9_37"><a xlink:href="#" xlink:title="Runner">
<g id="a_node9_38"><a xlink:href="Fuzzer.ipynb" xlink:title="FAIL = &#39;FAIL&#39;">
<text text-anchor="start" x="402.5" y="-267" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-size="10.00">FAIL</text>
</a>
</g>
<g id="a_node9_39"><a xlink:href="Fuzzer.ipynb" xlink:title="PASS = &#39;PASS&#39;">
<text text-anchor="start" x="402.5" y="-256" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-size="10.00">PASS</text>
</a>
</g>
<g id="a_node9_40"><a xlink:href="Fuzzer.ipynb" xlink:title="UNRESOLVED = &#39;UNRESOLVED&#39;">
<text text-anchor="start" x="402.5" y="-245" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-size="10.00">UNRESOLVED</text>
</a>
</g>
</a>
</g>
<polyline fill="none" stroke="black" points="394,-238.5 471,-238.5"/>
<g id="a_node9_41"><a xlink:href="#" xlink:title="Runner">
<g id="a_node9_42"><a xlink:href="Fuzzer.ipynb" xlink:title="__init__(self) &#45;&gt; None:&#10;Initialize">
<text text-anchor="start" x="402.5" y="-227.5" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-weight="bold" font-style="italic" font-size="10.00">__init__()</text>
</a>
</g>
<g id="a_node9_43"><a xlink:href="Fuzzer.ipynb" xlink:title="run(self, inp: str) &#45;&gt; Any:&#10;Run the runner with the given input">
<text text-anchor="start" x="402.5" y="-216.5" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-weight="bold" font-style="italic" font-size="10.00">run()</text>
</a>
</g>
</a>
</g>
</a>
</g>
</g>
<!-- GUIRunner&#45;&gt;Runner -->
<g id="edge8" class="edge">
<title>GUIRunner&#45;&gt;Runner</title>
<path fill="none" stroke="black" d="M432.5,-165.85C432.5,-176.57 432.5,-187.41 432.5,-197.64"/>
<polygon fill="none" stroke="black" points="429,-197.39 432.5,-207.39 436,-197.39 429,-197.39"/>
</g>
<!-- GUIGrammarMiner -->
<g id="node10" class="node">
<title>GUIGrammarMiner</title>
<g id="a_node10"><a xlink:href="#" xlink:title="class GUIGrammarMiner:&#10;Retrieve a grammar of possible GUI interaction sequences">
<polygon fill="none" stroke="black" points="513,-0.5 513,-171.5 704,-171.5 704,-0.5 513,-0.5"/>
<text text-anchor="start" x="549.5" y="-157.3" font-family="Patua One, Helvetica, sans-serif" font-weight="bold" font-size="14.00" fill="#b03a2e">GUIGrammarMiner</text>
<polyline fill="none" stroke="black" points="513,-148.5 704,-148.5"/>
<g id="a_node10_44"><a xlink:href="#" xlink:title="GUIGrammarMiner">
<g id="a_node10_45"><a xlink:href="#" xlink:title="FINAL_STATE = &#39;&lt;end&gt;&#39;">
<text text-anchor="start" x="560.5" y="-136.5" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-size="10.00">FINAL_STATE</text>
</a>
</g>
<g id="a_node10_46"><a xlink:href="#" xlink:title="GUI_GRAMMAR = {&#39;&lt;start&gt;&#39;: [&#39;&lt;state&gt;&#39;], &#39;&lt;unexplored&gt;&#39;: [&#39;&#39;], &#39;&lt;end&gt;&#39;: [&#39;&#39;], &#39;&lt;text&gt;&#39;: [&#39;&lt;string&gt;&#39;], &#39;&lt;string&gt;&#39;: [&#39;&lt;character&gt;&#39;, &#39;&lt;string&gt;&lt;character&gt;&#39;], &#39;&lt;character&gt;&#39;: [&#39;&lt;letter&gt;&#39;, &#39;&lt;digit&gt;&#39;, &#39;&lt;special&gt;&#39;], &#39;&lt;letter&gt;&#39;: [&#39;a&#39;, &#39;b&#39;, &#39;c&#39;, &#39;d&#39;, &#39;e&#39;, &#39;f&#39;, &#39;g&#39;, &#39;h&#39;, &#39;i&#39;, &#39;j&#39;, &#39;k&#39;, &#39;l&#39;, &#39;m&#39;, &#39;n&#39;, &#39;o&#39;, &#39;p&#39;, &#39;q&#39;, &#39;r&#39;, &#39;s&#39;, &#39;t&#39;, &#39;u&#39;, &#39;v&#39;, &#39;w&#39;, &#39;x&#39;, &#39;y&#39;, &#39;z&#39;, &#39;A&#39;, &#39;B&#39;, &#39;C&#39;, &#39;D&#39;, &#39;E&#39;, &#39;F&#39;, &#39;G&#39;, &#39;H&#39;, &#39;I&#39;, &#39;J&#39;, &#39;K&#39;, &#39;L&#39;, &#39;M&#39;, &#39;N&#39;, &#39;O&#39;, &#39;P&#39;, &#39;Q&#39;, &#39;R&#39;, &#39;S&#39;, &#39;T&#39;, &#39;U&#39;, &#39;V&#39;, &#39;W&#39;, &#39;X&#39;, &#39;Y&#39;, &#39;Z&#39;], &#39;&lt;number&gt;&#39;: [&#39;&lt;digits&gt;&#39;], &#39;&lt;digits&gt;&#39;: [&#39;&lt;digit&gt;&#39;, &#39;&lt;digits&gt;&lt;digit&gt;&#39;], &#39;&lt;digit&gt;&#39;: [&#39;0&#39;, &#39;1&#39;, &#39;2&#39;, &#39;3&#39;, &#39;4&#39;, &#39;5&#39;, &#39;6&#39;, &#39;7&#39;, &#39;8&#39;, &#39;9&#39;], &#39;&lt;special&gt;&#39;: [&#39;.&#39;, &#39; &#39;, &#39;!&#39;], &#39;&lt;email&gt;&#39;: [&#39;&lt;letters&gt;@&lt;letters&gt;&#39;], &#39;&lt;letters&gt;&#39;: [&#39;&lt;letter&gt;&#39;, &#39;&lt;letters&gt;&lt;letter&gt;&#39;], &#39;&lt;boolean&gt;&#39;: [&#39;True&#39;, &#39;False&#39;], &#39;&lt;password&gt;&#39;: [&#39;abcABC.123&#39;], &#39;&lt;hidden&gt;&#39;: [&#39;&lt;string&gt;&#39;]}">
<text text-anchor="start" x="560.5" y="-125.5" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-size="10.00">GUI_GRAMMAR</text>
</a>
</g>
<g id="a_node10_47"><a xlink:href="#" xlink:title="START_STATE = &#39;&lt;state&gt;&#39;">
<text text-anchor="start" x="560.5" y="-114.5" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-size="10.00">START_STATE</text>
</a>
</g>
<g id="a_node10_48"><a xlink:href="#" xlink:title="UNEXPLORED_STATE = &#39;&lt;unexplored&gt;&#39;">
<text text-anchor="start" x="560.5" y="-103.5" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-size="10.00">UNEXPLORED_STATE</text>
</a>
</g>
</a>
</g>
<polyline fill="none" stroke="black" points="513,-96.5 704,-96.5"/>
<g id="a_node10_49"><a xlink:href="#" xlink:title="GUIGrammarMiner">
<g id="a_node10_50"><a xlink:href="#" xlink:title="__init__(self, driver, stay_on_host: bool = True) &#45;&gt; None:&#10;Constructor.&#10;`driver` &#45; a web driver as produced by Selenium.&#10;`stay_on_host` &#45; if True (default), no not follow links to other hosts.">
<text text-anchor="start" x="521.5" y="-85.5" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-weight="bold" font-size="10.00">__init__()</text>
</a>
</g>
<g id="a_node10_51"><a xlink:href="#" xlink:title="follow_link(self, link: str) &#45;&gt; bool:&#10;Return True iff we are allowed to follow the `link` URL">
<text text-anchor="start" x="521.5" y="-73.5" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-size="10.00">follow_link()</text>
</a>
</g>
<g id="a_node10_52"><a xlink:href="#" xlink:title="mine_a_element_actions(self) &#45;&gt; Set[str]:&#10;Determine all link actions on the current Web page">
<text text-anchor="start" x="521.5" y="-62.5" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-size="10.00">mine_a_element_actions()</text>
</a>
</g>
<g id="a_node10_53"><a xlink:href="#" xlink:title="mine_button_element_actions(self) &#45;&gt; Set[str]:&#10;Determine all button actions on the current Web page">
<text text-anchor="start" x="521.5" y="-51.5" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-size="10.00">mine_button_element_actions()</text>
</a>
</g>
<g id="a_node10_54"><a xlink:href="#" xlink:title="mine_input_element_actions(self) &#45;&gt; Set[str]:&#10;Determine all input actions on the current Web page">
<text text-anchor="start" x="521.5" y="-40.5" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-size="10.00">mine_input_element_actions()</text>
</a>
</g>
<g id="a_node10_55"><a xlink:href="#" xlink:title="mine_state_actions(self) &#45;&gt; FrozenSet[str]:&#10;Return a set of all possible actions on the current Web site.&#10;Can be overloaded in subclasses.">
<text text-anchor="start" x="521.5" y="-30.5" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-style="italic" font-size="10.00">mine_state_actions()</text>
</a>
</g>
<g id="a_node10_56"><a xlink:href="#" xlink:title="mine_state_grammar(self, grammar: Dict[str, List[Expansion]] = {}, state_symbol: Optional[str] = None) &#45;&gt; Dict[str, List[Expansion]]:&#10;Return a state grammar for the actions on the current Web site.&#10;Can be overloaded in subclasses.">
<text text-anchor="start" x="521.5" y="-19.5" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-style="italic" font-size="10.00">mine_state_grammar()</text>
</a>
</g>
<g id="a_node10_57"><a xlink:href="#" xlink:title="new_state_symbol(self, grammar: Dict[str, List[Expansion]]) &#45;&gt; str:&#10;Return a new symbol for some state in `grammar`">
<text text-anchor="start" x="521.5" y="-7.5" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-size="10.00">new_state_symbol()</text>
</a>
</g>
</a>
</g>
</a>
</g>
</g>
<!-- Legend -->
<g id="node11" class="node">
<title>Legend</title>
<text text-anchor="start" x="722.5" y="-103.5" font-family="Patua One, Helvetica, sans-serif" font-weight="bold" font-size="10.00" fill="#b03a2e">Legend</text>
<text text-anchor="start" x="722.5" y="-93.5" font-family="Patua One, Helvetica, sans-serif" font-size="10.00">• </text>
<text text-anchor="start" x="729.5" y="-93.5" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-weight="bold" font-size="8.00">public_method()</text>
<text text-anchor="start" x="722.5" y="-83.5" font-family="Patua One, Helvetica, sans-serif" font-size="10.00">• </text>
<text text-anchor="start" x="729.5" y="-83.5" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-size="8.00">private_method()</text>
<text text-anchor="start" x="722.5" y="-73.5" font-family="Patua One, Helvetica, sans-serif" font-size="10.00">• </text>
<text text-anchor="start" x="729.5" y="-73.5" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-style="italic" font-size="8.00">overloaded_method()</text>
<text text-anchor="start" x="722.5" y="-64.3" font-family="Helvetica,sans-Serif" font-size="9.00">Hover over names to see doc</text>
</g>
</g>
</svg>