From 4377dab0fd7a5d109b73d104ce30fab0a5715c45 Mon Sep 17 00:00:00 2001 From: Yoichi Hirai Date: Fri, 30 Jun 2017 12:23:18 +0200 Subject: Add a test 'RETURNDATACOPY at the beginning of a program should throw an exception if offset + size = 2^64' --- .../returndatacopy_initial_big_sum.json | 101 +++++++++++++++++++++ .../returndatacopy_initial_big_sumFiller.json | 60 ++++++++++++ 2 files changed, 161 insertions(+) create mode 100644 GeneralStateTests/stReturnDataTest/returndatacopy_initial_big_sum.json create mode 100644 src/GeneralStateTestsFiller/stReturnDataTest/returndatacopy_initial_big_sumFiller.json diff --git a/GeneralStateTests/stReturnDataTest/returndatacopy_initial_big_sum.json b/GeneralStateTests/stReturnDataTest/returndatacopy_initial_big_sum.json new file mode 100644 index 000000000..eed9f22dd --- /dev/null +++ b/GeneralStateTests/stReturnDataTest/returndatacopy_initial_big_sum.json @@ -0,0 +1,101 @@ +{ + "returndatacopy_initial_big_sum" : { + "_info" : { + "comment" : "", + "filledwith" : "cpp-1.3.0+commit.5ad949e6.Linux.g++", + "source" : "/src/GeneralStateTestsFiller/stReturnDataTest/returndatacopy_initial_big_sumFiller.json" + }, + "env" : { + "currentCoinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "0x20000", + "currentGasLimit" : "0x0a00000000", + "currentNumber" : "0x01", + "currentTimestamp" : "0x03e8", + "previousHash" : "0x5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6" + }, + "post" : { + "EIP150" : [ + { + "hash" : "0xa842d2afd89227dc81d471796d5c33c2e54c32b0fc51d9bd14c911e5b411a5cc", + "indexes" : { + "data" : 0, + "gas" : 0, + "value" : 0 + } + } + ], + "EIP158" : [ + { + "hash" : "0xa842d2afd89227dc81d471796d5c33c2e54c32b0fc51d9bd14c911e5b411a5cc", + "indexes" : { + "data" : 0, + "gas" : 0, + "value" : 0 + } + } + ], + "Frontier" : [ + { + "hash" : "0xa842d2afd89227dc81d471796d5c33c2e54c32b0fc51d9bd14c911e5b411a5cc", + "indexes" : { + "data" : 0, + "gas" : 0, + "value" : 0 + } + } + ], + "Homestead" : [ + { + "hash" : "0xa842d2afd89227dc81d471796d5c33c2e54c32b0fc51d9bd14c911e5b411a5cc", + "indexes" : { + "data" : 0, + "gas" : 0, + "value" : 0 + } + } + ], + "Metropolis" : [ + { + "hash" : "0xa842d2afd89227dc81d471796d5c33c2e54c32b0fc51d9bd14c911e5b411a5cc", + "indexes" : { + "data" : 0, + "gas" : 0, + "value" : 0 + } + } + ] + }, + "pre" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0x0de0b6b3a7640000", + "code" : "0x6e112233445566778899aabbccddeeff600052603f60020a603f60020a60003e600051600055", + "nonce" : "0x00", + "storage" : { + "0x00" : "0x01" + } + }, + "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b" : { + "balance" : "0x6400000000", + "code" : "", + "nonce" : "0x00", + "storage" : { + } + } + }, + "transaction" : { + "data" : [ + "" + ], + "gasLimit" : [ + "0x0a00000000" + ], + "gasPrice" : "0x01", + "nonce" : "0x00", + "secretKey" : "0x45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8", + "to" : "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", + "value" : [ + "0x00" + ] + } + } +} \ No newline at end of file diff --git a/src/GeneralStateTestsFiller/stReturnDataTest/returndatacopy_initial_big_sumFiller.json b/src/GeneralStateTestsFiller/stReturnDataTest/returndatacopy_initial_big_sumFiller.json new file mode 100644 index 000000000..653502314 --- /dev/null +++ b/src/GeneralStateTestsFiller/stReturnDataTest/returndatacopy_initial_big_sumFiller.json @@ -0,0 +1,60 @@ +{ + "returndatacopy_initial_big_sum" : { + "env" : { + "currentCoinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "0x20000", + "currentGasLimit" : "0x0a00000000", + "currentNumber" : "0x01", + "currentTimestamp" : "0x03e8", + "previousHash" : "0x5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6" + }, + "expect" : [ + { "indexes" : { + "data" : -1, + "gas" : -1, + "value" : -1 + }, + "network" : ["ALL"], + "result" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "storage" : { + "0x00" : "0x01" + } + } + } + } + ], + "pre" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0x0de0b6b3a7640000", + "code" : "{ (MSTORE 0 0x112233445566778899aabbccddeeff) (RETURNDATACOPY 0 (EXP 2 63) (EXP 2 63)) (SSTORE 0 (MLOAD 0)) }", + "nonce" : "0x00", + "storage" : { + "0x00" : "0x01" + } + }, + "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b" : { + "balance" : "0x6400000000", + "code" : "", + "nonce" : "0x00", + "storage" : { + } + } + }, + "transaction" : { + "data" : [ + "" + ], + "gasLimit" : [ + "0x0a00000000" + ], + "gasPrice" : "0x01", + "nonce" : "0x00", + "secretKey" : "0x45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8", + "to" : "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", + "value" : [ + "0x00" + ] + } + } +} -- cgit v1.2.3