TheDude
/
mythril
mirror of https://github.com/ConsenSys/mythril
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains.
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
4895 Commits
97 Branches
171 Tags
59 MiB
 
 
 
 
 
 
Tag: Branch: Tree: develop
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'develop'
${ noResults }
mythril/tests/testdata/outputs_expected/exceptions.sol.o.graph.html

62 lines
52 KiB
Raw Permalink Blame History

<!DOCTYPE html>
<html>
<head>
<title>Call Graph</title>
<link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/vis/4.21.0/vis.min.css" integrity="sha256-iq5ygGJ7021Pi7H5S+QAUXCPUfaBzfqeplbg/KlEssg=" crossorigin="anonymous" />
<script src="https://cdnjs.cloudflare.com/ajax/libs/vis/4.21.0/vis.min.js" integrity="sha256-JuQeAGbk9rG/EoRMixuy5X8syzICcvB0dj3KindZkY0=" crossorigin="anonymous"></script>
<style type="text/css">
#mynetwork {
height: 100%;
background-color: #232625;
}
body {
background-color: #232625;
color: #ffffff;
font-size: 10px;
}
html, body {
height: 95%;
}
</style>
<script>
var options = {"autoResize": true, "edges": {"font": {"align": "horizontal", "background": "none", "color": "#FFFFFF", "face": "arial", "multi": false, "strokeColor": "#ffffff", "strokeWidth": 0, "vadjust": 0}}, "height": "100%", "layout": {"hierarchical": {"blockShifting": true, "direction": "LR", "edgeMinimization": true, "enabled": true, "levelSeparation": 450, "nodeSpacing": 200, "parentCentralization": false, "sortMethod": "directed", "treeSpacing": 100}, "improvedLayout": true}, "manipulation": false, "nodes": {"borderWidth": 1, "borderWidthSelected": 2, "chosen": true, "color": "#000000", "font": {"align": "left", "color": "#FFFFFF"}, "shape": "box"}, "physics": {"enabled": false}, "width": "100%"};
var nodes = [{"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "0 PUSH1 0x60\n2 PUSH1 0x40\n4 MSTORE\n5 PUSH1 0x04\n7 CALLDATASIZE\n8 LT\n9 PUSH2 0x008e\n12 JUMPI", "id": "336", "isExpanded": false, "label": "0 PUSH1 0x60\n2 PUSH1 0x40\n4 MSTORE\n5 PUSH1 0x04\n7 CALLDATASIZE\n8 LT\n(click to expand +)", "size": 150, "truncLabel": "0 PUSH1 0x60\n2 PUSH1 0x40\n4 MSTORE\n5 PUSH1 0x04\n7 CALLDATASIZE\n8 LT\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "13 PUSH1 0x00\n15 CALLDATALOAD\n16 PUSH29 0x01000000(...)\n46 SWAP1\n47 DIV\n48 PUSH4 0xffffffff\n53 AND\n54 DUP1\n55 PUSH4 0x01d4277c\n60 EQ\n61 PUSH2 0x0093\n64 JUMPI", "id": "337", "isExpanded": false, "label": "13 PUSH1 0x00\n15 CALLDATALOAD\n16 PUSH29 0x01000000(...)\n46 SWAP1\n47 DIV\n48 PUSH4 0xffffffff\n(click to expand +)", "size": 150, "truncLabel": "13 PUSH1 0x00\n15 CALLDATALOAD\n16 PUSH29 0x01000000(...)\n46 SWAP1\n47 DIV\n48 PUSH4 0xffffffff\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "142 JUMPDEST\n143 PUSH1 0x00\n145 DUP1\n146 REVERT", "id": "338", "isExpanded": false, "label": "142 JUMPDEST\n143 PUSH1 0x00\n145 DUP1\n146 REVERT", "size": 150, "truncLabel": "142 JUMPDEST\n143 PUSH1 0x00\n145 DUP1\n146 REVERT"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "65 DUP1\n66 PUSH4 0x546455b5\n71 EQ\n72 PUSH2 0x00b6\n75 JUMPI", "id": "339", "isExpanded": false, "label": "65 DUP1\n66 PUSH4 0x546455b5\n71 EQ\n72 PUSH2 0x00b6\n75 JUMPI", "size": 150, "truncLabel": "65 DUP1\n66 PUSH4 0x546455b5\n71 EQ\n72 PUSH2 0x00b6\n75 JUMPI"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "147 JUMPDEST\n148 CALLVALUE\n149 ISZERO\n150 PUSH2 0x009e\n153 JUMPI", "id": "340", "isExpanded": false, "label": "147 JUMPDEST\n148 CALLVALUE\n149 ISZERO\n150 PUSH2 0x009e\n153 JUMPI", "size": 150, "truncLabel": "147 JUMPDEST\n148 CALLVALUE\n149 ISZERO\n150 PUSH2 0x009e\n153 JUMPI"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "154 PUSH1 0x00\n156 DUP1\n157 REVERT", "id": "341", "isExpanded": false, "label": "154 PUSH1 0x00\n156 DUP1\n157 REVERT", "size": 150, "truncLabel": "154 PUSH1 0x00\n156 DUP1\n157 REVERT"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "158 JUMPDEST\n159 PUSH2 0x00b4\n162 PUSH1 0x04\n164 DUP1\n165 DUP1\n166 CALLDATALOAD\n167 SWAP1\n168 PUSH1 0x20\n170 ADD\n171 SWAP1\n172 SWAP2\n173 SWAP1\n174 POP\n175 POP\n176 PUSH2 0x018f\n179 JUMP", "id": "342", "isExpanded": false, "label": "158 JUMPDEST\n159 PUSH2 0x00b4\n162 PUSH1 0x04\n164 DUP1\n165 DUP1\n166 CALLDATALOAD\n(click to expand +)", "size": 150, "truncLabel": "158 JUMPDEST\n159 PUSH2 0x00b4\n162 PUSH1 0x04\n164 DUP1\n165 DUP1\n166 CALLDATALOAD\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "399 JUMPDEST\n400 PUSH1 0x00\n402 PUSH1 0x08\n404 DUP3\n405 LT\n406 ISZERO\n407 PUSH2 0x01ae\n410 JUMPI", "id": "343", "isExpanded": false, "label": "399 JUMPDEST\n400 PUSH1 0x00\n402 PUSH1 0x08\n404 DUP3\n405 LT\n406 ISZERO\n(click to expand +)", "size": 150, "truncLabel": "399 JUMPDEST\n400 PUSH1 0x00\n402 PUSH1 0x08\n404 DUP3\n405 LT\n406 ISZERO\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "411 PUSH1 0x00\n413 DUP3\n414 PUSH1 0x08\n416 DUP2\n417 LT\n418 ISZERO\n419 ISZERO\n420 PUSH2 0x01a9\n423 JUMPI", "id": "344", "isExpanded": false, "label": "411 PUSH1 0x00\n413 DUP3\n414 PUSH1 0x08\n416 DUP2\n417 LT\n418 ISZERO\n(click to expand +)", "size": 150, "truncLabel": "411 PUSH1 0x00\n413 DUP3\n414 PUSH1 0x08\n416 DUP2\n417 LT\n418 ISZERO\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "430 JUMPDEST\n431 POP\n432 POP\n433 JUMP", "id": "345", "isExpanded": false, "label": "430 JUMPDEST\n431 POP\n432 POP\n433 JUMP", "size": 150, "truncLabel": "430 JUMPDEST\n431 POP\n432 POP\n433 JUMP"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "180 JUMPDEST\n181 STOP", "id": "346", "isExpanded": false, "label": "180 JUMPDEST\n181 STOP", "size": 150, "truncLabel": "180 JUMPDEST\n181 STOP"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "424 ASSERT_FAIL", "id": "347", "isExpanded": false, "label": "424 ASSERT_FAIL", "size": 150, "truncLabel": "424 ASSERT_FAIL"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "425 JUMPDEST\n426 ADD\n427 SLOAD\n428 SWAP1\n429 POP\n430 JUMPDEST\n431 POP\n432 POP\n433 JUMP", "id": "348", "isExpanded": false, "label": "425 JUMPDEST\n426 ADD\n427 SLOAD\n428 SWAP1\n429 POP\n430 JUMPDEST\n(click to expand +)", "size": 150, "truncLabel": "425 JUMPDEST\n426 ADD\n427 SLOAD\n428 SWAP1\n429 POP\n430 JUMPDEST\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "180 JUMPDEST\n181 STOP", "id": "349", "isExpanded": false, "label": "180 JUMPDEST\n181 STOP", "size": 150, "truncLabel": "180 JUMPDEST\n181 STOP"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "76 DUP1\n77 PUSH4 0x78375f14\n82 EQ\n83 PUSH2 0x00d9\n86 JUMPI", "id": "350", "isExpanded": false, "label": "76 DUP1\n77 PUSH4 0x78375f14\n82 EQ\n83 PUSH2 0x00d9\n86 JUMPI", "size": 150, "truncLabel": "76 DUP1\n77 PUSH4 0x78375f14\n82 EQ\n83 PUSH2 0x00d9\n86 JUMPI"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "182 JUMPDEST\n183 CALLVALUE\n184 ISZERO\n185 PUSH2 0x00c1\n188 JUMPI", "id": "351", "isExpanded": false, "label": "182 JUMPDEST\n183 CALLVALUE\n184 ISZERO\n185 PUSH2 0x00c1\n188 JUMPI", "size": 150, "truncLabel": "182 JUMPDEST\n183 CALLVALUE\n184 ISZERO\n185 PUSH2 0x00c1\n188 JUMPI"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "189 PUSH1 0x00\n191 DUP1\n192 REVERT", "id": "352", "isExpanded": false, "label": "189 PUSH1 0x00\n191 DUP1\n192 REVERT", "size": 150, "truncLabel": "189 PUSH1 0x00\n191 DUP1\n192 REVERT"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "193 JUMPDEST\n194 PUSH2 0x00d7\n197 PUSH1 0x04\n199 DUP1\n200 DUP1\n201 CALLDATALOAD\n202 SWAP1\n203 PUSH1 0x20\n205 ADD\n206 SWAP1\n207 SWAP2\n208 SWAP1\n209 POP\n210 POP\n211 PUSH2 0x01b2\n214 JUMP", "id": "353", "isExpanded": false, "label": "193 JUMPDEST\n194 PUSH2 0x00d7\n197 PUSH1 0x04\n199 DUP1\n200 DUP1\n201 CALLDATALOAD\n(click to expand +)", "size": 150, "truncLabel": "193 JUMPDEST\n194 PUSH2 0x00d7\n197 PUSH1 0x04\n199 DUP1\n200 DUP1\n201 CALLDATALOAD\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "434 JUMPDEST\n435 PUSH1 0x17\n437 DUP2\n438 EQ\n439 ISZERO\n440 ISZERO\n441 ISZERO\n442 PUSH2 0x01bf\n445 JUMPI", "id": "354", "isExpanded": false, "label": "434 JUMPDEST\n435 PUSH1 0x17\n437 DUP2\n438 EQ\n439 ISZERO\n440 ISZERO\n(click to expand +)", "size": 150, "truncLabel": "434 JUMPDEST\n435 PUSH1 0x17\n437 DUP2\n438 EQ\n439 ISZERO\n440 ISZERO\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "446 ASSERT_FAIL", "id": "355", "isExpanded": false, "label": "446 ASSERT_FAIL", "size": 150, "truncLabel": "446 ASSERT_FAIL"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "447 JUMPDEST\n448 POP\n449 JUMP", "id": "356", "isExpanded": false, "label": "447 JUMPDEST\n448 POP\n449 JUMP", "size": 150, "truncLabel": "447 JUMPDEST\n448 POP\n449 JUMP"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "215 JUMPDEST\n216 STOP", "id": "357", "isExpanded": false, "label": "215 JUMPDEST\n216 STOP", "size": 150, "truncLabel": "215 JUMPDEST\n216 STOP"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "87 DUP1\n88 PUSH4 0x92dd38ea\n93 EQ\n94 PUSH2 0x00fc\n97 JUMPI", "id": "358", "isExpanded": false, "label": "87 DUP1\n88 PUSH4 0x92dd38ea\n93 EQ\n94 PUSH2 0x00fc\n97 JUMPI", "size": 150, "truncLabel": "87 DUP1\n88 PUSH4 0x92dd38ea\n93 EQ\n94 PUSH2 0x00fc\n97 JUMPI"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "217 JUMPDEST\n218 CALLVALUE\n219 ISZERO\n220 PUSH2 0x00e4\n223 JUMPI", "id": "359", "isExpanded": false, "label": "217 JUMPDEST\n218 CALLVALUE\n219 ISZERO\n220 PUSH2 0x00e4\n223 JUMPI", "size": 150, "truncLabel": "217 JUMPDEST\n218 CALLVALUE\n219 ISZERO\n220 PUSH2 0x00e4\n223 JUMPI"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "224 PUSH1 0x00\n226 DUP1\n227 REVERT", "id": "360", "isExpanded": false, "label": "224 PUSH1 0x00\n226 DUP1\n227 REVERT", "size": 150, "truncLabel": "224 PUSH1 0x00\n226 DUP1\n227 REVERT"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "228 JUMPDEST\n229 PUSH2 0x00fa\n232 PUSH1 0x04\n234 DUP1\n235 DUP1\n236 CALLDATALOAD\n237 SWAP1\n238 PUSH1 0x20\n240 ADD\n241 SWAP1\n242 SWAP2\n243 SWAP1\n244 POP\n245 POP\n246 PUSH2 0x01c2\n249 JUMP", "id": "361", "isExpanded": false, "label": "228 JUMPDEST\n229 PUSH2 0x00fa\n232 PUSH1 0x04\n234 DUP1\n235 DUP1\n236 CALLDATALOAD\n(click to expand +)", "size": 150, "truncLabel": "228 JUMPDEST\n229 PUSH2 0x00fa\n232 PUSH1 0x04\n234 DUP1\n235 DUP1\n236 CALLDATALOAD\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "450 JUMPDEST\n451 PUSH1 0x17\n453 DUP2\n454 EQ\n455 ISZERO\n456 ISZERO\n457 ISZERO\n458 PUSH2 0x01d2\n461 JUMPI", "id": "362", "isExpanded": false, "label": "450 JUMPDEST\n451 PUSH1 0x17\n453 DUP2\n454 EQ\n455 ISZERO\n456 ISZERO\n(click to expand +)", "size": 150, "truncLabel": "450 JUMPDEST\n451 PUSH1 0x17\n453 DUP2\n454 EQ\n455 ISZERO\n456 ISZERO\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "462 PUSH1 0x00\n464 DUP1\n465 REVERT", "id": "363", "isExpanded": false, "label": "462 PUSH1 0x00\n464 DUP1\n465 REVERT", "size": 150, "truncLabel": "462 PUSH1 0x00\n464 DUP1\n465 REVERT"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "466 JUMPDEST\n467 POP\n468 JUMP", "id": "364", "isExpanded": false, "label": "466 JUMPDEST\n467 POP\n468 JUMP", "size": 150, "truncLabel": "466 JUMPDEST\n467 POP\n468 JUMP"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "250 JUMPDEST\n251 STOP", "id": "365", "isExpanded": false, "label": "250 JUMPDEST\n251 STOP", "size": 150, "truncLabel": "250 JUMPDEST\n251 STOP"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "98 DUP1\n99 PUSH4 0xa08299f1\n104 EQ\n105 PUSH2 0x011f\n108 JUMPI", "id": "366", "isExpanded": false, "label": "98 DUP1\n99 PUSH4 0xa08299f1\n104 EQ\n105 PUSH2 0x011f\n108 JUMPI", "size": 150, "truncLabel": "98 DUP1\n99 PUSH4 0xa08299f1\n104 EQ\n105 PUSH2 0x011f\n108 JUMPI"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "252 JUMPDEST\n253 CALLVALUE\n254 ISZERO\n255 PUSH2 0x0107\n258 JUMPI", "id": "367", "isExpanded": false, "label": "252 JUMPDEST\n253 CALLVALUE\n254 ISZERO\n255 PUSH2 0x0107\n258 JUMPI", "size": 150, "truncLabel": "252 JUMPDEST\n253 CALLVALUE\n254 ISZERO\n255 PUSH2 0x0107\n258 JUMPI"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "259 PUSH1 0x00\n261 DUP1\n262 REVERT", "id": "368", "isExpanded": false, "label": "259 PUSH1 0x00\n261 DUP1\n262 REVERT", "size": 150, "truncLabel": "259 PUSH1 0x00\n261 DUP1\n262 REVERT"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "263 JUMPDEST\n264 PUSH2 0x011d\n267 PUSH1 0x04\n269 DUP1\n270 DUP1\n271 CALLDATALOAD\n272 SWAP1\n273 PUSH1 0x20\n275 ADD\n276 SWAP1\n277 SWAP2\n278 SWAP1\n279 POP\n280 POP\n281 PUSH2 0x01d5\n284 JUMP", "id": "369", "isExpanded": false, "label": "263 JUMPDEST\n264 PUSH2 0x011d\n267 PUSH1 0x04\n269 DUP1\n270 DUP1\n271 CALLDATALOAD\n(click to expand +)", "size": 150, "truncLabel": "263 JUMPDEST\n264 PUSH2 0x011d\n267 PUSH1 0x04\n269 DUP1\n270 DUP1\n271 CALLDATALOAD\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "469 JUMPDEST\n470 PUSH1 0x00\n472 DUP1\n473 DUP3\n474 PUSH1 0x08\n476 DUP2\n477 LT\n478 ISZERO\n479 ISZERO\n480 PUSH2 0x01e5\n483 JUMPI", "id": "370", "isExpanded": false, "label": "469 JUMPDEST\n470 PUSH1 0x00\n472 DUP1\n473 DUP3\n474 PUSH1 0x08\n476 DUP2\n(click to expand +)", "size": 150, "truncLabel": "469 JUMPDEST\n470 PUSH1 0x00\n472 DUP1\n473 DUP3\n474 PUSH1 0x08\n476 DUP2\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "484 ASSERT_FAIL", "id": "371", "isExpanded": false, "label": "484 ASSERT_FAIL", "size": 150, "truncLabel": "484 ASSERT_FAIL"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "485 JUMPDEST\n486 ADD\n487 SLOAD\n488 SWAP1\n489 POP\n490 POP\n491 POP\n492 JUMP", "id": "372", "isExpanded": false, "label": "485 JUMPDEST\n486 ADD\n487 SLOAD\n488 SWAP1\n489 POP\n490 POP\n(click to expand +)", "size": 150, "truncLabel": "485 JUMPDEST\n486 ADD\n487 SLOAD\n488 SWAP1\n489 POP\n490 POP\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "285 JUMPDEST\n286 STOP", "id": "373", "isExpanded": false, "label": "285 JUMPDEST\n286 STOP", "size": 150, "truncLabel": "285 JUMPDEST\n286 STOP"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "109 DUP1\n110 PUSH4 0xb34c3610\n115 EQ\n116 PUSH2 0x0142\n119 JUMPI", "id": "374", "isExpanded": false, "label": "109 DUP1\n110 PUSH4 0xb34c3610\n115 EQ\n116 PUSH2 0x0142\n119 JUMPI", "size": 150, "truncLabel": "109 DUP1\n110 PUSH4 0xb34c3610\n115 EQ\n116 PUSH2 0x0142\n119 JUMPI"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "287 JUMPDEST\n288 CALLVALUE\n289 ISZERO\n290 PUSH2 0x012a\n293 JUMPI", "id": "375", "isExpanded": false, "label": "287 JUMPDEST\n288 CALLVALUE\n289 ISZERO\n290 PUSH2 0x012a\n293 JUMPI", "size": 150, "truncLabel": "287 JUMPDEST\n288 CALLVALUE\n289 ISZERO\n290 PUSH2 0x012a\n293 JUMPI"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "294 PUSH1 0x00\n296 DUP1\n297 REVERT", "id": "376", "isExpanded": false, "label": "294 PUSH1 0x00\n296 DUP1\n297 REVERT", "size": 150, "truncLabel": "294 PUSH1 0x00\n296 DUP1\n297 REVERT"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "298 JUMPDEST\n299 PUSH2 0x0140\n302 PUSH1 0x04\n304 DUP1\n305 DUP1\n306 CALLDATALOAD\n307 SWAP1\n308 PUSH1 0x20\n310 ADD\n311 SWAP1\n312 SWAP2\n313 SWAP1\n314 POP\n315 POP\n316 PUSH2 0x01ed\n319 JUMP", "id": "377", "isExpanded": false, "label": "298 JUMPDEST\n299 PUSH2 0x0140\n302 PUSH1 0x04\n304 DUP1\n305 DUP1\n306 CALLDATALOAD\n(click to expand +)", "size": 150, "truncLabel": "298 JUMPDEST\n299 PUSH2 0x0140\n302 PUSH1 0x04\n304 DUP1\n305 DUP1\n306 CALLDATALOAD\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "493 JUMPDEST\n494 PUSH1 0x00\n496 DUP2\n497 PUSH1 0x01\n499 DUP2\n500 ISZERO\n501 ISZERO\n502 PUSH2 0x01fb\n505 JUMPI", "id": "378", "isExpanded": false, "label": "493 JUMPDEST\n494 PUSH1 0x00\n496 DUP2\n497 PUSH1 0x01\n499 DUP2\n500 ISZERO\n(click to expand +)", "size": 150, "truncLabel": "493 JUMPDEST\n494 PUSH1 0x00\n496 DUP2\n497 PUSH1 0x01\n499 DUP2\n500 ISZERO\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "506 ASSERT_FAIL", "id": "379", "isExpanded": false, "label": "506 ASSERT_FAIL", "size": 150, "truncLabel": "506 ASSERT_FAIL"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "507 JUMPDEST\n508 DIV\n509 SWAP1\n510 POP\n511 POP\n512 POP\n513 JUMP", "id": "380", "isExpanded": false, "label": "507 JUMPDEST\n508 DIV\n509 SWAP1\n510 POP\n511 POP\n512 POP\n(click to expand +)", "size": 150, "truncLabel": "507 JUMPDEST\n508 DIV\n509 SWAP1\n510 POP\n511 POP\n512 POP\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "320 JUMPDEST\n321 STOP", "id": "381", "isExpanded": false, "label": "320 JUMPDEST\n321 STOP", "size": 150, "truncLabel": "320 JUMPDEST\n321 STOP"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "120 DUP1\n121 PUSH4 0xb630d706\n126 EQ\n127 PUSH2 0x0157\n130 JUMPI", "id": "382", "isExpanded": false, "label": "120 DUP1\n121 PUSH4 0xb630d706\n126 EQ\n127 PUSH2 0x0157\n130 JUMPI", "size": 150, "truncLabel": "120 DUP1\n121 PUSH4 0xb630d706\n126 EQ\n127 PUSH2 0x0157\n130 JUMPI"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "322 JUMPDEST\n323 CALLVALUE\n324 ISZERO\n325 PUSH2 0x014d\n328 JUMPI", "id": "383", "isExpanded": false, "label": "322 JUMPDEST\n323 CALLVALUE\n324 ISZERO\n325 PUSH2 0x014d\n328 JUMPI", "size": 150, "truncLabel": "322 JUMPDEST\n323 CALLVALUE\n324 ISZERO\n325 PUSH2 0x014d\n328 JUMPI"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "329 PUSH1 0x00\n331 DUP1\n332 REVERT", "id": "384", "isExpanded": false, "label": "329 PUSH1 0x00\n331 DUP1\n332 REVERT", "size": 150, "truncLabel": "329 PUSH1 0x00\n331 DUP1\n332 REVERT"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "333 JUMPDEST\n334 PUSH2 0x0155\n337 PUSH2 0x0202\n340 JUMP", "id": "385", "isExpanded": false, "label": "333 JUMPDEST\n334 PUSH2 0x0155\n337 PUSH2 0x0202\n340 JUMP", "size": 150, "truncLabel": "333 JUMPDEST\n334 PUSH2 0x0155\n337 PUSH2 0x0202\n340 JUMP"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "514 JUMPDEST\n515 PUSH1 0x00\n517 PUSH1 0x01\n519 SWAP1\n520 POP\n521 PUSH1 0x00\n523 DUP2\n524 EQ\n525 ISZERO\n526 ISZERO\n527 PUSH2 0x0214\n530 JUMPI", "id": "386", "isExpanded": false, "label": "514 JUMPDEST\n515 PUSH1 0x00\n517 PUSH1 0x01\n519 SWAP1\n520 POP\n521 PUSH1 0x00\n(click to expand +)", "size": 150, "truncLabel": "514 JUMPDEST\n515 PUSH1 0x00\n517 PUSH1 0x01\n519 SWAP1\n520 POP\n521 PUSH1 0x00\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "531 ASSERT_FAIL", "id": "387", "isExpanded": false, "label": "531 ASSERT_FAIL", "size": 150, "truncLabel": "531 ASSERT_FAIL"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "131 DUP1\n132 PUSH4 0xf44f13d8\n137 EQ\n138 PUSH2 0x017a\n141 JUMPI", "id": "388", "isExpanded": false, "label": "131 DUP1\n132 PUSH4 0xf44f13d8\n137 EQ\n138 PUSH2 0x017a\n141 JUMPI", "size": 150, "truncLabel": "131 DUP1\n132 PUSH4 0xf44f13d8\n137 EQ\n138 PUSH2 0x017a\n141 JUMPI"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "343 JUMPDEST\n344 CALLVALUE\n345 ISZERO\n346 PUSH2 0x0162\n349 JUMPI", "id": "389", "isExpanded": false, "label": "343 JUMPDEST\n344 CALLVALUE\n345 ISZERO\n346 PUSH2 0x0162\n349 JUMPI", "size": 150, "truncLabel": "343 JUMPDEST\n344 CALLVALUE\n345 ISZERO\n346 PUSH2 0x0162\n349 JUMPI"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "350 PUSH1 0x00\n352 DUP1\n353 REVERT", "id": "390", "isExpanded": false, "label": "350 PUSH1 0x00\n352 DUP1\n353 REVERT", "size": 150, "truncLabel": "350 PUSH1 0x00\n352 DUP1\n353 REVERT"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "354 JUMPDEST\n355 PUSH2 0x0178\n358 PUSH1 0x04\n360 DUP1\n361 DUP1\n362 CALLDATALOAD\n363 SWAP1\n364 PUSH1 0x20\n366 ADD\n367 SWAP1\n368 SWAP2\n369 SWAP1\n370 POP\n371 POP\n372 PUSH2 0x0217\n375 JUMP", "id": "391", "isExpanded": false, "label": "354 JUMPDEST\n355 PUSH2 0x0178\n358 PUSH1 0x04\n360 DUP1\n361 DUP1\n362 CALLDATALOAD\n(click to expand +)", "size": 150, "truncLabel": "354 JUMPDEST\n355 PUSH2 0x0178\n358 PUSH1 0x04\n360 DUP1\n361 DUP1\n362 CALLDATALOAD\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "535 JUMPDEST\n536 PUSH1 0x00\n538 DUP1\n539 DUP3\n540 GT\n541 ISZERO\n542 PUSH2 0x0231\n545 JUMPI", "id": "392", "isExpanded": false, "label": "535 JUMPDEST\n536 PUSH1 0x00\n538 DUP1\n539 DUP3\n540 GT\n541 ISZERO\n(click to expand +)", "size": 150, "truncLabel": "535 JUMPDEST\n536 PUSH1 0x00\n538 DUP1\n539 DUP3\n540 GT\n541 ISZERO\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "546 DUP2\n547 PUSH1 0x01\n549 DUP2\n550 ISZERO\n551 ISZERO\n552 PUSH2 0x022d\n555 JUMPI", "id": "393", "isExpanded": false, "label": "546 DUP2\n547 PUSH1 0x01\n549 DUP2\n550 ISZERO\n551 ISZERO\n552 PUSH2 0x022d\n(click to expand +)", "size": 150, "truncLabel": "546 DUP2\n547 PUSH1 0x01\n549 DUP2\n550 ISZERO\n551 ISZERO\n552 PUSH2 0x022d\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "561 JUMPDEST\n562 POP\n563 POP\n564 JUMP", "id": "394", "isExpanded": false, "label": "561 JUMPDEST\n562 POP\n563 POP\n564 JUMP", "size": 150, "truncLabel": "561 JUMPDEST\n562 POP\n563 POP\n564 JUMP"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "376 JUMPDEST\n377 STOP", "id": "395", "isExpanded": false, "label": "376 JUMPDEST\n377 STOP", "size": 150, "truncLabel": "376 JUMPDEST\n377 STOP"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "556 ASSERT_FAIL", "id": "396", "isExpanded": false, "label": "556 ASSERT_FAIL", "size": 150, "truncLabel": "556 ASSERT_FAIL"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "557 JUMPDEST\n558 DIV\n559 SWAP1\n560 POP\n561 JUMPDEST\n562 POP\n563 POP\n564 JUMP", "id": "397", "isExpanded": false, "label": "557 JUMPDEST\n558 DIV\n559 SWAP1\n560 POP\n561 JUMPDEST\n562 POP\n(click to expand +)", "size": 150, "truncLabel": "557 JUMPDEST\n558 DIV\n559 SWAP1\n560 POP\n561 JUMPDEST\n562 POP\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "376 JUMPDEST\n377 STOP", "id": "398", "isExpanded": false, "label": "376 JUMPDEST\n377 STOP", "size": 150, "truncLabel": "376 JUMPDEST\n377 STOP"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "142 JUMPDEST\n143 PUSH1 0x00\n145 DUP1\n146 REVERT", "id": "399", "isExpanded": false, "label": "142 JUMPDEST\n143 PUSH1 0x00\n145 DUP1\n146 REVERT", "size": 150, "truncLabel": "142 JUMPDEST\n143 PUSH1 0x00\n145 DUP1\n146 REVERT"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "378 JUMPDEST\n379 CALLVALUE\n380 ISZERO\n381 PUSH2 0x0185\n384 JUMPI", "id": "400", "isExpanded": false, "label": "378 JUMPDEST\n379 CALLVALUE\n380 ISZERO\n381 PUSH2 0x0185\n384 JUMPI", "size": 150, "truncLabel": "378 JUMPDEST\n379 CALLVALUE\n380 ISZERO\n381 PUSH2 0x0185\n384 JUMPI"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "385 PUSH1 0x00\n387 DUP1\n388 REVERT", "id": "401", "isExpanded": false, "label": "385 PUSH1 0x00\n387 DUP1\n388 REVERT", "size": 150, "truncLabel": "385 PUSH1 0x00\n387 DUP1\n388 REVERT"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "389 JUMPDEST\n390 PUSH2 0x018d\n393 PUSH2 0x0235\n396 JUMP", "id": "402", "isExpanded": false, "label": "389 JUMPDEST\n390 PUSH2 0x018d\n393 PUSH2 0x0235\n396 JUMP", "size": 150, "truncLabel": "389 JUMPDEST\n390 PUSH2 0x018d\n393 PUSH2 0x0235\n396 JUMP"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "565 JUMPDEST\n566 PUSH1 0x00\n568 PUSH1 0x01\n570 SWAP1\n571 POP\n572 PUSH1 0x00\n574 DUP2\n575 GT\n576 ISZERO\n577 ISZERO\n578 PUSH2 0x0247\n581 JUMPI", "id": "403", "isExpanded": false, "label": "565 JUMPDEST\n566 PUSH1 0x00\n568 PUSH1 0x01\n570 SWAP1\n571 POP\n572 PUSH1 0x00\n(click to expand +)", "size": 150, "truncLabel": "565 JUMPDEST\n566 PUSH1 0x00\n568 PUSH1 0x01\n570 SWAP1\n571 POP\n572 PUSH1 0x00\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "583 JUMPDEST\n584 POP\n585 JUMP", "id": "404", "isExpanded": false, "label": "583 JUMPDEST\n584 POP\n585 JUMP", "size": 150, "truncLabel": "583 JUMPDEST\n584 POP\n585 JUMP"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "397 JUMPDEST\n398 STOP", "id": "405", "isExpanded": false, "label": "397 JUMPDEST\n398 STOP", "size": 150, "truncLabel": "397 JUMPDEST\n398 STOP"}];
var edges = [{"arrows": "to", "from": "336", "label": "ULE(4, 10_calldatasize)", "smooth": {"type": "cubicBezier"}, "to": "337"}, {"arrows": "to", "from": "336", "label": "Not(ULE(4, 10_calldatasize))", "smooth": {"type": "cubicBezier"}, "to": "338"}, {"arrows": "to", "from": "337", "label": "Not(And(10_calldata[3] == 0x7c, 10_calldata[2] == 39, 10_calldata[1] == 0xd4, 10_calldata[0] == 1))", "smooth": {"type": "cubicBezier"}, "to": "339"}, {"arrows": "to", "from": "337", "label": "And(10_calldata[3] == 0x7c, 10_calldata[2] == 39, 10_calldata[1] == 0xd4, 10_calldata[0] == 1)", "smooth": {"type": "cubicBezier"}, "to": "340"}, {"arrows": "to", "from": "340", "label": "Not(call_value10 == 0)", "smooth": {"type": "cubicBezier"}, "to": "341"}, {"arrows": "to", "from": "340", "label": "call_value10 == 0", "smooth": {"type": "cubicBezier"}, "to": "342"}, {"arrows": "to", "from": "342", "label": "", "smooth": {"type": "cubicBezier"}, "to": "343"}, {"arrows": "to", "from": "343", "label": "Not(ULE(8, Concat(10_calldata[4], 10_calldata[5], 10_calldata[6], 10_calldata[7], 10_calldata[8], 10_calldata[9], 10_calldata[10], 10_calldata[11], 10_calldata[12], 10_calldata[13], 10_calldata[14], 10_calldata[15], 10_calldata[16], 10_calldata[17], 10_calldata[18], 10_calldata[19], 10_calldata[20], 10_calldata[21], 10_calldata[22], 10_calldata[23], 10_calldata[24], 10_calldata[25], 10_calldata[26], 10_calldata[27], 10_calldata[28], 10_calldata[29], 10_calldata[30], 10_calldata[31], 10_calldata[32], 10_calldata[33], 10_calldata[34], 10_calldata[35])))", "smooth": {"type": "cubicBezier"}, "to": "344"}, {"arrows": "to", "from": "343", "label": "ULE(8, Concat(10_calldata[4], 10_calldata[5], 10_calldata[6], 10_calldata[7], 10_calldata[8], 10_calldata[9], 10_calldata[10], 10_calldata[11], 10_calldata[12], 10_calldata[13], 10_calldata[14], 10_calldata[15], 10_calldata[16], 10_calldata[17], 10_calldata[18], 10_calldata[19], 10_calldata[20], 10_calldata[21], 10_calldata[22], 10_calldata[23], 10_calldata[24], 10_calldata[25], 10_calldata[26], 10_calldata[27], 10_calldata[28], 10_calldata[29], 10_calldata[30], 10_calldata[31], 10_calldata[32], 10_calldata[33], 10_calldata[34], 10_calldata[35]))", "smooth": {"type": "cubicBezier"}, "to": "345"}, {"arrows": "to", "from": "345", "label": "", "smooth": {"type": "cubicBezier"}, "to": "346"}, {"arrows": "to", "from": "344", "label": "ULE(8, Concat(10_calldata[4], 10_calldata[5], 10_calldata[6], 10_calldata[7], 10_calldata[8], 10_calldata[9], 10_calldata[10], 10_calldata[11], 10_calldata[12], 10_calldata[13], 10_calldata[14], 10_calldata[15], 10_calldata[16], 10_calldata[17], 10_calldata[18], 10_calldata[19], 10_calldata[20], 10_calldata[21], 10_calldata[22], 10_calldata[23], 10_calldata[24], 10_calldata[25], 10_calldata[26], 10_calldata[27], 10_calldata[28], 10_calldata[29], 10_calldata[30], 10_calldata[31], 10_calldata[32], 10_calldata[33], 10_calldata[34], 10_calldata[35]))", "smooth": {"type": "cubicBezier"}, "to": "347"}, {"arrows": "to", "from": "344", "label": "Not(ULE(8, Concat(10_calldata[4], 10_calldata[5], 10_calldata[6], 10_calldata[7], 10_calldata[8], 10_calldata[9], 10_calldata[10], 10_calldata[11], 10_calldata[12], 10_calldata[13], 10_calldata[14], 10_calldata[15], 10_calldata[16], 10_calldata[17], 10_calldata[18], 10_calldata[19], 10_calldata[20], 10_calldata[21], 10_calldata[22], 10_calldata[23], 10_calldata[24], 10_calldata[25], 10_calldata[26], 10_calldata[27], 10_calldata[28], 10_calldata[29], 10_calldata[30], 10_calldata[31], 10_calldata[32], 10_calldata[33], 10_calldata[34], 10_calldata[35])))", "smooth": {"type": "cubicBezier"}, "to": "348"}, {"arrows": "to", "from": "348", "label": "", "smooth": {"type": "cubicBezier"}, "to": "349"}, {"arrows": "to", "from": "339", "label": "Not(And(10_calldata[3] == 0xb5, 10_calldata[2] == 85, 10_calldata[1] == 0x64, 10_calldata[0] == 84))", "smooth": {"type": "cubicBezier"}, "to": "350"}, {"arrows": "to", "from": "339", "label": "And(10_calldata[3] == 0xb5, 10_calldata[2] == 85, 10_calldata[1] == 0x64, 10_calldata[0] == 84)", "smooth": {"type": "cubicBezier"}, "to": "351"}, {"arrows": "to", "from": "351", "label": "Not(call_value10 == 0)", "smooth": {"type": "cubicBezier"}, "to": "352"}, {"arrows": "to", "from": "351", "label": "call_value10 == 0", "smooth": {"type": "cubicBezier"}, "to": "353"}, {"arrows": "to", "from": "353", "label": "", "smooth": {"type": "cubicBezier"}, "to": "354"}, {"arrows": "to", "from": "354", "label": "And(10_calldata[35] == 23, 10_calldata[34] == 0, 10_calldata[33] == 0, 10_calldata[32] == 0, 10_calldata[31] == 0, 10_calldata[30] == 0, 10_calldata[29] == 0, 10_calldata[28] == 0, 10_calldata[27] == 0, 10_calldata[26] == 0, 10_calldata[25] == 0, 10_calldata[24] == 0, 10_calldata[23] == 0, 10_calldata[22] == 0, 10_calldata[21] == 0, 10_calldata[20] == 0, 10_calldata[19] == 0, 10_calldata[18] == 0, 10_calldata[17] == 0, 10_calldata[16] == 0, 10_calldata[15] == 0, 10_calldata[14] == 0, 10_calldata[13] == 0, 10_calldata[12] == 0, 10_calldata[11] == 0, 10_calldata[10] == 0, 10_calldata[9] == 0, 10_calldata[8] == 0, 10_calldata[7] == 0, 10_calldata[6] == 0, 10_calldata[5] == 0, 10_calldata[4] == 0)", "smooth": {"type": "cubicBezier"}, "to": "355"}, {"arrows": "to", "from": "354", "label": "Not(And(10_calldata[35] == 23, 10_calldata[34] == 0, 10_calldata[33] == 0, 10_calldata[32] == 0, 10_calldata[31] == 0, 10_calldata[30] == 0, 10_calldata[29] == 0, 10_calldata[28] == 0, 10_calldata[27] == 0, 10_calldata[26] == 0, 10_calldata[25] == 0, 10_calldata[24] == 0, 10_calldata[23] == 0, 10_calldata[22] == 0, 10_calldata[21] == 0, 10_calldata[20] == 0, 10_calldata[19] == 0, 10_calldata[18] == 0, 10_calldata[17] == 0, 10_calldata[16] == 0, 10_calldata[15] == 0, 10_calldata[14] == 0, 10_calldata[13] == 0, 10_calldata[12] == 0, 10_calldata[11] == 0, 10_calldata[10] == 0, 10_calldata[9] == 0, 10_calldata[8] == 0, 10_calldata[7] == 0, 10_calldata[6] == 0, 10_calldata[5] == 0, 10_calldata[4] == 0))", "smooth": {"type": "cubicBezier"}, "to": "356"}, {"arrows": "to", "from": "356", "label": "", "smooth": {"type": "cubicBezier"}, "to": "357"}, {"arrows": "to", "from": "350", "label": "Not(And(10_calldata[3] == 20, 10_calldata[2] == 95, 10_calldata[1] == 55, 10_calldata[0] == 0x78))", "smooth": {"type": "cubicBezier"}, "to": "358"}, {"arrows": "to", "from": "350", "label": "And(10_calldata[3] == 20, 10_calldata[2] == 95, 10_calldata[1] == 55, 10_calldata[0] == 0x78)", "smooth": {"type": "cubicBezier"}, "to": "359"}, {"arrows": "to", "from": "359", "label": "Not(call_value10 == 0)", "smooth": {"type": "cubicBezier"}, "to": "360"}, {"arrows": "to", "from": "359", "label": "call_value10 == 0", "smooth": {"type": "cubicBezier"}, "to": "361"}, {"arrows": "to", "from": "361", "label": "", "smooth": {"type": "cubicBezier"}, "to": "362"}, {"arrows": "to", "from": "362", "label": "And(10_calldata[35] == 23, 10_calldata[34] == 0, 10_calldata[33] == 0, 10_calldata[32] == 0, 10_calldata[31] == 0, 10_calldata[30] == 0, 10_calldata[29] == 0, 10_calldata[28] == 0, 10_calldata[27] == 0, 10_calldata[26] == 0, 10_calldata[25] == 0, 10_calldata[24] == 0, 10_calldata[23] == 0, 10_calldata[22] == 0, 10_calldata[21] == 0, 10_calldata[20] == 0, 10_calldata[19] == 0, 10_calldata[18] == 0, 10_calldata[17] == 0, 10_calldata[16] == 0, 10_calldata[15] == 0, 10_calldata[14] == 0, 10_calldata[13] == 0, 10_calldata[12] == 0, 10_calldata[11] == 0, 10_calldata[10] == 0, 10_calldata[9] == 0, 10_calldata[8] == 0, 10_calldata[7] == 0, 10_calldata[6] == 0, 10_calldata[5] == 0, 10_calldata[4] == 0)", "smooth": {"type": "cubicBezier"}, "to": "363"}, {"arrows": "to", "from": "362", "label": "Not(And(10_calldata[35] == 23, 10_calldata[34] == 0, 10_calldata[33] == 0, 10_calldata[32] == 0, 10_calldata[31] == 0, 10_calldata[30] == 0, 10_calldata[29] == 0, 10_calldata[28] == 0, 10_calldata[27] == 0, 10_calldata[26] == 0, 10_calldata[25] == 0, 10_calldata[24] == 0, 10_calldata[23] == 0, 10_calldata[22] == 0, 10_calldata[21] == 0, 10_calldata[20] == 0, 10_calldata[19] == 0, 10_calldata[18] == 0, 10_calldata[17] == 0, 10_calldata[16] == 0, 10_calldata[15] == 0, 10_calldata[14] == 0, 10_calldata[13] == 0, 10_calldata[12] == 0, 10_calldata[11] == 0, 10_calldata[10] == 0, 10_calldata[9] == 0, 10_calldata[8] == 0, 10_calldata[7] == 0, 10_calldata[6] == 0, 10_calldata[5] == 0, 10_calldata[4] == 0))", "smooth": {"type": "cubicBezier"}, "to": "364"}, {"arrows": "to", "from": "364", "label": "", "smooth": {"type": "cubicBezier"}, "to": "365"}, {"arrows": "to", "from": "358", "label": "Not(And(10_calldata[3] == 0xea, 10_calldata[2] == 56, 10_calldata[1] == 0xdd, 10_calldata[0] == 0x92))", "smooth": {"type": "cubicBezier"}, "to": "366"}, {"arrows": "to", "from": "358", "label": "And(10_calldata[3] == 0xea, 10_calldata[2] == 56, 10_calldata[1] == 0xdd, 10_calldata[0] == 0x92)", "smooth": {"type": "cubicBezier"}, "to": "367"}, {"arrows": "to", "from": "367", "label": "Not(call_value10 == 0)", "smooth": {"type": "cubicBezier"}, "to": "368"}, {"arrows": "to", "from": "367", "label": "call_value10 == 0", "smooth": {"type": "cubicBezier"}, "to": "369"}, {"arrows": "to", "from": "369", "label": "", "smooth": {"type": "cubicBezier"}, "to": "370"}, {"arrows": "to", "from": "370", "label": "ULE(8, Concat(10_calldata[4], 10_calldata[5], 10_calldata[6], 10_calldata[7], 10_calldata[8], 10_calldata[9], 10_calldata[10], 10_calldata[11], 10_calldata[12], 10_calldata[13], 10_calldata[14], 10_calldata[15], 10_calldata[16], 10_calldata[17], 10_calldata[18], 10_calldata[19], 10_calldata[20], 10_calldata[21], 10_calldata[22], 10_calldata[23], 10_calldata[24], 10_calldata[25], 10_calldata[26], 10_calldata[27], 10_calldata[28], 10_calldata[29], 10_calldata[30], 10_calldata[31], 10_calldata[32], 10_calldata[33], 10_calldata[34], 10_calldata[35]))", "smooth": {"type": "cubicBezier"}, "to": "371"}, {"arrows": "to", "from": "370", "label": "Not(ULE(8, Concat(10_calldata[4], 10_calldata[5], 10_calldata[6], 10_calldata[7], 10_calldata[8], 10_calldata[9], 10_calldata[10], 10_calldata[11], 10_calldata[12], 10_calldata[13], 10_calldata[14], 10_calldata[15], 10_calldata[16], 10_calldata[17], 10_calldata[18], 10_calldata[19], 10_calldata[20], 10_calldata[21], 10_calldata[22], 10_calldata[23], 10_calldata[24], 10_calldata[25], 10_calldata[26], 10_calldata[27], 10_calldata[28], 10_calldata[29], 10_calldata[30], 10_calldata[31], 10_calldata[32], 10_calldata[33], 10_calldata[34], 10_calldata[35])))", "smooth": {"type": "cubicBezier"}, "to": "372"}, {"arrows": "to", "from": "372", "label": "", "smooth": {"type": "cubicBezier"}, "to": "373"}, {"arrows": "to", "from": "366", "label": "Not(And(10_calldata[3] == 0xf1, 10_calldata[2] == 0x99, 10_calldata[1] == 0x82, 10_calldata[0] == 0xa0))", "smooth": {"type": "cubicBezier"}, "to": "374"}, {"arrows": "to", "from": "366", "label": "And(10_calldata[3] == 0xf1, 10_calldata[2] == 0x99, 10_calldata[1] == 0x82, 10_calldata[0] == 0xa0)", "smooth": {"type": "cubicBezier"}, "to": "375"}, {"arrows": "to", "from": "375", "label": "Not(call_value10 == 0)", "smooth": {"type": "cubicBezier"}, "to": "376"}, {"arrows": "to", "from": "375", "label": "call_value10 == 0", "smooth": {"type": "cubicBezier"}, "to": "377"}, {"arrows": "to", "from": "377", "label": "", "smooth": {"type": "cubicBezier"}, "to": "378"}, {"arrows": "to", "from": "378", "label": "And(10_calldata[35] == 0, 10_calldata[34] == 0, 10_calldata[33] == 0, 10_calldata[32] == 0, 10_calldata[31] == 0, 10_calldata[30] == 0, 10_calldata[29] == 0, 10_calldata[28] == 0, 10_calldata[27] == 0, 10_calldata[26] == 0, 10_calldata[25] == 0, 10_calldata[24] == 0, 10_calldata[23] == 0, 10_calldata[22] == 0, 10_calldata[21] == 0, 10_calldata[20] == 0, 10_calldata[19] == 0, 10_calldata[18] == 0, 10_calldata[17] == 0, 10_calldata[16] == 0, 10_calldata[15] == 0, 10_calldata[14] == 0, 10_calldata[13] == 0, 10_calldata[12] == 0, 10_calldata[11] == 0, 10_calldata[10] == 0, 10_calldata[9] == 0, 10_calldata[8] == 0, 10_calldata[7] == 0, 10_calldata[6] == 0, 10_calldata[5] == 0, 10_calldata[4] == 0)", "smooth": {"type": "cubicBezier"}, "to": "379"}, {"arrows": "to", "from": "378", "label": "Not(And(10_calldata[35] == 0, 10_calldata[34] == 0, 10_calldata[33] == 0, 10_calldata[32] == 0, 10_calldata[31] == 0, 10_calldata[30] == 0, 10_calldata[29] == 0, 10_calldata[28] == 0, 10_calldata[27] == 0, 10_calldata[26] == 0, 10_calldata[25] == 0, 10_calldata[24] == 0, 10_calldata[23] == 0, 10_calldata[22] == 0, 10_calldata[21] == 0, 10_calldata[20] == 0, 10_calldata[19] == 0, 10_calldata[18] == 0, 10_calldata[17] == 0, 10_calldata[16] == 0, 10_calldata[15] == 0, 10_calldata[14] == 0, 10_calldata[13] == 0, 10_calldata[12] == 0, 10_calldata[11] == 0, 10_calldata[10] == 0, 10_calldata[9] == 0, 10_calldata[8] == 0, 10_calldata[7] == 0, 10_calldata[6] == 0, 10_calldata[5] == 0, 10_calldata[4] == 0))", "smooth": {"type": "cubicBezier"}, "to": "380"}, {"arrows": "to", "from": "380", "label": "", "smooth": {"type": "cubicBezier"}, "to": "381"}, {"arrows": "to", "from": "374", "label": "Not(And(10_calldata[3] == 16, 10_calldata[2] == 54, 10_calldata[1] == 76, 10_calldata[0] == 0xb3))", "smooth": {"type": "cubicBezier"}, "to": "382"}, {"arrows": "to", "from": "374", "label": "And(10_calldata[3] == 16, 10_calldata[2] == 54, 10_calldata[1] == 76, 10_calldata[0] == 0xb3)", "smooth": {"type": "cubicBezier"}, "to": "383"}, {"arrows": "to", "from": "383", "label": "Not(call_value10 == 0)", "smooth": {"type": "cubicBezier"}, "to": "384"}, {"arrows": "to", "from": "383", "label": "call_value10 == 0", "smooth": {"type": "cubicBezier"}, "to": "385"}, {"arrows": "to", "from": "385", "label": "", "smooth": {"type": "cubicBezier"}, "to": "386"}, {"arrows": "to", "from": "386", "label": "True", "smooth": {"type": "cubicBezier"}, "to": "387"}, {"arrows": "to", "from": "382", "label": "Not(And(10_calldata[3] == 6, 10_calldata[2] == 0xd7, 10_calldata[1] == 48, 10_calldata[0] == 0xb6))", "smooth": {"type": "cubicBezier"}, "to": "388"}, {"arrows": "to", "from": "382", "label": "And(10_calldata[3] == 6, 10_calldata[2] == 0xd7, 10_calldata[1] == 48, 10_calldata[0] == 0xb6)", "smooth": {"type": "cubicBezier"}, "to": "389"}, {"arrows": "to", "from": "389", "label": "Not(call_value10 == 0)", "smooth": {"type": "cubicBezier"}, "to": "390"}, {"arrows": "to", "from": "389", "label": "call_value10 == 0", "smooth": {"type": "cubicBezier"}, "to": "391"}, {"arrows": "to", "from": "391", "label": "", "smooth": {"type": "cubicBezier"}, "to": "392"}, {"arrows": "to", "from": "392", "label": "Not(And(10_calldata[35] == 0, 10_calldata[34] == 0, 10_calldata[33] == 0, 10_calldata[32] == 0, 10_calldata[31] == 0, 10_calldata[30] == 0, 10_calldata[29] == 0, 10_calldata[28] == 0, 10_calldata[27] == 0, 10_calldata[26] == 0, 10_calldata[25] == 0, 10_calldata[24] == 0, 10_calldata[23] == 0, 10_calldata[22] == 0, 10_calldata[21] == 0, 10_calldata[20] == 0, 10_calldata[19] == 0, 10_calldata[18] == 0, 10_calldata[17] == 0, 10_calldata[16] == 0, 10_calldata[15] == 0, 10_calldata[14] == 0, 10_calldata[13] == 0, 10_calldata[12] == 0, 10_calldata[11] == 0, 10_calldata[10] == 0, 10_calldata[9] == 0, 10_calldata[8] == 0, 10_calldata[7] == 0, 10_calldata[6] == 0, 10_calldata[5] == 0, 10_calldata[4] == 0))", "smooth": {"type": "cubicBezier"}, "to": "393"}, {"arrows": "to", "from": "392", "label": "And(10_calldata[35] == 0, 10_calldata[34] == 0, 10_calldata[33] == 0, 10_calldata[32] == 0, 10_calldata[31] == 0, 10_calldata[30] == 0, 10_calldata[29] == 0, 10_calldata[28] == 0, 10_calldata[27] == 0, 10_calldata[26] == 0, 10_calldata[25] == 0, 10_calldata[24] == 0, 10_calldata[23] == 0, 10_calldata[22] == 0, 10_calldata[21] == 0, 10_calldata[20] == 0, 10_calldata[19] == 0, 10_calldata[18] == 0, 10_calldata[17] == 0, 10_calldata[16] == 0, 10_calldata[15] == 0, 10_calldata[14] == 0, 10_calldata[13] == 0, 10_calldata[12] == 0, 10_calldata[11] == 0, 10_calldata[10] == 0, 10_calldata[9] == 0, 10_calldata[8] == 0, 10_calldata[7] == 0, 10_calldata[6] == 0, 10_calldata[5] == 0, 10_calldata[4] == 0)", "smooth": {"type": "cubicBezier"}, "to": "394"}, {"arrows": "to", "from": "394", "label": "", "smooth": {"type": "cubicBezier"}, "to": "395"}, {"arrows": "to", "from": "393", "label": "And(10_calldata[35] == 0, 10_calldata[34] == 0, 10_calldata[33] == 0, 10_calldata[32] == 0, 10_calldata[31] == 0, 10_calldata[30] == 0, 10_calldata[29] == 0, 10_calldata[28] == 0, 10_calldata[27] == 0, 10_calldata[26] == 0, 10_calldata[25] == 0, 10_calldata[24] == 0, 10_calldata[23] == 0, 10_calldata[22] == 0, 10_calldata[21] == 0, 10_calldata[20] == 0, 10_calldata[19] == 0, 10_calldata[18] == 0, 10_calldata[17] == 0, 10_calldata[16] == 0, 10_calldata[15] == 0, 10_calldata[14] == 0, 10_calldata[13] == 0, 10_calldata[12] == 0, 10_calldata[11] == 0, 10_calldata[10] == 0, 10_calldata[9] == 0, 10_calldata[8] == 0, 10_calldata[7] == 0, 10_calldata[6] == 0, 10_calldata[5] == 0, 10_calldata[4] == 0)", "smooth": {"type": "cubicBezier"}, "to": "396"}, {"arrows": "to", "from": "393", "label": "Not(And(10_calldata[35] == 0, 10_calldata[34] == 0, 10_calldata[33] == 0, 10_calldata[32] == 0, 10_calldata[31] == 0, 10_calldata[30] == 0, 10_calldata[29] == 0, 10_calldata[28] == 0, 10_calldata[27] == 0, 10_calldata[26] == 0, 10_calldata[25] == 0, 10_calldata[24] == 0, 10_calldata[23] == 0, 10_calldata[22] == 0, 10_calldata[21] == 0, 10_calldata[20] == 0, 10_calldata[19] == 0, 10_calldata[18] == 0, 10_calldata[17] == 0, 10_calldata[16] == 0, 10_calldata[15] == 0, 10_calldata[14] == 0, 10_calldata[13] == 0, 10_calldata[12] == 0, 10_calldata[11] == 0, 10_calldata[10] == 0, 10_calldata[9] == 0, 10_calldata[8] == 0, 10_calldata[7] == 0, 10_calldata[6] == 0, 10_calldata[5] == 0, 10_calldata[4] == 0))", "smooth": {"type": "cubicBezier"}, "to": "397"}, {"arrows": "to", "from": "397", "label": "", "smooth": {"type": "cubicBezier"}, "to": "398"}, {"arrows": "to", "from": "388", "label": "Not(And(10_calldata[3] == 0xd8, 10_calldata[2] == 19, 10_calldata[1] == 79, 10_calldata[0] == 0xf4))", "smooth": {"type": "cubicBezier"}, "to": "399"}, {"arrows": "to", "from": "388", "label": "And(10_calldata[3] == 0xd8, 10_calldata[2] == 19, 10_calldata[1] == 79, 10_calldata[0] == 0xf4)", "smooth": {"type": "cubicBezier"}, "to": "400"}, {"arrows": "to", "from": "400", "label": "Not(call_value10 == 0)", "smooth": {"type": "cubicBezier"}, "to": "401"}, {"arrows": "to", "from": "400", "label": "call_value10 == 0", "smooth": {"type": "cubicBezier"}, "to": "402"}, {"arrows": "to", "from": "402", "label": "", "smooth": {"type": "cubicBezier"}, "to": "403"}, {"arrows": "to", "from": "403", "label": "True", "smooth": {"type": "cubicBezier"}, "to": "404"}, {"arrows": "to", "from": "404", "label": "", "smooth": {"type": "cubicBezier"}, "to": "405"}];
</script>
</head>
<body>
<p>Mythril / Ethereum LASER Symbolic VM</p>
<div id="mynetwork"></div>
<script type="text/javascript">
var container = document.getElementById('mynetwork');
var nodesSet = new vis.DataSet(nodes);
var edgesSet = new vis.DataSet(edges);
var data = {'nodes': nodesSet, 'edges': edgesSet}
var gph = new vis.Network(container, data, options);
gph.on("click", function (params) {
// parse node id
var nodeID = params['nodes']['0'];
if (nodeID) {
var clickedNode = nodesSet.get(nodeID);
if(clickedNode.isExpanded) {
clickedNode.label = clickedNode.truncLabel;
}
else {
clickedNode.label = clickedNode.fullLabel;
}
clickedNode.isExpanded = !clickedNode.isExpanded;
nodesSet.update(clickedNode);
}
});
</script>
</body>
</html>