From 141fec3d118ae018d4d7dd40355919652f73f178 Mon Sep 17 00:00:00 2001
From: Bernhard Mueller <bernhard.mueller11@gmail.com>
Date: Wed, 23 May 2018 15:40:40 +0700
Subject: [PATCH] Fix function names in CFG

---
 mythril/analysis/callgraph.py                 |   5 +-
 solidity_examples/ether_send.sol              |   5 +-
 tests/testdata/input_contracts/ether_send.sol |   5 +-
 tests/testdata/inputs/ether_send.sol.o        |   2 +-
 .../outputs_expected/ether_send.sol.o.easm    | 716 +++++++++---------
 .../ether_send.sol.o.graph.html               |   4 +-
 .../outputs_expected/ether_send.sol.o.json    |   4 +-
 .../ether_send.sol.o.markdown                 |   4 +-
 .../outputs_expected/ether_send.sol.o.text    |   4 +-
 9 files changed, 383 insertions(+), 366 deletions(-)

diff --git a/mythril/analysis/callgraph.py b/mythril/analysis/callgraph.py
index 46219968..2b1e922b 100644
--- a/mythril/analysis/callgraph.py
+++ b/mythril/analysis/callgraph.py
@@ -1,6 +1,7 @@
 import re
 
 from jinja2 import Environment, PackageLoader, select_autoescape
+from laser.ethereum.svm import NodeFlags
 import z3
 
 default_opts = {
@@ -96,8 +97,8 @@ def extract_nodes(statespace, color_map):
         for instruction in instructions:
             if instruction['opcode'].startswith("PUSH"):
                 code_line = "%d %s %s" % (instruction['address'], instruction['opcode'], instruction['argument'])
-            elif instruction['opcode'].startswith("JUMPDEST"):
-                code_line = "%d %s" % (instruction['address'], node.function_name)
+            elif instruction['opcode'].startswith("JUMPDEST") and NodeFlags.FUNC_ENTRY in node.flags and instruction['address'] == node.start_addr:
+                code_line = node.function_name
             else:
                 code_line = "%d %s" % (instruction['address'], instruction['opcode'])
 
diff --git a/solidity_examples/ether_send.sol b/solidity_examples/ether_send.sol
index c8e5bc46..a814332b 100644
--- a/solidity_examples/ether_send.sol
+++ b/solidity_examples/ether_send.sol
@@ -28,7 +28,4 @@ contract Crowdfunding {
     return balances[msg.sender];
   }
 
-  function() public payable {
-    invest();
-  }
-}
\ No newline at end of file
+}
diff --git a/tests/testdata/input_contracts/ether_send.sol b/tests/testdata/input_contracts/ether_send.sol
index c8e5bc46..a814332b 100644
--- a/tests/testdata/input_contracts/ether_send.sol
+++ b/tests/testdata/input_contracts/ether_send.sol
@@ -28,7 +28,4 @@ contract Crowdfunding {
     return balances[msg.sender];
   }
 
-  function() public payable {
-    invest();
-  }
-}
\ No newline at end of file
+}
diff --git a/tests/testdata/inputs/ether_send.sol.o b/tests/testdata/inputs/ether_send.sol.o
index bae58ec3..7bdf221f 100644
--- a/tests/testdata/inputs/ether_send.sol.o
+++ b/tests/testdata/inputs/ether_send.sol.o
@@ -1 +1 @@
-606060405260043610610078576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806312065fe01461008257806327e235e3146100ab57806356885cd8146100f85780636c343ffe1461010d5780638da5cb5b14610122578063e8b5e51f14610177575b610080610181565b005b341561008d57600080fd5b6100956101ec565b6040518082815260200191505060405180910390f35b34156100b657600080fd5b6100e2600480803573ffffffffffffffffffffffffffffffffffffffff16906020019091905050610232565b6040518082815260200191505060405180910390f35b341561010357600080fd5b61010b61024a565b005b341561011857600080fd5b61012061028d565b005b341561012d57600080fd5b610135610342565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b61017f610181565b005b60025434118015610193575060035434105b151561019e57600080fd5b346000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282540192505081905550565b60008060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905090565b60006020528060005260406000206000915090505481565b33600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156102e957600080fd5b3373ffffffffffffffffffffffffffffffffffffffff166108fc3073ffffffffffffffffffffffffffffffffffffffff16319081150290604051600060405180830381858888f19350505050151561034057600080fd5b565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16815600a165627a7a72305820bbf8d45345e3ef7004b6445155bc5f20c8a6dc61dec2637ed9f5eb80f5b2ab0a0029
\ No newline at end of file
+608060405260043610610078576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806312065fe01461007d57806327e235e3146100a857806356885cd8146100ff5780636c343ffe146101165780638da5cb5b1461012d578063e8b5e51f14610184575b600080fd5b34801561008957600080fd5b5061009261018e565b6040518082815260200191505060405180910390f35b3480156100b457600080fd5b506100e9600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506101d4565b6040518082815260200191505060405180910390f35b34801561010b57600080fd5b506101146101ec565b005b34801561012257600080fd5b5061012b61022f565b005b34801561013957600080fd5b506101426102eb565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b61018c610311565b005b60008060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905090565b60006020528060005260406000206000915090505481565b33600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561028b57600080fd5b3373ffffffffffffffffffffffffffffffffffffffff166108fc3073ffffffffffffffffffffffffffffffffffffffff16319081150290604051600060405180830381858888f193505050501580156102e8573d6000803e3d6000fd5b50565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60025434118015610323575060035434105b151561032e57600080fd5b346000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055505600a165627a7a72305820402df619c16e4325eb7830ed063880a283ac25dff982b6a5be67138df0c209550029
\ No newline at end of file
diff --git a/tests/testdata/outputs_expected/ether_send.sol.o.easm b/tests/testdata/outputs_expected/ether_send.sol.o.easm
index 676a98dc..b0a5e256 100644
--- a/tests/testdata/outputs_expected/ether_send.sol.o.easm
+++ b/tests/testdata/outputs_expected/ether_send.sol.o.easm
@@ -1,4 +1,4 @@
-0 PUSH1 0x60
+0 PUSH1 0x80
 2 PUSH1 0x40
 4 MSTORE
 5 PUSH1 0x04
@@ -16,383 +16,405 @@
 54 DUP1
 55 PUSH4 0x12065fe0
 60 EQ
-61 PUSH2 0x0082
+61 PUSH2 0x007d
 64 JUMPI
 65 DUP1
 66 PUSH4 0x27e235e3
 71 EQ
-72 PUSH2 0x00ab
+72 PUSH2 0x00a8
 75 JUMPI
 76 DUP1
 77 PUSH4 0x56885cd8
 82 EQ
-83 PUSH2 0x00f8
+83 PUSH2 0x00ff
 86 JUMPI
 87 DUP1
 88 PUSH4 0x6c343ffe
 93 EQ
-94 PUSH2 0x010d
+94 PUSH2 0x0116
 97 JUMPI
 98 DUP1
 99 PUSH4 0x8da5cb5b
 104 EQ
-105 PUSH2 0x0122
+105 PUSH2 0x012d
 108 JUMPI
 109 DUP1
 110 PUSH4 0xe8b5e51f
 115 EQ
-116 PUSH2 0x0177
+116 PUSH2 0x0184
 119 JUMPI
 120 JUMPDEST
-121 PUSH2 0x0080
-124 PUSH2 0x0181
-127 JUMP
-128 JUMPDEST
-129 STOP
-130 JUMPDEST
-131 CALLVALUE
-132 ISZERO
-133 PUSH2 0x008d
-136 JUMPI
-137 PUSH1 0x00
-139 DUP1
-140 REVERT
-141 JUMPDEST
-142 PUSH2 0x0095
-145 PUSH2 0x01ec
-148 JUMP
-149 JUMPDEST
-150 PUSH1 0x40
-152 MLOAD
-153 DUP1
-154 DUP3
-155 DUP2
-156 MSTORE
-157 PUSH1 0x20
-159 ADD
-160 SWAP2
-161 POP
-162 POP
-163 PUSH1 0x40
-165 MLOAD
-166 DUP1
-167 SWAP2
-168 SUB
-169 SWAP1
-170 RETURN
-171 JUMPDEST
-172 CALLVALUE
-173 ISZERO
-174 PUSH2 0x00b6
-177 JUMPI
-178 PUSH1 0x00
-180 DUP1
-181 REVERT
-182 JUMPDEST
-183 PUSH2 0x00e2
-186 PUSH1 0x04
-188 DUP1
-189 DUP1
-190 CALLDATALOAD
-191 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
-212 AND
-213 SWAP1
-214 PUSH1 0x20
-216 ADD
-217 SWAP1
-218 SWAP2
-219 SWAP1
-220 POP
-221 POP
-222 PUSH2 0x0232
-225 JUMP
-226 JUMPDEST
-227 PUSH1 0x40
-229 MLOAD
-230 DUP1
-231 DUP3
-232 DUP2
-233 MSTORE
-234 PUSH1 0x20
-236 ADD
-237 SWAP2
-238 POP
-239 POP
-240 PUSH1 0x40
-242 MLOAD
-243 DUP1
+121 PUSH1 0x00
+123 DUP1
+124 REVERT
+125 JUMPDEST
+126 CALLVALUE
+127 DUP1
+128 ISZERO
+129 PUSH2 0x0089
+132 JUMPI
+133 PUSH1 0x00
+135 DUP1
+136 REVERT
+137 JUMPDEST
+138 POP
+139 PUSH2 0x0092
+142 PUSH2 0x018e
+145 JUMP
+146 JUMPDEST
+147 PUSH1 0x40
+149 MLOAD
+150 DUP1
+151 DUP3
+152 DUP2
+153 MSTORE
+154 PUSH1 0x20
+156 ADD
+157 SWAP2
+158 POP
+159 POP
+160 PUSH1 0x40
+162 MLOAD
+163 DUP1
+164 SWAP2
+165 SUB
+166 SWAP1
+167 RETURN
+168 JUMPDEST
+169 CALLVALUE
+170 DUP1
+171 ISZERO
+172 PUSH2 0x00b4
+175 JUMPI
+176 PUSH1 0x00
+178 DUP1
+179 REVERT
+180 JUMPDEST
+181 POP
+182 PUSH2 0x00e9
+185 PUSH1 0x04
+187 DUP1
+188 CALLDATASIZE
+189 SUB
+190 DUP2
+191 ADD
+192 SWAP1
+193 DUP1
+194 DUP1
+195 CALLDATALOAD
+196 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
+217 AND
+218 SWAP1
+219 PUSH1 0x20
+221 ADD
+222 SWAP1
+223 SWAP3
+224 SWAP2
+225 SWAP1
+226 POP
+227 POP
+228 POP
+229 PUSH2 0x01d4
+232 JUMP
+233 JUMPDEST
+234 PUSH1 0x40
+236 MLOAD
+237 DUP1
+238 DUP3
+239 DUP2
+240 MSTORE
+241 PUSH1 0x20
+243 ADD
 244 SWAP2
-245 SUB
-246 SWAP1
-247 RETURN
-248 JUMPDEST
-249 CALLVALUE
-250 ISZERO
-251 PUSH2 0x0103
-254 JUMPI
-255 PUSH1 0x00
+245 POP
+246 POP
+247 PUSH1 0x40
+249 MLOAD
+250 DUP1
+251 SWAP2
+252 SUB
+253 SWAP1
+254 RETURN
+255 JUMPDEST
+256 CALLVALUE
 257 DUP1
-258 REVERT
-259 JUMPDEST
-260 PUSH2 0x010b
-263 PUSH2 0x024a
-266 JUMP
+258 ISZERO
+259 PUSH2 0x010b
+262 JUMPI
+263 PUSH1 0x00
+265 DUP1
+266 REVERT
 267 JUMPDEST
-268 STOP
-269 JUMPDEST
-270 CALLVALUE
-271 ISZERO
-272 PUSH2 0x0118
-275 JUMPI
-276 PUSH1 0x00
-278 DUP1
-279 REVERT
-280 JUMPDEST
-281 PUSH2 0x0120
-284 PUSH2 0x028d
-287 JUMP
-288 JUMPDEST
-289 STOP
+268 POP
+269 PUSH2 0x0114
+272 PUSH2 0x01ec
+275 JUMP
+276 JUMPDEST
+277 STOP
+278 JUMPDEST
+279 CALLVALUE
+280 DUP1
+281 ISZERO
+282 PUSH2 0x0122
+285 JUMPI
+286 PUSH1 0x00
+288 DUP1
+289 REVERT
 290 JUMPDEST
-291 CALLVALUE
-292 ISZERO
-293 PUSH2 0x012d
-296 JUMPI
-297 PUSH1 0x00
-299 DUP1
-300 REVERT
+291 POP
+292 PUSH2 0x012b
+295 PUSH2 0x022f
+298 JUMP
+299 JUMPDEST
+300 STOP
 301 JUMPDEST
