From e46e1db503ee2711ad02e1f5b3ea45d43e9cd8cb Mon Sep 17 00:00:00 2001 From: Dimitry Kh Date: Thu, 20 Jun 2024 18:13:23 +0200 Subject: [PATCH] fix pyspec evmone bug filled test --- .../security/tx_selfdestruct_balance_bug.json | 110 +++++++++--------- 1 file changed, 53 insertions(+), 57 deletions(-) diff --git a/BlockchainTests/GeneralStateTests/Pyspecs/paris/security/tx_selfdestruct_balance_bug.json b/BlockchainTests/GeneralStateTests/Pyspecs/paris/security/tx_selfdestruct_balance_bug.json index c52c21351d..523f22a350 100644 --- a/BlockchainTests/GeneralStateTests/Pyspecs/paris/security/tx_selfdestruct_balance_bug.json +++ b/BlockchainTests/GeneralStateTests/Pyspecs/paris/security/tx_selfdestruct_balance_bug.json @@ -3,28 +3,27 @@ "_info" : { "comment" : "`execution-spec-tests` generated test", "description" : "Test function documentation:\n\n Test that the vulnerability is not present by checking the balance of the\n `0xaa` contract after executing specific transactions:\n\n 1. Start with contract `0xaa` which has initial balance of 3 wei.\n `0xaa` contract code simply performs a self-destruct to itself.\n\n 2. Send a transaction (tx 1) to invoke caller contract `0xcc` (which\n has a balance of 1 wei), which in turn invokes `0xaa` with a 1 wei call.\n\n 3. Store the balance of `0xaa` after the first transaction\n is processed. `0xaa` self-destructed. Expected outcome: 0 wei.\n\n 4. Send another transaction (tx 2) to call 0xaa with 5 wei.\n\n 5. Store the balance of `0xaa` after the second transaction\n is processed. No self-destruct. Expected outcome: 5 wei.\n\n 6. Verify that:\n - Call within tx 1 is successful, i.e `0xaa` self-destructed.\n - The balances of `0xaa` after each tx are correct.\n - During tx 2, code in `0xaa` does not execute,\n hence self-destruct mechanism does not trigger.", - "filling-rpc-server" : "evmone-t8n 0.12.0-dev+commit.8c3dd4f1", - "filling-tool-version" : "retesteth-0.3.2-cancun+commit.2a41f237.Linux.g++", - "filling-transition-tool" : "evmone-t8n 0.12.0-dev+commit.8c3dd4f1", - "generatedTestHash" : "0a3d4e8f483921743b0549e1a649ad1779d045538fbb2bf2b95f3d1a823b41e7", - "hash" : "0xf0985324028f14f9c7fe054844db8f55f03e1692efe4678ae8966b6b867c936d", + "filling-rpc-server" : "evm version 1.14.6-unstable-27008408-20240619", + "filling-tool-version" : "retesteth-0.3.2-cancun+commit.ec88f4a7.Linux.g++", + "filling-transition-tool" : "evm version 1.14.6-unstable-27008408-20240619", + "generatedTestHash" : "04bb43a342c4a38f61bacb309556e826c9908f30e0afb617b436268f2ceb4589", + "hash" : "0x13c78ce2b8c0fd1459845a0ac5e3bda42708d852bed3e056c784131a3467a2de", "lllcversion" : "Version: 0.5.14-develop.2023.7.11+commit.c58ab2c6.mod.Linux.g++", "solidity" : "Version: 0.8.21+commit.d9974bed.Linux.g++", "source" : "src/GeneralStateTestsFiller/Pyspecs/paris/security/test_selfdestruct_balance_bug.py", "sourceHash" : "b99b73d542b315a02e66af3a2b125b928b0e398a19c93b80b2849f8fd46ea9ce", - "url" : "https://github.com/ethereum/execution-spec-tests/blob/87ef9bee36585b5b9f72d6eaafeeb1999b641d3c/tests/tmp/tmptest_ddbc671a_0243_4274_8eb7_ad9621c44bc3/test_selfdestruct_balance_bug.py#L29" + "url" : "https://github.com/ethereum/execution-spec-tests/blob/9efa38ca6f714e434a941db869db9245d5080932/tests/tmp/tmptest_495c7493_24aa_43d8_9bf8_cb44723b4388/test_selfdestruct_balance_bug.py#L29" }, "blocks" : [ { "blockHeader" : { - "baseFeePerGas" : "0x00", "bloom" : "0x00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "coinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", "difficulty" : "0x020000", "extraData" : "0x", "gasLimit" : "0x016345785d8a0000", "gasUsed" : "0x02d75a", - "hash" : "0x46bbaf874f5995cbaf4535237a7a0c10cfa81cd61dd41b363030615b8883b163", + "hash" : "0x825825f063f51e4c1b61228bed958d6efb3b98f6ccb6ca5f24ed2b1efb0cf11e", "mixHash" : "0x0000000000000000000000000000000000000000000000000000000000000000", "nonce" : "0x0000000000000000", "number" : "0x01", @@ -36,7 +35,7 @@ "uncleHash" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347" }, "blocknumber" : "1", - "rlp" : "0xf9038bf901fca00c2c92cb540d070d83ebc3a43b4755e7007fb3d6854b700ea4df8f311b752cd8a01dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347942adc25665018aa1fe0e6bc666dac8fc2697ff9baa0922f8d97bb2efb1f77e5a2507417dd3cd54bc614e4b2d846174dfa184d1c6ae0a05fb0f79e6e813d1f0e1c53a26406f691ebab264a4920e2005538891ce7e7e49ba0021d2aceec3f631cea91b00f6071e38a7d53125e5e7d88c69a5f56bfc912c77cb9010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000830200000188016345785d8a00008302d75a0c80a0000000000000000000000000000000000000000000000000000000000000000088000000000000000080f90188f860800a830f42409400000000000000000000000000000000000000cc808026a0ccba01db2304343a85970166cada3a975f30075a600d3686102ae6d07b5a8295a0417b652184cdc19ba7cf787d7fa0658b7222616b4962aec60a29a41d26b22f72f860010a830186a094000000000000000000000000000000000000ba11808025a08388daba93f7822d3182dab304cc4edc82072c35374944f93a650c033169488aa012cc16a5c3327aade9b3215c9de2f844704be1683398e6f419674186531a6353f860020a830186a094864bbda5c698ac34b47a9ea3bd4228802cc5ce3b058026a0c23895b8eef67d060fa6365e97fd3edfae9a42d1e004dd143ddb8c60d1c4d016a0555733cc482d7b453b61ef44ad12b6e007a0bd11b4647e86bd5a1ce63cf6e022f860030a830186a094000000000000000000000000000000000000ba12808026a089fa4e48f8f7c161bd227c6e116bb33a84633f478496f0f10a1cb634dbd16c7da006191b9b2fd038d0abdc937351f90fd08bc54e8acb31f7d5bf0b3327d12067d7c0", + "rlp" : "0xf9038af901fba00c2c92cb540d070d83ebc3a43b4755e7007fb3d6854b700ea4df8f311b752cd8a01dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347942adc25665018aa1fe0e6bc666dac8fc2697ff9baa0922f8d97bb2efb1f77e5a2507417dd3cd54bc614e4b2d846174dfa184d1c6ae0a05fb0f79e6e813d1f0e1c53a26406f691ebab264a4920e2005538891ce7e7e49ba0021d2aceec3f631cea91b00f6071e38a7d53125e5e7d88c69a5f56bfc912c77cb9010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000830200000188016345785d8a00008302d75a0c80a00000000000000000000000000000000000000000000000000000000000000000880000000000000000f90188f860800a830f42409400000000000000000000000000000000000000cc808026a0ccba01db2304343a85970166cada3a975f30075a600d3686102ae6d07b5a8295a0417b652184cdc19ba7cf787d7fa0658b7222616b4962aec60a29a41d26b22f72f860010a830186a094000000000000000000000000000000000000ba11808025a08388daba93f7822d3182dab304cc4edc82072c35374944f93a650c033169488aa012cc16a5c3327aade9b3215c9de2f844704be1683398e6f419674186531a6353f860020a830186a094864bbda5c698ac34b47a9ea3bd4228802cc5ce3b058026a0c23895b8eef67d060fa6365e97fd3edfae9a42d1e004dd143ddb8c60d1c4d016a0555733cc482d7b453b61ef44ad12b6e007a0bd11b4647e86bd5a1ce63cf6e022f860030a830186a094000000000000000000000000000000000000ba12808026a089fa4e48f8f7c161bd227c6e116bb33a84633f478496f0f10a1cb634dbd16c7da006191b9b2fd038d0abdc937351f90fd08bc54e8acb31f7d5bf0b3327d12067d7c0", "transactions" : [ { "chainId" : "0x01", @@ -118,7 +117,7 @@ "uncleHash" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347" }, "genesisRLP" : "0xf901fdf901f8a00000000000000000000000000000000000000000000000000000000000000000a01dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347940000000000000000000000000000000000000000a06a25755ef4ab6363a1476d1c706ce0962900e8177afe7b9dd9974966ef3f3ed5a056e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421a056e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421b9010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000830200008088016345785d8a0000808000a00000000000000000000000000000000000000000000000000000000000000000880000000000000000c0c0", - "lastblockhash" : "0x46bbaf874f5995cbaf4535237a7a0c10cfa81cd61dd41b363030615b8883b163", + "lastblockhash" : "0x825825f063f51e4c1b61228bed958d6efb3b98f6ccb6ca5f24ed2b1efb0cf11e", "network" : "Berlin", "postState" : { "0x00000000000000000000000000000000000000aa" : { @@ -216,16 +215,16 @@ "_info" : { "comment" : "`execution-spec-tests` generated test", "description" : "Test function documentation:\n\n Test that the vulnerability is not present by checking the balance of the\n `0xaa` contract after executing specific transactions:\n\n 1. Start with contract `0xaa` which has initial balance of 3 wei.\n `0xaa` contract code simply performs a self-destruct to itself.\n\n 2. Send a transaction (tx 1) to invoke caller contract `0xcc` (which\n has a balance of 1 wei), which in turn invokes `0xaa` with a 1 wei call.\n\n 3. Store the balance of `0xaa` after the first transaction\n is processed. `0xaa` self-destructed. Expected outcome: 0 wei.\n\n 4. Send another transaction (tx 2) to call 0xaa with 5 wei.\n\n 5. Store the balance of `0xaa` after the second transaction\n is processed. No self-destruct. Expected outcome: 5 wei.\n\n 6. Verify that:\n - Call within tx 1 is successful, i.e `0xaa` self-destructed.\n - The balances of `0xaa` after each tx are correct.\n - During tx 2, code in `0xaa` does not execute,\n hence self-destruct mechanism does not trigger.", - "filling-rpc-server" : "evmone-t8n 0.12.0-dev+commit.8c3dd4f1", - "filling-tool-version" : "retesteth-0.3.2-cancun+commit.2a41f237.Linux.g++", - "filling-transition-tool" : "evmone-t8n 0.12.0-dev+commit.8c3dd4f1", + "filling-rpc-server" : "evm version 1.14.6-unstable-27008408-20240619", + "filling-tool-version" : "retesteth-0.3.2-cancun+commit.ec88f4a7.Linux.g++", + "filling-transition-tool" : "evm version 1.14.6-unstable-27008408-20240619", "generatedTestHash" : "7d400b7a4adae477e614d23a58d88a22bd0c39b2679452d9c688eb23099f2ca7", "hash" : "0x4c24113f78b7826d5e7c591991a879ac3afac7fbbeae375ecc6e408e13cd904d", "lllcversion" : "Version: 0.5.14-develop.2023.7.11+commit.c58ab2c6.mod.Linux.g++", "solidity" : "Version: 0.8.21+commit.d9974bed.Linux.g++", "source" : "src/GeneralStateTestsFiller/Pyspecs/paris/security/test_selfdestruct_balance_bug.py", "sourceHash" : "b99b73d542b315a02e66af3a2b125b928b0e398a19c93b80b2849f8fd46ea9ce", - "url" : "https://github.com/ethereum/execution-spec-tests/blob/87ef9bee36585b5b9f72d6eaafeeb1999b641d3c/tests/tmp/tmptest_ddbc671a_0243_4274_8eb7_ad9621c44bc3/test_selfdestruct_balance_bug.py#L29" + "url" : "https://github.com/ethereum/execution-spec-tests/blob/9efa38ca6f714e434a941db869db9245d5080932/tests/tmp/tmptest_495c7493_24aa_43d8_9bf8_cb44723b4388/test_selfdestruct_balance_bug.py#L29" }, "blocks" : [ { @@ -455,28 +454,27 @@ "_info" : { "comment" : "`execution-spec-tests` generated test", "description" : "Test function documentation:\n\n Test that the vulnerability is not present by checking the balance of the\n `0xaa` contract after executing specific transactions:\n\n 1. Start with contract `0xaa` which has initial balance of 3 wei.\n `0xaa` contract code simply performs a self-destruct to itself.\n\n 2. Send a transaction (tx 1) to invoke caller contract `0xcc` (which\n has a balance of 1 wei), which in turn invokes `0xaa` with a 1 wei call.\n\n 3. Store the balance of `0xaa` after the first transaction\n is processed. `0xaa` self-destructed. Expected outcome: 0 wei.\n\n 4. Send another transaction (tx 2) to call 0xaa with 5 wei.\n\n 5. Store the balance of `0xaa` after the second transaction\n is processed. No self-destruct. Expected outcome: 5 wei.\n\n 6. Verify that:\n - Call within tx 1 is successful, i.e `0xaa` self-destructed.\n - The balances of `0xaa` after each tx are correct.\n - During tx 2, code in `0xaa` does not execute,\n hence self-destruct mechanism does not trigger.", - "filling-rpc-server" : "evmone-t8n 0.12.0-dev+commit.8c3dd4f1", - "filling-tool-version" : "retesteth-0.3.2-cancun+commit.2a41f237.Linux.g++", - "filling-transition-tool" : "evmone-t8n 0.12.0-dev+commit.8c3dd4f1", - "generatedTestHash" : "12d4df562c157ebafd36fb5c390ae00005a9da78117a37602617a6b2bc5378d6", - "hash" : "0xc4cdc1db7a4b3e0a91ee2577a91a098016b09864c1b7cf1cf3f5feaa2fa506d3", + "filling-rpc-server" : "evm version 1.14.6-unstable-27008408-20240619", + "filling-tool-version" : "retesteth-0.3.2-cancun+commit.ec88f4a7.Linux.g++", + "filling-transition-tool" : "evm version 1.14.6-unstable-27008408-20240619", + "generatedTestHash" : "06035ce5acb36016b4d80083cd110edd13c31a920a74028ce1881f3fb3ed99d7", + "hash" : "0xc8d9985b97b3bb96a3fe159e43d68cc3adac0177df5c2d7155dbf69298061271", "lllcversion" : "Version: 0.5.14-develop.2023.7.11+commit.c58ab2c6.mod.Linux.g++", "solidity" : "Version: 0.8.21+commit.d9974bed.Linux.g++", "source" : "src/GeneralStateTestsFiller/Pyspecs/paris/security/test_selfdestruct_balance_bug.py", "sourceHash" : "b99b73d542b315a02e66af3a2b125b928b0e398a19c93b80b2849f8fd46ea9ce", - "url" : "https://github.com/ethereum/execution-spec-tests/blob/87ef9bee36585b5b9f72d6eaafeeb1999b641d3c/tests/tmp/tmptest_ddbc671a_0243_4274_8eb7_ad9621c44bc3/test_selfdestruct_balance_bug.py#L29" + "url" : "https://github.com/ethereum/execution-spec-tests/blob/9efa38ca6f714e434a941db869db9245d5080932/tests/tmp/tmptest_495c7493_24aa_43d8_9bf8_cb44723b4388/test_selfdestruct_balance_bug.py#L29" }, "blocks" : [ { "blockHeader" : { - "baseFeePerGas" : "0x00", "bloom" : "0x00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "coinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", "difficulty" : "0x020000", "extraData" : "0x", "gasLimit" : "0x016345785d8a0000", "gasUsed" : "0x03e8ef", - "hash" : "0x35367990e236cf53adfa66221be34c5f050f29303e3fca9bc8e66bd61ea72c0d", + "hash" : "0x4c28aad6204046a2237753f5fab257b72c6066129bff89a5dee87448b55c5c61", "mixHash" : "0x0000000000000000000000000000000000000000000000000000000000000000", "nonce" : "0x0000000000000000", "number" : "0x01", @@ -488,7 +486,7 @@ "uncleHash" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347" }, "blocknumber" : "1", - "rlp" : "0xf9038bf901fca00c2c92cb540d070d83ebc3a43b4755e7007fb3d6854b700ea4df8f311b752cd8a01dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347942adc25665018aa1fe0e6bc666dac8fc2697ff9baa05bb4c475a883357a9939e8c6fe527abc714778fc33b35f564af0bb8cb6455dd8a05fb0f79e6e813d1f0e1c53a26406f691ebab264a4920e2005538891ce7e7e49ba0d9ec3f88014cf1d7bbc99b5b899dd5bc76aef4c4f2956bf8e40aac60bcb04abbb9010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000830200000188016345785d8a00008303e8ef0c80a0000000000000000000000000000000000000000000000000000000000000000088000000000000000080f90188f860800a830f42409400000000000000000000000000000000000000cc808026a0ccba01db2304343a85970166cada3a975f30075a600d3686102ae6d07b5a8295a0417b652184cdc19ba7cf787d7fa0658b7222616b4962aec60a29a41d26b22f72f860010a830186a094000000000000000000000000000000000000ba11808025a08388daba93f7822d3182dab304cc4edc82072c35374944f93a650c033169488aa012cc16a5c3327aade9b3215c9de2f844704be1683398e6f419674186531a6353f860020a830186a094864bbda5c698ac34b47a9ea3bd4228802cc5ce3b058026a0c23895b8eef67d060fa6365e97fd3edfae9a42d1e004dd143ddb8c60d1c4d016a0555733cc482d7b453b61ef44ad12b6e007a0bd11b4647e86bd5a1ce63cf6e022f860030a830186a094000000000000000000000000000000000000ba12808026a089fa4e48f8f7c161bd227c6e116bb33a84633f478496f0f10a1cb634dbd16c7da006191b9b2fd038d0abdc937351f90fd08bc54e8acb31f7d5bf0b3327d12067d7c0", + "rlp" : "0xf9038af901fba00c2c92cb540d070d83ebc3a43b4755e7007fb3d6854b700ea4df8f311b752cd8a01dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347942adc25665018aa1fe0e6bc666dac8fc2697ff9baa05bb4c475a883357a9939e8c6fe527abc714778fc33b35f564af0bb8cb6455dd8a05fb0f79e6e813d1f0e1c53a26406f691ebab264a4920e2005538891ce7e7e49ba0d9ec3f88014cf1d7bbc99b5b899dd5bc76aef4c4f2956bf8e40aac60bcb04abbb9010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000830200000188016345785d8a00008303e8ef0c80a00000000000000000000000000000000000000000000000000000000000000000880000000000000000f90188f860800a830f42409400000000000000000000000000000000000000cc808026a0ccba01db2304343a85970166cada3a975f30075a600d3686102ae6d07b5a8295a0417b652184cdc19ba7cf787d7fa0658b7222616b4962aec60a29a41d26b22f72f860010a830186a094000000000000000000000000000000000000ba11808025a08388daba93f7822d3182dab304cc4edc82072c35374944f93a650c033169488aa012cc16a5c3327aade9b3215c9de2f844704be1683398e6f419674186531a6353f860020a830186a094864bbda5c698ac34b47a9ea3bd4228802cc5ce3b058026a0c23895b8eef67d060fa6365e97fd3edfae9a42d1e004dd143ddb8c60d1c4d016a0555733cc482d7b453b61ef44ad12b6e007a0bd11b4647e86bd5a1ce63cf6e022f860030a830186a094000000000000000000000000000000000000ba12808026a089fa4e48f8f7c161bd227c6e116bb33a84633f478496f0f10a1cb634dbd16c7da006191b9b2fd038d0abdc937351f90fd08bc54e8acb31f7d5bf0b3327d12067d7c0", "transactions" : [ { "chainId" : "0x01", @@ -570,7 +568,7 @@ "uncleHash" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347" }, "genesisRLP" : "0xf901fdf901f8a00000000000000000000000000000000000000000000000000000000000000000a01dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347940000000000000000000000000000000000000000a06a25755ef4ab6363a1476d1c706ce0962900e8177afe7b9dd9974966ef3f3ed5a056e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421a056e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421b9010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000830200008088016345785d8a0000808000a00000000000000000000000000000000000000000000000000000000000000000880000000000000000c0c0", - "lastblockhash" : "0x35367990e236cf53adfa66221be34c5f050f29303e3fca9bc8e66bd61ea72c0d", + "lastblockhash" : "0x4c28aad6204046a2237753f5fab257b72c6066129bff89a5dee87448b55c5c61", "network" : "Constantinople", "postState" : { "0x00000000000000000000000000000000000000aa" : { @@ -668,28 +666,27 @@ "_info" : { "comment" : "`execution-spec-tests` generated test", "description" : "Test function documentation:\n\n Test that the vulnerability is not present by checking the balance of the\n `0xaa` contract after executing specific transactions:\n\n 1. Start with contract `0xaa` which has initial balance of 3 wei.\n `0xaa` contract code simply performs a self-destruct to itself.\n\n 2. Send a transaction (tx 1) to invoke caller contract `0xcc` (which\n has a balance of 1 wei), which in turn invokes `0xaa` with a 1 wei call.\n\n 3. Store the balance of `0xaa` after the first transaction\n is processed. `0xaa` self-destructed. Expected outcome: 0 wei.\n\n 4. Send another transaction (tx 2) to call 0xaa with 5 wei.\n\n 5. Store the balance of `0xaa` after the second transaction\n is processed. No self-destruct. Expected outcome: 5 wei.\n\n 6. Verify that:\n - Call within tx 1 is successful, i.e `0xaa` self-destructed.\n - The balances of `0xaa` after each tx are correct.\n - During tx 2, code in `0xaa` does not execute,\n hence self-destruct mechanism does not trigger.", - "filling-rpc-server" : "evmone-t8n 0.12.0-dev+commit.8c3dd4f1", - "filling-tool-version" : "retesteth-0.3.2-cancun+commit.2a41f237.Linux.g++", - "filling-transition-tool" : "evmone-t8n 0.12.0-dev+commit.8c3dd4f1", - "generatedTestHash" : "3859ddc0e825ce1942addd9397243255d0c9c751379a624a58bafb9bf731c945", - "hash" : "0x8125d8fda02ba650ea32ddd8709b4535a3607eb4137cdd5e2f7b29de13a2dd05", + "filling-rpc-server" : "evm version 1.14.6-unstable-27008408-20240619", + "filling-tool-version" : "retesteth-0.3.2-cancun+commit.ec88f4a7.Linux.g++", + "filling-transition-tool" : "evm version 1.14.6-unstable-27008408-20240619", + "generatedTestHash" : "4b24fc9e44b6e24ae70214e3f737e6e0e6a2ebf2045325c96b63b80b9036753f", + "hash" : "0xd19d6a9a18d44d184e797db588168889df5a4e7d010c8081544717fd8327432b", "lllcversion" : "Version: 0.5.14-develop.2023.7.11+commit.c58ab2c6.mod.Linux.g++", "solidity" : "Version: 0.8.21+commit.d9974bed.Linux.g++", "source" : "src/GeneralStateTestsFiller/Pyspecs/paris/security/test_selfdestruct_balance_bug.py", "sourceHash" : "b99b73d542b315a02e66af3a2b125b928b0e398a19c93b80b2849f8fd46ea9ce", - "url" : "https://github.com/ethereum/execution-spec-tests/blob/87ef9bee36585b5b9f72d6eaafeeb1999b641d3c/tests/tmp/tmptest_ddbc671a_0243_4274_8eb7_ad9621c44bc3/test_selfdestruct_balance_bug.py#L29" + "url" : "https://github.com/ethereum/execution-spec-tests/blob/9efa38ca6f714e434a941db869db9245d5080932/tests/tmp/tmptest_495c7493_24aa_43d8_9bf8_cb44723b4388/test_selfdestruct_balance_bug.py#L29" }, "blocks" : [ { "blockHeader" : { - "baseFeePerGas" : "0x00", "bloom" : "0x00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "coinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", "difficulty" : "0x020000", "extraData" : "0x", "gasLimit" : "0x016345785d8a0000", "gasUsed" : "0x03fbaf", - "hash" : "0xd287fd2332aa87c3d73dfb74749c50141dd0b076c0c950d448fe8d5119ac72d4", + "hash" : "0xc7cb267683c9ea7ed6dc90b6374ae647dce751712ec31e665e8d499dca5ce091", "mixHash" : "0x0000000000000000000000000000000000000000000000000000000000000000", "nonce" : "0x0000000000000000", "number" : "0x01", @@ -701,7 +698,7 @@ "uncleHash" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347" }, "blocknumber" : "1", - "rlp" : "0xf9038bf901fca00c2c92cb540d070d83ebc3a43b4755e7007fb3d6854b700ea4df8f311b752cd8a01dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347942adc25665018aa1fe0e6bc666dac8fc2697ff9baa0897a5483b675c15fe953e1fbd779f7b984b6d3f16553027ef22fc8be023aaaafa05fb0f79e6e813d1f0e1c53a26406f691ebab264a4920e2005538891ce7e7e49ba084d5d823fe54538e161573cf42b075f2c789abaab04c57af997e6f4198a6ed77b9010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000830200000188016345785d8a00008303fbaf0c80a0000000000000000000000000000000000000000000000000000000000000000088000000000000000080f90188f860800a830f42409400000000000000000000000000000000000000cc808026a0ccba01db2304343a85970166cada3a975f30075a600d3686102ae6d07b5a8295a0417b652184cdc19ba7cf787d7fa0658b7222616b4962aec60a29a41d26b22f72f860010a830186a094000000000000000000000000000000000000ba11808025a08388daba93f7822d3182dab304cc4edc82072c35374944f93a650c033169488aa012cc16a5c3327aade9b3215c9de2f844704be1683398e6f419674186531a6353f860020a830186a094864bbda5c698ac34b47a9ea3bd4228802cc5ce3b058026a0c23895b8eef67d060fa6365e97fd3edfae9a42d1e004dd143ddb8c60d1c4d016a0555733cc482d7b453b61ef44ad12b6e007a0bd11b4647e86bd5a1ce63cf6e022f860030a830186a094000000000000000000000000000000000000ba12808026a089fa4e48f8f7c161bd227c6e116bb33a84633f478496f0f10a1cb634dbd16c7da006191b9b2fd038d0abdc937351f90fd08bc54e8acb31f7d5bf0b3327d12067d7c0", + "rlp" : "0xf9038af901fba00c2c92cb540d070d83ebc3a43b4755e7007fb3d6854b700ea4df8f311b752cd8a01dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347942adc25665018aa1fe0e6bc666dac8fc2697ff9baa0897a5483b675c15fe953e1fbd779f7b984b6d3f16553027ef22fc8be023aaaafa05fb0f79e6e813d1f0e1c53a26406f691ebab264a4920e2005538891ce7e7e49ba084d5d823fe54538e161573cf42b075f2c789abaab04c57af997e6f4198a6ed77b9010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000830200000188016345785d8a00008303fbaf0c80a00000000000000000000000000000000000000000000000000000000000000000880000000000000000f90188f860800a830f42409400000000000000000000000000000000000000cc808026a0ccba01db2304343a85970166cada3a975f30075a600d3686102ae6d07b5a8295a0417b652184cdc19ba7cf787d7fa0658b7222616b4962aec60a29a41d26b22f72f860010a830186a094000000000000000000000000000000000000ba11808025a08388daba93f7822d3182dab304cc4edc82072c35374944f93a650c033169488aa012cc16a5c3327aade9b3215c9de2f844704be1683398e6f419674186531a6353f860020a830186a094864bbda5c698ac34b47a9ea3bd4228802cc5ce3b058026a0c23895b8eef67d060fa6365e97fd3edfae9a42d1e004dd143ddb8c60d1c4d016a0555733cc482d7b453b61ef44ad12b6e007a0bd11b4647e86bd5a1ce63cf6e022f860030a830186a094000000000000000000000000000000000000ba12808026a089fa4e48f8f7c161bd227c6e116bb33a84633f478496f0f10a1cb634dbd16c7da006191b9b2fd038d0abdc937351f90fd08bc54e8acb31f7d5bf0b3327d12067d7c0", "transactions" : [ { "chainId" : "0x01", @@ -783,7 +780,7 @@ "uncleHash" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347" }, "genesisRLP" : "0xf901fdf901f8a00000000000000000000000000000000000000000000000000000000000000000a01dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347940000000000000000000000000000000000000000a06a25755ef4ab6363a1476d1c706ce0962900e8177afe7b9dd9974966ef3f3ed5a056e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421a056e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421b9010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000830200008088016345785d8a0000808000a00000000000000000000000000000000000000000000000000000000000000000880000000000000000c0c0", - "lastblockhash" : "0xd287fd2332aa87c3d73dfb74749c50141dd0b076c0c950d448fe8d5119ac72d4", + "lastblockhash" : "0xc7cb267683c9ea7ed6dc90b6374ae647dce751712ec31e665e8d499dca5ce091", "network" : "ConstantinopleFix", "postState" : { "0x00000000000000000000000000000000000000aa" : { @@ -881,28 +878,27 @@ "_info" : { "comment" : "`execution-spec-tests` generated test", "description" : "Test function documentation:\n\n Test that the vulnerability is not present by checking the balance of the\n `0xaa` contract after executing specific transactions:\n\n 1. Start with contract `0xaa` which has initial balance of 3 wei.\n `0xaa` contract code simply performs a self-destruct to itself.\n\n 2. Send a transaction (tx 1) to invoke caller contract `0xcc` (which\n has a balance of 1 wei), which in turn invokes `0xaa` with a 1 wei call.\n\n 3. Store the balance of `0xaa` after the first transaction\n is processed. `0xaa` self-destructed. Expected outcome: 0 wei.\n\n 4. Send another transaction (tx 2) to call 0xaa with 5 wei.\n\n 5. Store the balance of `0xaa` after the second transaction\n is processed. No self-destruct. Expected outcome: 5 wei.\n\n 6. Verify that:\n - Call within tx 1 is successful, i.e `0xaa` self-destructed.\n - The balances of `0xaa` after each tx are correct.\n - During tx 2, code in `0xaa` does not execute,\n hence self-destruct mechanism does not trigger.", - "filling-rpc-server" : "evmone-t8n 0.12.0-dev+commit.8c3dd4f1", - "filling-tool-version" : "retesteth-0.3.2-cancun+commit.2a41f237.Linux.g++", - "filling-transition-tool" : "evmone-t8n 0.12.0-dev+commit.8c3dd4f1", - "generatedTestHash" : "7df780fad2dd50849c9820b07b62b6e48f1ed92ae881906fed3f20298a60cf67", - "hash" : "0x2fd273b2aa615244839ed545eee24e5eb35049c4adef827b65fe974b6113c26c", + "filling-rpc-server" : "evm version 1.14.6-unstable-27008408-20240619", + "filling-tool-version" : "retesteth-0.3.2-cancun+commit.ec88f4a7.Linux.g++", + "filling-transition-tool" : "evm version 1.14.6-unstable-27008408-20240619", + "generatedTestHash" : "90d40fac5eb1728a286e03ce946e4f561e66fa7d1521af30a0bd4866166d40c6", + "hash" : "0x45516782f13cfd8e76eab26bb50f9216faf5919f0bc6a53a7ee21ed3a3d31942", "lllcversion" : "Version: 0.5.14-develop.2023.7.11+commit.c58ab2c6.mod.Linux.g++", "solidity" : "Version: 0.8.21+commit.d9974bed.Linux.g++", "source" : "src/GeneralStateTestsFiller/Pyspecs/paris/security/test_selfdestruct_balance_bug.py", "sourceHash" : "b99b73d542b315a02e66af3a2b125b928b0e398a19c93b80b2849f8fd46ea9ce", - "url" : "https://github.com/ethereum/execution-spec-tests/blob/87ef9bee36585b5b9f72d6eaafeeb1999b641d3c/tests/tmp/tmptest_ddbc671a_0243_4274_8eb7_ad9621c44bc3/test_selfdestruct_balance_bug.py#L29" + "url" : "https://github.com/ethereum/execution-spec-tests/blob/9efa38ca6f714e434a941db869db9245d5080932/tests/tmp/tmptest_495c7493_24aa_43d8_9bf8_cb44723b4388/test_selfdestruct_balance_bug.py#L29" }, "blocks" : [ { "blockHeader" : { - "baseFeePerGas" : "0x00", "bloom" : "0x00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "coinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", "difficulty" : "0x020000", "extraData" : "0x", "gasLimit" : "0x016345785d8a0000", "gasUsed" : "0x02ac62", - "hash" : "0xca8e2743b775d6eba0276ccfabce01b182b60a4af9d47a8b51f7800f24875067", + "hash" : "0xfc5abc93214f72b2a1043ed0b31b12c81b45fa53da1951a75e92f36975f97deb", "mixHash" : "0x0000000000000000000000000000000000000000000000000000000000000000", "nonce" : "0x0000000000000000", "number" : "0x01", @@ -914,7 +910,7 @@ "uncleHash" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347" }, "blocknumber" : "1", - "rlp" : "0xf9038bf901fca00c2c92cb540d070d83ebc3a43b4755e7007fb3d6854b700ea4df8f311b752cd8a01dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347942adc25665018aa1fe0e6bc666dac8fc2697ff9baa03418b7b183f799f3d82358ab23219759ed42250f5b72df3834aa0e9265d1818ca05fb0f79e6e813d1f0e1c53a26406f691ebab264a4920e2005538891ce7e7e49ba0efb58a3399ed802bd81b242c874e815c29379f30c0452cbaf4d3c07ba6af326db9010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000830200000188016345785d8a00008302ac620c80a0000000000000000000000000000000000000000000000000000000000000000088000000000000000080f90188f860800a830f42409400000000000000000000000000000000000000cc808026a0ccba01db2304343a85970166cada3a975f30075a600d3686102ae6d07b5a8295a0417b652184cdc19ba7cf787d7fa0658b7222616b4962aec60a29a41d26b22f72f860010a830186a094000000000000000000000000000000000000ba11808025a08388daba93f7822d3182dab304cc4edc82072c35374944f93a650c033169488aa012cc16a5c3327aade9b3215c9de2f844704be1683398e6f419674186531a6353f860020a830186a094864bbda5c698ac34b47a9ea3bd4228802cc5ce3b058026a0c23895b8eef67d060fa6365e97fd3edfae9a42d1e004dd143ddb8c60d1c4d016a0555733cc482d7b453b61ef44ad12b6e007a0bd11b4647e86bd5a1ce63cf6e022f860030a830186a094000000000000000000000000000000000000ba12808026a089fa4e48f8f7c161bd227c6e116bb33a84633f478496f0f10a1cb634dbd16c7da006191b9b2fd038d0abdc937351f90fd08bc54e8acb31f7d5bf0b3327d12067d7c0", + "rlp" : "0xf9038af901fba00c2c92cb540d070d83ebc3a43b4755e7007fb3d6854b700ea4df8f311b752cd8a01dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347942adc25665018aa1fe0e6bc666dac8fc2697ff9baa03418b7b183f799f3d82358ab23219759ed42250f5b72df3834aa0e9265d1818ca05fb0f79e6e813d1f0e1c53a26406f691ebab264a4920e2005538891ce7e7e49ba0efb58a3399ed802bd81b242c874e815c29379f30c0452cbaf4d3c07ba6af326db9010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000830200000188016345785d8a00008302ac620c80a00000000000000000000000000000000000000000000000000000000000000000880000000000000000f90188f860800a830f42409400000000000000000000000000000000000000cc808026a0ccba01db2304343a85970166cada3a975f30075a600d3686102ae6d07b5a8295a0417b652184cdc19ba7cf787d7fa0658b7222616b4962aec60a29a41d26b22f72f860010a830186a094000000000000000000000000000000000000ba11808025a08388daba93f7822d3182dab304cc4edc82072c35374944f93a650c033169488aa012cc16a5c3327aade9b3215c9de2f844704be1683398e6f419674186531a6353f860020a830186a094864bbda5c698ac34b47a9ea3bd4228802cc5ce3b058026a0c23895b8eef67d060fa6365e97fd3edfae9a42d1e004dd143ddb8c60d1c4d016a0555733cc482d7b453b61ef44ad12b6e007a0bd11b4647e86bd5a1ce63cf6e022f860030a830186a094000000000000000000000000000000000000ba12808026a089fa4e48f8f7c161bd227c6e116bb33a84633f478496f0f10a1cb634dbd16c7da006191b9b2fd038d0abdc937351f90fd08bc54e8acb31f7d5bf0b3327d12067d7c0", "transactions" : [ { "chainId" : "0x01", @@ -996,7 +992,7 @@ "uncleHash" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347" }, "genesisRLP" : "0xf901fdf901f8a00000000000000000000000000000000000000000000000000000000000000000a01dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347940000000000000000000000000000000000000000a06a25755ef4ab6363a1476d1c706ce0962900e8177afe7b9dd9974966ef3f3ed5a056e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421a056e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421b9010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000830200008088016345785d8a0000808000a00000000000000000000000000000000000000000000000000000000000000000880000000000000000c0c0", - "lastblockhash" : "0xca8e2743b775d6eba0276ccfabce01b182b60a4af9d47a8b51f7800f24875067", + "lastblockhash" : "0xfc5abc93214f72b2a1043ed0b31b12c81b45fa53da1951a75e92f36975f97deb", "network" : "Istanbul", "postState" : { "0x00000000000000000000000000000000000000aa" : { @@ -1094,16 +1090,16 @@ "_info" : { "comment" : "`execution-spec-tests` generated test", "description" : "Test function documentation:\n\n Test that the vulnerability is not present by checking the balance of the\n `0xaa` contract after executing specific transactions:\n\n 1. Start with contract `0xaa` which has initial balance of 3 wei.\n `0xaa` contract code simply performs a self-destruct to itself.\n\n 2. Send a transaction (tx 1) to invoke caller contract `0xcc` (which\n has a balance of 1 wei), which in turn invokes `0xaa` with a 1 wei call.\n\n 3. Store the balance of `0xaa` after the first transaction\n is processed. `0xaa` self-destructed. Expected outcome: 0 wei.\n\n 4. Send another transaction (tx 2) to call 0xaa with 5 wei.\n\n 5. Store the balance of `0xaa` after the second transaction\n is processed. No self-destruct. Expected outcome: 5 wei.\n\n 6. Verify that:\n - Call within tx 1 is successful, i.e `0xaa` self-destructed.\n - The balances of `0xaa` after each tx are correct.\n - During tx 2, code in `0xaa` does not execute,\n hence self-destruct mechanism does not trigger.", - "filling-rpc-server" : "evmone-t8n 0.12.0-dev+commit.8c3dd4f1", - "filling-tool-version" : "retesteth-0.3.2-cancun+commit.2a41f237.Linux.g++", - "filling-transition-tool" : "evmone-t8n 0.12.0-dev+commit.8c3dd4f1", + "filling-rpc-server" : "evm version 1.14.6-unstable-27008408-20240619", + "filling-tool-version" : "retesteth-0.3.2-cancun+commit.ec88f4a7.Linux.g++", + "filling-transition-tool" : "evm version 1.14.6-unstable-27008408-20240619", "generatedTestHash" : "3d78ee489518923b145a5beae2ff8cf321bf57fd0f21cd52dcd0a74fa48b9081", "hash" : "0xe97d52424f8bdab0e9a105667d9ebd56ebfde3e5631bb8d8153628af50c00a88", "lllcversion" : "Version: 0.5.14-develop.2023.7.11+commit.c58ab2c6.mod.Linux.g++", "solidity" : "Version: 0.8.21+commit.d9974bed.Linux.g++", "source" : "src/GeneralStateTestsFiller/Pyspecs/paris/security/test_selfdestruct_balance_bug.py", "sourceHash" : "b99b73d542b315a02e66af3a2b125b928b0e398a19c93b80b2849f8fd46ea9ce", - "url" : "https://github.com/ethereum/execution-spec-tests/blob/87ef9bee36585b5b9f72d6eaafeeb1999b641d3c/tests/tmp/tmptest_ddbc671a_0243_4274_8eb7_ad9621c44bc3/test_selfdestruct_balance_bug.py#L29" + "url" : "https://github.com/ethereum/execution-spec-tests/blob/9efa38ca6f714e434a941db869db9245d5080932/tests/tmp/tmptest_495c7493_24aa_43d8_9bf8_cb44723b4388/test_selfdestruct_balance_bug.py#L29" }, "blocks" : [ { @@ -1308,16 +1304,16 @@ "_info" : { "comment" : "`execution-spec-tests` generated test", "description" : "Test function documentation:\n\n Test that the vulnerability is not present by checking the balance of the\n `0xaa` contract after executing specific transactions:\n\n 1. Start with contract `0xaa` which has initial balance of 3 wei.\n `0xaa` contract code simply performs a self-destruct to itself.\n\n 2. Send a transaction (tx 1) to invoke caller contract `0xcc` (which\n has a balance of 1 wei), which in turn invokes `0xaa` with a 1 wei call.\n\n 3. Store the balance of `0xaa` after the first transaction\n is processed. `0xaa` self-destructed. Expected outcome: 0 wei.\n\n 4. Send another transaction (tx 2) to call 0xaa with 5 wei.\n\n 5. Store the balance of `0xaa` after the second transaction\n is processed. No self-destruct. Expected outcome: 5 wei.\n\n 6. Verify that:\n - Call within tx 1 is successful, i.e `0xaa` self-destructed.\n - The balances of `0xaa` after each tx are correct.\n - During tx 2, code in `0xaa` does not execute,\n hence self-destruct mechanism does not trigger.", - "filling-rpc-server" : "evmone-t8n 0.12.0-dev+commit.8c3dd4f1", - "filling-tool-version" : "retesteth-0.3.2-cancun+commit.2a41f237.Linux.g++", - "filling-transition-tool" : "evmone-t8n 0.12.0-dev+commit.8c3dd4f1", + "filling-rpc-server" : "evm version 1.14.6-unstable-27008408-20240619", + "filling-tool-version" : "retesteth-0.3.2-cancun+commit.ec88f4a7.Linux.g++", + "filling-transition-tool" : "evm version 1.14.6-unstable-27008408-20240619", "generatedTestHash" : "7344eb7916305be8e4a3245f487553e58c0abb59b0347b2c95e3350ae96bc955", "hash" : "0xb6f1986921c6e9e214d1743631a7f11f18efdcc538b995595be0b4459c8b532d", "lllcversion" : "Version: 0.5.14-develop.2023.7.11+commit.c58ab2c6.mod.Linux.g++", "solidity" : "Version: 0.8.21+commit.d9974bed.Linux.g++", "source" : "src/GeneralStateTestsFiller/Pyspecs/paris/security/test_selfdestruct_balance_bug.py", "sourceHash" : "b99b73d542b315a02e66af3a2b125b928b0e398a19c93b80b2849f8fd46ea9ce", - "url" : "https://github.com/ethereum/execution-spec-tests/blob/87ef9bee36585b5b9f72d6eaafeeb1999b641d3c/tests/tmp/tmptest_ddbc671a_0243_4274_8eb7_ad9621c44bc3/test_selfdestruct_balance_bug.py#L29" + "url" : "https://github.com/ethereum/execution-spec-tests/blob/9efa38ca6f714e434a941db869db9245d5080932/tests/tmp/tmptest_495c7493_24aa_43d8_9bf8_cb44723b4388/test_selfdestruct_balance_bug.py#L29" }, "blocks" : [ { @@ -1522,16 +1518,16 @@ "_info" : { "comment" : "`execution-spec-tests` generated test", "description" : "Test function documentation:\n\n Test that the vulnerability is not present by checking the balance of the\n `0xaa` contract after executing specific transactions:\n\n 1. Start with contract `0xaa` which has initial balance of 3 wei.\n `0xaa` contract code simply performs a self-destruct to itself.\n\n 2. Send a transaction (tx 1) to invoke caller contract `0xcc` (which\n has a balance of 1 wei), which in turn invokes `0xaa` with a 1 wei call.\n\n 3. Store the balance of `0xaa` after the first transaction\n is processed. `0xaa` self-destructed. Expected outcome: 0 wei.\n\n 4. Send another transaction (tx 2) to call 0xaa with 5 wei.\n\n 5. Store the balance of `0xaa` after the second transaction\n is processed. No self-destruct. Expected outcome: 5 wei.\n\n 6. Verify that:\n - Call within tx 1 is successful, i.e `0xaa` self-destructed.\n - The balances of `0xaa` after each tx are correct.\n - During tx 2, code in `0xaa` does not execute,\n hence self-destruct mechanism does not trigger.", - "filling-rpc-server" : "evmone-t8n 0.12.0-dev+commit.8c3dd4f1", - "filling-tool-version" : "retesteth-0.3.2-cancun+commit.2a41f237.Linux.g++", - "filling-transition-tool" : "evmone-t8n 0.12.0-dev+commit.8c3dd4f1", + "filling-rpc-server" : "evm version 1.14.6-unstable-27008408-20240619", + "filling-tool-version" : "retesteth-0.3.2-cancun+commit.ec88f4a7.Linux.g++", + "filling-transition-tool" : "evm version 1.14.6-unstable-27008408-20240619", "generatedTestHash" : "39de167d1ce6ef86d1b52553e8b3e2a8cb4b10412545a3296c603095111d7248", "hash" : "0x1ef8d82517aad2e74d43d0c4acc645c21a357d4fdf683867b7d2305bb25e0e45", "lllcversion" : "Version: 0.5.14-develop.2023.7.11+commit.c58ab2c6.mod.Linux.g++", "solidity" : "Version: 0.8.21+commit.d9974bed.Linux.g++", "source" : "src/GeneralStateTestsFiller/Pyspecs/paris/security/test_selfdestruct_balance_bug.py", "sourceHash" : "b99b73d542b315a02e66af3a2b125b928b0e398a19c93b80b2849f8fd46ea9ce", - "url" : "https://github.com/ethereum/execution-spec-tests/blob/87ef9bee36585b5b9f72d6eaafeeb1999b641d3c/tests/tmp/tmptest_ddbc671a_0243_4274_8eb7_ad9621c44bc3/test_selfdestruct_balance_bug.py#L29" + "url" : "https://github.com/ethereum/execution-spec-tests/blob/9efa38ca6f714e434a941db869db9245d5080932/tests/tmp/tmptest_495c7493_24aa_43d8_9bf8_cb44723b4388/test_selfdestruct_balance_bug.py#L29" }, "blocks" : [ { @@ -1736,4 +1732,4 @@ }, "sealEngine" : "NoProof" } -} +} \ No newline at end of file