2017-01-25 18:51:41 +01:00
|
|
|
// Copyright 2015-2017 Parity Technologies (UK) Ltd.
|
2016-02-05 13:40:41 +01:00
|
|
|
// This file is part of Parity.
|
|
|
|
|
|
|
|
// Parity is free software: you can redistribute it and/or modify
|
|
|
|
// it under the terms of the GNU General Public License as published by
|
|
|
|
// the Free Software Foundation, either version 3 of the License, or
|
|
|
|
// (at your option) any later version.
|
|
|
|
|
|
|
|
// Parity is distributed in the hope that it will be useful,
|
|
|
|
// but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
// GNU General Public License for more details.
|
|
|
|
|
|
|
|
// You should have received a copy of the GNU General Public License
|
|
|
|
// along with Parity. If not, see <http://www.gnu.org/licenses/>.
|
|
|
|
|
2016-01-13 01:23:01 +01:00
|
|
|
use super::test_common::*;
|
2016-10-24 18:35:25 +02:00
|
|
|
use action_params::ActionParams;
|
2017-02-22 10:52:58 +01:00
|
|
|
use state::{Backend as StateBackend, State, Substate};
|
2016-01-13 01:23:01 +01:00
|
|
|
use executive::*;
|
2016-07-28 20:32:20 +02:00
|
|
|
use engines::Engine;
|
2016-10-24 18:35:25 +02:00
|
|
|
use env_info::EnvInfo;
|
2016-01-13 13:16:53 +01:00
|
|
|
use evm;
|
2017-04-19 14:30:00 +02:00
|
|
|
use evm::{Schedule, Ext, Factory, Finalize, VMType, ContractCreateResult, MessageCallResult, CreateContractAddress};
|
2016-01-15 14:22:46 +01:00
|
|
|
use externalities::*;
|
2016-07-27 17:41:21 +02:00
|
|
|
use types::executed::CallType;
|
2016-01-31 10:52:07 +01:00
|
|
|
use tests::helpers::*;
|
2016-03-24 01:25:59 +01:00
|
|
|
use ethjson;
|
2016-04-30 17:41:24 +02:00
|
|
|
use trace::{Tracer, NoopTracer};
|
2016-06-02 12:40:31 +02:00
|
|
|
use trace::{VMTracer, NoopVMTracer};
|
2016-01-13 01:23:01 +01:00
|
|
|
|
2016-06-02 19:04:15 +02:00
|
|
|
#[derive(Debug, PartialEq, Clone)]
|
2016-01-13 13:16:53 +01:00
|
|
|
struct CallCreate {
|
|
|
|
data: Bytes,
|
2016-01-14 23:36:35 +01:00
|
|
|
destination: Option<Address>,
|
2016-01-16 20:11:12 +01:00
|
|
|
gas_limit: U256,
|
2016-01-13 13:16:53 +01:00
|
|
|
value: U256
|
|
|
|
}
|
|
|
|
|
2016-03-24 01:25:59 +01:00
|
|
|
impl From<ethjson::vm::Call> for CallCreate {
|
|
|
|
fn from(c: ethjson::vm::Call) -> Self {
|
2016-07-28 23:46:24 +02:00
|
|
|
let dst: Option<ethjson::hash::Address> = c.destination.into();
|
2016-03-24 01:25:59 +01:00
|
|
|
CallCreate {
|
|
|
|
data: c.data.into(),
|
|
|
|
destination: dst.map(Into::into),
|
|
|
|
gas_limit: c.gas_limit.into(),
|
|
|
|
value: c.value.into()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2016-01-13 13:16:53 +01:00
|
|
|
/// Tiny wrapper around executive externalities.
|
|
|
|
/// Stores callcreates.
|
2017-02-22 10:52:58 +01:00
|
|
|
struct TestExt<'a, T: 'a, V: 'a, B: 'a>
|
|
|
|
where T: Tracer, V: VMTracer, B: StateBackend
|
|
|
|
{
|
|
|
|
ext: Externalities<'a, T, V, B>,
|
2016-01-16 20:11:12 +01:00
|
|
|
callcreates: Vec<CallCreate>,
|
2017-04-19 14:30:00 +02:00
|
|
|
nonce: U256,
|
|
|
|
sender: Address,
|
2016-01-13 13:16:53 +01:00
|
|
|
}
|
|
|
|
|
2017-02-22 10:52:58 +01:00
|
|
|
impl<'a, T: 'a, V: 'a, B: 'a> TestExt<'a, T, V, B>
|
|
|
|
where T: Tracer, V: VMTracer, B: StateBackend
|
|
|
|
{
|
2016-06-02 12:40:31 +02:00
|
|
|
fn new(
|
2017-02-22 10:52:58 +01:00
|
|
|
state: &'a mut State<B>,
|
2016-06-02 12:40:31 +02:00
|
|
|
info: &'a EnvInfo,
|
|
|
|
engine: &'a Engine,
|
|
|
|
vm_factory: &'a Factory,
|
|
|
|
depth: usize,
|
|
|
|
origin_info: OriginInfo,
|
|
|
|
substate: &'a mut Substate,
|
|
|
|
output: OutputPolicy<'a, 'a>,
|
|
|
|
address: Address,
|
|
|
|
tracer: &'a mut T,
|
|
|
|
vm_tracer: &'a mut V,
|
2017-02-26 13:10:50 +01:00
|
|
|
) -> trie::Result<Self> {
|
|
|
|
Ok(TestExt {
|
2017-04-19 14:30:00 +02:00
|
|
|
nonce: state.nonce(&address)?,
|
2016-06-02 12:40:31 +02:00
|
|
|
ext: Externalities::new(state, info, engine, vm_factory, depth, origin_info, substate, output, tracer, vm_tracer),
|
2017-04-19 14:30:00 +02:00
|
|
|
callcreates: vec![],
|
|
|
|
sender: address,
|
2017-02-26 13:10:50 +01:00
|
|
|
})
|
2016-01-13 13:16:53 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2017-02-22 10:52:58 +01:00
|
|
|
impl<'a, T: 'a, V: 'a, B: 'a> Ext for TestExt<'a, T, V, B>
|
|
|
|
where T: Tracer, V: VMTracer, B: StateBackend
|
|
|
|
{
|
2017-02-26 13:10:50 +01:00
|
|
|
fn storage_at(&self, key: &H256) -> trie::Result<H256> {
|
2016-01-15 18:56:28 +01:00
|
|
|
self.ext.storage_at(key)
|
2016-01-13 13:16:53 +01:00
|
|
|
}
|
|
|
|
|
2017-02-26 13:10:50 +01:00
|
|
|
fn set_storage(&mut self, key: H256, value: H256) -> trie::Result<()> {
|
2016-01-16 20:11:12 +01:00
|
|
|
self.ext.set_storage(key, value)
|
|
|
|
}
|
|
|
|
|
2017-02-26 13:10:50 +01:00
|
|
|
fn exists(&self, address: &Address) -> trie::Result<bool> {
|
2016-01-16 20:11:12 +01:00
|
|
|
self.ext.exists(address)
|
2016-01-13 13:16:53 +01:00
|
|
|
}
|
|
|
|
|
2017-02-26 13:10:50 +01:00
|
|
|
fn exists_and_not_null(&self, address: &Address) -> trie::Result<bool> {
|
2016-11-03 22:22:25 +01:00
|
|
|
self.ext.exists_and_not_null(address)
|
|
|
|
}
|
|
|
|
|
2017-02-26 13:10:50 +01:00
|
|
|
fn balance(&self, address: &Address) -> trie::Result<U256> {
|
2016-01-13 13:16:53 +01:00
|
|
|
self.ext.balance(address)
|
|
|
|
}
|
|
|
|
|
2017-02-26 13:10:50 +01:00
|
|
|
fn origin_balance(&self) -> trie::Result<U256> {
|
2016-11-03 22:22:25 +01:00
|
|
|
self.ext.origin_balance()
|
|
|
|
}
|
|
|
|
|
2016-01-13 13:16:53 +01:00
|
|
|
fn blockhash(&self, number: &U256) -> H256 {
|
|
|
|
self.ext.blockhash(number)
|
|
|
|
}
|
|
|
|
|
2017-04-19 14:30:00 +02:00
|
|
|
fn create(&mut self, gas: &U256, value: &U256, code: &[u8], address: CreateContractAddress) -> ContractCreateResult {
|
2016-01-16 20:11:12 +01:00
|
|
|
self.callcreates.push(CallCreate {
|
|
|
|
data: code.to_vec(),
|
|
|
|
destination: None,
|
|
|
|
gas_limit: *gas,
|
|
|
|
value: *value
|
|
|
|
});
|
2017-04-19 14:30:00 +02:00
|
|
|
let contract_address = contract_address(address, &self.sender, &self.nonce, &code.sha3());
|
|
|
|
ContractCreateResult::Created(contract_address, *gas)
|
2016-01-13 13:16:53 +01:00
|
|
|
}
|
|
|
|
|
2016-02-10 00:20:36 +01:00
|
|
|
fn call(&mut self,
|
2016-07-27 17:41:21 +02:00
|
|
|
gas: &U256,
|
|
|
|
_sender_address: &Address,
|
|
|
|
receive_address: &Address,
|
|
|
|
value: Option<U256>,
|
|
|
|
data: &[u8],
|
|
|
|
_code_address: &Address,
|
|
|
|
_output: &mut [u8],
|
|
|
|
_call_type: CallType
|
|
|
|
) -> MessageCallResult {
|
2016-01-16 20:11:12 +01:00
|
|
|
self.callcreates.push(CallCreate {
|
|
|
|
data: data.to_vec(),
|
|
|
|
destination: Some(receive_address.clone()),
|
|
|
|
gas_limit: *gas,
|
2016-01-25 23:59:50 +01:00
|
|
|
value: value.unwrap()
|
2016-01-20 16:52:22 +01:00
|
|
|
});
|
|
|
|
MessageCallResult::Success(*gas)
|
|
|
|
}
|
|
|
|
|
2017-02-26 13:10:50 +01:00
|
|
|
fn extcode(&self, address: &Address) -> trie::Result<Arc<Bytes>> {
|
2016-01-13 13:16:53 +01:00
|
|
|
self.ext.extcode(address)
|
|
|
|
}
|
2016-02-10 00:20:36 +01:00
|
|
|
|
2017-02-26 13:10:50 +01:00
|
|
|
fn extcodesize(&self, address: &Address) -> trie::Result<usize> {
|
2016-09-22 19:58:42 +02:00
|
|
|
self.ext.extcodesize(address)
|
|
|
|
}
|
|
|
|
|
2016-01-16 17:17:43 +01:00
|
|
|
fn log(&mut self, topics: Vec<H256>, data: &[u8]) {
|
2016-01-13 13:16:53 +01:00
|
|
|
self.ext.log(topics, data)
|
|
|
|
}
|
|
|
|
|
2016-06-02 19:04:15 +02:00
|
|
|
fn ret(self, gas: &U256, data: &[u8]) -> Result<U256, evm::Error> {
|
2016-01-13 13:16:53 +01:00
|
|
|
self.ext.ret(gas, data)
|
|
|
|
}
|
|
|
|
|
2017-02-26 13:10:50 +01:00
|
|
|
fn suicide(&mut self, refund_address: &Address) -> trie::Result<()> {
|
2016-01-13 16:16:21 +01:00
|
|
|
self.ext.suicide(refund_address)
|
2016-01-13 13:16:53 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
fn schedule(&self) -> &Schedule {
|
|
|
|
self.ext.schedule()
|
|
|
|
}
|
|
|
|
|
|
|
|
fn env_info(&self) -> &EnvInfo {
|
|
|
|
self.ext.env_info()
|
|
|
|
}
|
2016-01-16 20:11:12 +01:00
|
|
|
|
|
|
|
fn depth(&self) -> usize {
|
|
|
|
0
|
|
|
|
}
|
|
|
|
|
|
|
|
fn inc_sstore_clears(&mut self) {
|
|
|
|
self.ext.inc_sstore_clears()
|
|
|
|
}
|
2016-01-13 13:16:53 +01:00
|
|
|
}
|
|
|
|
|
2016-01-13 01:23:01 +01:00
|
|
|
fn do_json_test(json_data: &[u8]) -> Vec<String> {
|
2016-01-14 18:29:18 +01:00
|
|
|
let vms = VMType::all();
|
|
|
|
vms
|
|
|
|
.iter()
|
|
|
|
.flat_map(|vm| do_json_test_for(vm, json_data))
|
|
|
|
.collect()
|
|
|
|
}
|
|
|
|
|
2016-03-24 01:25:59 +01:00
|
|
|
fn do_json_test_for(vm_type: &VMType, json_data: &[u8]) -> Vec<String> {
|
|
|
|
let tests = ethjson::vm::Test::load(json_data).unwrap();
|
2016-01-13 01:23:01 +01:00
|
|
|
let mut failed = Vec::new();
|
2016-03-24 01:25:59 +01:00
|
|
|
|
|
|
|
for (name, vm) in tests.into_iter() {
|
2016-01-14 17:40:38 +01:00
|
|
|
println!("name: {:?}", name);
|
2016-01-13 01:23:01 +01:00
|
|
|
let mut fail = false;
|
2016-03-24 01:25:59 +01:00
|
|
|
|
2016-02-10 00:20:36 +01:00
|
|
|
let mut fail_unless = |cond: bool, s: &str | if !cond && !fail {
|
2016-03-24 01:25:59 +01:00
|
|
|
failed.push(format!("[{}] {}: {}", vm_type, name, s));
|
2016-02-10 00:20:36 +01:00
|
|
|
fail = true
|
2016-01-14 18:29:18 +01:00
|
|
|
};
|
2016-02-10 00:20:36 +01:00
|
|
|
|
2017-02-26 13:10:50 +01:00
|
|
|
macro_rules! try_fail {
|
|
|
|
($e: expr) => {
|
|
|
|
match $e {
|
|
|
|
Ok(x) => x,
|
|
|
|
Err(e) => {
|
|
|
|
let msg = format!("Internal error: {}", e);
|
|
|
|
fail_unless(false, &msg);
|
|
|
|
continue
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2016-03-24 01:25:59 +01:00
|
|
|
let out_of_gas = vm.out_of_gas();
|
2017-04-06 19:26:17 +02:00
|
|
|
let mut state = get_temp_state();
|
2016-03-24 01:25:59 +01:00
|
|
|
state.populate_from(From::from(vm.pre_state.clone()));
|
|
|
|
let info = From::from(vm.env);
|
2016-05-19 00:44:49 +02:00
|
|
|
let engine = TestEngine::new(1);
|
2016-10-07 13:59:50 +02:00
|
|
|
let vm_factory = Factory::new(vm_type.clone(), 1024 * 32);
|
2016-03-24 01:25:59 +01:00
|
|
|
let params = ActionParams::from(vm.transaction);
|
2016-02-10 00:20:36 +01:00
|
|
|
|
2016-04-08 11:48:37 +02:00
|
|
|
let mut substate = Substate::new();
|
|
|
|
let mut tracer = NoopTracer;
|
2016-06-02 12:40:31 +02:00
|
|
|
let mut vm_tracer = NoopVMTracer;
|
2016-01-13 15:26:52 +01:00
|
|
|
let mut output = vec![];
|
2016-01-13 01:23:01 +01:00
|
|
|
|
|
|
|
// execute
|
2016-01-13 17:26:04 +01:00
|
|
|
let (res, callcreates) = {
|
2017-02-26 13:10:50 +01:00
|
|
|
let mut ex = try_fail!(TestExt::new(
|
2016-03-19 14:10:32 +01:00
|
|
|
&mut state,
|
|
|
|
&info,
|
|
|
|
&engine,
|
2016-05-19 00:44:49 +02:00
|
|
|
&vm_factory,
|
2016-03-19 14:10:32 +01:00
|
|
|
0,
|
|
|
|
OriginInfo::from(¶ms),
|
|
|
|
&mut substate,
|
2016-03-19 22:14:16 +01:00
|
|
|
OutputPolicy::Return(BytesRef::Flexible(&mut output), None),
|
2016-04-08 11:48:37 +02:00
|
|
|
params.address.clone(),
|
|
|
|
&mut tracer,
|
2016-06-02 12:40:31 +02:00
|
|
|
&mut vm_tracer,
|
2017-02-26 13:10:50 +01:00
|
|
|
));
|
2016-07-05 15:15:44 +02:00
|
|
|
let mut evm = vm_factory.create(params.gas);
|
2016-01-16 20:11:12 +01:00
|
|
|
let res = evm.exec(params, &mut ex);
|
2016-06-02 19:04:15 +02:00
|
|
|
// a return in finalize will not alter callcreates
|
|
|
|
let callcreates = ex.callcreates.clone();
|
|
|
|
(res.finalize(ex), callcreates)
|
2016-01-13 01:23:01 +01:00
|
|
|
};
|
|
|
|
|
|
|
|
match res {
|
|
|
|
Err(_) => fail_unless(out_of_gas, "didn't expect to run out of gas."),
|
2017-05-23 15:49:17 +02:00
|
|
|
Ok(res) => {
|
2016-01-13 01:23:01 +01:00
|
|
|
fail_unless(!out_of_gas, "expected to run out of gas.");
|
2017-05-23 15:49:17 +02:00
|
|
|
fail_unless(Some(res.gas_left) == vm.gas_left.map(Into::into), "gas_left is incorrect");
|
2016-03-24 01:25:59 +01:00
|
|
|
let vm_output: Option<Vec<u8>> = vm.output.map(Into::into);
|
|
|
|
fail_unless(Some(output) == vm_output, "output is incorrect");
|
|
|
|
|
2016-03-24 16:40:52 +01:00
|
|
|
for (address, account) in vm.post_state.unwrap().into_iter() {
|
|
|
|
let address = address.into();
|
|
|
|
let code: Vec<u8> = account.code.into();
|
2017-02-26 13:10:50 +01:00
|
|
|
let found_code = try_fail!(state.code(&address));
|
|
|
|
let found_balance = try_fail!(state.balance(&address));
|
|
|
|
let found_nonce = try_fail!(state.nonce(&address));
|
|
|
|
|
|
|
|
fail_unless(found_code.as_ref().map_or_else(|| code.is_empty(), |c| &**c == &code), "code is incorrect");
|
|
|
|
fail_unless(found_balance == account.balance.into(), "balance is incorrect");
|
|
|
|
fail_unless(found_nonce == account.nonce.into(), "nonce is incorrect");
|
|
|
|
for (k, v) in account.storage {
|
2016-03-24 16:40:52 +01:00
|
|
|
let key: U256 = k.into();
|
|
|
|
let value: U256 = v.into();
|
2017-02-26 13:10:50 +01:00
|
|
|
let found_storage = try_fail!(state.storage_at(&address, &From::from(key)));
|
|
|
|
fail_unless(found_storage == From::from(value), "storage is incorrect");
|
|
|
|
}
|
2016-03-24 16:40:52 +01:00
|
|
|
}
|
|
|
|
|
2016-03-24 01:25:59 +01:00
|
|
|
let calls: Option<Vec<CallCreate>> = vm.calls.map(|c| c.into_iter().map(From::from).collect());
|
|
|
|
fail_unless(Some(callcreates) == calls, "callcreates does not match");
|
2016-01-13 01:23:01 +01:00
|
|
|
}
|
2016-03-24 01:25:59 +01:00
|
|
|
};
|
2016-01-13 01:23:01 +01:00
|
|
|
}
|
|
|
|
|
2016-01-19 13:47:30 +01:00
|
|
|
for f in &failed {
|
2016-01-13 01:23:01 +01:00
|
|
|
println!("FAILED: {:?}", f);
|
|
|
|
}
|
|
|
|
|
|
|
|
failed
|
|
|
|
}
|
|
|
|
|
|
|
|
declare_test!{ExecutiveTests_vmArithmeticTest, "VMTests/vmArithmeticTest"}
|
|
|
|
declare_test!{ExecutiveTests_vmBitwiseLogicOperationTest, "VMTests/vmBitwiseLogicOperationTest"}
|
2016-01-26 10:15:55 +01:00
|
|
|
declare_test!{ExecutiveTests_vmBlockInfoTest, "VMTests/vmBlockInfoTest"}
|
|
|
|
// TODO [todr] Fails with Signal 11 when using JIT
|
2016-01-13 01:23:01 +01:00
|
|
|
declare_test!{ExecutiveTests_vmEnvironmentalInfoTest, "VMTests/vmEnvironmentalInfoTest"}
|
2016-01-13 13:16:53 +01:00
|
|
|
declare_test!{ExecutiveTests_vmIOandFlowOperationsTest, "VMTests/vmIOandFlowOperationsTest"}
|
2016-01-21 16:08:09 +01:00
|
|
|
declare_test!{heavy => ExecutiveTests_vmInputLimits, "VMTests/vmInputLimits"}
|
2016-01-13 13:16:53 +01:00
|
|
|
declare_test!{ExecutiveTests_vmLogTest, "VMTests/vmLogTest"}
|
|
|
|
declare_test!{ExecutiveTests_vmPerformanceTest, "VMTests/vmPerformanceTest"}
|
|
|
|
declare_test!{ExecutiveTests_vmPushDupSwapTest, "VMTests/vmPushDupSwapTest"}
|
|
|
|
declare_test!{ExecutiveTests_vmSha3Test, "VMTests/vmSha3Test"}
|
|
|
|
declare_test!{ExecutiveTests_vmSystemOperationsTest, "VMTests/vmSystemOperationsTest"}
|
|
|
|
declare_test!{ExecutiveTests_vmtests, "VMTests/vmtests"}
|