-302 PUSH2 0x0135
-305 PUSH2 0x0342
-308 JUMP
-309 JUMPDEST
-310 PUSH1 0x40
-312 MLOAD
-313 DUP1
-314 DUP3
-315 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
-336 AND
-337 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
-358 AND
-359 DUP2
-360 MSTORE
-361 PUSH1 0x20
-363 ADD
-364 SWAP2
-365 POP
-366 POP
-367 PUSH1 0x40
-369 MLOAD
-370 DUP1
-371 SWAP2
-372 SUB
-373 SWAP1
-374 RETURN
-375 JUMPDEST
-376 PUSH2 0x017f
-379 PUSH2 0x0181
-382 JUMP
-383 JUMPDEST
-384 STOP
-385 JUMPDEST
-386 PUSH1 0x02
-388 SLOAD
-389 CALLVALUE
-390 GT
-391 DUP1
-392 ISZERO
-393 PUSH2 0x0193
-396 JUMPI
-397 POP
-398 PUSH1 0x03
-400 SLOAD
-401 CALLVALUE
-402 LT
-403 JUMPDEST
-404 ISZERO
-405 ISZERO
-406 PUSH2 0x019e
-409 JUMPI
-410 PUSH1 0x00
-412 DUP1
-413 REVERT
-414 JUMPDEST
-415 CALLVALUE
-416 PUSH1 0x00
-418 DUP1
-419 CALLER
-420 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
-441 AND
-442 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
-463 AND
-464 DUP2
-465 MSTORE
-466 PUSH1 0x20
-468 ADD
-469 SWAP1
-470 DUP2
-471 MSTORE
-472 PUSH1 0x20
-474 ADD
+302 CALLVALUE
+303 DUP1
+304 ISZERO
+305 PUSH2 0x0139
+308 JUMPI
+309 PUSH1 0x00
+311 DUP1
+312 REVERT
+313 JUMPDEST
+314 POP
+315 PUSH2 0x0142
+318 PUSH2 0x02eb
+321 JUMP
+322 JUMPDEST
+323 PUSH1 0x40
+325 MLOAD
+326 DUP1
+327 DUP3
+328 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
+349 AND
+350 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
+371 AND
+372 DUP2
+373 MSTORE
+374 PUSH1 0x20
+376 ADD
+377 SWAP2
+378 POP
+379 POP
+380 PUSH1 0x40
+382 MLOAD
+383 DUP1
+384 SWAP2
+385 SUB
+386 SWAP1
+387 RETURN
+388 JUMPDEST
+389 PUSH2 0x018c
+392 PUSH2 0x0311
+395 JUMP
+396 JUMPDEST
+397 STOP
+398 JUMPDEST
+399 PUSH1 0x00
+401 DUP1
+402 PUSH1 0x00
+404 CALLER
+405 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
+426 AND
+427 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
+448 AND
+449 DUP2
+450 MSTORE
+451 PUSH1 0x20
+453 ADD
+454 SWAP1
+455 DUP2
+456 MSTORE
+457 PUSH1 0x20
+459 ADD
+460 PUSH1 0x00
+462 SHA3
+463 SLOAD
+464 SWAP1
+465 POP
+466 SWAP1
+467 JUMP
+468 JUMPDEST
+469 PUSH1 0x00
+471 PUSH1 0x20
+473 MSTORE
+474 DUP1
 475 PUSH1 0x00
-477 SHA3
-478 PUSH1 0x00
-480 DUP3
-481 DUP3
-482 SLOAD
-483 ADD
-484 SWAP3
-485 POP
+477 MSTORE
+478 PUSH1 0x40
+480 PUSH1 0x00
+482 SHA3
+483 PUSH1 0x00
+485 SWAP2
 486 POP
-487 DUP2
-488 SWAP1
-489 SSTORE
-490 POP
+487 SWAP1
+488 POP
+489 SLOAD
+490 DUP2
 491 JUMP
 492 JUMPDEST
-493 PUSH1 0x00
-495 DUP1
+493 CALLER
+494 PUSH1 0x01
 496 PUSH1 0x00
-498 CALLER
-499 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
-520 AND
-521 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
-542 AND
-543 DUP2
-544 MSTORE
-545 PUSH1 0x20
-547 ADD
-548 SWAP1
-549 DUP2
-550 MSTORE
-551 PUSH1 0x20
-553 ADD
-554 PUSH1 0x00
-556 SHA3
-557 SLOAD
-558 SWAP1
-559 POP
-560 SWAP1
-561 JUMP
-562 JUMPDEST
-563 PUSH1 0x00
-565 PUSH1 0x20
-567 MSTORE
-568 DUP1
-569 PUSH1 0x00
-571 MSTORE
-572 PUSH1 0x40
-574 PUSH1 0x00
-576 SHA3
-577 PUSH1 0x00
-579 SWAP2
-580 POP
-581 SWAP1
-582 POP
-583 SLOAD
-584 DUP2
-585 JUMP
-586 JUMPDEST
-587 CALLER
-588 PUSH1 0x01
-590 PUSH1 0x00
-592 PUSH2 0x0100
-595 EXP
-596 DUP2
-597 SLOAD
-598 DUP2
-599 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
-620 MUL
-621 NOT
-622 AND
-623 SWAP1
-624 DUP4
-625 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
-646 AND
-647 MUL
-648 OR
-649 SWAP1
-650 SSTORE
-651 POP
-652 JUMP
-653 JUMPDEST
-654 PUSH1 0x01
-656 PUSH1 0x00
-658 SWAP1
-659 SLOAD
-660 SWAP1
-661 PUSH2 0x0100
-664 EXP
-665 SWAP1
-666 DIV
-667 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
-688 AND
-689 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
-710 AND
-711 CALLER
-712 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
-733 AND
-734 EQ
-735 ISZERO
-736 ISZERO
-737 PUSH2 0x02e9
-740 JUMPI
+498 PUSH2 0x0100
+501 EXP
+502 DUP2
+503 SLOAD
+504 DUP2
+505 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
+526 MUL
+527 NOT
+528 AND
+529 SWAP1
+530 DUP4
+531 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
+552 AND
+553 MUL
+554 OR
+555 SWAP1
+556 SSTORE
+557 POP
+558 JUMP
+559 JUMPDEST
+560 PUSH1 0x01
+562 PUSH1 0x00
+564 SWAP1
+565 SLOAD
+566 SWAP1
+567 PUSH2 0x0100
+570 EXP
+571 SWAP1
+572 DIV
+573 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
+594 AND
+595 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
+616 AND
+617 CALLER
+618 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
+639 AND
+640 EQ
+641 ISZERO
+642 ISZERO
+643 PUSH2 0x028b
+646 JUMPI
+647 PUSH1 0x00
+649 DUP1
+650 REVERT
+651 JUMPDEST
+652 CALLER
+653 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
+674 AND
+675 PUSH2 0x08fc
+678 ADDRESS
+679 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
+700 AND
+701 BALANCE
+702 SWAP1
+703 DUP2
+704 ISZERO
+705 MUL
+706 SWAP1
+707 PUSH1 0x40
+709 MLOAD
+710 PUSH1 0x00
+712 PUSH1 0x40
+714 MLOAD
+715 DUP1
+716 DUP4
+717 SUB
+718 DUP2
+719 DUP6
+720 DUP9
+721 DUP9
+722 CALL
+723 SWAP4
+724 POP
+725 POP
+726 POP
+727 POP
+728 ISZERO
+729 DUP1
+730 ISZERO
+731 PUSH2 0x02e8
+734 JUMPI
+735 RETURNDATASIZE
+736 PUSH1 0x00
+738 DUP1
+739 RETURNDATACOPY
+740 RETURNDATASIZE
 741 PUSH1 0x00
-743 DUP1
-744 REVERT
-745 JUMPDEST
-746 CALLER
-747 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
-768 AND
-769 PUSH2 0x08fc
-772 ADDRESS
-773 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
-794 AND
-795 BALANCE
-796 SWAP1
-797 DUP2
-798 ISZERO
-799 MUL
-800 SWAP1
-801 PUSH1 0x40
-803 MLOAD
-804 PUSH1 0x00
-806 PUSH1 0x40
-808 MLOAD
-809 DUP1
-810 DUP4
-811 SUB
-812 DUP2
-813 DUP6
-814 DUP9
-815 DUP9
-816 CALL
-817 SWAP4
-818 POP
-819 POP
-820 POP
-821 POP
-822 ISZERO
-823 ISZERO
-824 PUSH2 0x0340
-827 JUMPI
-828 PUSH1 0x00
-830 DUP1
-831 REVERT
-832 JUMPDEST
-833 JUMP
-834 JUMPDEST
-835 PUSH1 0x01
-837 PUSH1 0x00
-839 SWAP1
-840 SLOAD
-841 SWAP1
-842 PUSH2 0x0100
-845 EXP
-846 SWAP1
-847 DIV
-848 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
-869 AND
+743 REVERT
+744 JUMPDEST
+745 POP
+746 JUMP
+747 JUMPDEST
+748 PUSH1 0x01
+750 PUSH1 0x00
+752 SWAP1
+753 SLOAD
+754 SWAP1
+755 PUSH2 0x0100
+758 EXP
+759 SWAP1
+760 DIV
+761 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
+782 AND
+783 DUP2
+784 JUMP
+785 JUMPDEST
+786 PUSH1 0x02
+788 SLOAD
+789 CALLVALUE
+790 GT
+791 DUP1
+792 ISZERO
+793 PUSH2 0x0323
+796 JUMPI
+797 POP
+798 PUSH1 0x03
+800 SLOAD
+801 CALLVALUE
+802 LT
+803 JUMPDEST
+804 ISZERO
+805 ISZERO
+806 PUSH2 0x032e
+809 JUMPI
+810 PUSH1 0x00
+812 DUP1
+813 REVERT
+814 JUMPDEST
+815 CALLVALUE
+816 PUSH1 0x00
+818 DUP1
+819 CALLER
+820 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
+841 AND
+842 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
+863 AND
+864 DUP2
+865 MSTORE
+866 PUSH1 0x20
+868 ADD
+869 SWAP1
 870 DUP2
