mirror of
https://github.com/ethereum/solidity
synced 2023-10-03 13:03:40 +00:00
3008 lines
104 KiB
JSON
3008 lines
104 KiB
JSON
{
|
|
"pop0": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "0",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x6002600360045055",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"pop1": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "0",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x5060026003600455",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"dupAt51becameMload": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "0",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x600260035155",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"swapAt52becameMstore": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "0",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x600260035255",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"mstore_mload0": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "0",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "{(MSTORE 0 23) [[ 1 ]] (MLOAD 0) } ",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"mloadError0": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "0",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "{[[ 0 ]] (MLOAD 0) } ",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"mloadError1": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "0",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "{(MSTORE 1 23) [[ 1 ]] (MLOAD 0) } ",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"mloadOutOfGasError2": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "0",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "{ [[ 1 ]] (MLOAD 7489573) } ",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"mstore0": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "0",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "{ (MSTORE 1 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) [[ 1 ]] (MLOAD 1) } ",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"mstore1": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "0",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "{ (MSTORE 1 (+ 2 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) ) [[ 1 ]] (MLOAD 1) } ",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"mstoreWordToBigError": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "0",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "{ (MSTORE 1 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff23 ) [[ 1 ]] (MLOAD 1) } ",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"mstore8WordToBigError": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "0",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "{ (MSTORE8 1 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff23 ) [[ 1 ]] (MLOAD 1) } ",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"mstore8_0": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "0",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "{ (MSTORE8 1 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff ) [[ 1 ]] (MLOAD 1) } ",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"mstore8_1": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "0",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "{ (MSTORE8 1 0xff) (MSTORE8 2 0xee) [[ 1 ]] (MLOAD 0) } ",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"sstore_load_0": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "0",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "{ (SSTORE 0 0xff) (SSTORE 10 0xee) [[ 20 ]] (SLOAD 0) } ",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"sstore_load_1": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "0",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "{ (SSTORE 0 0xff) (SSTORE 10 0xee) [[ 20 ]] (SLOAD 100) } ",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"sstore_load_2": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "0",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "{ (SSTORE 0 0xff) (SSTORE 1 0xee) (SSTORE 2 0xdd) [[ 10 ]] (SLOAD 1) [[ 20 ]] (SLOAD 2) } ",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"jumpdestBigList": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "0",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x6009565b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "100000000"
|
|
}
|
|
},
|
|
|
|
"jumpAfterStop": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "0",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x6006560060015b6002600355",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"jumpiAfterStop": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "0",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x60016008570060015b6002600355",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"jumpInsidePushWithoutJumpDest": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "0",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x60055661eeff",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"jumpInsidePushWithJumpDest": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "0",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x600456655b6001600155",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"jumpifInsidePushWithoutJumpDest": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "0",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x600160075761eeff",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"jumpifInsidePushWithJumpDest": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "0",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x6001600657655b6001600155",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"jump0_foreverOutOfGas": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "0",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x5b600056",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"jumpOntoJump": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "0",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x565b600056",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"jumpDynamicJumpSameDest": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "0",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x6002600401565b600360005260206000f3600656",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"jump0_outOfBoundary": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "0",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x60236007566001600255",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
"jump0_jumpdest0": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "0",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x602360075660015b600255",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"jump0_withoutJumpdest": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "0",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x60236007566001600255",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"jump0_AfterJumpdest": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "0",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x602360085660015b600255",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"jump0_jumpdest2": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "0",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x6023600a6008505660015b600255",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"jump0_AfterJumpdest3": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "0",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x6023600b6008505660015b600255",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"jump1": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "0",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x620fffff620fffff0156",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"jumpi0": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "0",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x602360016009576001600255",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"jumpi1_jumpdest": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "0",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x60236001600a5760015b600255",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"jumpi1": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "0",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x602360006009576001600255",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"jumpiOutsideBoundary": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "0",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x60017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff576002600355",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"DynamicJumpAfterStop": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "0",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x6008600101560060015b6002600355",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"DynamicJumpiAfterStop": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "0",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x60016008600301570060015b6002600355",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"DynamicJumpInsidePushWithoutJumpDest": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "0",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x60056003015661eeff",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"DynamicJumpInsidePushWithJumpDest": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "0",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x600460030156655b6001600155",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"DynamicJumpifInsidePushWithoutJumpDest": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "0",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x600160076003015761eeff",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"DynamicJumpifInsidePushWithJumpDest": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "0",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x6001600660030157655b6001600155",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"DynamicJumpStartWithJumpDest": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "0",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x5b586000555960115758600052596000575b58600055",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"DynamicJump0_foreverOutOfGas": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "0",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x5b600060000156",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"DyanmicJump0_outOfBoundary": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "0",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x60236007600301566001600255",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
"DynamicJump0_jumpdest0": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "0",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x602360076003015660015b600255",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"DynamicJump0_withoutJumpdest": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "0",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x60236007600301566001600255",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"DynamicJump0_AfterJumpdest": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "0",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x602360086003015660015b600255",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"DynamicJump0_jumpdest2": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "0",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x6023600a6008506003015660015b600255",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"DynamicJump0_AfterJumpdest3": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "0",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x6023600b6008506003015660015b600255",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"DynamicJump1": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "0",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x620fffff620fffff0160030156",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"DynamicJumpi0": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "0",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x602360016009600301576001600255",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"DynamicJumpi1_jumpdest": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "0",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x60236001600a6003015760015b600255",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"DynamicJumpi1": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "0",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x602360006009600301576001600255",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"DynamicJumpiOutsideBoundary": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "0",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x60017ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0600301576002600355",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"BlockNumberDynamicJumpiAfterStop": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "2",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x600160084301570060015b6002600355",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"BlockNumberDynamicJumpInsidePushWithoutJumpDest": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "2",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x600543015661eeff",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"BlockNumberDynamicJumpInsidePushWithJumpDest": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "2",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x6004430156655b6001600155",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"BlockNumberDynamicJumpifInsidePushWithoutJumpDest": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "2",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x6001600743015761eeff",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"BlockNumberDynamicJumpifInsidePushWithJumpDest": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "2",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x60016006430157655b6001600155",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"BlockNumberDynamicJump0_foreverOutOfGas": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "2",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x5b600060000156",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"DyanmicJump0_outOfBoundary": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "2",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x602360074301566001600255",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
"BlockNumberDynamicJump0_jumpdest0": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "2",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x6023600743015660015b600255",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"BlockNumberDynamicJump0_withoutJumpdest": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "2",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x602360074301566001600255",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"BlockNumberDynamicJump0_AfterJumpdest": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "2",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x6023600843015660015b600255",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"BlockNumberDynamicJump0_jumpdest2": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "2",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x6023600a60085043015660015b600255",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"BlockNumberDynamicJump0_AfterJumpdest3": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "2",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x6023600b60085043015660015b600255",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"BlockNumberDynamicJump1": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "2",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x620fffff620fffff01430156",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"BlockNumberDynamicJumpi0": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "2",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x6023600160094301576001600255",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"BlockNumberDynamicJumpi1_jumpdest": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "2",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x60236001600a43015760015b600255",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"BlockNumberDynamicJumpi1": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "2",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x6023600060094301576001600255",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"BlockNumberDynamicJumpiOutsideBoundary": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "2",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x60017ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff04301576002600355",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
|
|
"DynamicJumpJD_DependsOnJumps0": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "1",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"//" : "PUSH1 3 JUMP",
|
|
"code" : "0x6009436006575b566001",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"DynamicJumpJD_DependsOnJumps1": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "1",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x600a436006575b5660015b6001600155",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"DynamicJumpPathologicalTest0": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "4",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x435660615b4343025660615b60615b5b5b6001600155",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"DynamicJumpPathologicalTest1": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "4",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x435660615b4343025660615b60615b605b6001600155",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"DynamicJumpPathologicalTest2": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "4",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x435631615b60615b60615b606001600155",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"DynamicJumpPathologicalTest3": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "7",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x435631615b60615b60615b606001600155",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"DynamicJumpPathologicalTest3": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "7",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x435631615b60615b60615b606001600155",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"JDfromStorageDynamicJumpiAfterStop": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "2",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x6001600860005401570060015b6002600355",
|
|
"storage" : {
|
|
"0x00" : "0x04"
|
|
}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"JDfromStorageDynamicJumpInsidePushWithoutJumpDest": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "2",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x6005600054015661eeff",
|
|
"storage" : {
|
|
"0x00" : "0x04"
|
|
}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"JDfromStorageDynamicJumpInsidePushWithJumpDest": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "2",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x60046000540156655b6001600155",
|
|
"storage" : {
|
|
"0x00" : "0x04"
|
|
}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"JDfromStorageDynamicJumpifInsidePushWithoutJumpDest": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "2",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x60016007600054015761eeff",
|
|
"storage" : {
|
|
"0x00" : "0x04"
|
|
}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"JDfromStorageDynamicJumpifInsidePushWithJumpDest": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "2",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x600160066000540157655b6001600155",
|
|
"storage" : {
|
|
"0x00" : "0x04"
|
|
}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"JDfromStorageDynamicJump0_foreverOutOfGas": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "2",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x5b600060000156",
|
|
"storage" : {
|
|
"0x00" : "0x04"
|
|
}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"DyanmicJump0_outOfBoundary": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "2",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x6023600760005401566001600255",
|
|
"storage" : {
|
|
"0x00" : "0x04"
|
|
}
|
|
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
"JDfromStorageDynamicJump0_jumpdest0": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "2",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x60236007600054015660015b600255",
|
|
"storage" : {
|
|
"0x00" : "0x04"
|
|
}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"JDfromStorageDynamicJump0_withoutJumpdest": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "2",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x6023600760005401566001600255",
|
|
"storage" : {
|
|
"0x00" : "0x04"
|
|
}
|
|
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"JDfromStorageDynamicJump0_AfterJumpdest": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "2",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x60236008600054015660015b600255",
|
|
"storage" : {
|
|
"0x00" : "0x04"
|
|
}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"JDfromStorageDynamicJump0_jumpdest2": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "2",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x6023600a600850600054015660015b600255",
|
|
"storage" : {
|
|
"0x00" : "0x04"
|
|
}
|
|
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"JDfromStorageDynamicJump0_AfterJumpdest3": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "2",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x6023600b600850600054015660015b600255",
|
|
"storage" : {
|
|
"0x00" : "0x04"
|
|
}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"JDfromStorageDynamicJump1": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "2",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x620fffff620fffff016000540156",
|
|
"storage" : {
|
|
"0x00" : "0x04"
|
|
}
|
|
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"JDfromStorageDynamicJumpi0": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "2",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x60236001600960005401576001600255",
|
|
"storage" : {
|
|
"0x00" : "0x04"
|
|
}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"JDfromStorageDynamicJumpi1_jumpdest": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "2",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x60236001600a600054015760015b600255",
|
|
"storage" : {
|
|
"0x00" : "0x04"
|
|
}
|
|
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"JDfromStorageDynamicJumpi1": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "2",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x60236000600960005401576001600255",
|
|
"storage" : {
|
|
"0x00" : "0x04"
|
|
}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"JDfromStorageDynamicJumpiOutsideBoundary": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "2",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "0x60017ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff060005401576002600355",
|
|
"storage" : {
|
|
"0x00" : "0x04"
|
|
}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
|
|
"pc0": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "0",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "{ [[ 0 ]] (PC)}",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"pc1": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "0",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "{(SSTORE 0 0xff) [[ 0 ]] (PC)}",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"msize0": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "0",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "{(MSTORE 0 0xff) [[ 0 ]] (MSIZE)}",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"msize1": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "0",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "{(MSTORE 0 0xffffffffff) [[ 0 ]] (MSIZE)}",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"msize2": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "0",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "{(MSTORE 0 0xffffffffff) (MSTORE 32 0xeeee) [[ 0 ]] (MSIZE)}",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"msize3": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "0",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "{(MSTORE 0 0xffffffffff) (MSTORE 90 0xeeee) [[ 0 ]] (MSIZE)}",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"gas0": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "0",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "{(MSTORE 0 0xffffffffff) (MSTORE 90 0xeeee) [[ 0 ]] (GAS)}",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
},
|
|
|
|
"gas1": {
|
|
"env" : {
|
|
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
|
|
"currentNumber" : "0",
|
|
"currentGasLimit" : "1000000",
|
|
"currentDifficulty" : "256",
|
|
"currentTimestamp" : "1",
|
|
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
|
|
},
|
|
"pre" : {
|
|
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
|
|
"balance" : "1000000000000000000",
|
|
"nonce" : "0",
|
|
"code" : "{[[ 0 ]] (GAS)}",
|
|
"storage": {}
|
|
}
|
|
},
|
|
"exec" : {
|
|
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
|
|
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
|
|
"value" : "1000000000000000000",
|
|
"data" : "",
|
|
"gasPrice" : "100000000000000",
|
|
"gas" : "10000"
|
|
}
|
|
}
|
|
}
|