From bafa2f734fb796a90b2d786a041c0ff9ee71617e Mon Sep 17 00:00:00 2001 From: Dimitry Date: Wed, 21 Nov 2018 15:28:21 +0300 Subject: bug from fuzzer --- ...stDEFAULT-Tue_07_58_41-15153-575192_d0g0v0.json | 110 +++++++++++++++++++++ ...StatetestDEFAULT-Tue_07_58_41-15153-575192.json | 70 +++++++++++++ ...ULT-Tue_07_58_41-15153-575192_d0g0v0Filler.json | 94 ++++++++++++++++++ ...estDEFAULT-Tue_07_58_41-15153-575192Filler.json | 82 +++++++++++++++ 4 files changed, 356 insertions(+) create mode 100644 BlockchainTests/GeneralStateTests/stBugs/randomStatetestDEFAULT-Tue_07_58_41-15153-575192_d0g0v0.json create mode 100644 GeneralStateTests/stBugs/randomStatetestDEFAULT-Tue_07_58_41-15153-575192.json create mode 100644 src/BlockchainTestsFiller/GeneralStateTests/stBugs/randomStatetestDEFAULT-Tue_07_58_41-15153-575192_d0g0v0Filler.json create mode 100644 src/GeneralStateTestsFiller/stBugs/randomStatetestDEFAULT-Tue_07_58_41-15153-575192Filler.json diff --git a/BlockchainTests/GeneralStateTests/stBugs/randomStatetestDEFAULT-Tue_07_58_41-15153-575192_d0g0v0.json b/BlockchainTests/GeneralStateTests/stBugs/randomStatetestDEFAULT-Tue_07_58_41-15153-575192_d0g0v0.json new file mode 100644 index 000000000..feb64839b --- /dev/null +++ b/BlockchainTests/GeneralStateTests/stBugs/randomStatetestDEFAULT-Tue_07_58_41-15153-575192_d0g0v0.json @@ -0,0 +1,110 @@ +{ + "randomStatetestDEFAULT-Tue_07_58_41-15153-575192_d0g0v0_Constantinople" : { + "_info" : { + "comment" : "This is a canon example of a test found by fuzzing with EVMlab, demoing how a suicide-created-but-empty account has a non-zero codehash in geth", + "filledwith" : "testeth 1.5.0-alpha.6-49+commit.4897b8bb.dirty", + "lllcversion" : "Version: 0.5.0-develop.2018.11.9+commit.9709dfe0.Linux.g++", + "source" : "src/BlockchainTestsFiller/GeneralStateTests/stBugs/randomStatetestDEFAULT-Tue_07_58_41-15153-575192_d0g0v0Filler.json", + "sourceHash" : "4bbade093776a325823ea3d7bfa76e68fa43b0bd5e21eacfcf342e69f6c7bc66" + }, + "blocks" : [ + { + "blockHeader" : { + "bloom" : "0x00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "coinbase" : "0x1000000000000000000000000000000000000000", + "difficulty" : "0x020000", + "extraData" : "", + "gasLimit" : "0x01312d00", + "gasUsed" : "0x3562", + "hash" : "0x4471e68cbce2ee8f2dfaa9204df19f6c7886616d7b91290a2c87b32c66c4540a", + "mixHash" : "0x0000000000000000000000000000000000000000000000000000000000000000", + "nonce" : "0x0000000000000000", + "number" : "0x01", + "parentHash" : "0xdeae54186ad2778f4c26773e0916e3ebaeae6870e730d543005ed3a7c90effd5", + "receiptTrie" : "0x83d1362ed1992a10c64ed61aa9feb09b6d146ac27f1fd2ce9d9434e25ad0bcf2", + "stateRoot" : "0xd2356900a1c66b2a820a5230eacac6027df677d4fcfeddf7d04e450f5e6b0146", + "timestamp" : "0x03e8", + "transactionsTrie" : "0xfd816f84a53cf2b83709ffc904562c43fa9bae550ca37afd84a05e266496e057", + "uncleHash" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347" + }, + "rlp" : "0xf90260f901f8a0deae54186ad2778f4c26773e0916e3ebaeae6870e730d543005ed3a7c90effd5a01dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347941000000000000000000000000000000000000000a0d2356900a1c66b2a820a5230eacac6027df677d4fcfeddf7d04e450f5e6b0146a0fd816f84a53cf2b83709ffc904562c43fa9bae550ca37afd84a05e266496e057a083d1362ed1992a10c64ed61aa9feb09b6d146ac27f1fd2ce9d9434e25ad0bcf2b901000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000083020000018401312d008235628203e880a00000000000000000000000000000000000000000000000000000000000000000880000000000000000f862f8601c01835fde0794100000000000000000000000000000000000000080801ca06297856afd23b21a97bbf1303fc513a4d42ede403df0892cf23e9de10e6eaecea03d3915c240cdc4f6f28eb19e2cf0c6e6190b8be8233fdff16d384f44b72c4340c0", + "transactions" : [ + { + "data" : "0x", + "gasLimit" : "0x5fde07", + "gasPrice" : "0x01", + "nonce" : "0x1c", + "r" : "0x6297856afd23b21a97bbf1303fc513a4d42ede403df0892cf23e9de10e6eaece", + "s" : "0x3d3915c240cdc4f6f28eb19e2cf0c6e6190b8be8233fdff16d384f44b72c4340", + "to" : "0x1000000000000000000000000000000000000000", + "v" : "0x1c", + "value" : "0x00" + } + ], + "uncleHeaders" : [ + ] + } + ], + "genesisBlockHeader" : { + "bloom" : "0x00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "coinbase" : "0x1000000000000000000000000000000000000000", + "difficulty" : "0x020000", + "extraData" : "0x42", + "gasLimit" : "0x01312d00", + "gasUsed" : "0x00", + "hash" : "0xdeae54186ad2778f4c26773e0916e3ebaeae6870e730d543005ed3a7c90effd5", + "mixHash" : "0x56e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421", + "nonce" : "0x0102030405060708", + "number" : "0x00", + "parentHash" : "0x0000000000000000000000000000000000000000000000000000000000000000", + "receiptTrie" : "0x56e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421", + "stateRoot" : "0x96372c6c19a7cc6a207efe7dbdc9a7d3a72c2dcb452f24b6f78b1dbfe73ee1f6", + "timestamp" : "0x03b6", + "transactionsTrie" : "0x56e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421", + "uncleHash" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347" + }, + "genesisRLP" : "0xf901fbf901f6a00000000000000000000000000000000000000000000000000000000000000000a01dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347941000000000000000000000000000000000000000a096372c6c19a7cc6a207efe7dbdc9a7d3a72c2dcb452f24b6f78b1dbfe73ee1f6a056e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421a056e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421b901000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000083020000808401312d00808203b642a056e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421880102030405060708c0c0", + "lastblockhash" : "0x4471e68cbce2ee8f2dfaa9204df19f6c7886616d7b91290a2c87b32c66c4540a", + "network" : "Constantinople", + "postState" : { + "0x1000000000000000000000000000000000000000" : { + "balance" : "0x1bc16d674ec83562", + "code" : "0x61dead6000600060006000600061dead5af162abcdef3f600155", + "nonce" : "0x1c", + "storage" : { + } + }, + "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b" : { + "balance" : "0x5d8fdd3ff5426352", + "code" : "", + "nonce" : "0x1d", + "storage" : { + } + } + }, + "pre" : { + "0x000000000000000000000000000000000000dead" : { + "balance" : "0x00", + "code" : "0x62abcdefff", + "nonce" : "0x1c", + "storage" : { + } + }, + "0x1000000000000000000000000000000000000000" : { + "balance" : "0x00", + "code" : "0x61dead6000600060006000600061dead5af162abcdef3f600155", + "nonce" : "0x1c", + "storage" : { + } + }, + "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b" : { + "balance" : "0x5d8fdd3ff54298b4", + "code" : "", + "nonce" : "0x1c", + "storage" : { + } + } + }, + "sealEngine" : "NoProof" + } +} \ No newline at end of file diff --git a/GeneralStateTests/stBugs/randomStatetestDEFAULT-Tue_07_58_41-15153-575192.json b/GeneralStateTests/stBugs/randomStatetestDEFAULT-Tue_07_58_41-15153-575192.json new file mode 100644 index 000000000..25a822dee --- /dev/null +++ b/GeneralStateTests/stBugs/randomStatetestDEFAULT-Tue_07_58_41-15153-575192.json @@ -0,0 +1,70 @@ +{ + "randomStatetestDEFAULT-Tue_07_58_41-15153-575192" : { + "_info" : { + "comment" : "This is a canon example of a test found by fuzzing with EVMlab, demoing how a suicide-created-but-empty account has a non-zero codehash in geth", + "filledwith" : "testeth 1.5.0-alpha.6-49+commit.4897b8bb.dirty", + "lllcversion" : "Version: 0.5.0-develop.2018.11.9+commit.9709dfe0.Linux.g++", + "source" : "src/GeneralStateTestsFiller/stBugs/randomStatetestDEFAULT-Tue_07_58_41-15153-575192Filler.json", + "sourceHash" : "bce4138139755ad5260c8f291912a784a60f516a5c2e8532114a4b32fe466e1c" + }, + "env" : { + "currentCoinbase" : "0x1000000000000000000000000000000000000000", + "currentDifficulty" : "0x20000", + "currentGasLimit" : "0x1312D00", + "currentNumber" : "0x01", + "currentTimestamp" : "0x03e8", + "previousHash" : "0x5fa368f13facaec6bf82d19c5d075fd3386be8a4265ed2d90c29b312a09b6d9d" + }, + "post" : { + "Constantinople" : [ + { + "hash" : "0x8fb978294c28192c01755a2ce74bcefd9681938636861193f3b1695cbfe4a29b", + "indexes" : { + "data" : 0, + "gas" : 0, + "value" : 0 + }, + "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347" + } + ] + }, + "pre" : { + "0x000000000000000000000000000000000000dead" : { + "balance" : "0x00", + "code" : "0x62abcdefff", + "nonce" : "0x1c", + "storage" : { + } + }, + "0x1000000000000000000000000000000000000000" : { + "balance" : "0x00", + "code" : "0x61dead6000600060006000600061dead5af162abcdef3f600155", + "nonce" : "0x1c", + "storage" : { + } + }, + "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b" : { + "balance" : "0x5d8fdd3ff54298b4", + "code" : "", + "nonce" : "0x1c", + "storage" : { + } + } + }, + "transaction" : { + "data" : [ + "0x" + ], + "gasLimit" : [ + "0x5fde07" + ], + "gasPrice" : "0x01", + "nonce" : "0x1c", + "secretKey" : "0x45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8", + "to" : "0x1000000000000000000000000000000000000000", + "value" : [ + "0x00" + ] + } + } +} \ No newline at end of file diff --git a/src/BlockchainTestsFiller/GeneralStateTests/stBugs/randomStatetestDEFAULT-Tue_07_58_41-15153-575192_d0g0v0Filler.json b/src/BlockchainTestsFiller/GeneralStateTests/stBugs/randomStatetestDEFAULT-Tue_07_58_41-15153-575192_d0g0v0Filler.json new file mode 100644 index 000000000..5f4aa40d2 --- /dev/null +++ b/src/BlockchainTestsFiller/GeneralStateTests/stBugs/randomStatetestDEFAULT-Tue_07_58_41-15153-575192_d0g0v0Filler.json @@ -0,0 +1,94 @@ +{ + "randomStatetestDEFAULT-Tue_07_58_41-15153-575192_d0g0v0" : { + "_info" : { + "comment" : "This is a canon example of a test found by fuzzing with EVMlab, demoing how a suicide-created-but-empty account has a non-zero codehash in geth" + }, + "blocks" : [ + { + "blockHeaderPremine" : { + "difficulty" : "0x020000", + "gasLimit" : "0x01312d00", + "timestamp" : "0x03e8", + "updatePoW" : "1" + }, + "transactions" : [ + { + "data" : "0x", + "gasLimit" : "0x5fde07", + "gasPrice" : "0x01", + "nonce" : "0x1c", + "r" : "0x6297856afd23b21a97bbf1303fc513a4d42ede403df0892cf23e9de10e6eaece", + "s" : "0x3d3915c240cdc4f6f28eb19e2cf0c6e6190b8be8233fdff16d384f44b72c4340", + "to" : "0x1000000000000000000000000000000000000000", + "v" : "0x1c", + "value" : "0x00" + } + ], + "uncleHeaders" : [ + ] + } + ], + "expect" : [ + { + "network" : "Constantinople", + "result" : { + "0x1000000000000000000000000000000000000000" : { + "balance" : "0x1bc16d674ec83562", + "code" : "0x61dead6000600060006000600061dead5af162abcdef3f600155", + "nonce" : "0x1c", + "storage" : { + } + }, + "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b" : { + "balance" : "0x5d8fdd3ff5426352", + "code" : "", + "nonce" : "0x1d", + "storage" : { + } + } + } + } + ], + "genesisBlockHeader" : { + "bloom" : "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "coinbase" : "1000000000000000000000000000000000000000", + "difficulty" : "131072", + "extraData" : "0x42", + "gasLimit" : "0x01312d00", + "gasUsed" : "0", + "mixHash" : "0x56e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421", + "nonce" : "0x0102030405060708", + "number" : "0", + "parentHash" : "0x0000000000000000000000000000000000000000000000000000000000000000", + "receiptTrie" : "0x56e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421", + "stateRoot" : "0xf99eb1626cfa6db435c0836235942d7ccaa935f1ae247d3f1c21e495685f903a", + "timestamp" : "0x03b6", + "transactionsTrie" : "0x56e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421", + "uncleHash" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347" + }, + "pre" : { + "0x000000000000000000000000000000000000dead" : { + "balance" : "0x00", + "code" : "0x62abcdefff", + "nonce" : "0x1c", + "storage" : { + } + }, + "0x1000000000000000000000000000000000000000" : { + "balance" : "0x00", + "code" : "0x61dead6000600060006000600061dead5af162abcdef3f600155", + "nonce" : "0x1c", + "storage" : { + } + }, + "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b" : { + "balance" : "0x5d8fdd3ff54298b4", + "code" : "", + "nonce" : "0x1c", + "storage" : { + } + } + }, + "sealEngine" : "NoProof" + } +} \ No newline at end of file diff --git a/src/GeneralStateTestsFiller/stBugs/randomStatetestDEFAULT-Tue_07_58_41-15153-575192Filler.json b/src/GeneralStateTestsFiller/stBugs/randomStatetestDEFAULT-Tue_07_58_41-15153-575192Filler.json new file mode 100644 index 000000000..91e3ebdb8 --- /dev/null +++ b/src/GeneralStateTestsFiller/stBugs/randomStatetestDEFAULT-Tue_07_58_41-15153-575192Filler.json @@ -0,0 +1,82 @@ +{ + "randomStatetestDEFAULT-Tue_07_58_41-15153-575192": { + "_info": { + "comment": "This is a canon example of a test found by fuzzing with EVMlab, demoing how a suicide-created-but-empty account has a non-zero codehash in geth", + "filledwith": "evmlab", + "lllcversion": "not available", + "source": "not available", + "sourceHash": "not available" + }, + "expect" : [ + { + "indexes" : { + "data" : -1, + "gas" : -1, + "value" : -1 + }, + "network" : [">=Constantinople"], + "result" : { + "0x1000000000000000000000000000000000000000" : { + "balance" : "0x3562", + "code" : "0x61dead6000600060006000600061dead5af162abcdef3f600155", + "nonce" : "0x1c", + "storage" : { + } + }, + "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b" : { + "balance" : "0x5d8fdd3ff5426352", + "code" : "", + "nonce" : "0x1d", + "storage" : { + } + } + } + } + ], + "env": { + "currentCoinbase": "0x1000000000000000000000000000000000000000", + "currentDifficulty": "0x20000", + "currentGasLimit": "0x1312D00", + "currentNumber": "1", + "currentTimestamp": "1000", + "previousHash": "5fa368f13facaec6bf82d19c5d075fd3386be8a4265ed2d90c29b312a09b6d9d" + }, + "pre": { + "000000000000000000000000000000000000dead": { + "balance": "0x00", + "code": "0x62abcdefff", + "nonce": "0x1c", + "storage": {} + }, + "1000000000000000000000000000000000000000": { + "balance": "0x00", + "code" : "0x61dead6000600060006000600061dead5af162abcdef3f600155", + "nonce": "0x1c", + "storage": {} + }, + "a94f5374fce5edbc8e2a8697c15331677e6ebf0b": { + "balance": "0x5d8fdd3ff54298b4", + "code": "0x", + "nonce": "0x1c", + "storage": {} + } + }, + + "transaction": { + "data": [ + "0x" + ], + "gasLimit": [ + "0x5fde07" + ], + "gasPrice": "0x01", + "nonce": "0x1c", + "secretKey": "0x45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8", + "to": "0x1000000000000000000000000000000000000000", + "value": [ + "0x00" + ] + } + } +} + -- cgit v1.2.3