-871 JUMP
-872 STOP
+871 MSTORE
+872 PUSH1 0x20
+874 ADD
+875 PUSH1 0x00
+877 SHA3
+878 PUSH1 0x00
+880 DUP3
+881 DUP3
+882 SLOAD
+883 ADD
+884 SWAP3
+885 POP
+886 POP
+887 DUP2
+888 SWAP1
+889 SSTORE
+890 POP
+891 JUMP
+892 STOP
diff --git a/tests/testdata/outputs_expected/ether_send.sol.o.graph.html b/tests/testdata/outputs_expected/ether_send.sol.o.graph.html
index 37fe41e9..089d010f 100644
--- a/tests/testdata/outputs_expected/ether_send.sol.o.graph.html
+++ b/tests/testdata/outputs_expected/ether_send.sol.o.graph.html
@@ -18,8 +18,8 @@
 
     <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": "128 JUMPDEST fallback\n129 STOP", "id": "965", "isExpanded": false, "label": "128 JUMPDEST fallback\n129 STOP", "size": 150, "truncLabel": "128 JUMPDEST fallback\n129 STOP"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "414 JUMPDEST fallback\n415 CALLVALUE\n416 PUSH1 0x00\n418 DUP1\n419 CALLER\n420 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\n441 AND\n442 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\n463 AND\n464 DUP2\n465 MSTORE\n466 PUSH1 0x20\n468 ADD\n469 SWAP1\n470 DUP2\n471 MSTORE\n472 PUSH1 0x20\n474 ADD\n475 PUSH1 0x00\n477 SHA3\n478 PUSH1 0x00\n480 DUP3\n481 DUP3\n482 SLOAD\n483 ADD\n484 SWAP3\n485 POP\n486 POP\n487 DUP2\n488 SWAP1\n489 SSTORE\n490 POP\n491 JUMP", "id": "964", "isExpanded": false, "label": "414 JUMPDEST fallback\n415 CALLVALUE\n416 PUSH1 0x00\n418 DUP1\n419 CALLER\n420 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\n(click to expand +)", "size": 150, "truncLabel": "414 JUMPDEST fallback\n415 CALLVALUE\n416 PUSH1 0x00\n418 DUP1\n419 CALLER\n420 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "410 PUSH1 0x00\n412 DUP1\n413 REVERT", "id": "966", "isExpanded": false, "label": "410 PUSH1 0x00\n412 DUP1\n413 REVERT", "size": 150, "truncLabel": "410 PUSH1 0x00\n412 DUP1\n413 REVERT"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "403 JUMPDEST fallback\n404 ISZERO\n405 ISZERO\n406 PUSH2 0x019e\n409 JUMPI", "id": "963", "isExpanded": false, "label": "403 JUMPDEST fallback\n404 ISZERO\n405 ISZERO\n406 PUSH2 0x019e\n409 JUMPI", "size": 150, "truncLabel": "403 JUMPDEST fallback\n404 ISZERO\n405 ISZERO\n406 PUSH2 0x019e\n409 JUMPI"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "128 JUMPDEST fallback\n129 STOP", "id": "969", "isExpanded": false, "label": "128 JUMPDEST fallback\n129 STOP", "size": 150, "truncLabel": "128 JUMPDEST fallback\n129 STOP"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "414 JUMPDEST fallback\n415 CALLVALUE\n416 PUSH1 0x00\n418 DUP1\n419 CALLER\n420 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\n441 AND\n442 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\n463 AND\n464 DUP2\n465 MSTORE\n466 PUSH1 0x20\n468 ADD\n469 SWAP1\n470 DUP2\n471 MSTORE\n472 PUSH1 0x20\n474 ADD\n475 PUSH1 0x00\n477 SHA3\n478 PUSH1 0x00\n480 DUP3\n481 DUP3\n482 SLOAD\n483 ADD\n484 SWAP3\n485 POP\n486 POP\n487 DUP2\n488 SWAP1\n489 SSTORE\n490 POP\n491 JUMP", "id": "968", "isExpanded": false, "label": "414 JUMPDEST fallback\n415 CALLVALUE\n416 PUSH1 0x00\n418 DUP1\n419 CALLER\n420 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\n(click to expand +)", "size": 150, "truncLabel": "414 JUMPDEST fallback\n415 CALLVALUE\n416 PUSH1 0x00\n418 DUP1\n419 CALLER\n420 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "410 PUSH1 0x00\n412 DUP1\n413 REVERT", "id": "970", "isExpanded": false, "label": "410 PUSH1 0x00\n412 DUP1\n413 REVERT", "size": 150, "truncLabel": "410 PUSH1 0x00\n412 DUP1\n413 REVERT"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "397 POP\n398 PUSH1 0x03\n400 SLOAD\n401 CALLVALUE\n402 LT\n403 JUMPDEST fallback\n404 ISZERO\n405 ISZERO\n406 PUSH2 0x019e\n409 JUMPI", "id": "967", "isExpanded": false, "label": "397 POP\n398 PUSH1 0x03\n400 SLOAD\n401 CALLVALUE\n402 LT\n403 JUMPDEST fallback\n(click to expand +)", "size": 150, "truncLabel": "397 POP\n398 PUSH1 0x03\n400 SLOAD\n401 CALLVALUE\n402 LT\n403 JUMPDEST fallback\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "385 JUMPDEST fallback\n386 PUSH1 0x02\n388 SLOAD\n389 CALLVALUE\n390 GT\n391 DUP1\n392 ISZERO\n393 PUSH2 0x0193\n396 JUMPI", "id": "962", "isExpanded": false, "label": "385 JUMPDEST fallback\n386 PUSH1 0x02\n388 SLOAD\n389 CALLVALUE\n390 GT\n391 DUP1\n(click to expand +)", "size": 150, "truncLabel": "385 JUMPDEST fallback\n386 PUSH1 0x02\n388 SLOAD\n389 CALLVALUE\n390 GT\n391 DUP1\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "120 JUMPDEST fallback\n121 PUSH2 0x0080\n124 PUSH2 0x0181\n127 JUMP", "id": "961", "isExpanded": false, "label": "120 JUMPDEST fallback\n121 PUSH2 0x0080\n124 PUSH2 0x0181\n127 JUMP", "size": 150, "truncLabel": "120 JUMPDEST fallback\n121 PUSH2 0x0080\n124 PUSH2 0x0181\n127 JUMP"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "149 JUMPDEST _function_0x12065fe0\n150 PUSH1 0x40\n152 MLOAD\n153 DUP1\n154 DUP3\n155 DUP2\n156 MSTORE\n157 PUSH1 0x20\n159 ADD\n160 SWAP2\n161 POP\n162 POP\n163 PUSH1 0x40\n165 MLOAD\n166 DUP1\n167 SWAP2\n168 SUB\n169 SWAP1\n170 RETURN", "id": "975", "isExpanded": false, "label": "149 JUMPDEST _function_0x12065fe0\n150 PUSH1 0x40\n152 MLOAD\n153 DUP1\n154 DUP3\n155 DUP2\n(click to expand +)", "size": 150, "truncLabel": "149 JUMPDEST _function_0x12065fe0\n150 PUSH1 0x40\n152 MLOAD\n153 DUP1\n154 DUP3\n155 DUP2\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "492 JUMPDEST _function_0x12065fe0\n493 PUSH1 0x00\n495 DUP1\n496 PUSH1 0x00\n498 CALLER\n499 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\n520 AND\n521 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\n542 AND\n543 DUP2\n544 MSTORE\n545 PUSH1 0x20\n547 ADD\n548 SWAP1\n549 DUP2\n550 MSTORE\n551 PUSH1 0x20\n553 ADD\n554 PUSH1 0x00\n556 SHA3\n557 SLOAD\n558 SWAP1\n559 POP\n560 SWAP1\n561 JUMP", "id": "974", "isExpanded": false, "label": "492 JUMPDEST _function_0x12065fe0\n493 PUSH1 0x00\n495 DUP1\n496 PUSH1 0x00\n498 CALLER\n499 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\n(click to expand +)", "size": 150, "truncLabel": "492 JUMPDEST _function_0x12065fe0\n493 PUSH1 0x00\n495 DUP1\n496 PUSH1 0x00\n498 CALLER\n499 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "141 JUMPDEST _function_0x12065fe0\n142 PUSH2 0x0095\n145 PUSH2 0x01ec\n148 JUMP", "id": "973", "isExpanded": false, "label": "141 JUMPDEST _function_0x12065fe0\n142 PUSH2 0x0095\n145 PUSH2 0x01ec\n148 JUMP", "size": 150, "truncLabel": "141 JUMPDEST _function_0x12065fe0\n142 PUSH2 0x0095\n145 PUSH2 0x01ec\n148 JUMP"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "137 PUSH1 0x00\n139 DUP1\n140 REVERT", "id": "976", "isExpanded": false, "label": "137 PUSH1 0x00\n139 DUP1\n140 REVERT", "size": 150, "truncLabel": "137 PUSH1 0x00\n139 DUP1\n140 REVERT"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "130 JUMPDEST _function_0x12065fe0\n131 CALLVALUE\n132 ISZERO\n133 PUSH2 0x008d\n136 JUMPI", "id": "972", "isExpanded": false, "label": "130 JUMPDEST _function_0x12065fe0\n131 CALLVALUE\n132 ISZERO\n133 PUSH2 0x008d\n136 JUMPI", "size": 150, "truncLabel": "130 JUMPDEST _function_0x12065fe0\n131 CALLVALUE\n132 ISZERO\n133 PUSH2 0x008d\n136 JUMPI"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "226 JUMPDEST _function_0x27e235e3\n227 PUSH1 0x40\n229 MLOAD\n230 DUP1\n231 DUP3\n232 DUP2\n233 MSTORE\n234 PUSH1 0x20\n236 ADD\n237 SWAP2\n238 POP\n239 POP\n240 PUSH1 0x40\n242 MLOAD\n243 DUP1\n244 SWAP2\n245 SUB\n246 SWAP1\n247 RETURN", "id": "981", "isExpanded": false, "label": "226 JUMPDEST _function_0x27e235e3\n227 PUSH1 0x40\n229 MLOAD\n230 DUP1\n231 DUP3\n232 DUP2\n(click to expand +)", "size": 150, "truncLabel": "226 JUMPDEST _function_0x27e235e3\n227 PUSH1 0x40\n229 MLOAD\n230 DUP1\n231 DUP3\n232 DUP2\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "562 JUMPDEST _function_0x27e235e3\n563 PUSH1 0x00\n565 PUSH1 0x20\n567 MSTORE\n568 DUP1\n569 PUSH1 0x00\n571 MSTORE\n572 PUSH1 0x40\n574 PUSH1 0x00\n576 SHA3\n577 PUSH1 0x00\n579 SWAP2\n580 POP\n581 SWAP1\n582 POP\n583 SLOAD\n584 DUP2\n585 JUMP", "id": "980", "isExpanded": false, "label": "562 JUMPDEST _function_0x27e235e3\n563 PUSH1 0x00\n565 PUSH1 0x20\n567 MSTORE\n568 DUP1\n569 PUSH1 0x00\n(click to expand +)", "size": 150, "truncLabel": "562 JUMPDEST _function_0x27e235e3\n563 PUSH1 0x00\n565 PUSH1 0x20\n567 MSTORE\n568 DUP1\n569 PUSH1 0x00\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "182 JUMPDEST _function_0x27e235e3\n183 PUSH2 0x00e2\n186 PUSH1 0x04\n188 DUP1\n189 DUP1\n190 CALLDATALOAD\n191 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\n212 AND\n213 SWAP1\n214 PUSH1 0x20\n216 ADD\n217 SWAP1\n218 SWAP2\n219 SWAP1\n220 POP\n221 POP\n222 PUSH2 0x0232\n225 JUMP", "id": "979", "isExpanded": false, "label": "182 JUMPDEST _function_0x27e235e3\n183 PUSH2 0x00e2\n186 PUSH1 0x04\n188 DUP1\n189 DUP1\n190 CALLDATALOAD\n(click to expand +)", "size": 150, "truncLabel": "182 JUMPDEST _function_0x27e235e3\n183 PUSH2 0x00e2\n186 PUSH1 0x04\n188 DUP1\n189 DUP1\n190 CALLDATALOAD\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "178 PUSH1 0x00\n180 DUP1\n181 REVERT", "id": "982", "isExpanded": false, "label": "178 PUSH1 0x00\n180 DUP1\n181 REVERT", "size": 150, "truncLabel": "178 PUSH1 0x00\n180 DUP1\n181 REVERT"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "171 JUMPDEST _function_0x27e235e3\n172 CALLVALUE\n173 ISZERO\n174 PUSH2 0x00b6\n177 JUMPI", "id": "978", "isExpanded": false, "label": "171 JUMPDEST _function_0x27e235e3\n172 CALLVALUE\n173 ISZERO\n174 PUSH2 0x00b6\n177 JUMPI", "size": 150, "truncLabel": "171 JUMPDEST _function_0x27e235e3\n172 CALLVALUE\n173 ISZERO\n174 PUSH2 0x00b6\n177 JUMPI"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "267 JUMPDEST crowdfunding()\n268 STOP", "id": "987", "isExpanded": false, "label": "267 JUMPDEST crowdfunding()\n268 STOP", "size": 150, "truncLabel": "267 JUMPDEST crowdfunding()\n268 STOP"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "586 JUMPDEST crowdfunding()\n587 CALLER\n588 PUSH1 0x01\n590 PUSH1 0x00\n592 PUSH2 0x0100\n595 EXP\n596 DUP2\n597 SLOAD\n598 DUP2\n599 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\n620 MUL\n621 NOT\n622 AND\n623 SWAP1\n624 DUP4\n625 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\n646 AND\n647 MUL\n648 OR\n649 SWAP1\n650 SSTORE\n651 POP\n652 JUMP", "id": "986", "isExpanded": false, "label": "586 JUMPDEST crowdfunding()\n587 CALLER\n588 PUSH1 0x01\n590 PUSH1 0x00\n592 PUSH2 0x0100\n595 EXP\n(click to expand +)", "size": 150, "truncLabel": "586 JUMPDEST crowdfunding()\n587 CALLER\n588 PUSH1 0x01\n590 PUSH1 0x00\n592 PUSH2 0x0100\n595 EXP\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "259 JUMPDEST crowdfunding()\n260 PUSH2 0x010b\n263 PUSH2 0x024a\n266 JUMP", "id": "985", "isExpanded": false, "label": "259 JUMPDEST crowdfunding()\n260 PUSH2 0x010b\n263 PUSH2 0x024a\n266 JUMP", "size": 150, "truncLabel": "259 JUMPDEST crowdfunding()\n260 PUSH2 0x010b\n263 PUSH2 0x024a\n266 JUMP"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "255 PUSH1 0x00\n257 DUP1\n258 REVERT", "id": "988", "isExpanded": false, "label": "255 PUSH1 0x00\n257 DUP1\n258 REVERT", "size": 150, "truncLabel": "255 PUSH1 0x00\n257 DUP1\n258 REVERT"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "248 JUMPDEST crowdfunding()\n249 CALLVALUE\n250 ISZERO\n251 PUSH2 0x0103\n254 JUMPI", "id": "984", "isExpanded": false, "label": "248 JUMPDEST crowdfunding()\n249 CALLVALUE\n250 ISZERO\n251 PUSH2 0x0103\n254 JUMPI", "size": 150, "truncLabel": "248 JUMPDEST crowdfunding()\n249 CALLVALUE\n250 ISZERO\n251 PUSH2 0x0103\n254 JUMPI"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "288 JUMPDEST withdrawfunds()\n289 STOP", "id": "995", "isExpanded": false, "label": "288 JUMPDEST withdrawfunds()\n289 STOP", "size": 150, "truncLabel": "288 JUMPDEST withdrawfunds()\n289 STOP"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "832 JUMPDEST withdrawfunds()\n833 JUMP", "id": "994", "isExpanded": false, "label": "832 JUMPDEST withdrawfunds()\n833 JUMP", "size": 150, "truncLabel": "832 JUMPDEST withdrawfunds()\n833 JUMP"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "828 PUSH1 0x00\n830 DUP1\n831 REVERT", "id": "996", "isExpanded": false, "label": "828 PUSH1 0x00\n830 DUP1\n831 REVERT", "size": 150, "truncLabel": "828 PUSH1 0x00\n830 DUP1\n831 REVERT"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "745 JUMPDEST withdrawfunds()\n746 CALLER\n747 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\n768 AND\n769 PUSH2 0x08fc\n772 ADDRESS\n773 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\n794 AND\n795 BALANCE\n796 SWAP1\n797 DUP2\n798 ISZERO\n799 MUL\n800 SWAP1\n801 PUSH1 0x40\n803 MLOAD\n804 PUSH1 0x00\n806 PUSH1 0x40\n808 MLOAD\n809 DUP1\n810 DUP4\n811 SUB\n812 DUP2\n813 DUP6\n814 DUP9\n815 DUP9\n816 CALL\n817 SWAP4\n818 POP\n819 POP\n820 POP\n821 POP\n822 ISZERO\n823 ISZERO\n824 PUSH2 0x0340\n827 JUMPI", "id": "993", "isExpanded": false, "label": "745 JUMPDEST withdrawfunds()\n746 CALLER\n747 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\n768 AND\n769 PUSH2 0x08fc\n772 ADDRESS\n(click to expand +)", "size": 150, "truncLabel": "745 JUMPDEST withdrawfunds()\n746 CALLER\n747 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\n768 AND\n769 PUSH2 0x08fc\n772 ADDRESS\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "741 PUSH1 0x00\n743 DUP1\n744 REVERT", "id": "997", "isExpanded": false, "label": "741 PUSH1 0x00\n743 DUP1\n744 REVERT", "size": 150, "truncLabel": "741 PUSH1 0x00\n743 DUP1\n744 REVERT"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "653 JUMPDEST withdrawfunds()\n654 PUSH1 0x01\n656 PUSH1 0x00\n658 SWAP1\n659 SLOAD\n660 SWAP1\n661 PUSH2 0x0100\n664 EXP\n665 SWAP1\n666 DIV\n667 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\n688 AND\n689 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\n710 AND\n711 CALLER\n712 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\n733 AND\n734 EQ\n735 ISZERO\n736 ISZERO\n737 PUSH2 0x02e9\n740 JUMPI", "id": "992", "isExpanded": false, "label": "653 JUMPDEST withdrawfunds()\n654 PUSH1 0x01\n656 PUSH1 0x00\n658 SWAP1\n659 SLOAD\n660 SWAP1\n(click to expand +)", "size": 150, "truncLabel": "653 JUMPDEST withdrawfunds()\n654 PUSH1 0x01\n656 PUSH1 0x00\n658 SWAP1\n659 SLOAD\n660 SWAP1\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "280 JUMPDEST withdrawfunds()\n281 PUSH2 0x0120\n284 PUSH2 0x028d\n287 JUMP", "id": "991", "isExpanded": false, "label": "280 JUMPDEST withdrawfunds()\n281 PUSH2 0x0120\n284 PUSH2 0x028d\n287 JUMP", "size": 150, "truncLabel": "280 JUMPDEST withdrawfunds()\n281 PUSH2 0x0120\n284 PUSH2 0x028d\n287 JUMP"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "276 PUSH1 0x00\n278 DUP1\n279 REVERT", "id": "998", "isExpanded": false, "label": "276 PUSH1 0x00\n278 DUP1\n279 REVERT", "size": 150, "truncLabel": "276 PUSH1 0x00\n278 DUP1\n279 REVERT"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "269 JUMPDEST withdrawfunds()\n270 CALLVALUE\n271 ISZERO\n272 PUSH2 0x0118\n275 JUMPI", "id": "990", "isExpanded": false, "label": "269 JUMPDEST withdrawfunds()\n270 CALLVALUE\n271 ISZERO\n272 PUSH2 0x0118\n275 JUMPI", "size": 150, "truncLabel": "269 JUMPDEST withdrawfunds()\n270 CALLVALUE\n271 ISZERO\n272 PUSH2 0x0118\n275 JUMPI"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "309 JUMPDEST _function_0x8da5cb5b\n310 PUSH1 0x40\n312 MLOAD\n313 DUP1\n314 DUP3\n315 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\n336 AND\n337 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\n358 AND\n359 DUP2\n360 MSTORE\n361 PUSH1 0x20\n363 ADD\n364 SWAP2\n365 POP\n366 POP\n367 PUSH1 0x40\n369 MLOAD\n370 DUP1\n371 SWAP2\n372 SUB\n373 SWAP1\n374 RETURN", "id": "1003", "isExpanded": false, "label": "309 JUMPDEST _function_0x8da5cb5b\n310 PUSH1 0x40\n312 MLOAD\n313 DUP1\n314 DUP3\n315 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\n(click to expand +)", "size": 150, "truncLabel": "309 JUMPDEST _function_0x8da5cb5b\n310 PUSH1 0x40\n312 MLOAD\n313 DUP1\n314 DUP3\n315 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "834 JUMPDEST _function_0x8da5cb5b\n835 PUSH1 0x01\n837 PUSH1 0x00\n839 SWAP1\n840 SLOAD\n841 SWAP1\n842 PUSH2 0x0100\n845 EXP\n846 SWAP1\n847 DIV\n848 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\n869 AND\n870 DUP2\n871 JUMP", "id": "1002", "isExpanded": false, "label": "834 JUMPDEST _function_0x8da5cb5b\n835 PUSH1 0x01\n837 PUSH1 0x00\n839 SWAP1\n840 SLOAD\n841 SWAP1\n(click to expand +)", "size": 150, "truncLabel": "834 JUMPDEST _function_0x8da5cb5b\n835 PUSH1 0x01\n837 PUSH1 0x00\n839 SWAP1\n840 SLOAD\n841 SWAP1\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "301 JUMPDEST _function_0x8da5cb5b\n302 PUSH2 0x0135\n305 PUSH2 0x0342\n308 JUMP", "id": "1001", "isExpanded": false, "label": "301 JUMPDEST _function_0x8da5cb5b\n302 PUSH2 0x0135\n305 PUSH2 0x0342\n308 JUMP", "size": 150, "truncLabel": "301 JUMPDEST _function_0x8da5cb5b\n302 PUSH2 0x0135\n305 PUSH2 0x0342\n308 JUMP"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "297 PUSH1 0x00\n299 DUP1\n300 REVERT", "id": "1004", "isExpanded": false, "label": "297 PUSH1 0x00\n299 DUP1\n300 REVERT", "size": 150, "truncLabel": "297 PUSH1 0x00\n299 DUP1\n300 REVERT"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "290 JUMPDEST _function_0x8da5cb5b\n291 CALLVALUE\n292 ISZERO\n293 PUSH2 0x012d\n296 JUMPI", "id": "1000", "isExpanded": false, "label": "290 JUMPDEST _function_0x8da5cb5b\n291 CALLVALUE\n292 ISZERO\n293 PUSH2 0x012d\n296 JUMPI", "size": 150, "truncLabel": "290 JUMPDEST _function_0x8da5cb5b\n291 CALLVALUE\n292 ISZERO\n293 PUSH2 0x012d\n296 JUMPI"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "383 JUMPDEST invest()\n384 STOP", "id": "1010", "isExpanded": false, "label": "383 JUMPDEST invest()\n384 STOP", "size": 150, "truncLabel": "383 JUMPDEST invest()\n384 STOP"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "414 JUMPDEST invest()\n415 CALLVALUE\n416 PUSH1 0x00\n418 DUP1\n419 CALLER\n420 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\n441 AND\n442 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\n463 AND\n464 DUP2\n465 MSTORE\n466 PUSH1 0x20\n468 ADD\n469 SWAP1\n470 DUP2\n471 MSTORE\n472 PUSH1 0x20\n474 ADD\n475 PUSH1 0x00\n477 SHA3\n478 PUSH1 0x00\n480 DUP3\n481 DUP3\n482 SLOAD\n483 ADD\n484 SWAP3\n485 POP\n486 POP\n487 DUP2\n488 SWAP1\n489 SSTORE\n490 POP\n491 JUMP", "id": "1009", "isExpanded": false, "label": "414 JUMPDEST invest()\n415 CALLVALUE\n416 PUSH1 0x00\n418 DUP1\n419 CALLER\n420 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\n(click to expand +)", "size": 150, "truncLabel": "414 JUMPDEST invest()\n415 CALLVALUE\n416 PUSH1 0x00\n418 DUP1\n419 CALLER\n420 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "410 PUSH1 0x00\n412 DUP1\n413 REVERT", "id": "1011", "isExpanded": false, "label": "410 PUSH1 0x00\n412 DUP1\n413 REVERT", "size": 150, "truncLabel": "410 PUSH1 0x00\n412 DUP1\n413 REVERT"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "403 JUMPDEST invest()\n404 ISZERO\n405 ISZERO\n406 PUSH2 0x019e\n409 JUMPI", "id": "1008", "isExpanded": false, "label": "403 JUMPDEST invest()\n404 ISZERO\n405 ISZERO\n406 PUSH2 0x019e\n409 JUMPI", "size": 150, "truncLabel": "403 JUMPDEST invest()\n404 ISZERO\n405 ISZERO\n406 PUSH2 0x019e\n409 JUMPI"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "383 JUMPDEST invest()\n384 STOP", "id": "1014", "isExpanded": false, "label": "383 JUMPDEST invest()\n384 STOP", "size": 150, "truncLabel": "383 JUMPDEST invest()\n384 STOP"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "414 JUMPDEST invest()\n415 CALLVALUE\n416 PUSH1 0x00\n418 DUP1\n419 CALLER\n420 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\n441 AND\n442 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\n463 AND\n464 DUP2\n465 MSTORE\n466 PUSH1 0x20\n468 ADD\n469 SWAP1\n470 DUP2\n471 MSTORE\n472 PUSH1 0x20\n474 ADD\n475 PUSH1 0x00\n477 SHA3\n478 PUSH1 0x00\n480 DUP3\n481 DUP3\n482 SLOAD\n483 ADD\n484 SWAP3\n485 POP\n486 POP\n487 DUP2\n488 SWAP1\n489 SSTORE\n490 POP\n491 JUMP", "id": "1013", "isExpanded": false, "label": "414 JUMPDEST invest()\n415 CALLVALUE\n416 PUSH1 0x00\n418 DUP1\n419 CALLER\n420 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\n(click to expand +)", "size": 150, "truncLabel": "414 JUMPDEST invest()\n415 CALLVALUE\n416 PUSH1 0x00\n418 DUP1\n419 CALLER\n420 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "410 PUSH1 0x00\n412 DUP1\n413 REVERT", "id": "1015", "isExpanded": false, "label": "410 PUSH1 0x00\n412 DUP1\n413 REVERT", "size": 150, "truncLabel": "410 PUSH1 0x00\n412 DUP1\n413 REVERT"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "397 POP\n398 PUSH1 0x03\n400 SLOAD\n401 CALLVALUE\n402 LT\n403 JUMPDEST invest()\n404 ISZERO\n405 ISZERO\n406 PUSH2 0x019e\n409 JUMPI", "id": "1012", "isExpanded": false, "label": "397 POP\n398 PUSH1 0x03\n400 SLOAD\n401 CALLVALUE\n402 LT\n403 JUMPDEST invest()\n(click to expand +)", "size": 150, "truncLabel": "397 POP\n398 PUSH1 0x03\n400 SLOAD\n401 CALLVALUE\n402 LT\n403 JUMPDEST invest()\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "385 JUMPDEST invest()\n386 PUSH1 0x02\n388 SLOAD\n389 CALLVALUE\n390 GT\n391 DUP1\n392 ISZERO\n393 PUSH2 0x0193\n396 JUMPI", "id": "1007", "isExpanded": false, "label": "385 JUMPDEST invest()\n386 PUSH1 0x02\n388 SLOAD\n389 CALLVALUE\n390 GT\n391 DUP1\n(click to expand +)", "size": 150, "truncLabel": "385 JUMPDEST invest()\n386 PUSH1 0x02\n388 SLOAD\n389 CALLVALUE\n390 GT\n391 DUP1\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "375 JUMPDEST invest()\n376 PUSH2 0x017f\n379 PUSH2 0x0181\n382 JUMP", "id": "1006", "isExpanded": false, "label": "375 JUMPDEST invest()\n376 PUSH2 0x017f\n379 PUSH2 0x0181\n382 JUMP", "size": 150, "truncLabel": "375 JUMPDEST invest()\n376 PUSH2 0x017f\n379 PUSH2 0x0181\n382 JUMP"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "128 JUMPDEST invest()\n129 STOP", "id": "1020", "isExpanded": false, "label": "128 JUMPDEST invest()\n129 STOP", "size": 150, "truncLabel": "128 JUMPDEST invest()\n129 STOP"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "414 JUMPDEST invest()\n415 CALLVALUE\n416 PUSH1 0x00\n418 DUP1\n419 CALLER\n420 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\n441 AND\n442 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\n463 AND\n464 DUP2\n465 MSTORE\n466 PUSH1 0x20\n468 ADD\n469 SWAP1\n470 DUP2\n471 MSTORE\n472 PUSH1 0x20\n474 ADD\n475 PUSH1 0x00\n477 SHA3\n478 PUSH1 0x00\n480 DUP3\n481 DUP3\n482 SLOAD\n483 ADD\n484 SWAP3\n485 POP\n486 POP\n487 DUP2\n488 SWAP1\n489 SSTORE\n490 POP\n491 JUMP", "id": "1019", "isExpanded": false, "label": "414 JUMPDEST invest()\n415 CALLVALUE\n416 PUSH1 0x00\n418 DUP1\n419 CALLER\n420 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\n(click to expand +)", "size": 150, "truncLabel": "414 JUMPDEST invest()\n415 CALLVALUE\n416 PUSH1 0x00\n418 DUP1\n419 CALLER\n420 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "410 PUSH1 0x00\n412 DUP1\n413 REVERT", "id": "1021", "isExpanded": false, "label": "410 PUSH1 0x00\n412 DUP1\n413 REVERT", "size": 150, "truncLabel": "410 PUSH1 0x00\n412 DUP1\n413 REVERT"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "403 JUMPDEST invest()\n404 ISZERO\n405 ISZERO\n406 PUSH2 0x019e\n409 JUMPI", "id": "1018", "isExpanded": false, "label": "403 JUMPDEST invest()\n404 ISZERO\n405 ISZERO\n406 PUSH2 0x019e\n409 JUMPI", "size": 150, "truncLabel": "403 JUMPDEST invest()\n404 ISZERO\n405 ISZERO\n406 PUSH2 0x019e\n409 JUMPI"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "128 JUMPDEST invest()\n129 STOP", "id": "1024", "isExpanded": false, "label": "128 JUMPDEST invest()\n129 STOP", "size": 150, "truncLabel": "128 JUMPDEST invest()\n129 STOP"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "414 JUMPDEST invest()\n415 CALLVALUE\n416 PUSH1 0x00\n418 DUP1\n419 CALLER\n420 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\n441 AND\n442 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\n463 AND\n464 DUP2\n465 MSTORE\n466 PUSH1 0x20\n468 ADD\n469 SWAP1\n470 DUP2\n471 MSTORE\n472 PUSH1 0x20\n474 ADD\n475 PUSH1 0x00\n477 SHA3\n478 PUSH1 0x00\n480 DUP3\n481 DUP3\n482 SLOAD\n483 ADD\n484 SWAP3\n485 POP\n486 POP\n487 DUP2\n488 SWAP1\n489 SSTORE\n490 POP\n491 JUMP", "id": "1023", "isExpanded": false, "label": "414 JUMPDEST invest()\n415 CALLVALUE\n416 PUSH1 0x00\n418 DUP1\n419 CALLER\n420 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\n(click to expand +)", "size": 150, "truncLabel": "414 JUMPDEST invest()\n415 CALLVALUE\n416 PUSH1 0x00\n418 DUP1\n419 CALLER\n420 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "410 PUSH1 0x00\n412 DUP1\n413 REVERT", "id": "1025", "isExpanded": false, "label": "410 PUSH1 0x00\n412 DUP1\n413 REVERT", "size": 150, "truncLabel": "410 PUSH1 0x00\n412 DUP1\n413 REVERT"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "397 POP\n398 PUSH1 0x03\n400 SLOAD\n401 CALLVALUE\n402 LT\n403 JUMPDEST invest()\n404 ISZERO\n405 ISZERO\n406 PUSH2 0x019e\n409 JUMPI", "id": "1022", "isExpanded": false, "label": "397 POP\n398 PUSH1 0x03\n400 SLOAD\n401 CALLVALUE\n402 LT\n403 JUMPDEST invest()\n(click to expand +)", "size": 150, "truncLabel": "397 POP\n398 PUSH1 0x03\n400 SLOAD\n401 CALLVALUE\n402 LT\n403 JUMPDEST invest()\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "385 JUMPDEST invest()\n386 PUSH1 0x02\n388 SLOAD\n389 CALLVALUE\n390 GT\n391 DUP1\n392 ISZERO\n393 PUSH2 0x0193\n396 JUMPI", "id": "1017", "isExpanded": false, "label": "385 JUMPDEST invest()\n386 PUSH1 0x02\n388 SLOAD\n389 CALLVALUE\n390 GT\n391 DUP1\n(click to expand +)", "size": 150, "truncLabel": "385 JUMPDEST invest()\n386 PUSH1 0x02\n388 SLOAD\n389 CALLVALUE\n390 GT\n391 DUP1\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "120 JUMPDEST invest()\n121 PUSH2 0x0080\n124 PUSH2 0x0181\n127 JUMP", "id": "1016", "isExpanded": false, "label": "120 JUMPDEST invest()\n121 PUSH2 0x0080\n124 PUSH2 0x0181\n127 JUMP", "size": 150, "truncLabel": "120 JUMPDEST invest()\n121 PUSH2 0x0080\n124 PUSH2 0x0181\n127 JUMP"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "109 DUP1\n110 PUSH4 0xe8b5e51f\n115 EQ\n116 PUSH2 0x0177\n119 JUMPI", "id": "1005", "isExpanded": false, "label": "109 DUP1\n110 PUSH4 0xe8b5e51f\n115 EQ\n116 PUSH2 0x0177\n119 JUMPI", "size": 150, "truncLabel": "109 DUP1\n110 PUSH4 0xe8b5e51f\n115 EQ\n116 PUSH2 0x0177\n119 JUMPI"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "98 DUP1\n99 PUSH4 0x8da5cb5b\n104 EQ\n105 PUSH2 0x0122\n108 JUMPI", "id": "999", "isExpanded": false, "label": "98 DUP1\n99 PUSH4 0x8da5cb5b\n104 EQ\n105 PUSH2 0x0122\n108 JUMPI", "size": 150, "truncLabel": "98 DUP1\n99 PUSH4 0x8da5cb5b\n104 EQ\n105 PUSH2 0x0122\n108 JUMPI"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "87 DUP1\n88 PUSH4 0x6c343ffe\n93 EQ\n94 PUSH2 0x010d\n97 JUMPI", "id": "989", "isExpanded": false, "label": "87 DUP1\n88 PUSH4 0x6c343ffe\n93 EQ\n94 PUSH2 0x010d\n97 JUMPI", "size": 150, "truncLabel": "87 DUP1\n88 PUSH4 0x6c343ffe\n93 EQ\n94 PUSH2 0x010d\n97 JUMPI"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "76 DUP1\n77 PUSH4 0x56885cd8\n82 EQ\n83 PUSH2 0x00f8\n86 JUMPI", "id": "983", "isExpanded": false, "label": "76 DUP1\n77 PUSH4 0x56885cd8\n82 EQ\n83 PUSH2 0x00f8\n86 JUMPI", "size": 150, "truncLabel": "76 DUP1\n77 PUSH4 0x56885cd8\n82 EQ\n83 PUSH2 0x00f8\n86 JUMPI"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "65 DUP1\n66 PUSH4 0x27e235e3\n71 EQ\n72 PUSH2 0x00ab\n75 JUMPI", "id": "977", "isExpanded": false, "label": "65 DUP1\n66 PUSH4 0x27e235e3\n71 EQ\n72 PUSH2 0x00ab\n75 JUMPI", "size": 150, "truncLabel": "65 DUP1\n66 PUSH4 0x27e235e3\n71 EQ\n72 PUSH2 0x00ab\n75 JUMPI"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "13 PUSH1 0x00\n15 CALLDATALOAD\n16 PUSH29 0x0100000000000000000000000000000000000000000000000000000000\n46 SWAP1\n47 DIV\n48 PUSH4 0xffffffff\n53 AND\n54 DUP1\n55 PUSH4 0x12065fe0\n60 EQ\n61 PUSH2 0x0082\n64 JUMPI", "id": "971", "isExpanded": false, "label": "13 PUSH1 0x00\n15 CALLDATALOAD\n16 PUSH29 0x0100000000000000000000000000000000000000000000000000000000\n46 SWAP1\n47 DIV\n48 PUSH4 0xffffffff\n(click to expand +)", "size": 150, "truncLabel": "13 PUSH1 0x00\n15 CALLDATALOAD\n16 PUSH29 0x0100000000000000000000000000000000000000000000000000000000\n46 SWAP1\n47 DIV\n48 PUSH4 0xffffffff\n(click to expand +)"}, {"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 0x0078\n12 JUMPI", "id": "960", "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 +)"}];
