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

1 line
8.3 KiB
Raw Normal View History Unescape

F2F: Fix tests and build Submission #253416 by walker_ to the challenge https://www.topcoder.com/challenges/30064535
7 years ago
6060604052600436106100db576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806309dfdc71146100f0578063253459e3146101855780634229616d146101ae57806357d4021b146101d157806367f809e9146101fa578063686f2c901461020f5780636fbaaa1e146102245780638a5fb3ca146102b95780639dbc4f9b1461034e578063a26dbf26146103b8578063a6f9dae1146103e1578063b40229501461041a578063ced926701461043d578063d11f13df14610460578063fae1419214610489575b34156100e657600080fd5b6100ee6104ac565b005b34156100fb57600080fd5b610103610507565b6040518083815260200180602001828103825283818151815260200191508051906020019080838360005b8381101561014957808201518184015260208101905061012e565b50505050905090810190601f1680156101765780820380516001836020036101000a031916815260200191505b50935050505060405180910390f35b341561019057600080fd5b61019861054a565b6040518082815260200191505060405180910390f35b34156101b957600080fd5b6101cf6004808035906020019091905050610567565b005b34156101dc57600080fd5b6101e461065a565b6040518082815260200191505060405180910390f35b341561020557600080fd5b61020d610697565b005b341561021a57600080fd5b6102226106da565b005b341561022f57600080fd5b6102376107a5565b6040518083815260200180602001828103825283818151815260200191508051906020019080838360005b8381101561027d578082015181840152602081019050610262565b50505050905090810190601f1680156102aa5780820380516001836020036101000a031916815260200191505b50935050505060405180910390f35b34156102c457600080fd5b6102cc6107d7565b6040518083815260200180602001828103825283818151815260200191508051906020019080838360005b838110156103125780820151818401526020810190506102f7565b50505050905090810190601f16801561033f5780820380516001836020036101000a031916815260200191505b50935050505060405180910390f35b341561035957600080fd5b61036f6004808035906020019091905050610806565b604051808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019250505060405180910390f35b34156103c357600080fd5b6103cb610896565b6040518082815260200191505060405180910390f35b34156103ec57600080fd5b610418600480803573ffffffffffffffffffffffffffffffffffffffff169060200190919050506108a3565b005b341561042557600080fd5b61043b600480803590602001909190505061093e565b005b341561044857600080fd5b61045e6004808035906020019091905050610a30565b005b341561046b57600080fd5b610473610aab565b6040518082815260200191505060405180910390f35b341561049457600080fd5b6104aa6004808035906020019091905050610abc565b005b6000670de0b6b3a76400003410156104d35734600160008282540192505081905550610504565b60025490506802b5e3af16b1880000341015156104fa576002818115156104f657fe5b0490505b61050381610b2b565b5b50565b6000610511610d6b565b670de0b6b3a764000060005481151561052657fe5b0491506101006040519081016040528060ca8152602001610e8460ca913990509091565b6000670de0b6b3a764000060015481151561056157fe5b04905090565b6000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141561065657600060015414806105d05750606482115b156105da57600080fd5b8160646001548115156105e957fe5b04029050600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc829081150290604051600060405180830381858888f1935050505050806001600082825403925050819055505b5050565b6000670de0b6b3a7640000600660045481548110151561067657fe5b90600052602060002090600202016001015481151561069157fe5b04905090565b33600560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614156107a3576000600154141561074057600080fd5b600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc6001549081150290604051600060405180830381858888f193505050505060006001819055505b565b60006107af610d6b565b60035491506101406040519081016040528061011f8152602001610f4e61011f913990509091565b60006107e1610d6b565b600254915060c06040519081016040528060848152602001610e0060849