From ff6b11b1f793bf705a0930e76fd05a4a86f2ce23 Mon Sep 17 00:00:00 2001 From: Joran Honig Date: Sat, 28 Apr 2018 12:59:04 +0200 Subject: [PATCH 1/2] Remove rubixi contract --- tests/testdata/inputs/rubixi.sol.o | 1 - 1 file changed, 1 deletion(-) delete mode 100644 tests/testdata/inputs/rubixi.sol.o diff --git a/tests/testdata/inputs/rubixi.sol.o b/tests/testdata/inputs/rubixi.sol.o deleted file mode 100644 index 4113cdfb..00000000 --- a/tests/testdata/inputs/rubixi.sol.o +++ /dev/null @@ -1 +0,0 @@ -6060604052600436106100db576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806309dfdc71146100f0578063253459e3146101855780634229616d146101ae57806357d4021b146101d157806367f809e9146101fa578063686f2c901461020f5780636fbaaa1e146102245780638a5fb3ca146102b95780639dbc4f9b1461034e578063a26dbf26146103b8578063a6f9dae1146103e1578063b40229501461041a578063ced926701461043d578063d11f13df14610460578063fae1419214610489575b34156100e657600080fd5b6100ee6104ac565b005b34156100fb57600080fd5b610103610507565b6040518083815260200180602001828103825283818151815260200191508051906020019080838360005b8381101561014957808201518184015260208101905061012e565b50505050905090810190601f1680156101765780820380516001836020036101000a031916815260200191505b50935050505060405180910390f35b341561019057600080fd5b61019861054a565b6040518082815260200191505060405180910390f35b34156101b957600080fd5b6101cf6004808035906020019091905050610567565b005b34156101dc57600080fd5b6101e461065a565b6040518082815260200191505060405180910390f35b341561020557600080fd5b61020d610697565b005b341561021a57600080fd5b6102226106da565b005b341561022f57600080fd5b6102376107a5565b6040518083815260200180602001828103825283818151815260200191508051906020019080838360005b8381101561027d578082015181840152602081019050610262565b50505050905090810190601f1680156102aa5780820380516001836020036101000a031916815260200191505b50935050505060405180910390f35b34156102c457600080fd5b6102cc6107d7565b6040518083815260200180602001828103825283818151815260200191508051906020019080838360005b838110156103125780820151818401526020810190506102f7565b50505050905090810190601f16801561033f5780820380516001836020036101000a031916815260200191505b50935050505060405180910390f35b341561035957600080fd5b61036f6004808035906020019091905050610806565b604051808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019250505060405180910390f35b34156103c357600080fd5b6103cb610896565b6040518082815260200191505060405180910390f35b34156103ec57600080fd5b610418600480803573ffffffffffffffffffffffffffffffffffffffff169060200190919050506108a3565b005b341561042557600080fd5b61043b600480803590602001909190505061093e565b005b341561044857600080fd5b61045e6004808035906020019091905050610a30565b005b341561046b57600080fd5b610473610aab565b6040518082815260200191505060405180910390f35b341561049457600080fd5b6104aa6004808035906020019091905050610abc565b005b6000670de0b6b3a76400003410156104d35734600160008282540192505081905550610504565b60025490506802b5e3af16b1880000341015156104fa576002818115156104f657fe5b0490505b61050381610b2b565b5b50565b6000610511610d6b565b670de0b6b3a764000060005481151561052657fe5b0491506101006040519081016040528060ca8152602001610e8460ca913990509091565b6000670de0b6b3a764000060015481151561056157fe5b04905090565b6000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141561065657600060015414806105d05750606482115b156105da57600080fd5b8160646001548115156105e957fe5b04029050600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc829081150290604051600060405180830381858888f1935050505050806001600082825403925050819055505b5050565b6000670de0b6b3a7640000600660045481548110151561067657fe5b90600052602060002090600202016001015481151561069157fe5b04905090565b33600560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614156107a3576000600154141561074057600080fd5b600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc6001549081150290604051600060405180830381858888f193505050505060006001819055505b565b60006107af610d6b565b60035491506101406040519081016040528061011f8152602001610f4e61011f913990509091565b60006107e1610d6b565b600254915060c06040519081016040528060848152602001610e006084913990509091565b600080600680549050831115156108915760068381548110151561082657fe5b906000526020600020906002020160000160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169150670de0b6b3a764000060068481548110151561087257fe5b90600052602060002090600202016001015481151561088d57fe5b0490505b915091565b6000600680549050905090565b600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141561093b5780600560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505b50565b600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415610a2d57670de0b6b3a7640000810290506001548111156109b4576109b36106da565b5b600060015414156109c457600080fd5b600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc829081150290604051600060405180830381858888f1935050505050806001600082825403925050819055505b50565b600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415610aa85761012c811180610a965750607881105b15610aa057600080fd5b806003819055505b50565b600060045460068054905003905090565b600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415610b2857600a811115610b2057600080fd5b806002819055505b50565b600060068054806001018281610b419190610d7f565b9160005260206000209060020201600060408051908101604052803373ffffffffffffffffffffffffffffffffffffffff16815260200160646003543402811515610b8857fe5b04815250909190915060008201518160000160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060208201518160010155505050600a6006805490501415610c005760c8600381905550610c18565b60196006805490501415610c175760966003819055505b5b6064826064033402811515610c2957fe5b0460008082825401925050819055506064823402811515610c4657fe5b046001600082825401925050819055505b6006600454815481101515610c6857fe5b9060005260206000209060020201600101546000541115610d67576006600454815481101515610c9457fe5b90600052602060002090600202016001015490506006600454815481101515610cb957fe5b906000526020600020906002020160000160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc829081150290604051600060405180830381858888f19350505050506006600454815481101515610d3157fe5b90600052602060002090600202016001015460008082825403925050819055506001600460008282540192505081905550610c57565b5050565b602060405190810160405280600081525090565b815481835581811511610dac57600202816002028360005260206000209182019101610dab9190610db1565b5b505050565b610dfc91905b80821115610df857600080820160006101000a81549073ffffffffffffffffffffffffffffffffffffffff0219169055600182016000905550600201610db7565b5090565b90560053686f776e20696e202520666f726d2e204665652069732068616c766564283530252920666f7220616d6f756e747320657175616c206f722067726561746572207468616e203530206574686572732e2028466565206d6179206368616e67652c206275742069732063617070656420746f2061206d6178696d756d206f662031302529416c6c2062616c616e63652076616c75657320617265206d6561737572656420696e204574686572732c206e6f746520746861742064756520746f206e6f20646563696d616c20706c6163696e672c2074686573652076616c7565732073686f7720757020617320696e746567657273206f6e6c792c2077697468696e2074686520636f6e747261637420697473656c6620796f752077696c6c206765742074686520657861637420646563696d616c2076616c756520796f752061726520737570706f73656420746f54686973206d756c7469706c696572206170706c69657320746f20796f7520617320736f6f6e206173207472616e73616374696f6e2069732072656365697665642c206d6179206265206c6f776572656420746f2068617374656e207061796f757473206f7220696e63726561736564206966207061796f75747320617265206661737420656e6f7567682e2044756520746f206e6f20666c6f6174206f7220646563696d616c732c206d756c7469706c696572206973207831303020666f722061206672616374696f6e616c206d756c7469706c69657220652e672e203235302069732061637475616c6c79206120322e3578206d756c7469706c6965722e20436170706564206174203378206d617820616e6420312e3278206d696e2ea165627a7a7230582084499dccd7b71003c8d221facb3b62143a2535f5db6f56dd454bc823af90767b0029 \ No newline at end of file From be1621f3acf6e284d34b875d89a85afa0105157f Mon Sep 17 00:00:00 2001 From: Joran Honig Date: Sat, 28 Apr 2018 13:00:15 +0200 Subject: [PATCH 2/2] Remove all rubixi related files from tests --- tests/testdata/input_contracts/rubixi.sol | 152 -- .../outputs_expected/rubixi.sol.graph.html | 848 ------- .../outputs_expected/rubixi.sol.o.easm | 2141 ----------------- .../outputs_expected/rubixi.sol.o.graph.html | 56 - .../outputs_expected/rubixi.sol.o.json | 70 - .../outputs_expected/rubixi.sol.o.markdown | 106 - .../outputs_expected/rubixi.sol.o.text | 81 - 7 files changed, 3454 deletions(-) delete mode 100644 tests/testdata/input_contracts/rubixi.sol delete mode 100644 tests/testdata/outputs_expected/rubixi.sol.graph.html delete mode 100644 tests/testdata/outputs_expected/rubixi.sol.o.easm delete mode 100644 tests/testdata/outputs_expected/rubixi.sol.o.graph.html delete mode 100644 tests/testdata/outputs_expected/rubixi.sol.o.json delete mode 100644 tests/testdata/outputs_expected/rubixi.sol.o.markdown delete mode 100644 tests/testdata/outputs_expected/rubixi.sol.o.text diff --git a/tests/testdata/input_contracts/rubixi.sol b/tests/testdata/input_contracts/rubixi.sol deleted file mode 100644 index 7f593e5e..00000000 --- a/tests/testdata/input_contracts/rubixi.sol +++ /dev/null @@ -1,152 +0,0 @@ -contract Rubixi { - - //Declare variables for storage critical to contract - uint private balance = 0; - uint private collectedFees = 0; - uint private feePercent = 10; - uint private pyramidMultiplier = 300; - uint private payoutOrder = 0; - - address private creator; - - //Sets creator - function DynamicPyramid() { - creator = msg.sender; - } - - modifier onlyowner { - if (msg.sender == creator) _; - } - - struct Participant { - address etherAddress; - uint payout; - } - - Participant[] private participants; - - //Fallback function - function() { - init(); - } - - //init function run on fallback - function init() private { - //Ensures only tx with value of 1 ether or greater are processed and added to pyramid - if (msg.value < 1 ether) { - collectedFees += msg.value; - return; - } - - uint _fee = feePercent; - //50% fee rebate on any ether value of 50 or greater - if (msg.value >= 50 ether) _fee /= 2; - - addPayout(_fee); - } - - //Function called for valid tx to the contract - function addPayout(uint _fee) private { - //Adds new address to participant array - participants.push(Participant(msg.sender, (msg.value * pyramidMultiplier) / 100)); - - //These statements ensure a quicker payout system to later pyramid entrants, so the pyramid has a longer lifespan - if (participants.length == 10) pyramidMultiplier = 200; - else if (participants.length == 25) pyramidMultiplier = 150; - - // collect fees and update contract balance - balance += (msg.value * (100 - _fee)) / 100; - collectedFees += (msg.value * _fee) / 100; - - //Pays earlier participiants if balance sufficient - while (balance > participants[payoutOrder].payout) { - uint payoutToSend = participants[payoutOrder].payout; - participants[payoutOrder].etherAddress.send(payoutToSend); - - balance -= participants[payoutOrder].payout; - payoutOrder += 1; - } - } - - //Fee functions for creator - function collectAllFees() onlyowner { - if (collectedFees == 0) throw; - - creator.send(collectedFees); - collectedFees = 0; - } - - function collectFeesInEther(uint _amt) onlyowner { - _amt *= 1 ether; - if (_amt > collectedFees) collectAllFees(); - - if (collectedFees == 0) throw; - - creator.send(_amt); - collectedFees -= _amt; - } - - function collectPercentOfFees(uint _pcent) onlyowner { - if (collectedFees == 0 || _pcent > 100) throw; - - uint feesToCollect = collectedFees / 100 * _pcent; - creator.send(feesToCollect); - collectedFees -= feesToCollect; - } - - //Functions for changing variables related to the contract - function changeOwner(address _owner) onlyowner { - creator = _owner; - } - - function changeMultiplier(uint _mult) onlyowner { - if (_mult > 300 || _mult < 120) throw; - - pyramidMultiplier = _mult; - } - - function changeFeePercentage(uint _fee) onlyowner { - if (_fee > 10) throw; - - feePercent = _fee; - } - - //Functions to provide information to end-user using JSON interface or other interfaces - function currentMultiplier() constant returns(uint multiplier, string info) { - multiplier = pyramidMultiplier; - info = 'This multiplier applies to you as soon as transaction is received, may be lowered to hasten payouts or increased if payouts are fast enough. Due to no float or decimals, multiplier is x100 for a fractional multiplier e.g. 250 is actually a 2.5x multiplier. Capped at 3x max and 1.2x min.'; - } - - function currentFeePercentage() constant returns(uint fee, string info) { - fee = feePercent; - info = 'Shown in % form. Fee is halved(50%) for amounts equal or greater than 50 ethers. (Fee may change, but is capped to a maximum of 10%)'; - } - - function currentPyramidBalanceApproximately() constant returns(uint pyramidBalance, string info) { - pyramidBalance = balance / 1 ether; - info = 'All balance values are measured in Ethers, note that due to no decimal placing, these values show up as integers only, within the contract itself you will get the exact decimal value you are supposed to'; - } - - function nextPayoutWhenPyramidBalanceTotalsApproximately() constant returns(uint balancePayout) { - balancePayout = participants[payoutOrder].payout / 1 ether; - } - - function feesSeperateFromBalanceApproximately() constant returns(uint fees) { - fees = collectedFees / 1 ether; - } - - function totalParticipants() constant returns(uint count) { - count = participants.length; - } - - function numberOfParticipantsWaitingForPayout() constant returns(uint count) { - count = participants.length - payoutOrder; - } - - function participantDetails(uint orderInPyramid) constant returns(address Address, uint Payout) { - if (orderInPyramid <= participants.length) { - Address = participants[orderInPyramid].etherAddress; - Payout = participants[orderInPyramid].payout / 1 ether; - } - } -} \ No newline at end of file diff --git a/tests/testdata/outputs_expected/rubixi.sol.graph.html b/tests/testdata/outputs_expected/rubixi.sol.graph.html deleted file mode 100644 index d70d615c..00000000 --- a/tests/testdata/outputs_expected/rubixi.sol.graph.html +++ /dev/null @@ -1,848 +0,0 @@ - - - - - - - - - - - - -

Mythril / LASER Symbolic VM

-


- - - diff --git a/tests/testdata/outputs_expected/rubixi.sol.o.easm b/tests/testdata/outputs_expected/rubixi.sol.o.easm deleted file mode 100644 index be2149c7..00000000 --- a/tests/testdata/outputs_expected/rubixi.sol.o.easm +++ /dev/null @@ -1,2141 +0,0 @@ -0 PUSH1 0x60 -2 PUSH1 0x40 -4 MSTORE -5 PUSH1 0x04 -7 CALLDATASIZE -8 LT -9 PUSH2 0x00db -12 JUMPI -13 PUSH1 0x00 -15 CALLDATALOAD -16 PUSH29 0x0100000000000000000000000000000000000000000000000000000000 -46 SWAP1 -47 DIV -48 PUSH4 0xffffffff -53 AND -54 DUP1 -55 PUSH4 0x09dfdc71 -60 EQ -61 PUSH2 0x00f0 -64 JUMPI -65 DUP1 -66 PUSH4 0x253459e3 -71 EQ -72 PUSH2 0x0185 -75 JUMPI -76 DUP1 -77 PUSH4 0x4229616d -82 EQ -83 PUSH2 0x01ae -86 JUMPI -87 DUP1 -88 PUSH4 0x57d4021b -93 EQ -94 PUSH2 0x01d1 -97 JUMPI -98 DUP1 -99 PUSH4 0x67f809e9 -104 EQ -105 PUSH2 0x01fa -108 JUMPI -109 DUP1 -110 PUSH4 0x686f2c90 -115 EQ -116 PUSH2 0x020f -119 JUMPI -120 DUP1 -121 PUSH4 0x6fbaaa1e -126 EQ -127 PUSH2 0x0224 -130 JUMPI -131 DUP1 -132 PUSH4 0x8a5fb3ca -137 EQ -138 PUSH2 0x02b9 -141 JUMPI -142 DUP1 -143 PUSH4 0x9dbc4f9b -148 EQ -149 PUSH2 0x034e -152 JUMPI -153 DUP1 -154 PUSH4 0xa26dbf26 -159 EQ -160 PUSH2 0x03b8 -163 JUMPI -164 DUP1 -165 PUSH4 0xa6f9dae1 -170 EQ -171 PUSH2 0x03e1 -174 JUMPI -175 DUP1 -176 PUSH4 0xb4022950 -181 EQ -182 PUSH2 0x041a -185 JUMPI -186 DUP1 -187 PUSH4 0xced92670 -192 EQ -193 PUSH2 0x043d -196 JUMPI -197 DUP1 -198 PUSH4 0xd11f13df -203 EQ -204 PUSH2 0x0460 -207 JUMPI -208 DUP1 -209 PUSH4 0xfae14192 -214 EQ -215 PUSH2 0x0489 -218 JUMPI -219 JUMPDEST -220 CALLVALUE -221 ISZERO -222 PUSH2 0x00e6 -225 JUMPI -226 PUSH1 0x00 -228 DUP1 -229 REVERT -230 JUMPDEST -231 PUSH2 0x00ee -234 PUSH2 0x04ac -237 JUMP -238 JUMPDEST -239 STOP -240 JUMPDEST -241 CALLVALUE -242 ISZERO -243 PUSH2 0x00fb -246 JUMPI -247 PUSH1 0x00 -249 DUP1 -250 REVERT -251 JUMPDEST -252 PUSH2 0x0103 -255 PUSH2 0x0507 -258 JUMP -259 JUMPDEST -260 PUSH1 0x40 -262 MLOAD -263 DUP1 -264 DUP4 -265 DUP2 -266 MSTORE -267 PUSH1 0x20 -269 ADD -270 DUP1 -271 PUSH1 0x20 -273 ADD -274 DUP3 -275 DUP2 -276 SUB -277 DUP3 -278 MSTORE -279 DUP4 -280 DUP2 -281 DUP2 -282 MLOAD -283 DUP2 -284 MSTORE -285 PUSH1 0x20 -287 ADD -288 SWAP2 -289 POP -290 DUP1 -291 MLOAD -292 SWAP1 -293 PUSH1 0x20 -295 ADD -296 SWAP1 -297 DUP1 -298 DUP4 -299 DUP4 -300 PUSH1 0x00 -302 JUMPDEST -303 DUP4 -304 DUP2 -305 LT -306 ISZERO -307 PUSH2 0x0149 -310 JUMPI -311 DUP1 -312 DUP3 -313 ADD -314 MLOAD -315 DUP2 -316 DUP5 -317 ADD -318 MSTORE -319 PUSH1 0x20 -321 DUP2 -322 ADD -323 SWAP1 -324 POP -325 PUSH2 0x012e -328 JUMP -329 JUMPDEST -330 POP -331 POP -332 POP -333 POP -334 SWAP1 -335 POP -336 SWAP1 -337 DUP2 -338 ADD -339 SWAP1 -340 PUSH1 0x1f -342 AND -343 DUP1 -344 ISZERO -345 PUSH2 0x0176 -348 JUMPI -349 DUP1 -350 DUP3 -351 SUB -352 DUP1 -353 MLOAD -354 PUSH1 0x01 -356 DUP4 -357 PUSH1 0x20 -359 SUB -360 PUSH2 0x0100 -363 EXP -364 SUB -365 NOT -366 AND -367 DUP2 -368 MSTORE -369 PUSH1 0x20 -371 ADD -372 SWAP2 -373 POP -374 JUMPDEST -375 POP -376 SWAP4 -377 POP -378 POP -379 POP -380 POP -381 PUSH1 0x40 -383 MLOAD -384 DUP1 -385 SWAP2 -386 SUB -387 SWAP1 -388 RETURN -389 JUMPDEST -390 CALLVALUE -391 ISZERO -392 PUSH2 0x0190 -395 JUMPI -396 PUSH1 0x00 -398 DUP1 -399 REVERT -400 JUMPDEST -401 PUSH2 0x0198 -404 PUSH2 0x054a -407 JUMP -408 JUMPDEST -409 PUSH1 0x40 -411 MLOAD -412 DUP1 -413 DUP3 -414 DUP2 -415 MSTORE -416 PUSH1 0x20 -418 ADD -419 SWAP2 -420 POP -421 POP -422 PUSH1 0x40 -424 MLOAD -425 DUP1 -426 SWAP2 -427 SUB -428 SWAP1 -429 RETURN -430 JUMPDEST -431 CALLVALUE -432 ISZERO -433 PUSH2 0x01b9 -436 JUMPI -437 PUSH1 0x00 -439 DUP1 -440 REVERT -441 JUMPDEST -442 PUSH2 0x01cf -445 PUSH1 0x04 -447 DUP1 -448 DUP1 -449 CALLDATALOAD -450 SWAP1 -451 PUSH1 0x20 -453 ADD -454 SWAP1 -455 SWAP2 -456 SWAP1 -457 POP -458 POP -459 PUSH2 0x0567 -462 JUMP -463 JUMPDEST -464 STOP -465 JUMPDEST -466 CALLVALUE -467 ISZERO -468 PUSH2 0x01dc -471 JUMPI -472 PUSH1 0x00 -474 DUP1 -475 REVERT -476 JUMPDEST -477 PUSH2 0x01e4 -480 PUSH2 0x065a -483 JUMP -484 JUMPDEST -485 PUSH1 0x40 -487 MLOAD -488 DUP1 -489 DUP3 -490 DUP2 -491 MSTORE -492 PUSH1 0x20 -494 ADD -495 SWAP2 -496 POP -497 POP -498 PUSH1 0x40 -500 MLOAD -501 DUP1 -502 SWAP2 -503 SUB -504 SWAP1 -505 RETURN -506 JUMPDEST -507 CALLVALUE -508 ISZERO -509 PUSH2 0x0205 -512 JUMPI -513 PUSH1 0x00 -515 DUP1 -516 REVERT -517 JUMPDEST -518 PUSH2 0x020d -521 PUSH2 0x0697 -524 JUMP -525 JUMPDEST -526 STOP -527 JUMPDEST -528 CALLVALUE -529 ISZERO -530 PUSH2 0x021a -533 JUMPI -534 PUSH1 0x00 -536 DUP1 -537 REVERT -538 JUMPDEST -539 PUSH2 0x0222 -542 PUSH2 0x06da -545 JUMP -546 JUMPDEST -547 STOP -548 JUMPDEST -549 CALLVALUE -550 ISZERO -551 PUSH2 0x022f -554 JUMPI -555 PUSH1 0x00 -557 DUP1 -558 REVERT -559 JUMPDEST -560 PUSH2 0x0237 -563 PUSH2 0x07a5 -566 JUMP -567 JUMPDEST -568 PUSH1 0x40 -570 MLOAD -571 DUP1 -572 DUP4 -573 DUP2 -574 MSTORE -575 PUSH1 0x20 -577 ADD -578 DUP1 -579 PUSH1 0x20 -581 ADD -582 DUP3 -583 DUP2 -584 SUB -585 DUP3 -586 MSTORE -587 DUP4 -588 DUP2 -589 DUP2 -590 MLOAD -591 DUP2 -592 MSTORE -593 PUSH1 0x20 -595 ADD -596 SWAP2 -597 POP -598 DUP1 -599 MLOAD -600 SWAP1 -601 PUSH1 0x20 -603 ADD -604 SWAP1 -605 DUP1 -606 DUP4 -607 DUP4 -608 PUSH1 0x00 -610 JUMPDEST -611 DUP4 -612 DUP2 -613 LT -614 ISZERO -615 PUSH2 0x027d -618 JUMPI -619 DUP1 -620 DUP3 -621 ADD -622 MLOAD -623 DUP2 -624 DUP5 -625 ADD -626 MSTORE -627 PUSH1 0x20 -629 DUP2 -630 ADD -631 SWAP1 -632 POP -633 PUSH2 0x0262 -636 JUMP -637 JUMPDEST -638 POP -639 POP -640 POP -641 POP -642 SWAP1 -643 POP -644 SWAP1 -645 DUP2 -646 ADD -647 SWAP1 -648 PUSH1 0x1f -650 AND -651 DUP1 -652 ISZERO -653 PUSH2 0x02aa -656 JUMPI -657 DUP1 -658 DUP3 -659 SUB -660 DUP1 -661 MLOAD -662 PUSH1 0x01 -664 DUP4 -665 PUSH1 0x20 -667 SUB -668 PUSH2 0x0100 -671 EXP -672 SUB -673 NOT -674 AND -675 DUP2 -676 MSTORE -677 PUSH1 0x20 -679 ADD -680 SWAP2 -681 POP -682 JUMPDEST -683 POP -684 SWAP4 -685 POP -686 POP -687 POP -688 POP -689 PUSH1 0x40 -691 MLOAD -692 DUP1 -693 SWAP2 -694 SUB -695 SWAP1 -696 RETURN -697 JUMPDEST -698 CALLVALUE -699 ISZERO -700 PUSH2 0x02c4 -703 JUMPI -704 PUSH1 0x00 -706 DUP1 -707 REVERT -708 JUMPDEST -709 PUSH2 0x02cc -712 PUSH2 0x07d7 -715 JUMP -716 JUMPDEST -717 PUSH1 0x40 -719 MLOAD -720 DUP1 -721 DUP4 -722 DUP2 -723 MSTORE -724 PUSH1 0x20 -726 ADD -727 DUP1 -728 PUSH1 0x20 -730 ADD -731 DUP3 -732 DUP2 -733 SUB -734 DUP3 -735 MSTORE -736 DUP4 -737 DUP2 -738 DUP2 -739 MLOAD -740 DUP2 -741 MSTORE -742 PUSH1 0x20 -744 ADD -745 SWAP2 -746 POP -747 DUP1 -748 MLOAD -749 SWAP1 -750 PUSH1 0x20 -752 ADD -753 SWAP1 -754 DUP1 -755 DUP4 -756 DUP4 -757 PUSH1 0x00 -759 JUMPDEST -760 DUP4 -761 DUP2 -762 LT -763 ISZERO -764 PUSH2 0x0312 -767 JUMPI -768 DUP1 -769 DUP3 -770 ADD -771 MLOAD -772 DUP2 -773 DUP5 -774 ADD -775 MSTORE -776 PUSH1 0x20 -778 DUP2 -779 ADD -780 SWAP1 -781 POP -782 PUSH2 0x02f7 -785 JUMP -786 JUMPDEST -787 POP -788 POP -789 POP -790 POP -791 SWAP1 -792 POP -793 SWAP1 -794 DUP2 -795 ADD -796 SWAP1 -797 PUSH1 0x1f -799 AND -800 DUP1 -801 ISZERO -802 PUSH2 0x033f -805 JUMPI -806 DUP1 -807 DUP3 -808 SUB -809 DUP1 -810 MLOAD -811 PUSH1 0x01 -813 DUP4 -814 PUSH1 0x20 -816 SUB -817 PUSH2 0x0100 -820 EXP -821 SUB -822 NOT -823 AND -824 DUP2 -825 MSTORE -826 PUSH1 0x20 -828 ADD -829 SWAP2 -830 POP -831 JUMPDEST -832 POP -833 SWAP4 -834 POP -835 POP -836 POP -837 POP -838 PUSH1 0x40 -840 MLOAD -841 DUP1 -842 SWAP2 -843 SUB -844 SWAP1 -845 RETURN -846 JUMPDEST -847 CALLVALUE -848 ISZERO -849 PUSH2 0x0359 -852 JUMPI -853 PUSH1 0x00 -855 DUP1 -856 REVERT -857 JUMPDEST -858 PUSH2 0x036f -861 PUSH1 0x04 -863 DUP1 -864 DUP1 -865 CALLDATALOAD -866 SWAP1 -867 PUSH1 0x20 -869 ADD -870 SWAP1 -871 SWAP2 -872 SWAP1 -873 POP -874 POP -875 PUSH2 0x0806 -878 JUMP -879 JUMPDEST -880 PUSH1 0x40 -882 MLOAD -883 DUP1 -884 DUP4 -885 PUSH20 0xffffffffffffffffffffffffffffffffffffffff -906 AND -907 PUSH20 0xffffffffffffffffffffffffffffffffffffffff -928 AND -929 DUP2 -930 MSTORE -931 PUSH1 0x20 -933 ADD -934 DUP3 -935 DUP2 -936 MSTORE -937 PUSH1 0x20 -939 ADD -940 SWAP3 -941 POP -942 POP -943 POP -944 PUSH1 0x40 -946 MLOAD -947 DUP1 -948 SWAP2 -949 SUB -950 SWAP1 -951 RETURN -952 JUMPDEST -953 CALLVALUE -954 ISZERO -955 PUSH2 0x03c3 -958 JUMPI -959 PUSH1 0x00 -961 DUP1 -962 REVERT -963 JUMPDEST -964 PUSH2 0x03cb -967 PUSH2 0x0896 -970 JUMP -971 JUMPDEST -972 PUSH1 0x40 -974 MLOAD -975 DUP1 -976 DUP3 -977 DUP2 -978 MSTORE -979 PUSH1 0x20 -981 ADD -982 SWAP2 -983 POP -984 POP -985 PUSH1 0x40 -987 MLOAD -988 DUP1 -989 SWAP2 -990 SUB -991 SWAP1 -992 RETURN -993 JUMPDEST -994 CALLVALUE -995 ISZERO -996 PUSH2 0x03ec -999 JUMPI -1000 PUSH1 0x00 -1002 DUP1 -1003 REVERT -1004 JUMPDEST -1005 PUSH2 0x0418 -1008 PUSH1 0x04 -1010 DUP1 -1011 DUP1 -1012 CALLDATALOAD -1013 PUSH20 0xffffffffffffffffffffffffffffffffffffffff -1034 AND -1035 SWAP1 -1036 PUSH1 0x20 -1038 ADD -1039 SWAP1 -1040 SWAP2 -1041 SWAP1 -1042 POP -1043 POP -1044 PUSH2 0x08a3 -1047 JUMP -1048 JUMPDEST -1049 STOP -1050 JUMPDEST -1051 CALLVALUE -1052 ISZERO -1053 PUSH2 0x0425 -1056 JUMPI -1057 PUSH1 0x00 -1059 DUP1 -1060 REVERT -1061 JUMPDEST -1062 PUSH2 0x043b -1065 PUSH1 0x04 -1067 DUP1 -1068 DUP1 -1069 CALLDATALOAD -1070 SWAP1 -1071 PUSH1 0x20 -1073 ADD -1074 SWAP1 -1075 SWAP2 -1076 SWAP1 -1077 POP -1078 POP -1079 PUSH2 0x093e -1082 JUMP -1083 JUMPDEST -1084 STOP -1085 JUMPDEST -1086 CALLVALUE -1087 ISZERO -1088 PUSH2 0x0448 -1091 JUMPI -1092 PUSH1 0x00 -1094 DUP1 -1095 REVERT -1096 JUMPDEST -1097 PUSH2 0x045e -1100 PUSH1 0x04 -1102 DUP1 -1103 DUP1 -1104 CALLDATALOAD -1105 SWAP1 -1106 PUSH1 0x20 -1108 ADD -1109 SWAP1 -1110 SWAP2 -1111 SWAP1 -1112 POP -1113 POP -1114 PUSH2 0x0a30 -1117 JUMP -1118 JUMPDEST -1119 STOP -1120 JUMPDEST -1121 CALLVALUE -1122 ISZERO -1123 PUSH2 0x046b -1126 JUMPI -1127 PUSH1 0x00 -1129 DUP1 -1130 REVERT -1131 JUMPDEST -1132 PUSH2 0x0473 -1135 PUSH2 0x0aab -1138 JUMP -1139 JUMPDEST -1140 PUSH1 0x40 -1142 MLOAD -1143 DUP1 -1144 DUP3 -1145 DUP2 -1146 MSTORE -1147 PUSH1 0x20 -1149 ADD -1150 SWAP2 -1151 POP -1152 POP -1153 PUSH1 0x40 -1155 MLOAD -1156 DUP1 -1157 SWAP2 -1158 SUB -1159 SWAP1 -1160 RETURN -1161 JUMPDEST -1162 CALLVALUE -1163 ISZERO -1164 PUSH2 0x0494 -1167 JUMPI -1168 PUSH1 0x00 -1170 DUP1 -1171 REVERT -1172 JUMPDEST -1173 PUSH2 0x04aa -1176 PUSH1 0x04 -1178 DUP1 -1179 DUP1 -1180 CALLDATALOAD -1181 SWAP1 -1182 PUSH1 0x20 -1184 ADD -1185 SWAP1 -1186 SWAP2 -1187 SWAP1 -1188 POP -1189 POP -1190 PUSH2 0x0abc -1193 JUMP -1194 JUMPDEST -1195 STOP -1196 JUMPDEST -1197 PUSH1 0x00 -1199 PUSH8 0x0de0b6b3a7640000 -1208 CALLVALUE -1209 LT -1210 ISZERO -1211 PUSH2 0x04d3 -1214 JUMPI -1215 CALLVALUE -1216 PUSH1 0x01 -1218 PUSH1 0x00 -1220 DUP3 -1221 DUP3 -1222 SLOAD -1223 ADD -1224 SWAP3 -1225 POP -1226 POP -1227 DUP2 -1228 SWAP1 -1229 SSTORE -1230 POP -1231 PUSH2 0x0504 -1234 JUMP -1235 JUMPDEST -1236 PUSH1 0x02 -1238 SLOAD -1239 SWAP1 -1240 POP -1241 PUSH9 0x02b5e3af16b1880000 -1251 CALLVALUE -1252 LT -1253 ISZERO -1254 ISZERO -1255 PUSH2 0x04fa -1258 JUMPI -1259 PUSH1 0x02 -1261 DUP2 -1262 DUP2 -1263 ISZERO -1264 ISZERO -1265 PUSH2 0x04f6 -1268 JUMPI -1269 ASSERT_FAIL -1270 JUMPDEST -1271 DIV -1272 SWAP1 -1273 POP -1274 JUMPDEST -1275 PUSH2 0x0503 -1278 DUP2 -1279 PUSH2 0x0b2b -1282 JUMP -1283 JUMPDEST -1284 JUMPDEST -1285 POP -1286 JUMP -1287 JUMPDEST -1288 PUSH1 0x00 -1290 PUSH2 0x0511 -1293 PUSH2 0x0d6b -1296 JUMP -1297 JUMPDEST -1298 PUSH8 0x0de0b6b3a7640000 -1307 PUSH1 0x00 -1309 SLOAD -1310 DUP2 -1311 ISZERO -1312 ISZERO -1313 PUSH2 0x0526 -1316 JUMPI -1317 ASSERT_FAIL -1318 JUMPDEST -1319 DIV -1320 SWAP2 -1321 POP -1322 PUSH2 0x0100 -1325 PUSH1 0x40 -1327 MLOAD -1328 SWAP1 -1329 DUP2 -1330 ADD -1331 PUSH1 0x40 -1333 MSTORE -1334 DUP1 -1335 PUSH1 0xca -1337 DUP2 -1338 MSTORE -1339 PUSH1 0x20 -1341 ADD -1342 PUSH2 0x0e84 -1345 PUSH1 0xca -1347 SWAP2 -1348 CODECOPY -1349 SWAP1 -1350 POP -1351 SWAP1 -1352 SWAP2 -1353 JUMP -1354 JUMPDEST -1355 PUSH1 0x00 -1357 PUSH8 0x0de0b6b3a7640000 -1366 PUSH1 0x01 -1368 SLOAD -1369 DUP2 -1370 ISZERO -1371 ISZERO -1372 PUSH2 0x0561 -1375 JUMPI -1376 ASSERT_FAIL -1377 JUMPDEST -1378 DIV -1379 SWAP1 -1380 POP -1381 SWAP1 -1382 JUMP -1383 JUMPDEST -1384 PUSH1 0x00 -1386 PUSH1 0x05 -1388 PUSH1 0x00 -1390 SWAP1 -1391 SLOAD -1392 SWAP1 -1393 PUSH2 0x0100 -1396 EXP -1397 SWAP1 -1398 DIV -1399 PUSH20 0xffffffffffffffffffffffffffffffffffffffff -1420 AND -1421 PUSH20 0xffffffffffffffffffffffffffffffffffffffff -1442 AND -1443 CALLER -1444 PUSH20 0xffffffffffffffffffffffffffffffffffffffff -1465 AND -1466 EQ -1467 ISZERO -1468 PUSH2 0x0656 -1471 JUMPI -1472 PUSH1 0x00 -1474 PUSH1 0x01 -1476 SLOAD -1477 EQ -1478 DUP1 -1479 PUSH2 0x05d0 -1482 JUMPI -1483 POP -1484 PUSH1 0x64 -1486 DUP3 -1487 GT -1488 JUMPDEST -1489 ISZERO -1490 PUSH2 0x05da -1493 JUMPI -1494 PUSH1 0x00 -1496 DUP1 -1497 REVERT -1498 JUMPDEST -1499 DUP2 -1500 PUSH1 0x64 -1502 PUSH1 0x01 -1504 SLOAD -1505 DUP2 -1506 ISZERO -1507 ISZERO -1508 PUSH2 0x05e9 -1511 JUMPI -1512 ASSERT_FAIL -1513 JUMPDEST -1514 DIV -1515 MUL -1516 SWAP1 -1517 POP -1518 PUSH1 0x05 -1520 PUSH1 0x00 -1522 SWAP1 -1523 SLOAD -1524 SWAP1 -1525 PUSH2 0x0100 -1528 EXP -1529 SWAP1 -1530 DIV -1531 PUSH20 0xffffffffffffffffffffffffffffffffffffffff -1552 AND -1553 PUSH20 0xffffffffffffffffffffffffffffffffffffffff -1574 AND -1575 PUSH2 0x08fc -1578 DUP3 -1579 SWAP1 -1580 DUP2 -1581 ISZERO -1582 MUL -1583 SWAP1 -1584 PUSH1 0x40 -1586 MLOAD -1587 PUSH1 0x00 -1589 PUSH1 0x40 -1591 MLOAD -1592 DUP1 -1593 DUP4 -1594 SUB -1595 DUP2 -1596 DUP6 -1597 DUP9 -1598 DUP9 -1599 CALL -1600 SWAP4 -1601 POP -1602 POP -1603 POP -1604 POP -1605 POP -1606 DUP1 -1607 PUSH1 0x01 -1609 PUSH1 0x00 -1611 DUP3 -1612 DUP3 -1613 SLOAD -1614 SUB -1615 SWAP3 -1616 POP -1617 POP -1618 DUP2 -1619 SWAP1 -1620 SSTORE -1621 POP -1622 JUMPDEST -1623 POP -1624 POP -1625 JUMP -1626 JUMPDEST -1627 PUSH1 0x00 -1629 PUSH8 0x0de0b6b3a7640000 -1638 PUSH1 0x06 -1640 PUSH1 0x04 -1642 SLOAD -1643 DUP2 -1644 SLOAD -1645 DUP2 -1646 LT -1647 ISZERO -1648 ISZERO -1649 PUSH2 0x0676 -1652 JUMPI -1653 ASSERT_FAIL -1654 JUMPDEST -1655 SWAP1 -1656 PUSH1 0x00 -1658 MSTORE -1659 PUSH1 0x20 -1661 PUSH1 0x00 -1663 SHA3 -1664 SWAP1 -1665 PUSH1 0x02 -1667 MUL -1668 ADD -1669 PUSH1 0x01 -1671 ADD -1672 SLOAD -1673 DUP2 -1674 ISZERO -1675 ISZERO -1676 PUSH2 0x0691 -1679 JUMPI -1680 ASSERT_FAIL -1681 JUMPDEST -1682 DIV -1683 SWAP1 -1684 POP -1685 SWAP1 -1686 JUMP -1687 JUMPDEST -1688 CALLER -1689 PUSH1 0x05 -1691 PUSH1 0x00 -1693 PUSH2 0x0100 -1696 EXP -1697 DUP2 -1698 SLOAD -1699 DUP2 -1700 PUSH20 0xffffffffffffffffffffffffffffffffffffffff -1721 MUL -1722 NOT -1723 AND -1724 SWAP1 -1725 DUP4 -1726 PUSH20 0xffffffffffffffffffffffffffffffffffffffff -1747 AND -1748 MUL -1749 OR -1750 SWAP1 -1751 SSTORE -1752 POP -1753 JUMP -1754 JUMPDEST -1755 PUSH1 0x05 -1757 PUSH1 0x00 -1759 SWAP1 -1760 SLOAD -1761 SWAP1 -1762 PUSH2 0x0100 -1765 EXP -1766 SWAP1 -1767 DIV -1768 PUSH20 0xffffffffffffffffffffffffffffffffffffffff -1789 AND -1790 PUSH20 0xffffffffffffffffffffffffffffffffffffffff -1811 AND -1812 CALLER -1813 PUSH20 0xffffffffffffffffffffffffffffffffffffffff -1834 AND -1835 EQ -1836 ISZERO -1837 PUSH2 0x07a3 -1840 JUMPI -1841 PUSH1 0x00 -1843 PUSH1 0x01 -1845 SLOAD -1846 EQ -1847 ISZERO -1848 PUSH2 0x0740 -1851 JUMPI -1852 PUSH1 0x00 -1854 DUP1 -1855 REVERT -1856 JUMPDEST -1857 PUSH1 0x05 -1859 PUSH1 0x00 -1861 SWAP1 -1862 SLOAD -1863 SWAP1 -1864 PUSH2 0x0100 -1867 EXP -1868 SWAP1 -1869 DIV -1870 PUSH20 0xffffffffffffffffffffffffffffffffffffffff -1891 AND -1892 PUSH20 0xffffffffffffffffffffffffffffffffffffffff -1913 AND -1914 PUSH2 0x08fc -1917 PUSH1 0x01 -1919 SLOAD -1920 SWAP1 -1921 DUP2 -1922 ISZERO -1923 MUL -1924 SWAP1 -1925 PUSH1 0x40 -1927 MLOAD -1928 PUSH1 0x00 -1930 PUSH1 0x40 -1932 MLOAD -1933 DUP1 -1934 DUP4 -1935 SUB -1936 DUP2 -1937 DUP6 -1938 DUP9 -1939 DUP9 -1940 CALL -1941 SWAP4 -1942 POP -1943 POP -1944 POP -1945 POP -1946 POP -1947 PUSH1 0x00 -1949 PUSH1 0x01 -1951 DUP2 -1952 SWAP1 -1953 SSTORE -1954 POP -1955 JUMPDEST -1956 JUMP -1957 JUMPDEST -1958 PUSH1 0x00 -1960 PUSH2 0x07af -1963 PUSH2 0x0d6b -1966 JUMP -1967 JUMPDEST -1968 PUSH1 0x03 -1970 SLOAD -1971 SWAP2 -1972 POP -1973 PUSH2 0x0140 -1976 PUSH1 0x40 -1978 MLOAD -1979 SWAP1 -1980 DUP2 -1981 ADD -1982 PUSH1 0x40 -1984 MSTORE -1985 DUP1 -1986 PUSH2 0x011f -1989 DUP2 -1990 MSTORE -1991 PUSH1 0x20 -1993 ADD -1994 PUSH2 0x0f4e -1997 PUSH2 0x011f -2000 SWAP2 -2001 CODECOPY -2002 SWAP1 -2003 POP -2004 SWAP1 -2005 SWAP2 -2006 JUMP -2007 JUMPDEST -2008 PUSH1 0x00 -2010 PUSH2 0x07e1 -2013 PUSH2 0x0d6b -2016 JUMP -2017 JUMPDEST -2018 PUSH1 0x02 -2020 SLOAD -2021 SWAP2 -2022 POP -2023 PUSH1 0xc0 -2025 PUSH1 0x40 -2027 MLOAD -2028 SWAP1 -2029 DUP2 -2030 ADD -2031 PUSH1 0x40 -2033 MSTORE -2034 DUP1 -2035 PUSH1 0x84 -2037 DUP2 -2038 MSTORE -2039 PUSH1 0x20 -2041 ADD -2042 PUSH2 0x0e00 -2045 PUSH1 0x84 -2047 SWAP2 -2048 CODECOPY -2049 SWAP1 -2050 POP -2051 SWAP1 -2052 SWAP2 -2053 JUMP -2054 JUMPDEST -2055 PUSH1 0x00 -2057 DUP1 -2058 PUSH1 0x06 -2060 DUP1 -2061 SLOAD -2062 SWAP1 -2063 POP -2064 DUP4 -2065 GT -2066 ISZERO -2067 ISZERO -2068 PUSH2 0x0891 -2071 JUMPI -2072 PUSH1 0x06 -2074 DUP4 -2075 DUP2 -2076 SLOAD -2077 DUP2 -2078 LT -2079 ISZERO -2080 ISZERO -2081 PUSH2 0x0826 -2084 JUMPI -2085 ASSERT_FAIL -2086 JUMPDEST -2087 SWAP1 -2088 PUSH1 0x00 -2090 MSTORE -2091 PUSH1 0x20 -2093 PUSH1 0x00 -2095 SHA3 -2096 SWAP1 -2097 PUSH1 0x02 -2099 MUL -2100 ADD -2101 PUSH1 0x00 -2103 ADD -2104 PUSH1 0x00 -2106 SWAP1 -2107 SLOAD -2108 SWAP1 -2109 PUSH2 0x0100 -2112 EXP -2113 SWAP1 -2114 DIV -2115 PUSH20 0xffffffffffffffffffffffffffffffffffffffff -2136 AND -2137 SWAP2 -2138 POP -2139 PUSH8 0x0de0b6b3a7640000 -2148 PUSH1 0x06 -2150 DUP5 -2151 DUP2 -2152 SLOAD -2153 DUP2 -2154 LT -2155 ISZERO -2156 ISZERO -2157 PUSH2 0x0872 -2160 JUMPI -2161 ASSERT_FAIL -2162 JUMPDEST -2163 SWAP1 -2164 PUSH1 0x00 -2166 MSTORE -2167 PUSH1 0x20 -2169 PUSH1 0x00 -2171 SHA3 -2172 SWAP1 -2173 PUSH1 0x02 -2175 MUL -2176 ADD -2177 PUSH1 0x01 -2179 ADD -2180 SLOAD -2181 DUP2 -2182 ISZERO -2183 ISZERO -2184 PUSH2 0x088d -2187 JUMPI -2188 ASSERT_FAIL -2189 JUMPDEST -2190 DIV -2191 SWAP1 -2192 POP -2193 JUMPDEST -2194 SWAP2 -2195 POP -2196 SWAP2 -2197 JUMP -2198 JUMPDEST -2199 PUSH1 0x00 -2201 PUSH1 0x06 -2203 DUP1 -2204 SLOAD -2205 SWAP1 -2206 POP -2207 SWAP1 -2208 POP -2209 SWAP1 -2210 JUMP -2211 JUMPDEST -2212 PUSH1 0x05 -2214 PUSH1 0x00 -2216 SWAP1 -2217 SLOAD -2218 SWAP1 -2219 PUSH2 0x0100 -2222 EXP -2223 SWAP1 -2224 DIV -2225 PUSH20 0xffffffffffffffffffffffffffffffffffffffff -2246 AND -2247 PUSH20 0xffffffffffffffffffffffffffffffffffffffff -2268 AND -2269 CALLER -2270 PUSH20 0xffffffffffffffffffffffffffffffffffffffff -2291 AND -2292 EQ -2293 ISZERO -2294 PUSH2 0x093b -2297 JUMPI -2298 DUP1 -2299 PUSH1 0x05 -2301 PUSH1 0x00 -2303 PUSH2 0x0100 -2306 EXP -2307 DUP2 -2308 SLOAD -2309 DUP2 -2310 PUSH20 0xffffffffffffffffffffffffffffffffffffffff -2331 MUL -2332 NOT -2333 AND -2334 SWAP1 -2335 DUP4 -2336 PUSH20 0xffffffffffffffffffffffffffffffffffffffff -2357 AND -2358 MUL -2359 OR -2360 SWAP1 -2361 SSTORE -2362 POP -2363 JUMPDEST -2364 POP -2365 JUMP -2366 JUMPDEST -2367 PUSH1 0x05 -2369 PUSH1 0x00 -2371 SWAP1 -2372 SLOAD -2373 SWAP1 -2374 PUSH2 0x0100 -2377 EXP -2378 SWAP1 -2379 DIV -2380 PUSH20 0xffffffffffffffffffffffffffffffffffffffff -2401 AND -2402 PUSH20 0xffffffffffffffffffffffffffffffffffffffff -2423 AND -2424 CALLER -2425 PUSH20 0xffffffffffffffffffffffffffffffffffffffff -2446 AND -2447 EQ -2448 ISZERO -2449 PUSH2 0x0a2d -2452 JUMPI -2453 PUSH8 0x0de0b6b3a7640000 -2462 DUP2 -2463 MUL -2464 SWAP1 -2465 POP -2466 PUSH1 0x01 -2468 SLOAD -2469 DUP2 -2470 GT -2471 ISZERO -2472 PUSH2 0x09b4 -2475 JUMPI -2476 PUSH2 0x09b3 -2479 PUSH2 0x06da -2482 JUMP -2483 JUMPDEST -2484 JUMPDEST -2485 PUSH1 0x00 -2487 PUSH1 0x01 -2489 SLOAD -2490 EQ -2491 ISZERO -2492 PUSH2 0x09c4 -2495 JUMPI -2496 PUSH1 0x00 -2498 DUP1 -2499 REVERT -2500 JUMPDEST -2501 PUSH1 0x05 -2503 PUSH1 0x00 -2505 SWAP1 -2506 SLOAD -2507 SWAP1 -2508 PUSH2 0x0100 -2511 EXP -2512 SWAP1 -2513 DIV -2514 PUSH20 0xffffffffffffffffffffffffffffffffffffffff -2535 AND -2536 PUSH20 0xffffffffffffffffffffffffffffffffffffffff -2557 AND -2558 PUSH2 0x08fc -2561 DUP3 -2562 SWAP1 -2563 DUP2 -2564 ISZERO -2565 MUL -2566 SWAP1 -2567 PUSH1 0x40 -2569 MLOAD -2570 PUSH1 0x00 -2572 PUSH1 0x40 -2574 MLOAD -2575 DUP1 -2576 DUP4 -2577 SUB -2578 DUP2 -2579 DUP6 -2580 DUP9 -2581 DUP9 -2582 CALL -2583 SWAP4 -2584 POP -2585 POP -2586 POP -2587 POP -2588 POP -2589 DUP1 -2590 PUSH1 0x01 -2592 PUSH1 0x00 -2594 DUP3 -2595 DUP3 -2596 SLOAD -2597 SUB -2598 SWAP3 -2599 POP -2600 POP -2601 DUP2 -2602 SWAP1 -2603 SSTORE -2604 POP -2605 JUMPDEST -2606 POP -2607 JUMP -2608 JUMPDEST -2609 PUSH1 0x05 -2611 PUSH1 0x00 -2613 SWAP1 -2614 SLOAD -2615 SWAP1 -2616 PUSH2 0x0100 -2619 EXP -2620 SWAP1 -2621 DIV -2622 PUSH20 0xffffffffffffffffffffffffffffffffffffffff -2643 AND -2644 PUSH20 0xffffffffffffffffffffffffffffffffffffffff -2665 AND -2666 CALLER -2667 PUSH20 0xffffffffffffffffffffffffffffffffffffffff -2688 AND -2689 EQ -2690 ISZERO -2691 PUSH2 0x0aa8 -2694 JUMPI -2695 PUSH2 0x012c -2698 DUP2 -2699 GT -2700 DUP1 -2701 PUSH2 0x0a96 -2704 JUMPI -2705 POP -2706 PUSH1 0x78 -2708 DUP2 -2709 LT -2710 JUMPDEST -2711 ISZERO -2712 PUSH2 0x0aa0 -2715 JUMPI -2716 PUSH1 0x00 -2718 DUP1 -2719 REVERT -2720 JUMPDEST -2721 DUP1 -2722 PUSH1 0x03 -2724 DUP2 -2725 SWAP1 -2726 SSTORE -2727 POP -2728 JUMPDEST -2729 POP -2730 JUMP -2731 JUMPDEST -2732 PUSH1 0x00 -2734 PUSH1 0x04 -2736 SLOAD -2737 PUSH1 0x06 -2739 DUP1 -2740 SLOAD -2741 SWAP1 -2742 POP -2743 SUB -2744 SWAP1 -2745 POP -2746 SWAP1 -2747 JUMP -2748 JUMPDEST -2749 PUSH1 0x05 -2751 PUSH1 0x00 -2753 SWAP1 -2754 SLOAD -2755 SWAP1 -2756 PUSH2 0x0100 -2759 EXP -2760 SWAP1 -2761 DIV -2762 PUSH20 0xffffffffffffffffffffffffffffffffffffffff -2783 AND -2784 PUSH20 0xffffffffffffffffffffffffffffffffffffffff -2805 AND -2806 CALLER -2807 PUSH20 0xffffffffffffffffffffffffffffffffffffffff -2828 AND -2829 EQ -2830 ISZERO -2831 PUSH2 0x0b28 -2834 JUMPI -2835 PUSH1 0x0a -2837 DUP2 -2838 GT -2839 ISZERO -2840 PUSH2 0x0b20 -2843 JUMPI -2844 PUSH1 0x00 -2846 DUP1 -2847 REVERT -2848 JUMPDEST -2849 DUP1 -2850 PUSH1 0x02 -2852 DUP2 -2853 SWAP1 -2854 SSTORE -2855 POP -2856 JUMPDEST -2857 POP -2858 JUMP -2859 JUMPDEST -2860 PUSH1 0x00 -2862 PUSH1 0x06 -2864 DUP1 -2865 SLOAD -2866 DUP1 -2867 PUSH1 0x01 -2869 ADD -2870 DUP3 -2871 DUP2 -2872 PUSH2 0x0b41 -2875 SWAP2 -2876 SWAP1 -2877 PUSH2 0x0d7f -2880 JUMP -2881 JUMPDEST -2882 SWAP2 -2883 PUSH1 0x00 -2885 MSTORE -2886 PUSH1 0x20 -2888 PUSH1 0x00 -2890 SHA3 -2891 SWAP1 -2892 PUSH1 0x02 -2894 MUL -2895 ADD -2896 PUSH1 0x00 -2898 PUSH1 0x40 -2900 DUP1 -2901 MLOAD -2902 SWAP1 -2903 DUP2 -2904 ADD -2905 PUSH1 0x40 -2907 MSTORE -2908 DUP1 -2909 CALLER -2910 PUSH20 0xffffffffffffffffffffffffffffffffffffffff -2931 AND -2932 DUP2 -2933 MSTORE -2934 PUSH1 0x20 -2936 ADD -2937 PUSH1 0x64 -2939 PUSH1 0x03 -2941 SLOAD -2942 CALLVALUE -2943 MUL -2944 DUP2 -2945 ISZERO -2946 ISZERO -2947 PUSH2 0x0b88 -2950 JUMPI -2951 ASSERT_FAIL -2952 JUMPDEST -2953 DIV -2954 DUP2 -2955 MSTORE -2956 POP -2957 SWAP1 -2958 SWAP2 -2959 SWAP1 -2960 SWAP2 -2961 POP -2962 PUSH1 0x00 -2964 DUP3 -2965 ADD -2966 MLOAD -2967 DUP2 -2968 PUSH1 0x00 -2970 ADD -2971 PUSH1 0x00 -2973 PUSH2 0x0100 -2976 EXP -2977 DUP2 -2978 SLOAD -2979 DUP2 -2980 PUSH20 0xffffffffffffffffffffffffffffffffffffffff -3001 MUL -3002 NOT -3003 AND -3004 SWAP1 -3005 DUP4 -3006 PUSH20 0xffffffffffffffffffffffffffffffffffffffff -3027 AND -3028 MUL -3029 OR -3030 SWAP1 -3031 SSTORE -3032 POP -3033 PUSH1 0x20 -3035 DUP3 -3036 ADD -3037 MLOAD -3038 DUP2 -3039 PUSH1 0x01 -3041 ADD -3042 SSTORE -3043 POP -3044 POP -3045 POP -3046 PUSH1 0x0a -3048 PUSH1 0x06 -3050 DUP1 -3051 SLOAD -3052 SWAP1 -3053 POP -3054 EQ -3055 ISZERO -3056 PUSH2 0x0c00 -3059 JUMPI -3060 PUSH1 0xc8 -3062 PUSH1 0x03 -3064 DUP2 -3065 SWAP1 -3066 SSTORE -3067 POP -3068 PUSH2 0x0c18 -3071 JUMP -3072 JUMPDEST -3073 PUSH1 0x19 -3075 PUSH1 0x06 -3077 DUP1 -3078 SLOAD -3079 SWAP1 -3080 POP -3081 EQ -3082 ISZERO -3083 PUSH2 0x0c17 -3086 JUMPI -3087 PUSH1 0x96 -3089 PUSH1 0x03 -3091 DUP2 -3092 SWAP1 -3093 SSTORE -3094 POP -3095 JUMPDEST -3096 JUMPDEST -3097 PUSH1 0x64 -3099 DUP3 -3100 PUSH1 0x64 -3102 SUB -3103 CALLVALUE -3104 MUL -3105 DUP2 -3106 ISZERO -3107 ISZERO -3108 PUSH2 0x0c29 -3111 JUMPI -3112 ASSERT_FAIL -3113 JUMPDEST -3114 DIV -3115 PUSH1 0x00 -3117 DUP1 -3118 DUP3 -3119 DUP3 -3120 SLOAD -3121 ADD -3122 SWAP3 -3123 POP -3124 POP -3125 DUP2 -3126 SWAP1 -3127 SSTORE -3128 POP -3129 PUSH1 0x64 -3131 DUP3 -3132 CALLVALUE -3133 MUL -3134 DUP2 -3135 ISZERO -3136 ISZERO -3137 PUSH2 0x0c46 -3140 JUMPI -3141 ASSERT_FAIL -3142 JUMPDEST -3143 DIV -3144 PUSH1 0x01 -3146 PUSH1 0x00 -3148 DUP3 -3149 DUP3 -3150 SLOAD -3151 ADD -3152 SWAP3 -3153 POP -3154 POP -3155 DUP2 -3156 SWAP1 -3157 SSTORE -3158 POP -3159 JUMPDEST -3160 PUSH1 0x06 -3162 PUSH1 0x04 -3164 SLOAD -3165 DUP2 -3166 SLOAD -3167 DUP2 -3168 LT -3169 ISZERO -3170 ISZERO -3171 PUSH2 0x0c68 -3174 JUMPI -3175 ASSERT_FAIL -3176 JUMPDEST -3177 SWAP1 -3178 PUSH1 0x00 -3180 MSTORE -3181 PUSH1 0x20 -3183 PUSH1 0x00 -3185 SHA3 -3186 SWAP1 -3187 PUSH1 0x02 -3189 MUL -3190 ADD -3191 PUSH1 0x01 -3193 ADD -3194 SLOAD -3195 PUSH1 0x00 -3197 SLOAD -3198 GT -3199 ISZERO -3200 PUSH2 0x0d67 -3203 JUMPI -3204 PUSH1 0x06 -3206 PUSH1 0x04 -3208 SLOAD -3209 DUP2 -3210 SLOAD -3211 DUP2 -3212 LT -3213 ISZERO -3214 ISZERO -3215 PUSH2 0x0c94 -3218 JUMPI -3219 ASSERT_FAIL -3220 JUMPDEST -3221 SWAP1 -3222 PUSH1 0x00 -3224 MSTORE -3225 PUSH1 0x20 -3227 PUSH1 0x00 -3229 SHA3 -3230 SWAP1 -3231 PUSH1 0x02 -3233 MUL -3234 ADD -3235 PUSH1 0x01 -3237 ADD -3238 SLOAD -3239 SWAP1 -3240 POP -3241 PUSH1 0x06 -3243 PUSH1 0x04 -3245 SLOAD -3246 DUP2 -3247 SLOAD -3248 DUP2 -3249 LT -3250 ISZERO -3251 ISZERO -3252 PUSH2 0x0cb9 -3255 JUMPI -3256 ASSERT_FAIL -3257 JUMPDEST -3258 SWAP1 -3259 PUSH1 0x00 -3261 MSTORE -3262 PUSH1 0x20 -3264 PUSH1 0x00 -3266 SHA3 -3267 SWAP1 -3268 PUSH1 0x02 -3270 MUL -3271 ADD -3272 PUSH1 0x00 -3274 ADD -3275 PUSH1 0x00 -3277 SWAP1 -3278 SLOAD -3279 SWAP1 -3280 PUSH2 0x0100 -3283 EXP -3284 SWAP1 -3285 DIV -3286 PUSH20 0xffffffffffffffffffffffffffffffffffffffff -3307 AND -3308 PUSH20 0xffffffffffffffffffffffffffffffffffffffff -3329 AND -3330 PUSH2 0x08fc -3333 DUP3 -3334 SWAP1 -3335 DUP2 -3336 ISZERO -3337 MUL -3338 SWAP1 -3339 PUSH1 0x40 -3341 MLOAD -3342 PUSH1 0x00 -3344 PUSH1 0x40 -3346 MLOAD -3347 DUP1 -3348 DUP4 -3349 SUB -3350 DUP2 -3351 DUP6 -3352 DUP9 -3353 DUP9 -3354 CALL -3355 SWAP4 -3356 POP -3357 POP -3358 POP -3359 POP -3360 POP -3361 PUSH1 0x06 -3363 PUSH1 0x04 -3365 SLOAD -3366 DUP2 -3367 SLOAD -3368 DUP2 -3369 LT -3370 ISZERO -3371 ISZERO -3372 PUSH2 0x0d31 -3375 JUMPI -3376 ASSERT_FAIL -3377 JUMPDEST -3378 SWAP1 -3379 PUSH1 0x00 -3381 MSTORE -3382 PUSH1 0x20 -3384 PUSH1 0x00 -3386 SHA3 -3387 SWAP1 -3388 PUSH1 0x02 -3390 MUL -3391 ADD -3392 PUSH1 0x01 -3394 ADD -3395 SLOAD -3396 PUSH1 0x00 -3398 DUP1 -3399 DUP3 -3400 DUP3 -3401 SLOAD -3402 SUB -3403 SWAP3 -3404 POP -3405 POP -3406 DUP2 -3407 SWAP1 -3408 SSTORE -3409 POP -3410 PUSH1 0x01 -3412 PUSH1 0x04 -3414 PUSH1 0x00 -3416 DUP3 -3417 DUP3 -3418 SLOAD -3419 ADD -3420 SWAP3 -3421 POP -3422 POP -3423 DUP2 -3424 SWAP1 -3425 SSTORE -3426 POP -3427 PUSH2 0x0c57 -3430 JUMP -3431 JUMPDEST -3432 POP -3433 POP -3434 JUMP -3435 JUMPDEST -3436 PUSH1 0x20 -3438 PUSH1 0x40 -3440 MLOAD -3441 SWAP1 -3442 DUP2 -3443 ADD -3444 PUSH1 0x40 -3446 MSTORE -3447 DUP1 -3448 PUSH1 0x00 -3450 DUP2 -3451 MSTORE -3452 POP -3453 SWAP1 -3454 JUMP -3455 JUMPDEST -3456 DUP2 -3457 SLOAD -3458 DUP2 -3459 DUP4 -3460 SSTORE -3461 DUP2 -3462 DUP2 -3463 ISZERO -3464 GT -3465 PUSH2 0x0dac -3468 JUMPI -3469 PUSH1 0x02 -3471 MUL -3472 DUP2 -3473 PUSH1 0x02 -3475 MUL -3476 DUP4 -3477 PUSH1 0x00 -3479 MSTORE -3480 PUSH1 0x20 -3482 PUSH1 0x00 -3484 SHA3 -3485 SWAP2 -3486 DUP3 -3487 ADD -3488 SWAP2 -3489 ADD -3490 PUSH2 0x0dab -3493 SWAP2 -3494 SWAP1 -3495 PUSH2 0x0db1 -3498 JUMP -3499 JUMPDEST -3500 JUMPDEST -3501 POP -3502 POP -3503 POP -3504 JUMP -3505 JUMPDEST -3506 PUSH2 0x0dfc -3509 SWAP2 -3510 SWAP1 -3511 JUMPDEST -3512 DUP1 -3513 DUP3 -3514 GT -3515 ISZERO -3516 PUSH2 0x0df8 -3519 JUMPI -3520 PUSH1 0x00 -3522 DUP1 -3523 DUP3 -3524 ADD -3525 PUSH1 0x00 -3527 PUSH2 0x0100 -3530 EXP -3531 DUP2 -3532 SLOAD -3533 SWAP1 -3534 PUSH20 0xffffffffffffffffffffffffffffffffffffffff -3555 MUL -3556 NOT -3557 AND -3558 SWAP1 -3559 SSTORE -3560 PUSH1 0x01 -3562 DUP3 -3563 ADD -3564 PUSH1 0x00 -3566 SWAP1 -3567 SSTORE -3568 POP -3569 PUSH1 0x02 -3571 ADD -3572 PUSH2 0x0db7 -3575 JUMP -3576 JUMPDEST -3577 POP -3578 SWAP1 -3579 JUMP -3580 JUMPDEST -3581 SWAP1 -3582 JUMP -3583 STOP -3584 MSTORE8 -3585 PUSH9 0x6f776e20696e202520 -3595 PUSH7 0x6f726d2e204665 -3603 PUSH6 0x206973206861 -3610 PUSH13 0x766564283530252920666f7220 -3624 PUSH2 0x6d6f -3627 PUSH22 0x6e747320657175616c206f7220677265617465722074 -3650 PUSH9 0x616e20353020657468 -3660 PUSH6 0x72732e202846 -3667 PUSH6 0x65206d617920 -3674 PUSH4 0x68616e67 -3679 PUSH6 0x2c2062757420 -3686 PUSH10 0x73206361707065642074 -3697 PUSH16 0x2061206d6178696d756d206f66203130 -3714 INVALID -3715 INVALID -3716 COINBASE -3717 PUSH13 0x6c2062616c616e63652076616c -3731 PUSH22 0x657320617265206d6561737572656420696e20457468 -3754 PUSH6 0x72732c206e6f -3761 PUSH21 0x6520746861742064756520746f206e6f2064656369 -3783 PUSH14 0x616c20706c6163696e672c207468 -3798 PUSH6 0x73652076616c -3805 PUSH22 0x65732073686f7720757020617320696e746567657273 -3828 SHA3 -3829 PUSH16 0x6e6c792c2077697468696e2074686520 -3846 PUSH4 0x6f6e7472 -3851 PUSH2 0x6374 -3854 SHA3 -3855 PUSH10 0x7473656c6620796f7520 -3866 PUSH24 0x696c6c206765742074686520657861637420646563696d61 -3891 PUSH13 0x2076616c756520796f75206172 -3905 PUSH6 0x20737570706f -3912 PUSH20 0x656420746f54686973206d756c7469706c696572 -3933 SHA3 -3934 PUSH2 0x7070 -3937 PUSH13 0x69657320746f20796f75206173 -3951 SHA3 -3952 PUSH20 0x6f6f6e206173207472616e73616374696f6e2069 -3973 PUSH20 0x2072656365697665642c206d6179206265206c6f -3994 PUSH24 0x6572656420746f2068617374656e207061796f757473206f -4019 PUSH19 0x20696e63726561736564206966207061796f75 -4039 PUSH21 0x7320617265206661737420656e6f7567682e204475 -4061 PUSH6 0x20746f206e6f -4068 SHA3 -4069 PUSH7 0x6c6f6174206f72 -4077 SHA3 -4078 PUSH5 0x6563696d61 -4084 PUSH13 0x732c206d756c7469706c696572 -4098 SHA3 -4099 PUSH10 0x73207831303020666f72 -4110 SHA3 -4111 PUSH2 0x2066 -4114 PUSH19 0x616374696f6e616c206d756c7469706c696572 -4134 SHA3 -4135 PUSH6 0x2e672e203235 -4142 ADDRESS -4143 SHA3 -4144 PUSH10 0x732061637475616c6c79 -4155 SHA3 -4156 PUSH2 0x2032 -4159 INVALID -4160 CALLDATALOAD -4161 PUSH25 0x206d756c7469706c6965722e20436170706564206174203378 -4187 SHA3 -4188 PUSH14 0x617820616e6420312e3278206d69 -4203 PUSH15 0x2ea165627a7a7230582084499dccd7 diff --git a/tests/testdata/outputs_expected/rubixi.sol.o.graph.html b/tests/testdata/outputs_expected/rubixi.sol.o.graph.html deleted file mode 100644 index c99c86f7..00000000 --- a/tests/testdata/outputs_expected/rubixi.sol.o.graph.html +++ /dev/null @@ -1,56 +0,0 @@ - - - - - - - - - - - - -

Mythril / Ethereum LASER Symbolic VM

-


- - - \ No newline at end of file diff --git a/tests/testdata/outputs_expected/rubixi.sol.o.json b/tests/testdata/outputs_expected/rubixi.sol.o.json deleted file mode 100644 index 2fa27691..00000000 --- a/tests/testdata/outputs_expected/rubixi.sol.o.json +++ /dev/null @@ -1,70 +0,0 @@ -{ - "success": true, - "error": null, - "issues": [ - { - "title": "Ether send", - "description": "In the function `_function_0x4229616d` a non-zero amount of Ether is sent to an address taken from storage slot 5.\nThere is a check on storage index 5. This storage slot can be written to by calling the function `_function_0x67f809e9`.\n\nThere is a check on storage index 5. This storage slot can be written to by calling the function `_function_0x67f809e9`.\nThere is a check on storage index 1. This storage slot can be written to by calling the function `fallback`.", - "function": "_function_0x4229616d", - "type": "Warning", - "address": 1599, - "debug": "" - }, - { - "title": "Ether send", - "description": "In the function `_function_0xb4022950` a non-zero amount of Ether is sent to an address taken from storage slot 5.\nThere is a check on storage index 5. This storage slot can be written to by calling the function `_function_0x67f809e9`.\n\nThere is a check on storage index 5. This storage slot can be written to by calling the function `_function_0x67f809e9`.\nThere is a check on storage index 1. This storage slot can be written to by calling the function `fallback`.\nThere is a check on storage index 5. This storage slot can be written to by calling the function `_function_0x67f809e9`.\nThere is a check on storage index 1. This storage slot can be written to by calling the function `fallback`.", - "function": "_function_0xb4022950", - "type": "Warning", - "address": 1940, - "debug": "" - }, - { - "title": "Ether send", - "description": "In the function `_function_0xb4022950` a non-zero amount of Ether is sent to an address taken from storage slot 5.\nThere is a check on storage index 5. This storage slot can be written to by calling the function `_function_0x67f809e9`.\n\nThere is a check on storage index 5. This storage slot can be written to by calling the function `_function_0x67f809e9`.\nThere is a check on storage index 1. This storage slot can be written to by calling the function `fallback`.\nThere is a check on storage index 5. This storage slot can be written to by calling the function `_function_0x67f809e9`.\nThere is a check on storage index 1. This storage slot can be written to by calling the function `fallback`.\nThere is a check on storage index 1. This storage slot can be written to by calling the function `fallback`.", - "function": "_function_0xb4022950", - "type": "Warning", - "address": 2582, - "debug": "" - }, - { - "title": "Exception state", - "description": "A reachable exception (opcode 0xfe) has been detected. This can be caused by type errors, division by zero, out-of-bounds array access, or assert violations. This is acceptable in most situations. Note however that `assert()` should only be used to check invariants. Use `require()` for regular input checking. ", - "function": "_function_0x57d4021b", - "type": "Informational", - "address": 1653, - "debug": "" - }, - { - "title": "Exception state", - "description": "A reachable exception (opcode 0xfe) has been detected. This can be caused by type errors, division by zero, out-of-bounds array access, or assert violations. This is acceptable in most situations. Note however that `assert()` should only be used to check invariants. Use `require()` for regular input checking. ", - "function": "_function_0x9dbc4f9b", - "type": "Informational", - "address": 2085, - "debug": "" - }, - { - "title": "Unchecked CALL return value", - "description": "The return value of an external call is not checked. Note that execution continue even if the called contract throws.", - "function": "_function_0x4229616d", - "type": "Informational", - "address": 1599, - "debug": "" - }, - { - "title": "Unchecked CALL return value", - "description": "The return value of an external call is not checked. Note that execution continue even if the called contract throws.", - "function": "_function_0xb4022950", - "type": "Informational", - "address": 1940, - "debug": "" - }, - { - "title": "Unchecked CALL return value", - "description": "The return value of an external call is not checked. Note that execution continue even if the called contract throws.", - "function": "_function_0xb4022950", - "type": "Informational", - "address": 2582, - "debug": "" - } - ] -} \ No newline at end of file diff --git a/tests/testdata/outputs_expected/rubixi.sol.o.markdown b/tests/testdata/outputs_expected/rubixi.sol.o.markdown deleted file mode 100644 index 4153fc5a..00000000 --- a/tests/testdata/outputs_expected/rubixi.sol.o.markdown +++ /dev/null @@ -1,106 +0,0 @@ -# Analysis results for test-filename.sol - -## Ether send - -- Type: Warning -- Contract: Unknown -- Function name: `_function_0x4229616d` -- PC address: 1599 - -### Description - -In the function `_function_0x4229616d` a non-zero amount of Ether is sent to an address taken from storage slot 5. -There is a check on storage index 5. This storage slot can be written to by calling the function `_function_0x67f809e9`. - -There is a check on storage index 5. This storage slot can be written to by calling the function `_function_0x67f809e9`. -There is a check on storage index 1. This storage slot can be written to by calling the function `fallback`. - -## Ether send - -- Type: Warning -- Contract: Unknown -- Function name: `_function_0xb4022950` -- PC address: 1940 - -### Description - -In the function `_function_0xb4022950` a non-zero amount of Ether is sent to an address taken from storage slot 5. -There is a check on storage index 5. This storage slot can be written to by calling the function `_function_0x67f809e9`. - -There is a check on storage index 5. This storage slot can be written to by calling the function `_function_0x67f809e9`. -There is a check on storage index 1. This storage slot can be written to by calling the function `fallback`. -There is a check on storage index 5. This storage slot can be written to by calling the function `_function_0x67f809e9`. -There is a check on storage index 1. This storage slot can be written to by calling the function `fallback`. - -## Ether send - -- Type: Warning -- Contract: Unknown -- Function name: `_function_0xb4022950` -- PC address: 2582 - -### Description - -In the function `_function_0xb4022950` a non-zero amount of Ether is sent to an address taken from storage slot 5. -There is a check on storage index 5. This storage slot can be written to by calling the function `_function_0x67f809e9`. - -There is a check on storage index 5. This storage slot can be written to by calling the function `_function_0x67f809e9`. -There is a check on storage index 1. This storage slot can be written to by calling the function `fallback`. -There is a check on storage index 5. This storage slot can be written to by calling the function `_function_0x67f809e9`. -There is a check on storage index 1. This storage slot can be written to by calling the function `fallback`. -There is a check on storage index 1. This storage slot can be written to by calling the function `fallback`. - -## Exception state - -- Type: Informational -- Contract: Unknown -- Function name: `_function_0x57d4021b` -- PC address: 1653 - -### Description - -A reachable exception (opcode 0xfe) has been detected. This can be caused by type errors, division by zero, out-of-bounds array access, or assert violations. This is acceptable in most situations. Note however that `assert()` should only be used to check invariants. Use `require()` for regular input checking. - -## Exception state - -- Type: Informational -- Contract: Unknown -- Function name: `_function_0x9dbc4f9b` -- PC address: 2085 - -### Description - -A reachable exception (opcode 0xfe) has been detected. This can be caused by type errors, division by zero, out-of-bounds array access, or assert violations. This is acceptable in most situations. Note however that `assert()` should only be used to check invariants. Use `require()` for regular input checking. - -## Unchecked CALL return value - -- Type: Informational -- Contract: Unknown -- Function name: `_function_0x4229616d` -- PC address: 1599 - -### Description - -The return value of an external call is not checked. Note that execution continue even if the called contract throws. - -## Unchecked CALL return value - -- Type: Informational -- Contract: Unknown -- Function name: `_function_0xb4022950` -- PC address: 1940 - -### Description - -The return value of an external call is not checked. Note that execution continue even if the called contract throws. - -## Unchecked CALL return value - -- Type: Informational -- Contract: Unknown -- Function name: `_function_0xb4022950` -- PC address: 2582 - -### Description - -The return value of an external call is not checked. Note that execution continue even if the called contract throws. \ No newline at end of file diff --git a/tests/testdata/outputs_expected/rubixi.sol.o.text b/tests/testdata/outputs_expected/rubixi.sol.o.text deleted file mode 100644 index cb7e0097..00000000 --- a/tests/testdata/outputs_expected/rubixi.sol.o.text +++ /dev/null @@ -1,81 +0,0 @@ -==== Ether send ==== -Type: Warning -Contract: Unknown -Function name: _function_0x4229616d -PC address: 1599 -In the function `_function_0x4229616d` a non-zero amount of Ether is sent to an address taken from storage slot 5. -There is a check on storage index 5. This storage slot can be written to by calling the function `_function_0x67f809e9`. - -There is a check on storage index 5. This storage slot can be written to by calling the function `_function_0x67f809e9`. -There is a check on storage index 1. This storage slot can be written to by calling the function `fallback`. --------------------- - -==== Ether send ==== -Type: Warning -Contract: Unknown -Function name: _function_0xb4022950 -PC address: 1940 -In the function `_function_0xb4022950` a non-zero amount of Ether is sent to an address taken from storage slot 5. -There is a check on storage index 5. This storage slot can be written to by calling the function `_function_0x67f809e9`. - -There is a check on storage index 5. This storage slot can be written to by calling the function `_function_0x67f809e9`. -There is a check on storage index 1. This storage slot can be written to by calling the function `fallback`. -There is a check on storage index 5. This storage slot can be written to by calling the function `_function_0x67f809e9`. -There is a check on storage index 1. This storage slot can be written to by calling the function `fallback`. --------------------- - -==== Ether send ==== -Type: Warning -Contract: Unknown -Function name: _function_0xb4022950 -PC address: 2582 -In the function `_function_0xb4022950` a non-zero amount of Ether is sent to an address taken from storage slot 5. -There is a check on storage index 5. This storage slot can be written to by calling the function `_function_0x67f809e9`. - -There is a check on storage index 5. This storage slot can be written to by calling the function `_function_0x67f809e9`. -There is a check on storage index 1. This storage slot can be written to by calling the function `fallback`. -There is a check on storage index 5. This storage slot can be written to by calling the function `_function_0x67f809e9`. -There is a check on storage index 1. This storage slot can be written to by calling the function `fallback`. -There is a check on storage index 1. This storage slot can be written to by calling the function `fallback`. --------------------- - -==== Exception state ==== -Type: Informational -Contract: Unknown -Function name: _function_0x57d4021b -PC address: 1653 -A reachable exception (opcode 0xfe) has been detected. This can be caused by type errors, division by zero, out-of-bounds array access, or assert violations. This is acceptable in most situations. Note however that `assert()` should only be used to check invariants. Use `require()` for regular input checking. --------------------- - -==== Exception state ==== -Type: Informational -Contract: Unknown -Function name: _function_0x9dbc4f9b -PC address: 2085 -A reachable exception (opcode 0xfe) has been detected. This can be caused by type errors, division by zero, out-of-bounds array access, or assert violations. This is acceptable in most situations. Note however that `assert()` should only be used to check invariants. Use `require()` for regular input checking. --------------------- - -==== Unchecked CALL return value ==== -Type: Informational -Contract: Unknown -Function name: _function_0x4229616d -PC address: 1599 -The return value of an external call is not checked. Note that execution continue even if the called contract throws. --------------------- - -==== Unchecked CALL return value ==== -Type: Informational -Contract: Unknown -Function name: _function_0xb4022950 -PC address: 1940 -The return value of an external call is not checked. Note that execution continue even if the called contract throws. --------------------- - -==== Unchecked CALL return value ==== -Type: Informational -Contract: Unknown -Function name: _function_0xb4022950 -PC address: 2582 -The return value of an external call is not checked. Note that execution continue even if the called contract throws. --------------------- -