-        var edges = [{"arrows": "to", "from": "964", "label": "", "smooth": {"type": "cubicBezier"}, "to": "965"}, {"arrows": "to", "from": "963", "label": "Not(ULE(callvalue, storage_2))", "smooth": {"type": "cubicBezier"}, "to": "964"}, {"arrows": "to", "from": "963", "label": "ULE(callvalue, storage_2)", "smooth": {"type": "cubicBezier"}, "to": "966"}, {"arrows": "to", "from": "962", "label": "ULE(callvalue, storage_2)", "smooth": {"type": "cubicBezier"}, "to": "963"}, {"arrows": "to", "from": "968", "label": "", "smooth": {"type": "cubicBezier"}, "to": "969"}, {"arrows": "to", "from": "967", "label": "Not(ULE(storage_3, callvalue))", "smooth": {"type": "cubicBezier"}, "to": "968"}, {"arrows": "to", "from": "967", "label": "ULE(storage_3, callvalue)", "smooth": {"type": "cubicBezier"}, "to": "970"}, {"arrows": "to", "from": "962", "label": "Not(ULE(callvalue, storage_2))", "smooth": {"type": "cubicBezier"}, "to": "967"}, {"arrows": "to", "from": "961", "label": "", "smooth": {"type": "cubicBezier"}, "to": "962"}, {"arrows": "to", "from": "960", "label": "Not(ULE(4, calldatasize_Unknown))", "smooth": {"type": "cubicBezier"}, "to": "961"}, {"arrows": "to", "from": "974", "label": "", "smooth": {"type": "cubicBezier"}, "to": "975"}, {"arrows": "to", "from": "973", "label": "", "smooth": {"type": "cubicBezier"}, "to": "974"}, {"arrows": "to", "from": "972", "label": "callvalue == 0", "smooth": {"type": "cubicBezier"}, "to": "973"}, {"arrows": "to", "from": "972", "label": "Not(callvalue == 0)", "smooth": {"type": "cubicBezier"}, "to": "976"}, {"arrows": "to", "from": "971", "label": "Extract(0xff, 0xe0, calldata_Unknown_0) == 0x12065fe0", "smooth": {"type": "cubicBezier"}, "to": "972"}, {"arrows": "to", "from": "980", "label": "", "smooth": {"type": "cubicBezier"}, "to": "981"}, {"arrows": "to", "from": "979", "label": "", "smooth": {"type": "cubicBezier"}, "to": "980"}, {"arrows": "to", "from": "978", "label": "callvalue == 0", "smooth": {"type": "cubicBezier"}, "to": "979"}, {"arrows": "to", "from": "978", "label": "Not(callvalue == 0)", "smooth": {"type": "cubicBezier"}, "to": "982"}, {"arrows": "to", "from": "977", "label": "Extract(0xff, 0xe0, calldata_Unknown_0) == 0x27e235e3", "smooth": {"type": "cubicBezier"}, "to": "978"}, {"arrows": "to", "from": "986", "label": "", "smooth": {"type": "cubicBezier"}, "to": "987"}, {"arrows": "to", "from": "985", "label": "", "smooth": {"type": "cubicBezier"}, "to": "986"}, {"arrows": "to", "from": "984", "label": "callvalue == 0", "smooth": {"type": "cubicBezier"}, "to": "985"}, {"arrows": "to", "from": "984", "label": "Not(callvalue == 0)", "smooth": {"type": "cubicBezier"}, "to": "988"}, {"arrows": "to", "from": "983", "label": "Extract(0xff, 0xe0, calldata_Unknown_0) == 0x56885cd8", "smooth": {"type": "cubicBezier"}, "to": "984"}, {"arrows": "to", "from": "994", "label": "", "smooth": {"type": "cubicBezier"}, "to": "995"}, {"arrows": "to", "from": "993", "label": "Not(retval_816 == 0)", "smooth": {"type": "cubicBezier"}, "to": "994"}, {"arrows": "to", "from": "993", "label": "retval_816 == 0", "smooth": {"type": "cubicBezier"}, "to": "996"}, {"arrows": "to", "from": "992", "label": "Extract(0x9f, 0, caller) == Extract(0xa7, 8, storage_1)", "smooth": {"type": "cubicBezier"}, "to": "993"}, {"arrows": "to", "from": "992", "label": "Not(Extract(0x9f, 0, caller) == Extract(0xa7, 8, storage_1))", "smooth": {"type": "cubicBezier"}, "to": "997"}, {"arrows": "to", "from": "991", "label": "", "smooth": {"type": "cubicBezier"}, "to": "992"}, {"arrows": "to", "from": "990", "label": "callvalue == 0", "smooth": {"type": "cubicBezier"}, "to": "991"}, {"arrows": "to", "from": "990", "label": "Not(callvalue == 0)", "smooth": {"type": "cubicBezier"}, "to": "998"}, {"arrows": "to", "from": "989", "label": "Extract(0xff, 0xe0, calldata_Unknown_0) == 0x6c343ffe", "smooth": {"type": "cubicBezier"}, "to": "990"}, {"arrows": "to", "from": "1002", "label": "", "smooth": {"type": "cubicBezier"}, "to": "1003"}, {"arrows": "to", "from": "1001", "label": "", "smooth": {"type": "cubicBezier"}, "to": "1002"}, {"arrows": "to", "from": "1000", "label": "callvalue == 0", "smooth": {"type": "cubicBezier"}, "to": "1001"}, {"arrows": "to", "from": "1000", "label": "Not(callvalue == 0)", "smooth": {"type": "cubicBezier"}, "to": "1004"}, {"arrows": "to", "from": "999", "label": "Extract(0xff, 0xe0, calldata_Unknown_0) == 0x8da5cb5b", "smooth": {"type": "cubicBezier"}, "to": "1000"}, {"arrows": "to", "from": "1009", "label": "", "smooth": {"type": "cubicBezier"}, "to": "1010"}, {"arrows": "to", "from": "1008", "label": "Not(ULE(callvalue, storage_2))", "smooth": {"type": "cubicBezier"}, "to": "1009"}, {"arrows": "to", "from": "1008", "label": "ULE(callvalue, storage_2)", "smooth": {"type": "cubicBezier"}, "to": "1011"}, {"arrows": "to", "from": "1007", "label": "ULE(callvalue, storage_2)", "smooth": {"type": "cubicBezier"}, "to": "1008"}, {"arrows": "to", "from": "1013", "label": "", "smooth": {"type": "cubicBezier"}, "to": "1014"}, {"arrows": "to", "from": "1012", "label": "Not(ULE(storage_3, callvalue))", "smooth": {"type": "cubicBezier"}, "to": "1013"}, {"arrows": "to", "from": "1012", "label": "ULE(storage_3, callvalue)", "smooth": {"type": "cubicBezier"}, "to": "1015"}, {"arrows": "to", "from": "1007", "label": "Not(ULE(callvalue, storage_2))", "smooth": {"type": "cubicBezier"}, "to": "1012"}, {"arrows": "to", "from": "1006", "label": "", "smooth": {"type": "cubicBezier"}, "to": "1007"}, {"arrows": "to", "from": "1005", "label": "Extract(0xff, 0xe0, calldata_Unknown_0) == 0xe8b5e51f", "smooth": {"type": "cubicBezier"}, "to": "1006"}, {"arrows": "to", "from": "1019", "label": "", "smooth": {"type": "cubicBezier"}, "to": "1020"}, {"arrows": "to", "from": "1018", "label": "Not(ULE(callvalue, storage_2))", "smooth": {"type": "cubicBezier"}, "to": "1019"}, {"arrows": "to", "from": "1018", "label": "ULE(callvalue, storage_2)", "smooth": {"type": "cubicBezier"}, "to": "1021"}, {"arrows": "to", "from": "1017", "label": "ULE(callvalue, storage_2)", "smooth": {"type": "cubicBezier"}, "to": "1018"}, {"arrows": "to", "from": "1023", "label": "", "smooth": {"type": "cubicBezier"}, "to": "1024"}, {"arrows": "to", "from": "1022", "label": "Not(ULE(storage_3, callvalue))", "smooth": {"type": "cubicBezier"}, "to": "1023"}, {"arrows": "to", "from": "1022", "label": "ULE(storage_3, callvalue)", "smooth": {"type": "cubicBezier"}, "to": "1025"}, {"arrows": "to", "from": "1017", "label": "Not(ULE(callvalue, storage_2))", "smooth": {"type": "cubicBezier"}, "to": "1022"}, {"arrows": "to", "from": "1016", "label": "", "smooth": {"type": "cubicBezier"}, "to": "1017"}, {"arrows": "to", "from": "1005", "label": "Not(Extract(0xff, 0xe0, calldata_Unknown_0) == 0xe8b5e51f)", "smooth": {"type": "cubicBezier"}, "to": "1016"}, {"arrows": "to", "from": "999", "label": "Not(Extract(0xff, 0xe0, calldata_Unknown_0) == 0x8da5cb5b)", "smooth": {"type": "cubicBezier"}, "to": "1005"}, {"arrows": "to", "from": "989", "label": "Not(Extract(0xff, 0xe0, calldata_Unknown_0) == 0x6c343ffe)", "smooth": {"type": "cubicBezier"}, "to": "999"}, {"arrows": "to", "from": "983", "label": "Not(Extract(0xff, 0xe0, calldata_Unknown_0) == 0x56885cd8)", "smooth": {"type": "cubicBezier"}, "to": "989"}, {"arrows": "to", "from": "977", "label": "Not(Extract(0xff, 0xe0, calldata_Unknown_0) == 0x27e235e3)", "smooth": {"type": "cubicBezier"}, "to": "983"}, {"arrows": "to", "from": "971", "label": "Not(Extract(0xff, 0xe0, calldata_Unknown_0) == 0x12065fe0)", "smooth": {"type": "cubicBezier"}, "to": "977"}, {"arrows": "to", "from": "960", "label": "ULE(4, calldatasize_Unknown)", "smooth": {"type": "cubicBezier"}, "to": "971"}];
+        var nodes = [{"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "120 JUMPDEST\n121 PUSH1 0x00\n123 DUP1\n124 REVERT", "id": "81", "isExpanded": false, "label": "120 JUMPDEST\n121 PUSH1 0x00\n123 DUP1\n124 REVERT", "size": 150, "truncLabel": "120 JUMPDEST\n121 PUSH1 0x00\n123 DUP1\n124 REVERT"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "146 JUMPDEST\n147 PUSH1 0x40\n149 MLOAD\n150 DUP1\n151 DUP3\n152 DUP2\n153 MSTORE\n154 PUSH1 0x20\n156 ADD\n157 SWAP2\n158 POP\n159 POP\n160 PUSH1 0x40\n162 MLOAD\n163 DUP1\n164 SWAP2\n165 SUB\n166 SWAP1\n167 RETURN", "id": "86", "isExpanded": false, "label": "146 JUMPDEST\n147 PUSH1 0x40\n149 MLOAD\n150 DUP1\n151 DUP3\n152 DUP2\n(click to expand +)", "size": 150, "truncLabel": "146 JUMPDEST\n147 PUSH1 0x40\n149 MLOAD\n150 DUP1\n151 DUP3\n152 DUP2\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "398 JUMPDEST\n399 PUSH1 0x00\n401 DUP1\n402 PUSH1 0x00\n404 CALLER\n405 PUSH20 0xffffffff(...)\n426 AND\n427 PUSH20 0xffffffff(...)\n448 AND\n449 DUP2\n450 MSTORE\n451 PUSH1 0x20\n453 ADD\n454 SWAP1\n455 DUP2\n456 MSTORE\n457 PUSH1 0x20\n459 ADD\n460 PUSH1 0x00\n462 SHA3\n463 SLOAD\n464 SWAP1\n465 POP\n466 SWAP1\n467 JUMP", "id": "85", "isExpanded": false, "label": "398 JUMPDEST\n399 PUSH1 0x00\n401 DUP1\n402 PUSH1 0x00\n404 CALLER\n405 PUSH20 0xffffffff(...)\n(click to expand +)", "size": 150, "truncLabel": "398 JUMPDEST\n399 PUSH1 0x00\n401 DUP1\n402 PUSH1 0x00\n404 CALLER\n405 PUSH20 0xffffffff(...)\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "137 JUMPDEST\n138 POP\n139 PUSH2 0x0092\n142 PUSH2 0x018e\n145 JUMP", "id": "84", "isExpanded": false, "label": "137 JUMPDEST\n138 POP\n139 PUSH2 0x0092\n142 PUSH2 0x018e\n145 JUMP", "size": 150, "truncLabel": "137 JUMPDEST\n138 POP\n139 PUSH2 0x0092\n142 PUSH2 0x018e\n145 JUMP"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "133 PUSH1 0x00\n135 DUP1\n136 REVERT", "id": "87", "isExpanded": false, "label": "133 PUSH1 0x00\n135 DUP1\n136 REVERT", "size": 150, "truncLabel": "133 PUSH1 0x00\n135 DUP1\n136 REVERT"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "_function_0x12065fe0\n126 CALLVALUE\n127 DUP1\n128 ISZERO\n129 PUSH2 0x0089\n132 JUMPI", "id": "83", "isExpanded": false, "label": "_function_0x12065fe0\n126 CALLVALUE\n127 DUP1\n128 ISZERO\n129 PUSH2 0x0089\n132 JUMPI", "size": 150, "truncLabel": "_function_0x12065fe0\n126 CALLVALUE\n127 DUP1\n128 ISZERO\n129 PUSH2 0x0089\n132 JUMPI"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "233 JUMPDEST\n234 PUSH1 0x40\n236 MLOAD\n237 DUP1\n238 DUP3\n239 DUP2\n240 MSTORE\n241 PUSH1 0x20\n243 ADD\n244 SWAP2\n245 POP\n246 POP\n247 PUSH1 0x40\n249 MLOAD\n250 DUP1\n251 SWAP2\n252 SUB\n253 SWAP1\n254 RETURN", "id": "92", "isExpanded": false, "label": "233 JUMPDEST\n234 PUSH1 0x40\n236 MLOAD\n237 DUP1\n238 DUP3\n239 DUP2\n(click to expand +)", "size": 150, "truncLabel": "233 JUMPDEST\n234 PUSH1 0x40\n236 MLOAD\n237 DUP1\n238 DUP3\n239 DUP2\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "468 JUMPDEST\n469 PUSH1 0x00\n471 PUSH1 0x20\n473 MSTORE\n474 DUP1\n475 PUSH1 0x00\n477 MSTORE\n478 PUSH1 0x40\n480 PUSH1 0x00\n482 SHA3\n483 PUSH1 0x00\n485 SWAP2\n486 POP\n487 SWAP1\n488 POP\n489 SLOAD\n490 DUP2\n491 JUMP", "id": "91", "isExpanded": false, "label": "468 JUMPDEST\n469 PUSH1 0x00\n471 PUSH1 0x20\n473 MSTORE\n474 DUP1\n475 PUSH1 0x00\n(click to expand +)", "size": 150, "truncLabel": "468 JUMPDEST\n469 PUSH1 0x00\n471 PUSH1 0x20\n473 MSTORE\n474 DUP1\n475 PUSH1 0x00\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "180 JUMPDEST\n181 POP\n182 PUSH2 0x00e9\n185 PUSH1 0x04\n187 DUP1\n188 CALLDATASIZE\n189 SUB\n190 DUP2\n191 ADD\n192 SWAP1\n193 DUP1\n194 DUP1\n195 CALLDATALOAD\n196 PUSH20 0xffffffff(...)\n217 AND\n218 SWAP1\n219 PUSH1 0x20\n221 ADD\n222 SWAP1\n223 SWAP3\n224 SWAP2\n225 SWAP1\n226 POP\n227 POP\n228 POP\n229 PUSH2 0x01d4\n232 JUMP", "id": "90", "isExpanded": false, "label": "180 JUMPDEST\n181 POP\n182 PUSH2 0x00e9\n185 PUSH1 0x04\n187 DUP1\n188 CALLDATASIZE\n(click to expand +)", "size": 150, "truncLabel": "180 JUMPDEST\n181 POP\n182 PUSH2 0x00e9\n185 PUSH1 0x04\n187 DUP1\n188 CALLDATASIZE\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "176 PUSH1 0x00\n178 DUP1\n179 REVERT", "id": "93", "isExpanded": false, "label": "176 PUSH1 0x00\n178 DUP1\n179 REVERT", "size": 150, "truncLabel": "176 PUSH1 0x00\n178 DUP1\n179 REVERT"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "_function_0x27e235e3\n169 CALLVALUE\n170 DUP1\n171 ISZERO\n172 PUSH2 0x00b4\n175 JUMPI", "id": "89", "isExpanded": false, "label": "_function_0x27e235e3\n169 CALLVALUE\n170 DUP1\n171 ISZERO\n172 PUSH2 0x00b4\n175 JUMPI", "size": 150, "truncLabel": "_function_0x27e235e3\n169 CALLVALUE\n170 DUP1\n171 ISZERO\n172 PUSH2 0x00b4\n175 JUMPI"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "276 JUMPDEST\n277 STOP", "id": "98", "isExpanded": false, "label": "276 JUMPDEST\n277 STOP", "size": 150, "truncLabel": "276 JUMPDEST\n277 STOP"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "492 JUMPDEST\n493 CALLER\n494 PUSH1 0x01\n496 PUSH1 0x00\n498 PUSH2 0x0100\n501 EXP\n502 DUP2\n503 SLOAD\n504 DUP2\n505 PUSH20 0xffffffff(...)\n526 MUL\n527 NOT\n528 AND\n529 SWAP1\n530 DUP4\n531 PUSH20 0xffffffff(...)\n552 AND\n553 MUL\n554 OR\n555 SWAP1\n556 SSTORE\n557 POP\n558 JUMP", "id": "97", "isExpanded": false, "label": "492 JUMPDEST\n493 CALLER\n494 PUSH1 0x01\n496 PUSH1 0x00\n498 PUSH2 0x0100\n501 EXP\n(click to expand +)", "size": 150, "truncLabel": "492 JUMPDEST\n493 CALLER\n494 PUSH1 0x01\n496 PUSH1 0x00\n498 PUSH2 0x0100\n501 EXP\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "267 JUMPDEST\n268 POP\n269 PUSH2 0x0114\n272 PUSH2 0x01ec\n275 JUMP", "id": "96", "isExpanded": false, "label": "267 JUMPDEST\n268 POP\n269 PUSH2 0x0114\n272 PUSH2 0x01ec\n275 JUMP", "size": 150, "truncLabel": "267 JUMPDEST\n268 POP\n269 PUSH2 0x0114\n272 PUSH2 0x01ec\n275 JUMP"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "263 PUSH1 0x00\n265 DUP1\n266 REVERT", "id": "99", "isExpanded": false, "label": "263 PUSH1 0x00\n265 DUP1\n266 REVERT", "size": 150, "truncLabel": "263 PUSH1 0x00\n265 DUP1\n266 REVERT"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "crowdfunding()\n256 CALLVALUE\n257 DUP1\n258 ISZERO\n259 PUSH2 0x010b\n262 JUMPI", "id": "95", "isExpanded": false, "label": "crowdfunding()\n256 CALLVALUE\n257 DUP1\n258 ISZERO\n259 PUSH2 0x010b\n262 JUMPI", "size": 150, "truncLabel": "crowdfunding()\n256 CALLVALUE\n257 DUP1\n258 ISZERO\n259 PUSH2 0x010b\n262 JUMPI"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "299 JUMPDEST\n300 STOP", "id": "106", "isExpanded": false, "label": "299 JUMPDEST\n300 STOP", "size": 150, "truncLabel": "299 JUMPDEST\n300 STOP"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "744 JUMPDEST\n745 POP\n746 JUMP", "id": "105", "isExpanded": false, "label": "744 JUMPDEST\n745 POP\n746 JUMP", "size": 150, "truncLabel": "744 JUMPDEST\n745 POP\n746 JUMP"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "735 RETURNDATASIZE\n736 PUSH1 0x00\n738 DUP1\n739 RETURNDATACOPY\n740 RETURNDATASIZE\n741 PUSH1 0x00\n743 REVERT", "id": "107", "isExpanded": false, "label": "735 RETURNDATASIZE\n736 PUSH1 0x00\n738 DUP1\n739 RETURNDATACOPY\n740 RETURNDATASIZE\n741 PUSH1 0x00\n(click to expand +)", "size": 150, "truncLabel": "735 RETURNDATASIZE\n736 PUSH1 0x00\n738 DUP1\n739 RETURNDATACOPY\n740 RETURNDATASIZE\n741 PUSH1 0x00\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "651 JUMPDEST\n652 CALLER\n653 PUSH20 0xffffffff(...)\n674 AND\n675 PUSH2 0x08fc\n678 ADDRESS\n679 PUSH20 0xffffffff(...)\n700 AND\n701 BALANCE\n702 SWAP1\n703 DUP2\n704 ISZERO\n705 MUL\n706 SWAP1\n707 PUSH1 0x40\n709 MLOAD\n710 PUSH1 0x00\n712 PUSH1 0x40\n714 MLOAD\n715 DUP1\n716 DUP4\n717 SUB\n718 DUP2\n719 DUP6\n720 DUP9\n721 DUP9\n722 CALL\n723 SWAP4\n724 POP\n725 POP\n726 POP\n727 POP\n728 ISZERO\n729 DUP1\n730 ISZERO\n731 PUSH2 0x02e8\n734 JUMPI", "id": "104", "isExpanded": false, "label": "651 JUMPDEST\n652 CALLER\n653 PUSH20 0xffffffff(...)\n674 AND\n675 PUSH2 0x08fc\n678 ADDRESS\n(click to expand +)", "size": 150, "truncLabel": "651 JUMPDEST\n652 CALLER\n653 PUSH20 0xffffffff(...)\n674 AND\n675 PUSH2 0x08fc\n678 ADDRESS\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "647 PUSH1 0x00\n649 DUP1\n650 REVERT", "id": "108", "isExpanded": false, "label": "647 PUSH1 0x00\n649 DUP1\n650 REVERT", "size": 150, "truncLabel": "647 PUSH1 0x00\n649 DUP1\n650 REVERT"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "559 JUMPDEST\n560 PUSH1 0x01\n562 PUSH1 0x00\n564 SWAP1\n565 SLOAD\n566 SWAP1\n567 PUSH2 0x0100\n570 EXP\n571 SWAP1\n572 DIV\n573 PUSH20 0xffffffff(...)\n594 AND\n595 PUSH20 0xffffffff(...)\n616 AND\n617 CALLER\n618 PUSH20 0xffffffff(...)\n639 AND\n640 EQ\n641 ISZERO\n642 ISZERO\n643 PUSH2 0x028b\n646 JUMPI", "id": "103", "isExpanded": false, "label": "559 JUMPDEST\n560 PUSH1 0x01\n562 PUSH1 0x00\n564 SWAP1\n565 SLOAD\n566 SWAP1\n(click to expand +)", "size": 150, "truncLabel": "559 JUMPDEST\n560 PUSH1 0x01\n562 PUSH1 0x00\n564 SWAP1\n565 SLOAD\n566 SWAP1\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "290 JUMPDEST\n291 POP\n292 PUSH2 0x012b\n295 PUSH2 0x022f\n298 JUMP", "id": "102", "isExpanded": false, "label": "290 JUMPDEST\n291 POP\n292 PUSH2 0x012b\n295 PUSH2 0x022f\n298 JUMP", "size": 150, "truncLabel": "290 JUMPDEST\n291 POP\n292 PUSH2 0x012b\n295 PUSH2 0x022f\n298 JUMP"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "286 PUSH1 0x00\n288 DUP1\n289 REVERT", "id": "109", "isExpanded": false, "label": "286 PUSH1 0x00\n288 DUP1\n289 REVERT", "size": 150, "truncLabel": "286 PUSH1 0x00\n288 DUP1\n289 REVERT"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "withdrawfunds()\n279 CALLVALUE\n280 DUP1\n281 ISZERO\n282 PUSH2 0x0122\n285 JUMPI", "id": "101", "isExpanded": false, "label": "withdrawfunds()\n279 CALLVALUE\n280 DUP1\n281 ISZERO\n282 PUSH2 0x0122\n285 JUMPI", "size": 150, "truncLabel": "withdrawfunds()\n279 CALLVALUE\n280 DUP1\n281 ISZERO\n282 PUSH2 0x0122\n285 JUMPI"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "322 JUMPDEST\n323 PUSH1 0x40\n325 MLOAD\n326 DUP1\n327 DUP3\n328 PUSH20 0xffffffff(...)\n349 AND\n350 PUSH20 0xffffffff(...)\n371 AND\n372 DUP2\n373 MSTORE\n374 PUSH1 0x20\n376 ADD\n377 SWAP2\n378 POP\n379 POP\n380 PUSH1 0x40\n382 MLOAD\n383 DUP1\n384 SWAP2\n385 SUB\n386 SWAP1\n387 RETURN", "id": "114", "isExpanded": false, "label": "322 JUMPDEST\n323 PUSH1 0x40\n325 MLOAD\n326 DUP1\n327 DUP3\n328 PUSH20 0xffffffff(...)\n(click to expand +)", "size": 150, "truncLabel": "322 JUMPDEST\n323 PUSH1 0x40\n325 MLOAD\n326 DUP1\n327 DUP3\n328 PUSH20 0xffffffff(...)\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "747 JUMPDEST\n748 PUSH1 0x01\n750 PUSH1 0x00\n752 SWAP1\n753 SLOAD\n754 SWAP1\n755 PUSH2 0x0100\n758 EXP\n759 SWAP1\n760 DIV\n761 PUSH20 0xffffffff(...)\n782 AND\n783 DUP2\n784 JUMP", "id": "113", "isExpanded": false, "label": "747 JUMPDEST\n748 PUSH1 0x01\n750 PUSH1 0x00\n752 SWAP1\n753 SLOAD\n754 SWAP1\n(click to expand +)", "size": 150, "truncLabel": "747 JUMPDEST\n748 PUSH1 0x01\n750 PUSH1 0x00\n752 SWAP1\n753 SLOAD\n754 SWAP1\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "313 JUMPDEST\n314 POP\n315 PUSH2 0x0142\n318 PUSH2 0x02eb\n321 JUMP", "id": "112", "isExpanded": false, "label": "313 JUMPDEST\n314 POP\n315 PUSH2 0x0142\n318 PUSH2 0x02eb\n321 JUMP", "size": 150, "truncLabel": "313 JUMPDEST\n314 POP\n315 PUSH2 0x0142\n318 PUSH2 0x02eb\n321 JUMP"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "309 PUSH1 0x00\n311 DUP1\n312 REVERT", "id": "115", "isExpanded": false, "label": "309 PUSH1 0x00\n311 DUP1\n312 REVERT", "size": 150, "truncLabel": "309 PUSH1 0x00\n311 DUP1\n312 REVERT"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "_function_0x8da5cb5b\n302 CALLVALUE\n303 DUP1\n304 ISZERO\n305 PUSH2 0x0139\n308 JUMPI", "id": "111", "isExpanded": false, "label": "_function_0x8da5cb5b\n302 CALLVALUE\n303 DUP1\n304 ISZERO\n305 PUSH2 0x0139\n308 JUMPI", "size": 150, "truncLabel": "_function_0x8da5cb5b\n302 CALLVALUE\n303 DUP1\n304 ISZERO\n305 PUSH2 0x0139\n308 JUMPI"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "396 JUMPDEST\n397 STOP", "id": "121", "isExpanded": false, "label": "396 JUMPDEST\n397 STOP", "size": 150, "truncLabel": "396 JUMPDEST\n397 STOP"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "814 JUMPDEST\n815 CALLVALUE\n816 PUSH1 0x00\n818 DUP1\n819 CALLER\n820 PUSH20 0xffffffff(...)\n841 AND\n842 PUSH20 0xffffffff(...)\n863 AND\n864 DUP2\n865 MSTORE\n866 PUSH1 0x20\n868 ADD\n869 SWAP1\n870 DUP2\n871 MSTORE\n872 PUSH1 0x20\n874 ADD\n875 PUSH1 0x00\n877 SHA3\n878 PUSH1 0x00\n880 DUP3\n881 DUP3\n882 SLOAD\n883 ADD\n884 SWAP3\n885 POP\n886 POP\n887 DUP2\n888 SWAP1\n889 SSTORE\n890 POP\n891 JUMP", "id": "120", "isExpanded": false, "label": "814 JUMPDEST\n815 CALLVALUE\n816 PUSH1 0x00\n818 DUP1\n819 CALLER\n820 PUSH20 0xffffffff(...)\n(click to expand +)", "size": 150, "truncLabel": "814 JUMPDEST\n815 CALLVALUE\n816 PUSH1 0x00\n818 DUP1\n819 CALLER\n820 PUSH20 0xffffffff(...)\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "810 PUSH1 0x00\n812 DUP1\n813 REVERT", "id": "122", "isExpanded": false, "label": "810 PUSH1 0x00\n812 DUP1\n813 REVERT", "size": 150, "truncLabel": "810 PUSH1 0x00\n812 DUP1\n813 REVERT"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "803 JUMPDEST\n804 ISZERO\n805 ISZERO\n806 PUSH2 0x032e\n809 JUMPI", "id": "119", "isExpanded": false, "label": "803 JUMPDEST\n804 ISZERO\n805 ISZERO\n806 PUSH2 0x032e\n809 JUMPI", "size": 150, "truncLabel": "803 JUMPDEST\n804 ISZERO\n805 ISZERO\n806 PUSH2 0x032e\n809 JUMPI"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "396 JUMPDEST\n397 STOP", "id": "125", "isExpanded": false, "label": "396 JUMPDEST\n397 STOP", "size": 150, "truncLabel": "396 JUMPDEST\n397 STOP"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "814 JUMPDEST\n815 CALLVALUE\n816 PUSH1 0x00\n818 DUP1\n819 CALLER\n820 PUSH20 0xffffffff(...)\n841 AND\n842 PUSH20 0xffffffff(...)\n863 AND\n864 DUP2\n865 MSTORE\n866 PUSH1 0x20\n868 ADD\n869 SWAP1\n870 DUP2\n871 MSTORE\n872 PUSH1 0x20\n874 ADD\n875 PUSH1 0x00\n877 SHA3\n878 PUSH1 0x00\n880 DUP3\n881 DUP3\n882 SLOAD\n883 ADD\n884 SWAP3\n885 POP\n886 POP\n887 DUP2\n888 SWAP1\n889 SSTORE\n890 POP\n891 JUMP", "id": "124", "isExpanded": false, "label": "814 JUMPDEST\n815 CALLVALUE\n816 PUSH1 0x00\n818 DUP1\n819 CALLER\n820 PUSH20 0xffffffff(...)\n(click to expand +)", "size": 150, "truncLabel": "814 JUMPDEST\n815 CALLVALUE\n816 PUSH1 0x00\n818 DUP1\n819 CALLER\n820 PUSH20 0xffffffff(...)\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "810 PUSH1 0x00\n812 DUP1\n813 REVERT", "id": "126", "isExpanded": false, "label": "810 PUSH1 0x00\n812 DUP1\n813 REVERT", "size": 150, "truncLabel": "810 PUSH1 0x00\n812 DUP1\n813 REVERT"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "797 POP\n798 PUSH1 0x03\n800 SLOAD\n801 CALLVALUE\n802 LT\n803 JUMPDEST\n804 ISZERO\n805 ISZERO\n806 PUSH2 0x032e\n809 JUMPI", "id": "123", "isExpanded": false, "label": "797 POP\n798 PUSH1 0x03\n800 SLOAD\n801 CALLVALUE\n802 LT\n803 JUMPDEST\n(click to expand +)", "size": 150, "truncLabel": "797 POP\n798 PUSH1 0x03\n800 SLOAD\n801 CALLVALUE\n802 LT\n803 JUMPDEST\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "785 JUMPDEST\n786 PUSH1 0x02\n788 SLOAD\n789 CALLVALUE\n790 GT\n791 DUP1\n792 ISZERO\n793 PUSH2 0x0323\n796 JUMPI", "id": "118", "isExpanded": false, "label": "785 JUMPDEST\n786 PUSH1 0x02\n788 SLOAD\n789 CALLVALUE\n790 GT\n791 DUP1\n(click to expand +)", "size": 150, "truncLabel": "785 JUMPDEST\n786 PUSH1 0x02\n788 SLOAD\n789 CALLVALUE\n790 GT\n791 DUP1\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "invest()\n389 PUSH2 0x018c\n392 PUSH2 0x0311\n395 JUMP", "id": "117", "isExpanded": false, "label": "invest()\n389 PUSH2 0x018c\n392 PUSH2 0x0311\n395 JUMP", "size": 150, "truncLabel": "invest()\n389 PUSH2 0x018c\n392 PUSH2 0x0311\n395 JUMP"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "120 JUMPDEST\n121 PUSH1 0x00\n123 DUP1\n124 REVERT", "id": "127", "isExpanded": false, "label": "120 JUMPDEST\n121 PUSH1 0x00\n123 DUP1\n124 REVERT", "size": 150, "truncLabel": "120 JUMPDEST\n121 PUSH1 0x00\n123 DUP1\n124 REVERT"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "109 DUP1\n110 PUSH4 0xe8b5e51f\n115 EQ\n116 PUSH2 0x0184\n119 JUMPI", "id": "116", "isExpanded": false, "label": "109 DUP1\n110 PUSH4 0xe8b5e51f\n115 EQ\n116 PUSH2 0x0184\n119 JUMPI", "size": 150, "truncLabel": "109 DUP1\n110 PUSH4 0xe8b5e51f\n115 EQ\n116 PUSH2 0x0184\n119 JUMPI"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "98 DUP1\n99 PUSH4 0x8da5cb5b\n104 EQ\n105 PUSH2 0x012d\n108 JUMPI", "id": "110", "isExpanded": false, "label": "98 DUP1\n99 PUSH4 0x8da5cb5b\n104 EQ\n105 PUSH2 0x012d\n108 JUMPI", "size": 150, "truncLabel": "98 DUP1\n99 PUSH4 0x8da5cb5b\n104 EQ\n105 PUSH2 0x012d\n108 JUMPI"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "87 DUP1\n88 PUSH4 0x6c343ffe\n93 EQ\n94 PUSH2 0x0116\n97 JUMPI", "id": "100", "isExpanded": false, "label": "87 DUP1\n88 PUSH4 0x6c343ffe\n93 EQ\n94 PUSH2 0x0116\n97 JUMPI", "size": 150, "truncLabel": "87 DUP1\n88 PUSH4 0x6c343ffe\n93 EQ\n94 PUSH2 0x0116\n97 JUMPI"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "76 DUP1\n77 PUSH4 0x56885cd8\n82 EQ\n83 PUSH2 0x00ff\n86 JUMPI", "id": "94", "isExpanded": false, "label": "76 DUP1\n77 PUSH4 0x56885cd8\n82 EQ\n83 PUSH2 0x00ff\n86 JUMPI", "size": 150, "truncLabel": "76 DUP1\n77 PUSH4 0x56885cd8\n82 EQ\n83 PUSH2 0x00ff\n86 JUMPI"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "65 DUP1\n66 PUSH4 0x27e235e3\n71 EQ\n72 PUSH2 0x00a8\n75 JUMPI", "id": "88", "isExpanded": false, "label": "65 DUP1\n66 PUSH4 0x27e235e3\n71 EQ\n72 PUSH2 0x00a8\n75 JUMPI", "size": 150, "truncLabel": "65 DUP1\n66 PUSH4 0x27e235e3\n71 EQ\n72 PUSH2 0x00a8\n75 JUMPI"}, {"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 0x12065fe0\n60 EQ\n61 PUSH2 0x007d\n64 JUMPI", "id": "82", "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": "0 PUSH1 0x80\n2 PUSH1 0x40\n4 MSTORE\n5 PUSH1 0x04\n7 CALLDATASIZE\n8 LT\n9 PUSH2 0x0078\n12 JUMPI", "id": "80", "isExpanded": false, "label": "0 PUSH1 0x80\n2 PUSH1 0x40\n4 MSTORE\n5 PUSH1 0x04\n7 CALLDATASIZE\n8 LT\n(click to expand +)", "size": 150, "truncLabel": "0 PUSH1 0x80\n2 PUSH1 0x40\n4 MSTORE\n5 PUSH1 0x04\n7 CALLDATASIZE\n8 LT\n(click to expand +)"}];
+        var edges = [{"arrows": "to", "from": "80", "label": "Not(ULE(4, calldatasize_Unknown))", "smooth": {"type": "cubicBezier"}, "to": "81"}, {"arrows": "to", "from": "85", "label": "", "smooth": {"type": "cubicBezier"}, "to": "86"}, {"arrows": "to", "from": "84", "label": "", "smooth": {"type": "cubicBezier"}, "to": "85"}, {"arrows": "to", "from": "83", "label": "callvalue == 0", "smooth": {"type": "cubicBezier"}, "to": "84"}, {"arrows": "to", "from": "83", "label": "Not(callvalue == 0)", "smooth": {"type": "cubicBezier"}, "to": "87"}, {"arrows": "to", "from": "82", "label": "Extract(0xff, 0xe0, calldata_Unknown_0) == 0x12065fe0", "smooth": {"type": "cubicBezier"}, "to": "83"}, {"arrows": "to", "from": "91", "label": "", "smooth": {"type": "cubicBezier"}, "to": "92"}, {"arrows": "to", "from": "90", "label": "", "smooth": {"type": "cubicBezier"}, "to": "91"}, {"arrows": "to", "from": "89", "label": "callvalue == 0", "smooth": {"type": "cubicBezier"}, "to": "90"}, {"arrows": "to", "from": "89", "label": "Not(callvalue == 0)", "smooth": {"type": "cubicBezier"}, "to": "93"}, {"arrows": "to", "from": "88", "label": "Extract(0xff, 0xe0, calldata_Unknown_0) == 0x27e235e3", "smooth": {"type": "cubicBezier"}, "to": "89"}, {"arrows": "to", "from": "97", "label": "", "smooth": {"type": "cubicBezier"}, "to": "98"}, {"arrows": "to", "from": "96", "label": "", "smooth": {"type": "cubicBezier"}, "to": "97"}, {"arrows": "to", "from": "95", "label": "callvalue == 0", "smooth": {"type": "cubicBezier"}, "to": "96"}, {"arrows": "to", "from": "95", "label": "Not(callvalue == 0)", "smooth": {"type": "cubicBezier"}, "to": "99"}, {"arrows": "to", "from": "94", "label": "Extract(0xff, 0xe0, calldata_Unknown_0) == 0x56885cd8", "smooth": {"type": "cubicBezier"}, "to": "95"}, {"arrows": "to", "from": "105", "label": "", "smooth": {"type": "cubicBezier"}, "to": "106"}, {"arrows": "to", "from": "104", "label": "Not(retval_722 == 0)", "smooth": {"type": "cubicBezier"}, "to": "105"}, {"arrows": "to", "from": "104", "label": "retval_722 == 0", "smooth": {"type": "cubicBezier"}, "to": "107"}, {"arrows": "to", "from": "103", "label": "Extract(0x9f, 0, caller) == Extract(0xa7, 8, storage_1)", "smooth": {"type": "cubicBezier"}, "to": "104"}, {"arrows": "to", "from": "103", "label": "Not(Extract(0x9f, 0, caller) == Extract(0xa7, 8, storage_1))", "smooth": {"type": "cubicBezier"}, "to": "108"}, {"arrows": "to", "from": "102", "label": "", "smooth": {"type": "cubicBezier"}, "to": "103"}, {"arrows": "to", "from": "101", "label": "callvalue == 0", "smooth": {"type": "cubicBezier"}, "to": "102"}, {"arrows": "to", "from": "101", "label": "Not(callvalue == 0)", "smooth": {"type": "cubicBezier"}, "to": "109"}, {"arrows": "to", "from": "100", "label": "Extract(0xff, 0xe0, calldata_Unknown_0) == 0x6c343ffe", "smooth": {"type": "cubicBezier"}, "to": "101"}, {"arrows": "to", "from": "113", "label": "", "smooth": {"type": "cubicBezier"}, "to": "114"}, {"arrows": "to", "from": "112", "label": "", "smooth": {"type": "cubicBezier"}, "to": "113"}, {"arrows": "to", "from": "111", "label": "callvalue == 0", "smooth": {"type": "cubicBezier"}, "to": "112"}, {"arrows": "to", "from": "111", "label": "Not(callvalue == 0)", "smooth": {"type": "cubicBezier"}, "to": "115"}, {"arrows": "to", "from": "110", "label": "Extract(0xff, 0xe0, calldata_Unknown_0) == 0x8da5cb5b", "smooth": {"type": "cubicBezier"}, "to": "111"}, {"arrows": "to", "from": "120", "label": "", "smooth": {"type": "cubicBezier"}, "to": "121"}, {"arrows": "to", "from": "119", "label": "Not(ULE(callvalue, storage_2))", "smooth": {"type": "cubicBezier"}, "to": "120"}, {"arrows": "to", "from": "119", "label": "ULE(callvalue, storage_2)", "smooth": {"type": "cubicBezier"}, "to": "122"}, {"arrows": "to", "from": "118", "label": "ULE(callvalue, storage_2)", "smooth": {"type": "cubicBezier"}, "to": "119"}, {"arrows": "to", "from": "124", "label": "", "smooth": {"type": "cubicBezier"}, "to": "125"}, {"arrows": "to", "from": "123", "label": "Not(ULE(storage_3, callvalue))", "smooth": {"type": "cubicBezier"}, "to": "124"}, {"arrows": "to", "from": "123", "label": "ULE(storage_3, callvalue)", "smooth": {"type": "cubicBezier"}, "to": "126"}, {"arrows": "to", "from": "118", "label": "Not(ULE(callvalue, storage_2))", "smooth": {"type": "cubicBezier"}, "to": "123"}, {"arrows": "to", "from": "117", "label": "", "smooth": {"type": "cubicBezier"}, "to": "118"}, {"arrows": "to", "from": "116", "label": "Extract(0xff, 0xe0, calldata_Unknown_0) == 0xe8b5e51f", "smooth": {"type": "cubicBezier"}, "to": "117"}, {"arrows": "to", "from": "116", "label": "Not(Extract(0xff, 0xe0, calldata_Unknown_0) == 0xe8b5e51f)", "smooth": {"type": "cubicBezier"}, "to": "127"}, {"arrows": "to", "from": "110", "label": "Not(Extract(0xff, 0xe0, calldata_Unknown_0) == 0x8da5cb5b)", "smooth": {"type": "cubicBezier"}, "to": "116"}, {"arrows": "to", "from": "100", "label": "Not(Extract(0xff, 0xe0, calldata_Unknown_0) == 0x6c343ffe)", "smooth": {"type": "cubicBezier"}, "to": "110"}, {"arrows": "to", "from": "94", "label": "Not(Extract(0xff, 0xe0, calldata_Unknown_0) == 0x56885cd8)", "smooth": {"type": "cubicBezier"}, "to": "100"}, {"arrows": "to", "from": "88", "label": "Not(Extract(0xff, 0xe0, calldata_Unknown_0) == 0x27e235e3)", "smooth": {"type": "cubicBezier"}, "to": "94"}, {"arrows": "to", "from": "82", "label": "Not(Extract(0xff, 0xe0, calldata_Unknown_0) == 0x12065fe0)", "smooth": {"type": "cubicBezier"}, "to": "88"}, {"arrows": "to", "from": "80", "label": "ULE(4, calldatasize_Unknown)", "smooth": {"type": "cubicBezier"}, "to": "82"}];
     </script>
 </head>
 <body>
