mirror of https://github.com/ConsenSys/mythril
blockchainethereumsmart-contractssoliditysecurityprogram-analysissecurity-analysissymbolic-execution
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.
48 lines
3.6 KiB
48 lines
3.6 KiB
{
|
|
"initialState": {
|
|
"accounts": {
|
|
"0xaffeaffeaffeaffeaffeaffeaffeaffeaffeaffe": {
|
|
"balance": "0x10000",
|
|
"code": "",
|
|
"nonce": 0,
|
|
"storage": {}
|
|
},
|
|
"0xdeadbeefdeadbeefdeadbeefdeadbeefdeadbeef": {
|
|
"balance": "0x0",
|
|
"code": "",
|
|
"nonce": 0,
|
|
"storage": {}
|
|
}
|
|
}
|
|
},
|
|
"steps": [{
|
|
"address": "",
|
|
"blockCoinbase": "0xcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcb",
|
|
"blockDifficulty": "0xa7d7343662e26",
|
|
"blockGasLimit": "0x7d0000",
|
|
"blockNumber": "0x66e393",
|
|
"blockTime": "0x5bfa4639",
|
|
"calldata": "",
|
|
"gasLimit": "0x7d000",
|
|
"gasPrice": "0x773594000",
|
|
"input": "0x6080604052600080556001805534801561001857600080fd5b50610349806100286000396000f3fe608060405234801561001057600080fd5b50600436106100415760003560e01c806306661abd146100465780637357f5d214610064578063e1c7392a14610080575b600080fd5b61004e61008a565b60405161005b91906101aa565b60405180910390f35b61007e6004803603810190610079919061015b565b610090565b005b61008861013c565b005b60015481565b60038114156100b75781600160008282546100ab91906101c5565b92505081905550610138565b60058114156100ea578160026100cd919061021b565b600160008282546100de91906101c5565b92505081905550610137565b600781141561011d5781600a61010091906101c5565b6001600082825461011191906101c5565b92505081905550610136565b600160008154809291906101309061027f565b91905055505b5b5b5050565b6001600081905550565b600081359050610155816102fc565b92915050565b60008060408385031215610172576101716102f7565b5b600061018085828601610146565b925050602061019185828601610146565b9150509250929050565b6101a481610275565b82525050565b60006020820190506101bf600083018461019b565b92915050565b60006101d082610275565b91506101db83610275565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff038211156102105761020f6102c8565b5b828201905092915050565b600061022682610275565b915061023183610275565b9250817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff048311821515161561026a576102696102c8565b5b828202905092915050565b6000819050919050565b600061028a82610275565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8214156102bd576102bc6102c8565b5b600182019050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b600080fd5b61030581610275565b811461031057600080fd5b5056fea26469706673582212202f9c24200282a71edb4cfb1018bca4a5608551f6bf5910ca1569133908c2605464736f6c63430008060033",
|
|
"name": "unknown",
|
|
"origin": "0xaffeaffeaffeaffeaffeaffeaffeaffeaffeaffe",
|
|
"value": "0x0"
|
|
},
|
|
{
|
|
"address": "0x901d12ebe1b195e5aa8748e62bd7734ae19b51f",
|
|
"blockCoinbase": "0xcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcb",
|
|
"blockDifficulty": "0xa7d7343662e26",
|
|
"blockGasLimit": "0x7d0000",
|
|
"blockNumber": "0x66e393",
|
|
"blockTime": "0x5bfa4639",
|
|
"calldata": "0x7357f5d2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
|
|
"gasLimit": "0x7d000",
|
|
"gasPrice": "0x773594000",
|
|
"input": "0x7357f5d2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
|
|
"name": "run(uint256,uint256)",
|
|
"origin": "0xaffeaffeaffeaffeaffeaffeaffeaffeaffeaffe",
|
|
"value": "0x0"
|
|
}]
|
|
}
|
|
|