mythril
mythril copied to clipboard
Cant find Reentrancy bug using commandline - myth analyze -c contractData
Description
https://goerli.etherscan.io/address/0xcD7AB80Da7C893f86fA8deDDf862b74D94f4478E myth analyze -c ContractData Trails Of bits challenge contract - cant analyze any bugs
How to Reproduce
input : myth analyze -c 0x608060405234801561001057600080fd5b50610392806100206000396000f3fe608060405234801561001057600080fd5b50600436106100415760003560e01c80634c228cc714610046578063548853a014610050578063a2fb11751461006c575b600080fd5b61004e61009c565b005b61006a6004803603810190610065919061025c565b6100b8565b005b610086600480360381019061008191906102bf565b6101ba565b60405161009391906102fb565b60405180910390f35b60018060006101000a81548160ff021916908315150217905550565b6000600160006101000a81548160ff0219169083151502179055503373ffffffffffffffffffffffffffffffffffffffff166040516100f690610347565b6000604051808303816000865af19150503d8060008114610133576040519150601f19603f3d011682016040523d82523d6000602084013e610138565b606091505b505050600160009054906101000a900460ff1661015457600080fd5b6000819080600181540180825580915050600190039060005260206000200160009091909190916101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600081815481106101ca57600080fd5b906000526020600020016000915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000610229826101fe565b9050919050565b6102398161021e565b811461024457600080fd5b50565b60008135905061025681610230565b92915050565b600060208284031215610272576102716101f9565b5b600061028084828501610247565b91505092915050565b6000819050919050565b61029c81610289565b81146102a757600080fd5b50565b6000813590506102b981610293565b92915050565b6000602082840312156102d5576102d46101f9565b5b60006102e3848285016102aa565b91505092915050565b6102f58161021e565b82525050565b600060208201905061031060008301846102ec565b92915050565b600081905092915050565b50565b6000610331600083610316565b915061033c82610321565b600082019050919050565b600061035282610324565b915081905091905056fea2646970667358221220c53de3ac784a52e01fb06c0fc1402345609676faaabd58247f8b6ac0aeedafec64736f6c634300080a0033 output : empty string
For example:
$ myth analyze -c contractData
==== Exception state ====
printed empty string
If there is a Solidity source code or a bytecode that is involved, please provide that or links to it. https://goerli.etherscan.io/address/0xcD7AB80Da7C893f86fA8deDDf862b74D94f4478E
Expected behavior
Reentrancy attack
Environment
- Mythril version: output from
myth --version
orpip show mythril
0.22.41 - Solidity compiler and version:
solc --version
^0.8.0 - Python version:
python -V
Python 3.8.9 - OS and Version: [e.g. Mac OS High Sierra] mac os monterey 12.1