diff --git a/tests/testdata/outputs_expected/ether_send.sol.o.json b/tests/testdata/outputs_expected/ether_send.sol.o.json
index 70a3daf8..701f0535 100644
--- a/tests/testdata/outputs_expected/ether_send.sol.o.json
+++ b/tests/testdata/outputs_expected/ether_send.sol.o.json
@@ -7,7 +7,7 @@
             "description": "In the function `withdrawfunds()` a non-zero amount of Ether is sent to msg.sender.\n\nThere is a check on storage index 1. This storage slot can be written to by calling the function `crowdfunding()`.",
             "function": "withdrawfunds()",
             "type": "Warning",
-            "address": 816,
+            "address": 722,
             "debug": "<DEBUG-DATA>"
         },
         {
@@ -15,7 +15,7 @@
             "description": "A possible integer overflow exists in the function `invest()`.\nThe addition or multiplication may result in a value higher than the maximum representable integer.",
             "function": "invest()",
             "type": "Warning",
-            "address": 483,
+            "address": 883,
             "debug": "<DEBUG-DATA>"
         }
     ]
diff --git a/tests/testdata/outputs_expected/ether_send.sol.o.markdown b/tests/testdata/outputs_expected/ether_send.sol.o.markdown
index ea1bd54c..2c29afff 100644
--- a/tests/testdata/outputs_expected/ether_send.sol.o.markdown
+++ b/tests/testdata/outputs_expected/ether_send.sol.o.markdown
@@ -5,7 +5,7 @@
 - Type: Warning
 - Contract: Unknown
 - Function name: `withdrawfunds()`
