solidity/vm.cpp

535 lines
14 KiB
C++
Raw Normal View History

/*
This file is part of cpp-ethereum.
cpp-ethereum 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.
cpp-ethereum 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 cpp-ethereum. If not, see <http://www.gnu.org/licenses/>.
*/
/** @file state.cpp
* @author Gav Wood <i@gavwood.com>
* @date 2014
* State test functions.
*/
2014-02-21 19:18:30 +00:00
#include <fstream>
2014-04-24 10:08:01 +00:00
#include <cstdint>
#include <libdevcore/Log.h>
#include <libevmface/Instruction.h>
#include <libevm/ExtVMFace.h>
#include <libevm/VM.h>
#include <liblll/Compiler.h>
2014-04-23 14:08:11 +00:00
#include <libethereum/Transaction.h>
#include "JsonSpiritHeaders.h"
#include <boost/test/unit_test.hpp>
using namespace std;
2014-02-21 19:18:30 +00:00
using namespace json_spirit;
using namespace dev;
using namespace dev::eth;
namespace dev { namespace test {
class FakeExtVM: public ExtVMFace
{
public:
2014-02-21 19:18:30 +00:00
FakeExtVM()
{}
FakeExtVM(BlockInfo const& _previousBlock, BlockInfo const& _currentBlock):
ExtVMFace(Address(), Address(), Address(), 0, 1, bytesConstRef(), bytesConstRef(), _previousBlock, _currentBlock)
2014-02-21 19:18:30 +00:00
{}
u256 store(u256 _n)
{
2014-05-12 13:40:26 +00:00
return get<2>(addresses[myAddress])[_n];
}
void setStore(u256 _n, u256 _v)
{
2014-05-12 13:40:26 +00:00
get<2>(addresses[myAddress])[_n] = _v;
}
u256 balance(Address _a) { return get<0>(addresses[_a]); }
void subBalance(u256 _a) { get<0>(addresses[myAddress]) -= _a; }
u256 txCount(Address _a) { return get<1>(addresses[_a]); }
void suicide(Address _a)
{
get<0>(addresses[_a]) += get<0>(addresses[myAddress]);
addresses.erase(myAddress);
}
2014-07-09 18:36:00 +00:00
h160 create(u256 _endowment, u256* _gas, bytesConstRef _init, OnOpFunc)
2014-02-21 19:18:30 +00:00
{
2014-05-12 13:40:26 +00:00
Address na = right160(sha3(rlpList(myAddress, get<1>(addresses[myAddress]))));
2014-07-03 13:00:22 +00:00
/* if (get<0>(addresses[myAddress]) >= _endowment)
2014-02-21 19:18:30 +00:00
{
get<1>(addresses[myAddress])++;
2014-05-12 13:40:26 +00:00
get<0>(addresses[na]) = _endowment;
// TODO: actually execute...
2014-07-03 13:00:22 +00:00
}*/
Transaction t;
t.value = _endowment;
t.gasPrice = gasPrice;
2014-03-31 01:49:36 +00:00
t.gas = *_gas;
t.data = _init.toBytes();
2014-05-12 13:40:26 +00:00
callcreates.push_back(t);
return na;
}
2014-09-03 19:28:37 +00:00
bool call(Address _receiveAddress, u256 _value, bytesConstRef _data, u256* _gas, bytesRef _out, OnOpFunc, Address, Address)
2014-02-21 19:18:30 +00:00
{
2014-07-03 13:00:22 +00:00
/* if (get<0>(addresses[myAddress]) >= _value)
2014-05-12 13:40:26 +00:00
{
get<1>(addresses[myAddress])++;
get<0>(addresses[_receiveAddress]) += _value;
// TODO: actually execute...
2014-07-03 13:00:22 +00:00
}*/
Transaction t;
2014-04-04 19:24:38 +00:00
t.value = _value;
t.gasPrice = gasPrice;
2014-03-31 01:49:36 +00:00
t.gas = *_gas;
2014-04-04 19:24:38 +00:00
t.data = _data.toVector();
t.receiveAddress = _receiveAddress;
2014-05-12 13:40:26 +00:00
callcreates.push_back(t);
2014-04-04 19:24:38 +00:00
(void)_out;
return true;
2014-02-21 19:18:30 +00:00
}
2014-04-04 19:24:38 +00:00
void setTransaction(Address _caller, u256 _value, u256 _gasPrice, bytes const& _data)
2014-02-21 19:18:30 +00:00
{
2014-04-04 19:24:38 +00:00
caller = origin = _caller;
value = _value;
2014-05-12 13:40:26 +00:00
data = &(thisTxData = _data);
gasPrice = _gasPrice;
2014-02-21 19:18:30 +00:00
}
2014-05-12 13:40:26 +00:00
void setContract(Address _myAddress, u256 _myBalance, u256 _myNonce, map<u256, u256> const& _storage, bytes const& _code)
2014-02-21 19:18:30 +00:00
{
myAddress = _myAddress;
2014-05-12 13:40:26 +00:00
set(myAddress, _myBalance, _myNonce, _storage, _code);
2014-02-21 19:18:30 +00:00
}
2014-05-12 13:40:26 +00:00
void set(Address _a, u256 _myBalance, u256 _myNonce, map<u256, u256> const& _storage, bytes const& _code)
2014-02-21 19:18:30 +00:00
{
get<0>(addresses[_a]) = _myBalance;
get<1>(addresses[_a]) = _myNonce;
2014-05-12 13:40:26 +00:00
get<2>(addresses[_a]) = _storage;
get<3>(addresses[_a]) = _code;
2014-03-31 01:49:36 +00:00
}
void reset(u256 _myBalance, u256 _myNonce, map<u256, u256> const& _storage)
{
2014-05-12 13:40:26 +00:00
callcreates.clear();
2014-03-31 01:49:36 +00:00
addresses.clear();
2014-05-12 13:40:26 +00:00
set(myAddress, _myBalance, _myNonce, _storage, get<3>(addresses[myAddress]));
2014-02-21 19:18:30 +00:00
}
static u256 toInt(mValue const& _v)
{
switch (_v.type())
{
case str_type: return u256(_v.get_str());
case int_type: return (u256)_v.get_uint64();
case bool_type: return (u256)(uint64_t)_v.get_bool();
case real_type: return (u256)(uint64_t)_v.get_real();
default: cwarn << "Bad type for scalar: " << _v.type();
}
return 0;
}
static byte toByte(mValue const& _v)
{
switch (_v.type())
{
case str_type: return (byte)stoi(_v.get_str());
case int_type: return (byte)_v.get_uint64();
case bool_type: return (byte)_v.get_bool();
case real_type: return (byte)_v.get_real();
default: cwarn << "Bad type for scalar: " << _v.type();
}
return 0;
}
2014-02-21 19:18:30 +00:00
static void push(mObject& o, string const& _n, u256 _v)
{
// if (_v < (u256)1 << 64)
// o[_n] = (uint64_t)_v;
// else
2014-02-21 19:18:30 +00:00
o[_n] = toString(_v);
}
static void push(mArray& a, u256 _v)
{
// if (_v < (u256)1 << 64)
// a.push_back((uint64_t)_v);
// else
2014-02-21 19:18:30 +00:00
a.push_back(toString(_v));
}
mObject exportEnv()
{
mObject ret;
ret["previousHash"] = toString(previousBlock.hash);
push(ret, "currentDifficulty", currentBlock.difficulty);
push(ret, "currentTimestamp", currentBlock.timestamp);
ret["currentCoinbase"] = toString(currentBlock.coinbaseAddress);
push(ret, "currentNumber", currentBlock.number);
push(ret, "currentGasLimit", currentBlock.gasLimit);
return ret;
}
void importEnv(mObject& _o)
{
BOOST_REQUIRE(_o.count("previousHash") > 0);
BOOST_REQUIRE(_o.count("currentGasLimit") > 0);
BOOST_REQUIRE(_o.count("currentDifficulty") > 0);
BOOST_REQUIRE(_o.count("currentTimestamp") > 0);
BOOST_REQUIRE(_o.count("currentCoinbase") > 0);
BOOST_REQUIRE(_o.count("currentNumber") > 0);
previousBlock.hash = h256(_o["previousHash"].get_str());
currentBlock.number = toInt(_o["currentNumber"]);
currentBlock.gasLimit = toInt(_o["currentGasLimit"]);
currentBlock.difficulty = toInt(_o["currentDifficulty"]);
currentBlock.timestamp = toInt(_o["currentTimestamp"]);
currentBlock.coinbaseAddress = Address(_o["currentCoinbase"].get_str());
}
2014-02-21 19:18:30 +00:00
mObject exportState()
{
mObject ret;
for (auto const& a: addresses)
{
mObject o;
push(o, "balance", get<0>(a.second));
push(o, "nonce", get<1>(a.second));
{
2014-05-12 13:40:26 +00:00
mObject store;
string curKey;
u256 li = 0;
mArray curVal;
for (auto const& s: get<2>(a.second))
2014-02-21 19:18:30 +00:00
{
2014-05-12 13:40:26 +00:00
if (!li || s.first > li + 8)
{
if (li)
store[curKey] = curVal;
li = s.first;
2014-09-20 20:18:42 +00:00
curKey = "0x"+toHex(toCompactBigEndian(li));
2014-05-12 13:40:26 +00:00
curVal = mArray();
}
else
for (; li != s.first; ++li)
curVal.push_back(0);
2014-09-20 20:18:42 +00:00
curVal.push_back("0x"+toHex(toCompactBigEndian(s.second)));
2014-05-12 13:40:26 +00:00
++li;
2014-02-21 19:18:30 +00:00
}
2014-05-12 13:40:26 +00:00
if (li)
store[curKey] = curVal;
o["storage"] = store;
2014-02-21 19:18:30 +00:00
}
2014-07-06 14:16:53 +00:00
o["code"] = "0x" + toHex(get<3>(a.second));
2014-05-12 13:40:26 +00:00
2014-02-21 19:18:30 +00:00
ret[toString(a.first)] = o;
}
return ret;
}
2014-07-06 14:16:53 +00:00
void importState(mObject& _object)
2014-02-21 19:18:30 +00:00
{
2014-07-06 14:16:53 +00:00
for (auto const& i: _object)
2014-02-21 19:18:30 +00:00
{
mObject o = i.second.get_obj();
2014-05-12 13:40:26 +00:00
BOOST_REQUIRE(o.count("balance") > 0);
BOOST_REQUIRE(o.count("nonce") > 0);
BOOST_REQUIRE(o.count("storage") > 0);
BOOST_REQUIRE(o.count("code") > 0);
2014-02-21 19:18:30 +00:00
auto& a = addresses[Address(i.first)];
get<0>(a) = toInt(o["balance"]);
get<1>(a) = toInt(o["nonce"]);
2014-05-12 13:40:26 +00:00
for (auto const& j: o["storage"].get_obj())
{
u256 adr(j.first);
for (auto const& k: j.second.get_array())
get<2>(a)[adr++] = toInt(k);
}
2014-07-06 14:16:53 +00:00
2014-05-12 13:40:26 +00:00
if (o["code"].type() == str_type)
2014-07-06 14:16:53 +00:00
if (o["code"].get_str().find_first_of("0x") != 0)
get<3>(a) = compileLLL(o["code"].get_str(), false);
else
get<3>(a) = fromHex(o["code"].get_str().substr(2));
2014-05-12 13:40:26 +00:00
else
2014-02-21 19:18:30 +00:00
{
2014-05-12 13:40:26 +00:00
get<3>(a).clear();
for (auto const& j: o["code"].get_array())
get<3>(a).push_back(toByte(j));
2014-02-21 19:18:30 +00:00
}
}
}
mObject exportExec()
{
mObject ret;
ret["address"] = toString(myAddress);
2014-04-04 19:24:38 +00:00
ret["caller"] = toString(caller);
ret["origin"] = toString(origin);
push(ret, "value", value);
push(ret, "gasPrice", gasPrice);
2014-05-12 13:40:26 +00:00
push(ret, "gas", gas);
2014-07-06 14:16:53 +00:00
ret["data"] = "0x" + toHex(data);
ret["code"] = "0x" + toHex(code);
2014-02-21 19:18:30 +00:00
return ret;
}
void importExec(mObject& _o)
{
BOOST_REQUIRE(_o.count("address")> 0);
2014-05-12 13:40:26 +00:00
BOOST_REQUIRE(_o.count("caller") > 0);
BOOST_REQUIRE(_o.count("origin") > 0);
BOOST_REQUIRE(_o.count("value") > 0);
2014-05-12 13:40:26 +00:00
BOOST_REQUIRE(_o.count("data") > 0);
BOOST_REQUIRE(_o.count("gasPrice") > 0);
BOOST_REQUIRE(_o.count("gas") > 0);
2014-02-21 19:18:30 +00:00
myAddress = Address(_o["address"].get_str());
2014-04-04 19:24:38 +00:00
caller = Address(_o["caller"].get_str());
origin = Address(_o["origin"].get_str());
value = toInt(_o["value"]);
gasPrice = toInt(_o["gasPrice"]);
2014-05-12 13:40:26 +00:00
gas = toInt(_o["gas"]);
thisTxCode.clear();
code = &thisTxCode;
if (_o["code"].type() == str_type)
2014-07-06 14:16:53 +00:00
if (_o["code"].get_str().find_first_of("0x") == 0)
thisTxCode = compileLLL(_o["code"].get_str());
else
thisTxCode = fromHex(_o["code"].get_str().substr(2));
else if (_o["code"].type() == array_type)
for (auto const& j: _o["code"].get_array())
thisTxCode.push_back(toByte(j));
else
code.reset();
thisTxData.clear();
2014-05-12 13:40:26 +00:00
if (_o["data"].type() == str_type)
2014-07-06 14:16:53 +00:00
if (_o["data"].get_str().find_first_of("0x") == 0)
thisTxData = fromHex(_o["data"].get_str().substr(2));
else
thisTxData = fromHex(_o["data"].get_str());
2014-05-12 13:40:26 +00:00
else
for (auto const& j: _o["data"].get_array())
thisTxData.push_back(toByte(j));
2014-04-04 19:24:38 +00:00
data = &thisTxData;
2014-02-21 19:18:30 +00:00
}
2014-05-12 13:40:26 +00:00
mArray exportCallCreates()
2014-02-21 19:18:30 +00:00
{
mArray ret;
2014-05-12 13:40:26 +00:00
for (Transaction const& tx: callcreates)
2014-02-21 19:18:30 +00:00
{
mObject o;
o["destination"] = toString(tx.receiveAddress);
2014-05-12 13:40:26 +00:00
push(o, "gasLimit", tx.gas);
2014-02-21 19:18:30 +00:00
push(o, "value", tx.value);
2014-07-06 14:16:53 +00:00
o["data"] = "0x" + toHex(tx.data);
2014-02-21 19:18:30 +00:00
ret.push_back(o);
}
return ret;
}
2014-05-12 13:40:26 +00:00
void importCallCreates(mArray& _callcreates)
2014-02-21 19:18:30 +00:00
{
2014-05-12 13:40:26 +00:00
for (mValue& v: _callcreates)
2014-02-21 19:18:30 +00:00
{
auto tx = v.get_obj();
2014-05-12 13:40:26 +00:00
BOOST_REQUIRE(tx.count("data") > 0);
BOOST_REQUIRE(tx.count("value") > 0);
BOOST_REQUIRE(tx.count("destination") > 0);
BOOST_REQUIRE(tx.count("gasLimit") > 0);
2014-02-21 19:18:30 +00:00
Transaction t;
t.receiveAddress = Address(tx["destination"].get_str());
t.value = toInt(tx["value"]);
2014-05-12 13:40:26 +00:00
t.gas = toInt(tx["gasLimit"]);
if (tx["data"].type() == str_type)
2014-07-06 14:16:53 +00:00
if (tx["data"].get_str().find_first_of("0x") == 0)
t.data = fromHex(tx["data"].get_str().substr(2));
else
t.data = fromHex(tx["data"].get_str());
2014-05-12 13:40:26 +00:00
else
for (auto const& j: tx["data"].get_array())
t.data.push_back(toByte(j));
callcreates.push_back(t);
2014-02-21 19:18:30 +00:00
}
}
2014-05-12 13:40:26 +00:00
map<Address, tuple<u256, u256, map<u256, u256>, bytes>> addresses;
Transactions callcreates;
bytes thisTxData;
2014-05-12 13:40:26 +00:00
bytes thisTxCode;
u256 gas;
};
2014-05-12 13:40:26 +00:00
void doTests(json_spirit::mValue& v, bool _fillin)
{
for (auto& i: v.get_obj())
2014-02-21 19:18:30 +00:00
{
2014-05-12 13:40:26 +00:00
cnote << i.first;
mObject& o = i.second.get_obj();
2014-02-21 19:18:30 +00:00
2014-05-12 13:40:26 +00:00
BOOST_REQUIRE(o.count("env") > 0);
BOOST_REQUIRE(o.count("pre") > 0);
BOOST_REQUIRE(o.count("exec") > 0);
2014-05-12 13:40:26 +00:00
VM vm;
dev::test::FakeExtVM fev;
2014-05-12 13:40:26 +00:00
fev.importEnv(o["env"].get_obj());
fev.importState(o["pre"].get_obj());
2014-02-21 19:18:30 +00:00
2014-05-12 13:40:26 +00:00
if (_fillin)
o["pre"] = mValue(fev.exportState());
2014-02-21 19:18:30 +00:00
fev.importExec(o["exec"].get_obj());
if (!fev.code)
2014-07-10 09:16:34 +00:00
{
fev.thisTxCode = get<3>(fev.addresses.at(fev.myAddress));
fev.code = &fev.thisTxCode;
}
vm.reset(fev.gas);
bytes output = vm.go(fev).toBytes();
2014-05-12 13:40:26 +00:00
if (_fillin)
{
o["env"] = mValue(fev.exportEnv());
o["exec"] = mValue(fev.exportExec());
2014-05-12 13:40:26 +00:00
o["post"] = mValue(fev.exportState());
o["callcreates"] = fev.exportCallCreates();
2014-07-14 15:24:07 +00:00
o["out"] = "0x" + toHex(output);
2014-05-12 13:40:26 +00:00
fev.push(o, "gas", vm.gas());
}
else
{
BOOST_REQUIRE(o.count("post") > 0);
BOOST_REQUIRE(o.count("callcreates") > 0);
BOOST_REQUIRE(o.count("out") > 0);
BOOST_REQUIRE(o.count("gas") > 0);
dev::test::FakeExtVM test;
2014-05-12 13:40:26 +00:00
test.importState(o["post"].get_obj());
test.importCallCreates(o["callcreates"].get_array());
int i = 0;
2014-07-14 15:24:07 +00:00
if (o["out"].type() == array_type)
for (auto const& d: o["out"].get_array())
{
BOOST_CHECK_MESSAGE(output[i] == FakeExtVM::toInt(d), "Output byte [" << i << "] different!");
++i;
}
else if (o["out"].get_str().find("0x") == 0)
BOOST_CHECK(output == fromHex(o["out"].get_str().substr(2)));
else
BOOST_CHECK(output == fromHex(o["out"].get_str()));
2014-05-12 13:40:26 +00:00
BOOST_CHECK(FakeExtVM::toInt(o["gas"]) == vm.gas());
BOOST_CHECK(test.addresses == fev.addresses);
BOOST_CHECK(test.callcreates == fev.callcreates);
2014-02-21 19:18:30 +00:00
}
}
2014-05-12 13:40:26 +00:00
}
/*string makeTestCase()
{
json_spirit::mObject o;
VM vm;
BlockInfo pb;
pb.hash = sha3("previousHash");
pb.nonce = sha3("previousNonce");
BlockInfo cb = pb;
cb.difficulty = 256;
cb.timestamp = 1;
cb.coinbaseAddress = toAddress(sha3("coinbase"));
FakeExtVM fev(pb, cb, 0);
bytes init;
fev.setContract(toAddress(sha3("contract")), ether, 0, compileLisp("(suicide (txsender))", false, init), map<u256, u256>());
o["env"] = fev.exportEnv();
o["pre"] = fev.exportState();
fev.setTransaction(toAddress(sha3("sender")), ether, finney, bytes());
mArray execs;
execs.push_back(fev.exportExec());
o["exec"] = execs;
vm.go(fev);
o["post"] = fev.exportState();
o["txs"] = fev.exportTxs();
return json_spirit::write_string(json_spirit::mValue(o), true);
}*/
} } // Namespace Close
BOOST_AUTO_TEST_CASE(vm_tests)
{
2014-09-20 20:18:42 +00:00
/*
2014-05-12 13:40:26 +00:00
// Populate tests first:
2014-09-20 20:18:42 +00:00
try
{
cnote << "Populating VM tests...";
json_spirit::mValue v;
string s = asString(contents("../../../cpp-ethereum/test/vmtests.json"));
BOOST_REQUIRE_MESSAGE(s.length() > 0, "Contents of 'vmtests.json' is empty.");
json_spirit::read_string(s, v);
dev::test::doTests(v, true);
writeFile("../../../tests/vmtests.json", asBytes(json_spirit::write_string(v, true)));
}
catch (std::exception const& e)
2014-05-12 13:40:26 +00:00
{
BOOST_ERROR("Failed VM Test with Exception: " << e.what());
2014-07-06 14:16:53 +00:00
}*/
try
{
cnote << "Testing VM...";
json_spirit::mValue v;
string s = asString(contents("../../../tests/vmtests.json"));
2014-05-12 13:40:26 +00:00
BOOST_REQUIRE_MESSAGE(s.length() > 0, "Contents of 'vmtests.json' is empty. Have you cloned the 'tests' repo branch develop?");
json_spirit::read_string(s, v);
dev::test::doTests(v, false);
}
catch (std::exception const& e)
{
BOOST_ERROR("Failed VM Test with Exception: " << e.what());
}
}
2014-09-20 00:05:04 +00:00
BOOST_AUTO_TEST_CASE(vmArithmeticTest)
{
2014-09-20 20:18:42 +00:00
/*
cnote << "Populating VM tests...";
json_spirit::mValue v;
string s = asString(contents("../../../cpp-ethereum/test/vmArithmeticTestFiller.json"));
BOOST_REQUIRE_MESSAGE(s.length() > 0, "Contents of 'vmtests.json' is empty.");
json_spirit::read_string(s, v);
dev::test::doTests(v, true);
writeFile("../../../tests/vmArithmeticTest.json", asBytes(json_spirit::write_string(v, true)));
*/
2014-09-20 00:05:04 +00:00
try
{
cnote << "Testing VM arithmetic commands...";
json_spirit::mValue v;
string s = asString(contents("../../../tests/vmArithmeticTest.json"));
BOOST_REQUIRE_MESSAGE(s.length() > 0, "Contents of 'vmArithmeticTest.json' is empty. Have you cloned the 'tests' repo branch develop?");
json_spirit::read_string(s, v);
dev::test::doTests(v, false);
}
catch (std::exception const& e)
{
BOOST_ERROR("Failed VM arithmetic test with Exception: " << e.what());
}
}