341 lines · plain
1<?xml version="1.0" encoding="UTF-8" standalone="no"?>2<svg3 xmlns:dc="http://purl.org/dc/elements/1.1/"4 xmlns:cc="http://creativecommons.org/ns#"5 xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"6 xmlns:svg="http://www.w3.org/2000/svg"7 xmlns="http://www.w3.org/2000/svg"8 xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"9 xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"10 id="svg8"11 version="1.1"12 viewBox="0 0 200 150"13 height="150mm"14 width="200mm">15 <defs16 id="defs2">17 <marker18 inkscape:stockid="Arrow2Lend"19 orient="auto"20 refY="0"21 refX="0"22 id="marker1403"23 style="overflow:visible"24 inkscape:isstock="true">25 <path26 id="path1401"27 style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"28 d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z"29 transform="matrix(-1.1,0,0,-1.1,-1.1,0)" />30 </marker>31 <marker32 inkscape:stockid="Arrow2Lend"33 orient="auto"34 refY="0"35 refX="0"36 id="marker1393"37 style="overflow:visible"38 inkscape:isstock="true">39 <path40 id="path1391"41 style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"42 d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z"43 transform="matrix(-1.1,0,0,-1.1,-1.1,0)" />44 </marker>45 <marker46 inkscape:stockid="Arrow2Lend"47 orient="auto"48 refY="0"49 refX="0"50 id="marker1383"51 style="overflow:visible"52 inkscape:isstock="true">53 <path54 id="path1381"55 style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"56 d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z"57 transform="matrix(-1.1,0,0,-1.1,-1.1,0)" />58 </marker>59 <marker60 inkscape:stockid="Arrow2Lend"61 orient="auto"62 refY="0"63 refX="0"64 id="marker1373"65 style="overflow:visible"66 inkscape:isstock="true">67 <path68 id="path1371"69 style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"70 d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z"71 transform="matrix(-1.1,0,0,-1.1,-1.1,0)" />72 </marker>73 <marker74 inkscape:stockid="Arrow2Lend"75 orient="auto"76 refY="0"77 refX="0"78 id="marker1363"79 style="overflow:visible"80 inkscape:isstock="true">81 <path82 id="path1361"83 style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"84 d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z"85 transform="matrix(-1.1,0,0,-1.1,-1.1,0)" />86 </marker>87 <marker88 inkscape:stockid="Arrow2Lend"89 orient="auto"90 refY="0"91 refX="0"92 id="marker1353"93 style="overflow:visible"94 inkscape:isstock="true">95 <path96 id="path1351"97 style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"98 d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z"99 transform="matrix(-1.1,0,0,-1.1,-1.1,0)" />100 </marker>101 <marker102 inkscape:stockid="Arrow2Lend"103 orient="auto"104 refY="0"105 refX="0"106 id="marker1343"107 style="overflow:visible"108 inkscape:isstock="true">109 <path110 id="path1341"111 style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"112 d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z"113 transform="matrix(-1.1,0,0,-1.1,-1.1,0)" />114 </marker>115 <marker116 inkscape:stockid="Arrow2Lend"117 orient="auto"118 refY="0"119 refX="0"120 id="marker1333"121 style="overflow:visible"122 inkscape:isstock="true">123 <path124 id="path1331"125 style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"126 d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z"127 transform="matrix(-1.1,0,0,-1.1,-1.1,0)" />128 </marker>129 <marker130 inkscape:stockid="Arrow2Lend"131 orient="auto"132 refY="0"133 refX="0"134 id="marker1323"135 style="overflow:visible"136 inkscape:isstock="true">137 <path138 id="path1321"139 style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"140 d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z"141 transform="matrix(-1.1,0,0,-1.1,-1.1,0)" />142 </marker>143 </defs>144 <g145 id="layer1"146 inkscape:groupmode="layer"147 inkscape:label="Layer 1">148 <text149 id="text855"150 y="140.22917"151 x="15.875002"152 style="font-size:4.93889px;line-height:1.25;font-family:sans-serif;word-spacing:0px;stroke-width:0.264583"153 xml:space="preserve"><tspan154 dx="0"155 style="font-size:4.93889px;stroke-width:0.264583"156 y="140.22917"157 x="15.875002"158 id="tspan853"159 sodipodi:role="line">Overwritten: {p->x, p->y, p->z}</tspan></text>160 <text161 xml:space="preserve"162 style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;word-spacing:0px;stroke-width:0.264583"163 x="108.47917"164 y="140.22917"165 id="text855-4"><tspan166 sodipodi:role="line"167 id="tspan853-1"168 x="108.47917"169 y="140.22917"170 style="font-size:4.9389px;stroke-width:0.264583"171 dx="0">Overwritten: {p->x, p->z}</tspan></text>172 <text173 id="text855-4-1"174 y="119.06249"175 x="66.145836"176 style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;word-spacing:0px;stroke-width:0.264583"177 xml:space="preserve"><tspan178 dx="0"179 style="font-size:4.9389px;stroke-width:0.264583"180 y="119.06249"181 x="66.145836"182 id="tspan853-1-1"183 sodipodi:role="line">Overwritten: {p->x, p->z}</tspan></text>184 <text185 id="text855-4-19"186 y="111.12498"187 x="140.22916"188 style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;word-spacing:0px;stroke-width:0.264583"189 xml:space="preserve"><tspan190 dx="0"191 style="font-size:4.9389px;stroke-width:0.264583"192 y="111.12498"193 x="140.22916"194 id="tspan853-1-0"195 sodipodi:role="line">Overwritten: {p->q}</tspan></text>196 <text197 id="text855-4-2"198 y="95.249992"199 x="103.1875"200 style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;word-spacing:0px;stroke-width:0.264583"201 xml:space="preserve"><tspan202 dx="0"203 style="font-size:4.9389px;stroke-width:0.264583"204 y="95.249992"205 x="103.1875"206 id="tspan853-1-00"207 sodipodi:role="line">Overwritten: {}</tspan></text>208 <path209 sodipodi:nodetypes="cc"210 id="path909"211 d="M 66.145835,134.93749 100.54167,121.70832"212 style="fill:none;stroke:#000000;stroke-width:0.265;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker1393)" />213 <path214 sodipodi:nodetypes="cc"215 id="path911"216 d="m 140.22917,134.93749 -39.6875,-13.22917"217 style="fill:none;stroke:#000000;stroke-width:0.265;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker1403)" />218 <path219 sodipodi:nodetypes="cc"220 id="path913"221 d="M 100.54167,113.77082 123.03126,96.572903"222 style="fill:none;stroke:#000000;stroke-width:0.265;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker1373)" />223 <path224 sodipodi:nodetypes="cc"225 id="path915"226 d="M 161.39584,105.83332 123.03126,96.572903"227 style="fill:none;stroke:#000000;stroke-width:0.265;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker1383)" />228 <text229 xml:space="preserve"230 style="font-size:6.35px;line-height:1.25;font-family:sans-serif;word-spacing:0px;stroke-width:0.264583"231 x="7.9375"232 y="92.604179"233 id="text855-4-2-6"><tspan234 sodipodi:role="line"235 id="tspan853-1-00-3"236 x="7.9375"237 y="92.604179"238 style="font-size:6.35px;stroke-width:0.264583">Normal states</tspan></text>239 <rect240 y="84.666672"241 x="2.6458333"242 height="60.854164"243 width="195.79167"244 id="rect935"245 style="fill:none;stroke:#000000;stroke-width:0.264999" />246 <rect247 y="2.6458333"248 x="2.6458333"249 height="71.4375"250 width="195.79167"251 id="rect937"252 style="fill:none;stroke:#000000;stroke-width:0.264999" />253 <text254 id="text855-4-2-6-8"255 y="10.583333"256 x="7.9375"257 style="font-size:6.35px;line-height:1.25;font-family:sans-serif;word-spacing:0px;stroke-width:0.264583"258 xml:space="preserve"><tspan259 style="font-size:6.35px;stroke-width:0.264583"260 y="10.583333"261 x="7.9375"262 id="tspan853-1-00-3-4"263 sodipodi:role="line">Failure states</tspan></text>264 <text265 xml:space="preserve"266 style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;word-spacing:0px;stroke-width:0.264583"267 x="5.2916665"268 y="68.791672"269 id="text855-4-2-8"><tspan270 sodipodi:role="line"271 id="tspan853-1-00-5"272 x="5.2916665"273 y="68.791672"274 style="font-size:4.9389px;stroke-width:0.264583">{Unsafe read at line 3}</tspan></text>275 <text276 id="text855-4-2-8-1"277 y="68.791672"278 x="66.145836"279 style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;word-spacing:0px;stroke-width:0.264583"280 xml:space="preserve"><tspan281 style="font-size:4.9389px;stroke-width:0.264583"282 y="68.791672"283 x="66.145836"284 id="tspan853-1-00-5-1"285 sodipodi:role="line">{Pointer escape at line 5}</tspan></text>286 <text287 id="text855-4-2-8-8"288 y="68.791672"289 x="134.9375"290 style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;word-spacing:0px;stroke-width:0.264583"291 xml:space="preserve"><tspan292 style="font-size:4.9389px;stroke-width:0.264583"293 y="68.791672"294 x="134.9375"295 id="tspan853-1-00-5-8"296 sodipodi:role="line">{Unsafe read at line 7}</tspan></text>297 <text298 id="text855-4-2-8-9"299 y="44.979164"300 x="7.9375"301 style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;word-spacing:0px;stroke-width:0.264583"302 xml:space="preserve"><tspan303 style="font-size:4.9389px;stroke-width:0.264583"304 y="44.979164"305 x="7.9375"306 id="tspan853-1-00-5-4"307 sodipodi:role="line">{Unsafe read at line 3, Pointer escape at line 5}</tspan></text>308 <path309 id="path1019"310 d="m 31.75,63.499999 31.749999,-15.875"311 style="fill:none;stroke:#000000;stroke-width:0.265;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker1333)" />312 <path313 id="path1021"314 d="m 100.54167,63.499999 -37.041671,-15.875"315 style="fill:none;stroke:#000000;stroke-width:0.265;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker1343)" />316 <text317 xml:space="preserve"318 style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;word-spacing:0px;stroke-width:0.264583"319 x="10.583333"320 y="23.812502"321 id="text855-4-2-8-9-8"><tspan322 id="tspan1041"323 sodipodi:role="line"324 x="10.583333"325 y="23.812502"326 style="font-size:4.9389px;stroke-width:0.264583">{Unsafe read at line 3, Pointer escape at line 5, Unsafe read at line 7}</tspan></text>327 <path328 id="path1045"329 d="M 74.083332,39.687499 124.35417,26.458333"330 style="fill:none;stroke:#000000;stroke-width:0.265;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker1353)" />331 <path332 id="path1047"333 d="M 161.39583,63.499999 124.35417,26.458333"334 style="fill:none;stroke:#000000;stroke-width:0.265;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker1363)" />335 <path336 id="path1049"337 d="M 100.54167,84.666666 V 74.083333"338 style="fill:none;stroke:#000000;stroke-width:0.265;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker1323)" />339 </g>340</svg>341