Merge pull request #551 from ethereum/moreextcode

bug from fuzzer

4 files changed, 356 insertions, 0 deletions

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"
+      ]
+    }
+  }
+}
+