diff options
| author | CJentzsch <jentzsch.software@gmail.com> | 2015-03-13 00:25:41 +0800 |
|---|---|---|
| committer | CJentzsch <jentzsch.software@gmail.com> | 2015-03-13 00:25:41 +0800 |
| commit | 7060dc7f1fb5157cf96a41aa77cba5dd6a6ffae1 (patch) | |
| tree | 5ae8c1f72bb292e9e081d291e33fccf82da902cb /VMTests | |
| parent | 5a89a4ba6d6f9bd8ad2685f5fa031157c68695ed (diff) | |
| download | dexon-tests-7060dc7f1fb5157cf96a41aa77cba5dd6a6ffae1.tar dexon-tests-7060dc7f1fb5157cf96a41aa77cba5dd6a6ffae1.tar.gz dexon-tests-7060dc7f1fb5157cf96a41aa77cba5dd6a6ffae1.tar.bz2 dexon-tests-7060dc7f1fb5157cf96a41aa77cba5dd6a6ffae1.tar.lz dexon-tests-7060dc7f1fb5157cf96a41aa77cba5dd6a6ffae1.tar.xz dexon-tests-7060dc7f1fb5157cf96a41aa77cba5dd6a6ffae1.tar.zst dexon-tests-7060dc7f1fb5157cf96a41aa77cba5dd6a6ffae1.zip | |
dejavu issues
Diffstat (limited to 'VMTests')
| -rw-r--r-- | VMTests/vmArithmeticTest.json | 123 | ||||
| -rw-r--r-- | VMTests/vmBlockInfoTest.json | 29 | ||||
| -rw-r--r-- | VMTests/vmEnvironmentalInfoTest.json | 65 |
3 files changed, 214 insertions, 3 deletions
diff --git a/VMTests/vmArithmeticTest.json b/VMTests/vmArithmeticTest.json index ba2718674..6431b2060 100644 --- a/VMTests/vmArithmeticTest.json +++ b/VMTests/vmArithmeticTest.json @@ -5644,6 +5644,35 @@ } } }, + "mulUnderFlow" : { + "env" : { + "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "256", + "currentGasLimit" : "1000000", + "currentNumber" : "0", + "currentTimestamp" : "1", + "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6" + }, + "exec" : { + "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", + "caller" : "cd1722f2947def4cf144679da39c4c32bdc35681", + "code" : "0x600102600155", + "data" : "0x", + "gas" : "100000", + "gasPrice" : "100000000000000", + "origin" : "cd1722f2947def4cf144679da39c4c32bdc35681", + "value" : "1000000000000000000" + }, + "pre" : { + "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "1000000000000000000", + "code" : "0x600102600155", + "nonce" : "0", + "storage" : { + } + } + } + }, "mulmod0" : { "callcreates" : [ ], @@ -6618,6 +6647,50 @@ } } }, + "sdiv_dejavu" : { + "callcreates" : [ + ], + "env" : { + "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "256", + "currentGasLimit" : "1000000", + "currentNumber" : "0", + "currentTimestamp" : "1", + "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6" + }, + "exec" : { + "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", + "caller" : "cd1722f2947def4cf144679da39c4c32bdc35681", + "code" : "0x60805060a05060055060a05060095060a05060005060c05060e0506101005060a050600050610120", + "data" : "0x", + "gas" : "10000000", + "gasPrice" : "1", + "origin" : "cd1722f2947def4cf144679da39c4c32bdc35681", + "value" : "1000000000000000000" + }, + "gas" : "9999937", + "logs" : [ + ], + "out" : "0x", + "post" : { + "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "1000000000000000000", + "code" : "0x60805060a05060055060a05060095060a05060005060c05060e0506101005060a050600050610120", + "nonce" : "0", + "storage" : { + } + } + }, + "pre" : { + "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "1000000000000000000", + "code" : "0x60805060a05060055060a05060095060a05060005060c05060e0506101005060a050600050610120", + "nonce" : "0", + "storage" : { + } + } + } + }, "sdiv_i256min" : { "callcreates" : [ ], @@ -6708,12 +6781,12 @@ "caller" : "cd1722f2947def4cf144679da39c4c32bdc35681", "code" : "0x7f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6000037fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff05600055", "data" : "0x", - "gas" : "10000", - "gasPrice" : "100000000000000", + "gas" : "1000000", + "gasPrice" : "1", "origin" : "cd1722f2947def4cf144679da39c4c32bdc35681", "value" : "1000000000000000000" }, - "gas" : "4980", + "gas" : "994980", "logs" : [ ], "out" : "0x", @@ -7184,6 +7257,50 @@ } } }, + "signextend_Overflow_dj42" : { + "callcreates" : [ + ], + "env" : { + "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "256", + "currentGasLimit" : "10000000", + "currentNumber" : "0", + "currentTimestamp" : "1", + "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6" + }, + "exec" : { + "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", + "caller" : "cd1722f2947def4cf144679da39c4c32bdc35681", + "code" : "0x6005565b005b61800080680100000000000000010b6180011160035763badf000d601155", + "data" : "0x", + "gas" : "1000000", + "gasPrice" : "100000000000000", + "origin" : "cd1722f2947def4cf144679da39c4c32bdc35681", + "value" : "1000000000000000000" + }, + "gas" : "999954", + "logs" : [ + ], + "out" : "0x", + "post" : { + "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "1000000000000000000", + "code" : "0x6005565b005b61800080680100000000000000010b6180011160035763badf000d601155", + "nonce" : "0", + "storage" : { + } + } + }, + "pre" : { + "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "1000000000000000000", + "code" : "0x6005565b005b61800080680100000000000000010b6180011160035763badf000d601155", + "nonce" : "0", + "storage" : { + } + } + } + }, "signextend_bigBytePlus1" : { "callcreates" : [ ], diff --git a/VMTests/vmBlockInfoTest.json b/VMTests/vmBlockInfoTest.json index 7aee6a0cf..e8b81dc98 100644 --- a/VMTests/vmBlockInfoTest.json +++ b/VMTests/vmBlockInfoTest.json @@ -266,6 +266,35 @@ } } }, + "blockhashUnderFlow" : { + "env" : { + "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "256", + "currentGasLimit" : "1000000", + "currentNumber" : "1", + "currentTimestamp" : "1", + "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6" + }, + "exec" : { + "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", + "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681", + "code" : "0x40", + "data" : "0x", + "gas" : "100000", + "gasPrice" : "100000000000000", + "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681", + "value" : "1000000000000000000" + }, + "pre" : { + "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "100000000000000000000000", + "code" : "0x40", + "nonce" : "0", + "storage" : { + } + } + } + }, "coinbase" : { "callcreates" : [ ], diff --git a/VMTests/vmEnvironmentalInfoTest.json b/VMTests/vmEnvironmentalInfoTest.json index d43630c08..7b91a32f5 100644 --- a/VMTests/vmEnvironmentalInfoTest.json +++ b/VMTests/vmEnvironmentalInfoTest.json @@ -791,6 +791,35 @@ } } }, + "calldatacopyUnderFlow" : { + "env" : { + "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "256", + "currentGasLimit" : "1000000", + "currentNumber" : "0", + "currentTimestamp" : "1", + "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6" + }, + "exec" : { + "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", + "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681", + "code" : "0x6001600237", + "data" : "0x01234567890abcdef01234567890abcdef", + "gas" : "100000000000", + "gasPrice" : "1000000000", + "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681", + "value" : "1000000000000000000" + }, + "pre" : { + "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "100000000000000000000000", + "code" : "0x6001600237", + "nonce" : "0", + "storage" : { + } + } + } + }, "calldatacopyZeroMemExpansion" : { "callcreates" : [ ], @@ -2089,6 +2118,42 @@ } } }, + "extcodesizeUnderFlow" : { + "env" : { + "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "256", + "currentGasLimit" : "1000000", + "currentNumber" : "0", + "currentTimestamp" : "1", + "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6" + }, + "exec" : { + "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", + "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681", + "code" : "0x3b", + "data" : "0x01234567890abcdef01234567890abcdef", + "gas" : "100000000000", + "gasPrice" : "123456789", + "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681", + "value" : "1000000000000000000" + }, + "pre" : { + "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "100000000000000000000000", + "code" : "0x3b", + "nonce" : "0", + "storage" : { + } + }, + "cd1722f3947def4cf144679da39c4c32bdc35681" : { + "balance" : "100000000000000000000000", + "code" : "0x38333b14600055", + "nonce" : "0", + "storage" : { + } + } + } + }, "gasprice" : { "callcreates" : [ ], |