-- PC address: 816
+- PC address: 722
 
 ### Description
 
@@ -18,7 +18,7 @@ There is a check on storage index 1. This storage slot can be written to by call
 - Type: Warning
 - Contract: Unknown
 - Function name: `invest()`
-- PC address: 483
+- PC address: 883
 
 ### Description
 
diff --git a/tests/testdata/outputs_expected/ether_send.sol.o.text b/tests/testdata/outputs_expected/ether_send.sol.o.text
index d41db8b1..bba084fa 100644
--- a/tests/testdata/outputs_expected/ether_send.sol.o.text
+++ b/tests/testdata/outputs_expected/ether_send.sol.o.text
@@ -2,7 +2,7 @@
 Type: Warning
 Contract: Unknown
 Function name: withdrawfunds()
-PC address: 816
+PC address: 722
 In the function `withdrawfunds()` a non-zero amount of Ether is sent to msg.sender.
 
 There is a check on storage index 1. This storage slot can be written to by calling the function `crowdfunding()`.
@@ -12,7 +12,7 @@ There is a check on storage index 1. This storage slot can be written to by call
 Type: Warning
 Contract: Unknown
 Function name: invest()
-PC address: 483
+PC address: 883
 A possible integer overflow exists in the function `invest()`.
 The addition or multiplication may result in a value higher than the maximum representable integer.
 --------------------