sstore collision overwrite sstore

external call overwrite sstore

2 files changed, 303 insertions, 0 deletions

diff --git a/GeneralStateTests/stSStoreTest/InitCollision.json b/GeneralStateTests/stSStoreTest/InitCollision.json
new file mode 100644
index 000000000..35f533c45
--- /dev/null
+++ b/GeneralStateTests/stSStoreTest/InitCollision.json
@@ -0,0 +1,82 @@
+{
+    "InitCollision" : {
+        "_info" : {
+            "comment" : "account already has storage X. create -> in init code change that account's storage -> 0 -> change it to X again ",
+            "filledwith" : "testeth 1.5.0.dev2-76+commit.2fd57400.dirty",
+            "lllcversion" : "Version: 0.5.0-develop.2018.10.24+commit.01566c2e.Linux.g++",
+            "source" : "src/GeneralStateTestsFiller/stSStoreTest/InitCollisionFiller.json",
+            "sourceHash" : "89813ef3c9a96fc2c208361508c21064c6c5a316fa7858515f40b455daed0bc7"
+        },
+        "env" : {
+            "currentCoinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
+            "currentDifficulty" : "0x020000",
+            "currentGasLimit" : "0x989680",
+            "currentNumber" : "0x01",
+            "currentTimestamp" : "0x03e8",
+            "previousHash" : "0x5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
+        },
+        "post" : {
+            "Constantinople" : [
+                {
+                    "hash" : "0x26067c3f3f9f8ae914339879cef816f17a622fc53124051ae1ae2186a9b0acf7",
+                    "indexes" : {
+                        "data" : 3,
+                        "gas" : 0,
+                        "value" : 0
+                    },
+                    "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347"
+                }
+            ]
+        },
+        "pre" : {
+            "0x6295ee1b4f6dd65047762f924ecd367c17eabf8f" : {
+                "balance" : "0x00",
+                "code" : "",
+                "nonce" : "0x00",
+                "storage" : {
+                    "0x01" : "0x01"
+                }
+            },
+            "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+                "balance" : "0xe8d4a51000",
+                "code" : "",
+                "nonce" : "0x00",
+                "storage" : {
+                }
+            },
+            "0xdea0000000000000000000000000000000000000" : {
+                "balance" : "0x00",
+                "code" : "0x6001600155600060015560016002556000600255600160035560006003556001600455600060045560016005556000600555600160065560006006556001600755600060075560016008556000600855600160095560006009556001600a556000600a556001600b556000600b556001600c556000600c556001600d556000600d556001600e556000600e556001600f556000600f55600160105560006010556001600155",
+                "nonce" : "0x00",
+                "storage" : {
+                }
+            },
+            "0xfc597da4849c0d854629216d9e297bbca7bb4616" : {
+                "balance" : "0x00",
+                "code" : "",
+                "nonce" : "0x00",
+                "storage" : {
+                    "0x01" : "0x01"
+                }
+            }
+        },
+        "transaction" : {
+            "data" : [
+                "0x60006001556001600155",
+                "0x6000600a80601260003960006000f55000fe60006001556001600155",
+                "0x6000600a80601760003960006000f55060006000fd00fe60006001556001600155",
+                "0x6000600a80603760003960006000f5506000600060006000600073dea000000000000000000000000000000000000062030d40f15000fe60006001556001600155"
+            ],
+            "gasLimit" : [
+                "0x030d40"
+            ],
+            "gasPrice" : "0x01",
+            "nonce" : "0x00",
+            "secretKey" : "0x45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8",
+            "to" : "",
+            "value" : [
+                "0x00"
+            ]
+        }
+    }
+}
\ No newline at end of file
diff --git a/GeneralStateTests/stSStoreTest/sstore_changeFromExternalCallInInitCode.json b/GeneralStateTests/stSStoreTest/sstore_changeFromExternalCallInInitCode.json
new file mode 100644
index 000000000..60c0801fd
--- /dev/null
+++ b/GeneralStateTests/stSStoreTest/sstore_changeFromExternalCallInInitCode.json
@@ -0,0 +1,221 @@
+{
+    "sstore_changeFromExternalCallInInitCode" : {
+        "_info" : {
+            "comment" : "account already has storage X. create -> in init code change that account's storage -> 0 -> change it to X again ",
+            "filledwith" : "testeth 1.5.0.dev2-76+commit.2fd57400.dirty",
+            "lllcversion" : "Version: 0.5.0-develop.2018.10.24+commit.01566c2e.Linux.g++",
+            "source" : "src/GeneralStateTestsFiller/stSStoreTest/sstore_changeFromExternalCallInInitCodeFiller.json",
+            "sourceHash" : "72938f8674e3a0a0b551f297df485bd0b4fcdae1bc9108e6db5cfb85a5696177"
+        },
+        "env" : {
+            "currentCoinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
+            "currentDifficulty" : "0x020000",
+            "currentGasLimit" : "0x989680",
+            "currentNumber" : "0x01",
+            "currentTimestamp" : "0x03e8",
+            "previousHash" : "0x5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
+        },
+        "post" : {
+            "Constantinople" : [
+                {
+                    "hash" : "0x0285a3673f155d246d0ae643a28200f5160df6dc7e39132f351fafa8ad0412be",
+                    "indexes" : {
+                        "data" : 0,
+                        "gas" : 0,
+                        "value" : 0
+                    },
+                    "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347"
+                },
+                {
+                    "hash" : "0xbcaf501a4f6faafd4912c749c889b648fe0851f1738d959d30289f626491b77a",
+                    "indexes" : {
+                        "data" : 1,
+                        "gas" : 0,
+                        "value" : 0
+                    },
+                    "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347"
+                },
+                {
+                    "hash" : "0x2c4ce208cf16d2f1cda7e6273feebf1477460d991a5134498b1669bc5df1a818",
+                    "indexes" : {
+                        "data" : 2,
+                        "gas" : 0,
+                        "value" : 0
+                    },
+                    "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347"
+                },
+                {
+                    "hash" : "0x151f3ab03117e9411ab00dc626a0cc35d7a0ea9fd99369d82841038da7d10e46",
+                    "indexes" : {
+                        "data" : 3,
+                        "gas" : 0,
+                        "value" : 0
+                    },
+                    "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347"
+                },
+                {
+                    "hash" : "0xb7e81f4a40e3af5e23debae929af425a00b299a5bd76d27e12505c9cf39e65e8",
+                    "indexes" : {
+                        "data" : 4,
+                        "gas" : 0,
+                        "value" : 0
+                    },
+                    "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347"
+                },
+                {
+                    "hash" : "0xb5970f78bfb7482d9639c7a8fc887fcdc66d67dcae4e4f34570b0d53c217bb91",
+                    "indexes" : {
+                        "data" : 5,
+                        "gas" : 0,
+                        "value" : 0
+                    },
+                    "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347"
+                },
+                {
+                    "hash" : "0x10ac9c8dd25d4bc83b7dc29a88056514c85db5b1f4702dbfb32ee67fd843c424",
+                    "indexes" : {
+                        "data" : 6,
+                        "gas" : 0,
+                        "value" : 0
+                    },
+                    "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347"
+                },
+                {
+                    "hash" : "0x1840d66417857858b048e65742b1c3d320d0de1c2f131bf7ff2bb28fd46ba50d",
+                    "indexes" : {
+                        "data" : 7,
+                        "gas" : 0,
+                        "value" : 0
+                    },
+                    "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347"
+                },
+                {
+                    "hash" : "0x91db41dac401b888d43c31c58518f09f37a5f80e790565d08335f7a0f23dd21a",
+                    "indexes" : {
+                        "data" : 8,
+                        "gas" : 0,
+                        "value" : 0
+                    },
+                    "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347"
+                },
+                {
+                    "hash" : "0x2419728ac1fe1410207b46fa14ef00ecba54fc6b45da93314f73f818f961d036",
+                    "indexes" : {
+                        "data" : 9,
+                        "gas" : 0,
+                        "value" : 0
+                    },
+                    "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347"
+                },
+                {
+                    "hash" : "0x4099b8274c2e6f82495460e98fde7ff761df169d028607f7acdb902819bd28a9",
+                    "indexes" : {
+                        "data" : 10,
+                        "gas" : 0,
+                        "value" : 0
+                    },
+                    "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347"
+                },
+                {
+                    "hash" : "0xfbd2489392fe7d126e15508ae4f38699a5da9a7408eba109ea55b6f04788939a",
+                    "indexes" : {
+                        "data" : 11,
+                        "gas" : 0,
+                        "value" : 0
+                    },
+                    "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347"
+                },
+                {
+                    "hash" : "0x83ee8440914702312d0fa08c8746af97ca0d205c8d4aa30fc6166de2afda8b68",
+                    "indexes" : {
+                        "data" : 12,
+                        "gas" : 0,
+                        "value" : 0
+                    },
+                    "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347"
+                },
+                {
+                    "hash" : "0xa484731e5025cdc83abce920e8743b2dd05f410c28a6193db08748b0b9992cbb",
+                    "indexes" : {
+                        "data" : 13,
+                        "gas" : 0,
+                        "value" : 0
+                    },
+                    "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347"
+                },
+                {
+                    "hash" : "0x3dd425279fd3b3241afcab39ac233d5be3a18c09a4c616ab88bdd3879c35bfdb",
+                    "indexes" : {
+                        "data" : 14,
+                        "gas" : 0,
+                        "value" : 0
+                    },
+                    "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347"
+                },
+                {
+                    "hash" : "0x0c1cdba1e1d34d1a9a54a60da42dd447944a74c924a8fab10fdf564f75979171",
+                    "indexes" : {
+                        "data" : 15,
+                        "gas" : 0,
+                        "value" : 0
+                    },
+                    "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347"
+                }
+            ]
+        },
+        "pre" : {
+            "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+                "balance" : "0xe8d4a51000",
+                "code" : "",
+                "nonce" : "0x00",
+                "storage" : {
+                }
+            },
+            "0xbea0000000000000000000000000000000000000" : {
+                "balance" : "0x00",
+                "code" : "0x600060015560016001556001600055",
+                "nonce" : "0x00",
+                "storage" : {
+                    "0x01" : "0x01"
+                }
+            },
+            "0xdea0000000000000000000000000000000000000" : {
+                "balance" : "0x00",
+                "code" : "0x6001600155600060015560016002556000600255600160035560006003556001600455600060045560016005556000600555600160065560006006556001600755600060075560016008556000600855600160095560006009556001600a556000600a556001600b556000600b556001600c556000600c556001600d556000600d556001600e556000600e556001600f556000600f55600160105560006010556001600155",
+                "nonce" : "0x00",
+                "storage" : {
+                }
+            }
+        },
+        "transaction" : {
+            "data" : [
+                "0x6000600060006000600073bea0000000000000000000000000000000000000620186a0f1",
+                "0x6000602480601260003960006000f55000fe6000600060006000600073bea0000000000000000000000000000000000000620186a0f1",
+                "0x6000602480601760003960006000f55060006000fd00fe6000600060006000600073bea0000000000000000000000000000000000000620186a0f1",
+                "0x6000602480603760003960006000f5506000600060006000600073dea000000000000000000000000000000000000062030d40f15000fe6000600060006000600073bea0000000000000000000000000000000000000620186a0f1",
+                "0x6000600060006000600073bea0000000000000000000000000000000000000620186a0f2",
+                "0x6000602480601260003960006000f55000fe6000600060006000600073bea0000000000000000000000000000000000000620186a0f2",
+                "0x6000602480601760003960006000f55060006000fd00fe6000600060006000600073bea0000000000000000000000000000000000000620186a0f2",
+                "0x6000602480603760003960006000f5506000600060006000600073dea000000000000000000000000000000000000062030d40f15000fe6000600060006000600073bea0000000000000000000000000000000000000620186a0f2",
+                "0x600060006000600073bea0000000000000000000000000000000000000620186a0f4",
+                "0x6000602280601260003960006000f55000fe600060006000600073bea0000000000000000000000000000000000000620186a0f4",
+                "0x6000602280601760003960006000f55060006000fd00fe600060006000600073bea0000000000000000000000000000000000000620186a0f4",
+                "0x6000602280603760003960006000f5506000600060006000600073dea000000000000000000000000000000000000062030d40f15000fe600060006000600073bea0000000000000000000000000000000000000620186a0f4",
+                "0x600060006000600073bea0000000000000000000000000000000000000620186a0fa",
+                "0x6000602280601260003960006000f55000fe600060006000600073bea0000000000000000000000000000000000000620186a0fa",
+                "0x6000602280601760003960006000f55060006000fd00fe600060006000600073bea0000000000000000000000000000000000000620186a0fa",
+                "0x6000602280603760003960006000f5506000600060006000600073dea000000000000000000000000000000000000062030d40f15000fe600060006000600073bea0000000000000000000000000000000000000620186a0fa"
+            ],
+            "gasLimit" : [
+                "0x030d40"
+            ],
+            "gasPrice" : "0x01",
+            "nonce" : "0x00",
+            "secretKey" : "0x45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8",
+            "to" : "",
+            "value" : [
+                "0x00"
+            ]
+        }
+    }
+}
\ No newline at end of file