docs/beta/notebooks/PICS/ConcolicFuzzer-synopsis-1.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 2.49.3 (20211023.0002)
 -->
<!-- Pages: 1 -->
<svg width="250pt" height="128pt"
 viewBox="0.00 0.00 250.00 128.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 124)">
<g id="a_graph0"><a xlink:title="ConcolicTracer class hierarchy">
<polygon fill="white" stroke="transparent" points="-4,4 -4,-124 246,-124 246,4 -4,4"/>
</a>
</g>
<!-- ConcolicTracer -->
<g id="node1" class="node">
<title>ConcolicTracer</title>
<g id="a_node1"><a xlink:href="#" xlink:title="class ConcolicTracer:&#10;Trace function execution, tracking variables and path conditions">
<polygon fill="none" stroke="black" points="0,-0.5 0,-119.5 106,-119.5 106,-0.5 0,-0.5"/>
<text text-anchor="start" x="8" y="-105.3" font-family="Patua One, Helvetica, sans-serif" font-weight="bold" font-size="14.00" fill="#b03a2e">ConcolicTracer</text>
<polyline fill="none" stroke="black" points="0,-96.5 106,-96.5 "/>
<g id="a_node1_0"><a xlink:href="#" xlink:title="ConcolicTracer">
<g id="a_node1_1"><a xlink:href="#" xlink:title="__call__(self, *args):&#10;Call self as a function.">
<text text-anchor="start" x="14" y="-85.5" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-weight="bold" font-size="10.00">__call__()</text>
</a>
</g>
<g id="a_node1_2"><a xlink:href="#" xlink:title="__init__(self, context=None):&#10;Constructor.">
<text text-anchor="start" x="14" y="-74.5" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-weight="bold" font-size="10.00">__init__()</text>
</a>
</g>
<g id="a_node1_3"><a xlink:href="#" xlink:title="zeval(self, predicates=None, *, python=False, log=False):&#10;Evaluate `predicates` in current context.&#10;&#45; If `python` is set, use the z3 Python API; otherwise use z3 standalone.&#10;&#45; If `log` is set, show input to z3.&#10;Return a pair (`result`, `solution`) where&#10;&#45; `result` is either `&#39;sat&#39;` (satisfiable); then&#10;solution` is a mapping of variables to (value, type) pairs; or&#10;&#45; `result` is not `&#39;sat&#39;`, indicating an error; then `solution` is `None`">
<text text-anchor="start" x="14" y="-63.5" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-weight="bold" font-size="10.00">zeval()</text>
</a>
</g>
<g id="a_node1_4"><a xlink:href="#" xlink:title="__enter__(self)">
<text text-anchor="start" x="14" y="-51.5" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-size="10.00">__enter__()</text>
</a>
</g>
<g id="a_node1_5"><a xlink:href="#" xlink:title="__exit__(self, exc_type, exc_value, tb)">
<text text-anchor="start" x="14" y="-40.5" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-size="10.00">__exit__()</text>
</a>
</g>
<g id="a_node1_6"><a xlink:href="#" xlink:title="__getitem__(self, fn)">
<text text-anchor="start" x="14" y="-29.5" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-size="10.00">__getitem__()</text>
</a>
</g>
<g id="a_node1_7"><a xlink:href="#" xlink:title="concolic(self, args)">
<text text-anchor="start" x="14" y="-18.5" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-size="10.00">concolic()</text>
</a>
</g>
<g id="a_node1_8"><a xlink:href="#" xlink:title="smt_expr(self, show_decl=False, simplify=False, path=[])">
<text text-anchor="start" x="14" y="-7.5" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-size="10.00">smt_expr()</text>
</a>
</g>
</a>
</g>
</a>
</g>
</g>
<!-- Legend -->
<g id="node2" class="node">
<title>Legend</title>
<text text-anchor="start" x="124" y="-77.5" font-family="Patua One, Helvetica, sans-serif" font-weight="bold" font-size="10.00" fill="#b03a2e">Legend</text>
<text text-anchor="start" x="124" y="-67.5" font-family="Patua One, Helvetica, sans-serif" font-size="10.00">• </text>
<text text-anchor="start" x="130" y="-67.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="124" y="-57.5" font-family="Patua One, Helvetica, sans-serif" font-size="10.00">• </text>
<text text-anchor="start" x="130" y="-57.5" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-size="8.00">private_method()</text>
<text text-anchor="start" x="124" y="-47.5" font-family="Patua One, Helvetica, sans-serif" font-size="10.00">• </text>
<text text-anchor="start" x="130" y="-47.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="124" y="-38.3" font-family="Helvetica,sans-Serif" font-size="9.00">Hover over names to see doc</text>
</g>
</g>
</svg>