TheDude
/
mythril
mirror of https://github.com/ConsenSys/mythril
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Update README

Browse Source
pull/2/head
Bernhard Mueller 7 years ago
parent 0d96978c44
commit ad3ea840b2
4 changed files with 303 additions and 6 deletions
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Show Stats Download Patch File Download Diff File
  1. 42
      README.md
  2. 24
      graph.svg
  3. 243
      graph.svg.svg
  4. BIN
      static/callgraph.png

42
README.md
Unescape View File

@ -57,21 +57,51 @@ $ myth --search "func#changeMultisig(address)# and code#PUSH1 0x50#"
### Disassembler
You can also disassemble and trace code using the `-d` and `-t` flags, respectively. When tracing, the code is run in the PyEthereum virtual machine with the (optional) input data passed via the `--data` flag.
Use the `-d` flag to disassemble code. The disassembler accepts a bytecode string or a contract address as its input.
```
$ myth -d -a "0x3665f2bf19ee5e207645f3e635bf0f4961d661c0"
PUSH1 0x60
PUSH1 0x40
$ myth -d -c "$ ./myth -d -c "5060"
0 PUSH1 0x60
```
Specifying an address via `-a ADDRESS` will download the contract code from your node:
```
$ myth -d -a "0x2a0c0dbecc7e4d658f48e01e3fa353f44050c208"
0 PUSH1 0x60
2 PUSH1 0x40
4 MSTORE
5 CALLDATASIZE
(...)
```
Mythril will try to resolve function names using the signatures in `database/signature.json`.
```
1135 - FUNCTION safeAdd(uint256,uint256) -
1136 CALLVALUE
1137 ISZERO
```
Adding the `-g FILENAME` option will output a call graph:
$ myth -d -a "0xFa52274DD61E1643d2205169732f29114BC240b3" -g ./graph.svg
![callgraph](https://github.com/b-mueller/mythril/raw/master/static/graph.svg "Call graph")
Note that currently, Mythril only processes `JUMP` and `JUMPI` instructions with immediately preceding `PUSH`, but dynamic jumps and function calls.
### Tracing Code
You can run a code trace in the PyEthereum virtual machine. Optionally, input data can be passed via the `--data` flag.
$ myth -t -a "0x3665f2bf19ee5e207645f3e635bf0f4961d661c0"
vm storage={'storage': {}, 'nonce': '0', 'balance': '0', 'code': '0x'} gas=b'21000' stack=[] address=b'6e\xf2\xbf\x19\xee^ vE\xf3\xe65\xbf\x0fIa\xd6a\xc0' depth=0 steps=0 inst=96 pushvalue=96 pc=b'0' op=PUSH1
vm op=PUSH1 gas=b'20997' stack=[b'96'] depth=0 steps=1 inst=96 pushvalue=64 pc=b'2'
vm op=MSTORE gas=b'20994' stack=[b'96', b'64'] depth=0 steps=2 inst=82 pc=b'4'
```
Do note however that the instruction_list / debugging functionality is still quite bare-bones. For manual analysis & debugging I recommend using [remix](https://remix.ethereum.org/) and [etherscan](https://etherscan.io).
#### Finding cross-references
It is often useful to find other contracts referenced by a particular contract. Let's assume you want to search for contracts that fulfill conditions similar to the [Parity Multisig Wallet Bug](http://hackingdistributed.com/2017/07/22/deep-dive-parity-bug/). First, you want to find a list of contracts that use the `DELEGATECALL` opcode:

24
graph.svg
Unescape View File

@ -0,0 +1,24 @@
graph {
graph [bgcolor="#333333" fontcolor=white fontsize=16 overlap=false]
node [color=white fillcolor="#006699" fontcolor=white fontname=Helvetica shape=box style=filled]
edge [arrowhead=normal color=white dir=forward fontcolor=white fontname=Courier fontsize=12 style=dashed]
0 [label="0 PROLOGUE\l2 PUSH1 0x40\l4 MSTORE\l5 CALLDATASIZE\l6 ISZERO\l7 PUSH2 0x002a\l10 JUMPI\l11 PUSH1 0xe0\l13 PUSH1 0x02\l15 EXP\l16 PUSH1 0x00\l18 CALLDATALOAD\l19 DIV\l20 PUSH4 0x16c72721\l25 DUP2\l26 EQ\l27 PUSH2 0x0033\l30 JUMPI\l31 DUP1\l32 PUSH4 0xf7654176\l37 EQ\l38 PUSH2 0x003f\l41 JUMPI\l"]
1 [label="42 - JUMPDEST_UNK -\l43 PUSH2 0x0050\l"]
2 [label="46 - JUMPDEST_UNK -\l47 PUSH2 0x0002\l50 JUMP\l"]
3 [label="51 - JUMPDEST_UNK -\l52 PUSH2 0x00f0\l55 PUSH1 0x00\l57 SLOAD\l58 PUSH1 0xff\l60 AND\l61 DUP2\l62 JUMP\l"]
4 [label="63 - FUNCTION split() -\l64 PUSH2 0x0050\l67 CALLVALUE\l68 PUSH1 0x00\l70 EQ\l71 ISZERO\l72 PUSH2 0x0052\l75 JUMPI\l76 PUSH2 0x0002\l79 JUMP\l"]
5 [label="80 - JUMPDEST_UNK -\l81 STOP\l"]
6 [label="82 - JUMPDEST_UNK -\l83 PUSH1 0x00\l85 SLOAD\l86 PUSH1 0xff\l88 AND\l89 DUP1\l90 ISZERO\l91 PUSH2 0x0087\l94 JUMPI\l95 POP\l96 PUSH20 0x267be1c1d684f78cb4f6a176c4911b741e4ffdc0\l117 PUSH1 0x00\l119 CALLVALUE\l120 PUSH1 0x60\l122 DUP3\l123 DUP2\l124 DUP2\l125 DUP2\l126 DUP6\l127 DUP9\l128 DUP4\l129 CALL\l130 SWAP4\l131 POP\l132 POP\l133 POP\l134 POP\l"]
7 [label="135 - JUMPDEST_UNK -\l136 ISZERO\l137 PUSH2 0x00fc\l140 JUMPI\l141 PUSH1 0x40\l143 DUP1\l144 MLOAD\l145 CALLVALUE\l146 DUP2\l147 MSTORE\l148 SWAP1\l149 MLOAD\l150 PUSH20 0x267be1c1d684f78cb4f6a176c4911b741e4ffdc0\l171 SWAP2\l172 CALLER\l173 PUSH20 0xffffffffffffffffffffffffffffffffffffffff\l194 AND\l195 SWAP2\l196 PUSH32 0x56b138798bd325f6cc79f626c4644aa2fd6703ecb0ab0fb168f883caed75bf32\l229 SWAP2\l230 DUP2\l231 SWAP1\l232 SUB\l233 PUSH1 0x20\l235 ADD\l236 SWAP1\l237 LOG3\l"]
8 [label="238 - JUMPDEST_UNK -\l239 JUMP\l"]
9 [label="240 - JUMPDEST_UNK -\l241 ISZERO\l242 ISZERO\l243 PUSH1 0x60\l245 SWAP1\l246 DUP2\l247 MSTORE\l248 PUSH1 0x20\l250 SWAP1\l251 RETURN\l"]
10 [label="252 - JUMPDEST_UNK -\l253 PUSH1 0x00\l255 SLOAD\l256 PUSH1 0xff\l258 AND\l259 ISZERO\l260 DUP1\l261 ISZERO\l262 PUSH2 0x0136\l265 JUMPI\l266 POP\l267 PUSH1 0x40\l269 MLOAD\l270 PUSH20 0xb68884048cdd9f3d67a94c9586068c024d8679ca\l291 SWAP1\l292 PUSH1 0x00\l294 SWAP1\l295 CALLVALUE\l296 SWAP1\l297 DUP3\l298 DUP2\l299 DUP2\l300 DUP2\l301 DUP6\l302 DUP9\l303 DUP4\l304 CALL\l305 SWAP4\l306 POP\l307 POP\l308 POP\l309 POP\l"]
0 -- 1
0 -- 3
0 -- 4
2 -- 0
4 -- 0
4 -- 6
6 -- 7
7 -- 10
}

243
graph.svg.svg
Unescape View File

@ -0,0 +1,243 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 2.30.1 (20130221.2233)
-->
<!-- Title: %3 Pages: 1 -->
<svg width="1017pt" height="2174pt"
viewBox="0.00 0.00 1017.00 2174.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 2170)">
<title>%3</title>
<polygon fill="#333333" stroke="#333333" points="-4,5 -4,-2170 1014,-2170 1014,5 -4,5"/>
<!-- 0 -->
<g id="node1" class="node"><title>0</title>
<polygon fill="#006699" stroke="white" points="439.25,-1971.5 276.75,-1971.5 276.75,-1618.5 439.25,-1618.5 439.25,-1971.5"/>
<text text-anchor="start" x="284.5" y="-1956.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">0 PROLOGUE</text>
<text text-anchor="start" x="284.5" y="-1941.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">2 PUSH1 0x40</text>
<text text-anchor="start" x="284.5" y="-1926.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">4 MSTORE</text>
<text text-anchor="start" x="284.5" y="-1911.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">5 CALLDATASIZE</text>
<text text-anchor="start" x="284.5" y="-1896.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">6 ISZERO</text>
<text text-anchor="start" x="284.5" y="-1881.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">7 PUSH2 0x002a</text>
<text text-anchor="start" x="284.5" y="-1866.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">10 JUMPI</text>
<text text-anchor="start" x="284.5" y="-1851.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">11 PUSH1 0xe0</text>
<text text-anchor="start" x="284.5" y="-1836.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">13 PUSH1 0x02</text>
<text text-anchor="start" x="284.5" y="-1821.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">15 EXP</text>
<text text-anchor="start" x="284.5" y="-1806.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">16 PUSH1 0x00</text>
<text text-anchor="start" x="284.5" y="-1791.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">18 CALLDATALOAD</text>
<text text-anchor="start" x="284.5" y="-1776.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">19 DIV</text>
<text text-anchor="start" x="284.5" y="-1761.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">20 PUSH4 0x16c72721</text>
<text text-anchor="start" x="284.5" y="-1746.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">25 DUP2</text>
<text text-anchor="start" x="284.5" y="-1731.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">26 EQ</text>
<text text-anchor="start" x="284.5" y="-1716.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">27 PUSH2 0x0033</text>
<text text-anchor="start" x="284.5" y="-1701.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">30 JUMPI</text>
<text text-anchor="start" x="284.5" y="-1686.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">31 DUP1</text>
<text text-anchor="start" x="284.5" y="-1671.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">32 PUSH4 0xf7654176</text>
<text text-anchor="start" x="284.5" y="-1656.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">37 EQ</text>
<text text-anchor="start" x="284.5" y="-1641.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">38 PUSH2 0x003f</text>
<text text-anchor="start" x="284.5" y="-1626.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">41 JUMPI</text>
</g>
<!-- 1 -->
<g id="node2" class="node"><title>1</title>
<polygon fill="#006699" stroke="white" points="166,-1522 0,-1522 0,-1484 166,-1484 166,-1522"/>
<text text-anchor="start" x="8" y="-1506.8" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">42 &#45; JUMPDEST_UNK &#45;</text>
<text text-anchor="start" x="8" y="-1491.8" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">43 PUSH2 0x0050</text>
</g>
<!-- 0&#45;&#45;1 -->
<g id="edge1" class="edge"><title>0&#45;&#45;1</title>
<path fill="none" stroke="white" stroke-dasharray="5,2" d="M276.607,-1708.17C218.699,-1647.1 144.766,-1569.13 107.225,-1529.55"/>
<polygon fill="white" stroke="white" points="109.639,-1527.01 100.218,-1522.16 104.559,-1531.82 109.639,-1527.01"/>
</g>
<!-- 3 -->
<g id="node4" class="node"><title>3</title>
<polygon fill="#006699" stroke="white" points="350,-1567 184,-1567 184,-1439 350,-1439 350,-1567"/>
<text text-anchor="start" x="192" y="-1551.8" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">51 &#45; JUMPDEST_UNK &#45;</text>
<text text-anchor="start" x="192" y="-1536.8" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">52 PUSH2 0x00f0</text>
<text text-anchor="start" x="192" y="-1521.8" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">55 PUSH1 0x00</text>
<text text-anchor="start" x="192" y="-1506.8" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">57 SLOAD</text>
<text text-anchor="start" x="192" y="-1491.8" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">58 PUSH1 0xff</text>
<text text-anchor="start" x="192" y="-1476.8" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">60 AND</text>
<text text-anchor="start" x="192" y="-1461.8" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">61 DUP2</text>
<text text-anchor="start" x="192" y="-1446.8" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">62 JUMP</text>
</g>
<!-- 0&#45;&#45;3 -->
<g id="edge2" class="edge"><title>0&#45;&#45;3</title>
<path fill="none" stroke="white" stroke-dasharray="5,2" d="M302.835,-1618.2C298.314,-1603.79 293.927,-1589.81 289.863,-1576.86"/>
<polygon fill="white" stroke="white" points="293.155,-1575.66 286.821,-1567.17 286.476,-1577.76 293.155,-1575.66"/>
</g>
<!-- 4 -->
<g id="node5" class="node"><title>4</title>
<polygon fill="#006699" stroke="white" points="532,-1582 368,-1582 368,-1424 532,-1424 532,-1582"/>
<text text-anchor="start" x="376" y="-1566.8" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">63 &#45; FUNCTION split() &#45;</text>
<text text-anchor="start" x="376" y="-1551.8" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">64 PUSH2 0x0050</text>
<text text-anchor="start" x="376" y="-1536.8" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">67 CALLVALUE</text>
<text text-anchor="start" x="376" y="-1521.8" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">68 PUSH1 0x00</text>
<text text-anchor="start" x="376" y="-1506.8" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">70 EQ</text>
<text text-anchor="start" x="376" y="-1491.8" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">71 ISZERO</text>
<text text-anchor="start" x="376" y="-1476.8" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">72 PUSH2 0x0052</text>
<text text-anchor="start" x="376" y="-1461.8" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">75 JUMPI</text>
<text text-anchor="start" x="376" y="-1446.8" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">76 PUSH2 0x0002</text>
<text text-anchor="start" x="376" y="-1431.8" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">79 JUMP</text>
</g>
<!-- 0&#45;&#45;4 -->
<g id="edge3" class="edge"><title>0&#45;&#45;4</title>
<path fill="none" stroke="white" stroke-dasharray="5,2" d="M407.158,-1618.2C410.119,-1609.13 413.063,-1600.22 415.942,-1591.63"/>
<polygon fill="white" stroke="white" points="419.283,-1592.68 419.163,-1582.08 412.65,-1590.44 419.283,-1592.68"/>
</g>
<!-- 2 -->
<g id="node3" class="node"><title>2</title>
<polygon fill="#006699" stroke="white" points="441,-2113.5 275,-2113.5 275,-2060.5 441,-2060.5 441,-2113.5"/>
<text text-anchor="start" x="283" y="-2098.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">46 &#45; JUMPDEST_UNK &#45;</text>
<text text-anchor="start" x="283" y="-2083.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">47 PUSH2 0x0002</text>
<text text-anchor="start" x="283" y="-2068.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">50 JUMP</text>
</g>
<!-- 2&#45;&#45;0 -->
<g id="edge4" class="edge"><title>2&#45;&#45;0</title>
<path fill="none" stroke="white" stroke-dasharray="5,2" d="M358,-2060.26C358,-2041 358,-2012.73 358,-1981.76"/>
<polygon fill="white" stroke="white" points="361.5,-1981.61 358,-1971.61 354.5,-1981.61 361.5,-1981.61"/>
</g>
<!-- 4&#45;&#45;0 -->
<g id="edge5" class="edge"><title>4&#45;&#45;0</title>
<path fill="none" stroke="white" stroke-dasharray="5,2" d="M431.294,-1582.08C428.784,-1590.59 426.11,-1599.48 423.325,-1608.61"/>
<polygon fill="white" stroke="white" points="419.97,-1607.61 420.384,-1618.2 426.662,-1609.67 419.97,-1607.61"/>
</g>
<!-- 6 -->
<g id="node7" class="node"><title>6</title>
<polygon fill="#006699" stroke="white" points="651,-1387.5 249,-1387.5 249,-974.5 651,-974.5 651,-1387.5"/>
<text text-anchor="start" x="257" y="-1372.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">82 &#45; JUMPDEST_UNK &#45;</text>
<text text-anchor="start" x="257" y="-1357.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">83 PUSH1 0x00</text>
<text text-anchor="start" x="257" y="-1342.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">85 SLOAD</text>
<text text-anchor="start" x="257" y="-1327.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">86 PUSH1 0xff</text>
<text text-anchor="start" x="257" y="-1312.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">88 AND</text>
<text text-anchor="start" x="257" y="-1297.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">89 DUP1</text>
<text text-anchor="start" x="257" y="-1282.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">90 ISZERO</text>
<text text-anchor="start" x="257" y="-1267.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">91 PUSH2 0x0087</text>
<text text-anchor="start" x="257" y="-1252.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">94 JUMPI</text>
<text text-anchor="start" x="257" y="-1237.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">95 POP</text>
<text text-anchor="start" x="257" y="-1222.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">96 PUSH20 0x267be1c1d684f78cb4f6a176c4911b741e4ffdc0</text>
<text text-anchor="start" x="257" y="-1207.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">117 PUSH1 0x00</text>
<text text-anchor="start" x="257" y="-1192.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">119 CALLVALUE</text>
<text text-anchor="start" x="257" y="-1177.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">120 PUSH1 0x60</text>
<text text-anchor="start" x="257" y="-1162.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">122 DUP3</text>
<text text-anchor="start" x="257" y="-1147.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">123 DUP2</text>
<text text-anchor="start" x="257" y="-1132.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">124 DUP2</text>
<text text-anchor="start" x="257" y="-1117.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">125 DUP2</text>
<text text-anchor="start" x="257" y="-1102.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">126 DUP6</text>
<text text-anchor="start" x="257" y="-1087.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">127 DUP9</text>
<text text-anchor="start" x="257" y="-1072.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">128 DUP4</text>
<text text-anchor="start" x="257" y="-1057.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">129 CALL</text>
<text text-anchor="start" x="257" y="-1042.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">130 SWAP4</text>
<text text-anchor="start" x="257" y="-1027.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">131 POP</text>
<text text-anchor="start" x="257" y="-1012.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">132 POP</text>
<text text-anchor="start" x="257" y="-997.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">133 POP</text>
<text text-anchor="start" x="257" y="-982.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">134 POP</text>
</g>
<!-- 4&#45;&#45;6 -->
<g id="edge6" class="edge"><title>4&#45;&#45;6</title>
<path fill="none" stroke="white" stroke-dasharray="5,2" d="M450,-1423.72C450,-1415.45 450,-1406.79 450,-1397.85"/>
<polygon fill="white" stroke="white" points="453.5,-1397.66 450,-1387.66 446.5,-1397.66 453.5,-1397.66"/>
</g>
<!-- 5 -->
<g id="node6" class="node"><title>5</title>
<polygon fill="#006699" stroke="white" points="625,-2106 459,-2106 459,-2068 625,-2068 625,-2106"/>
<text text-anchor="start" x="467" y="-2090.8" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">80 &#45; JUMPDEST_UNK &#45;</text>
<text text-anchor="start" x="467" y="-2075.8" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">81 STOP</text>
</g>
<!-- 7 -->
<g id="node8" class="node"><title>7</title>
<polygon fill="#006699" stroke="white" points="744,-937.5 156,-937.5 156,-524.5 744,-524.5 744,-937.5"/>
<text text-anchor="start" x="164" y="-922.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">135 &#45; JUMPDEST_UNK &#45;</text>
<text text-anchor="start" x="164" y="-907.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">136 ISZERO</text>
<text text-anchor="start" x="164" y="-892.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">137 PUSH2 0x00fc</text>
<text text-anchor="start" x="164" y="-877.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">140 JUMPI</text>
<text text-anchor="start" x="164" y="-862.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">141 PUSH1 0x40</text>
<text text-anchor="start" x="164" y="-847.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">143 DUP1</text>
<text text-anchor="start" x="164" y="-832.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">144 MLOAD</text>
<text text-anchor="start" x="164" y="-817.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">145 CALLVALUE</text>
<text text-anchor="start" x="164" y="-802.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">146 DUP2</text>
<text text-anchor="start" x="164" y="-787.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">147 MSTORE</text>
<text text-anchor="start" x="164" y="-772.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">148 SWAP1</text>
<text text-anchor="start" x="164" y="-757.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">149 MLOAD</text>
<text text-anchor="start" x="164" y="-742.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">150 PUSH20 0x267be1c1d684f78cb4f6a176c4911b741e4ffdc0</text>
<text text-anchor="start" x="164" y="-727.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">171 SWAP2</text>
<text text-anchor="start" x="164" y="-712.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">172 CALLER</text>
<text text-anchor="start" x="164" y="-697.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">173 PUSH20 0xffffffffffffffffffffffffffffffffffffffff</text>
<text text-anchor="start" x="164" y="-682.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">194 AND</text>
<text text-anchor="start" x="164" y="-667.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">195 SWAP2</text>
<text text-anchor="start" x="164" y="-652.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">196 PUSH32 0x56b138798bd325f6cc79f626c4644aa2fd6703ecb0ab0fb168f883caed75bf32</text>
<text text-anchor="start" x="164" y="-637.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">229 SWAP2</text>
<text text-anchor="start" x="164" y="-622.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">230 DUP2</text>
<text text-anchor="start" x="164" y="-607.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">231 SWAP1</text>
<text text-anchor="start" x="164" y="-592.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">232 SUB</text>
<text text-anchor="start" x="164" y="-577.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">233 PUSH1 0x20</text>
<text text-anchor="start" x="164" y="-562.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">235 ADD</text>
<text text-anchor="start" x="164" y="-547.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">236 SWAP1</text>
<text text-anchor="start" x="164" y="-532.3" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">237 LOG3</text>
</g>
<!-- 6&#45;&#45;7 -->
<g id="edge7" class="edge"><title>6&#45;&#45;7</title>
<path fill="none" stroke="white" stroke-dasharray="5,2" d="M450,-974.357C450,-965.499 450,-956.603 450,-947.724"/>
<polygon fill="white" stroke="white" points="453.5,-947.71 450,-937.71 446.5,-947.71 453.5,-947.71"/>
</g>
<!-- 10 -->
<g id="node11" class="node"><title>10</title>
<polygon fill="#006699" stroke="white" points="660.25,-488 239.75,-488 239.75,2.84217e-14 660.25,2.84217e-14 660.25,-488"/>
<text text-anchor="start" x="247.5" y="-472.8" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">252 &#45; JUMPDEST_UNK &#45;</text>
<text text-anchor="start" x="247.5" y="-457.8" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">253 PUSH1 0x00</text>
<text text-anchor="start" x="247.5" y="-442.8" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">255 SLOAD</text>
<text text-anchor="start" x="247.5" y="-427.8" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">256 PUSH1 0xff</text>
<text text-anchor="start" x="247.5" y="-412.8" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">258 AND</text>
<text text-anchor="start" x="247.5" y="-397.8" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">259 ISZERO</text>
<text text-anchor="start" x="247.5" y="-382.8" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">260 DUP1</text>
<text text-anchor="start" x="247.5" y="-367.8" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">261 ISZERO</text>
<text text-anchor="start" x="247.5" y="-352.8" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">262 PUSH2 0x0136</text>
<text text-anchor="start" x="247.5" y="-337.8" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">265 JUMPI</text>
<text text-anchor="start" x="247.5" y="-322.8" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">266 POP</text>
<text text-anchor="start" x="247.5" y="-307.8" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">267 PUSH1 0x40</text>
<text text-anchor="start" x="247.5" y="-292.8" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">269 MLOAD</text>
<text text-anchor="start" x="247.5" y="-277.8" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">270 PUSH20 0xb68884048cdd9f3d67a94c9586068c024d8679ca</text>
<text text-anchor="start" x="247.5" y="-262.8" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">291 SWAP1</text>
<text text-anchor="start" x="247.5" y="-247.8" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">292 PUSH1 0x00</text>
<text text-anchor="start" x="247.5" y="-232.8" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">294 SWAP1</text>
<text text-anchor="start" x="247.5" y="-217.8" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">295 CALLVALUE</text>
<text text-anchor="start" x="247.5" y="-202.8" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">296 SWAP1</text>
<text text-anchor="start" x="247.5" y="-187.8" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">297 DUP3</text>
<text text-anchor="start" x="247.5" y="-172.8" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">298 DUP2</text>
<text text-anchor="start" x="247.5" y="-157.8" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">299 DUP2</text>
<text text-anchor="start" x="247.5" y="-142.8" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">300 DUP2</text>
<text text-anchor="start" x="247.5" y="-127.8" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">301 DUP6</text>
<text text-anchor="start" x="247.5" y="-112.8" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">302 DUP9</text>
<text text-anchor="start" x="247.5" y="-97.8" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">303 DUP4</text>
<text text-anchor="start" x="247.5" y="-82.8" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">304 CALL</text>
<text text-anchor="start" x="247.5" y="-67.8" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">305 SWAP4</text>
<text text-anchor="start" x="247.5" y="-52.8" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">306 POP</text>
<text text-anchor="start" x="247.5" y="-37.8" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">307 POP</text>
<text text-anchor="start" x="247.5" y="-22.8" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">308 POP</text>
<text text-anchor="start" x="247.5" y="-7.8" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">309 POP</text>
</g>
<!-- 7&#45;&#45;10 -->
<g id="edge8" class="edge"><title>7&#45;&#45;10</title>
<path fill="none" stroke="white" stroke-dasharray="5,2" d="M450,-524.316C450,-515.688 450,-506.995 450,-498.284"/>
<polygon fill="white" stroke="white" points="453.5,-498.052 450,-488.052 446.5,-498.052 453.5,-498.052"/>
</g>
<!-- 8 -->
<g id="node9" class="node"><title>8</title>
<polygon fill="#006699" stroke="white" points="817,-2106 643,-2106 643,-2068 817,-2068 817,-2106"/>
<text text-anchor="start" x="651" y="-2090.8" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">238 &#45; JUMPDEST_UNK &#45;</text>
<text text-anchor="start" x="651" y="-2075.8" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">239 JUMP</text>
</g>
<!-- 9 -->
<g id="node10" class="node"><title>9</title>
<polygon fill="#006699" stroke="white" points="1009,-2166 835,-2166 835,-2008 1009,-2008 1009,-2166"/>
<text text-anchor="start" x="843" y="-2150.8" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">240 &#45; JUMPDEST_UNK &#45;</text>
<text text-anchor="start" x="843" y="-2135.8" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">241 ISZERO</text>
<text text-anchor="start" x="843" y="-2120.8" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">242 ISZERO</text>
<text text-anchor="start" x="843" y="-2105.8" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">243 PUSH1 0x60</text>
<text text-anchor="start" x="843" y="-2090.8" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">245 SWAP1</text>
<text text-anchor="start" x="843" y="-2075.8" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">246 DUP2</text>
<text text-anchor="start" x="843" y="-2060.8" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">247 MSTORE</text>
<text text-anchor="start" x="843" y="-2045.8" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">248 PUSH1 0x20</text>
<text text-anchor="start" x="843" y="-2030.8" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">250 SWAP1</text>
<text text-anchor="start" x="843" y="-2015.8" font-family="Helvetica,sans-Serif" font-size="14.00" fill="white">251 RETURN</text>
</g>
</g>
</svg>
Side by Side

After

Width:  |  Height:  |  Size: 24 KiB

BIN
static/callgraph.png
View File

Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 26 KiB

Write Preview
Loading…
Cancel
Save