Paweł Bylica
10 years ago
68 changed files with 1112 additions and 315 deletions
@ -0,0 +1,39 @@ |
|||
<?xml version="1.0" encoding="UTF-8"?> |
|||
<!DOCTYPE QtCreatorCodeStyle> |
|||
<!-- Written by QtCreator 3.0.1, 2014-10-16T20:02:31. --> |
|||
<qtcreator> |
|||
<data> |
|||
<variable>CodeStyleData</variable> |
|||
<valuemap type="QVariantMap"> |
|||
<value type="bool" key="AlignAssignments">false</value> |
|||
<value type="bool" key="AutoSpacesForTabs">false</value> |
|||
<value type="bool" key="BindStarToIdentifier">true</value> |
|||
<value type="bool" key="BindStarToLeftSpecifier">false</value> |
|||
<value type="bool" key="BindStarToRightSpecifier">false</value> |
|||
<value type="bool" key="BindStarToTypeName">false</value> |
|||
<value type="bool" key="ExtraPaddingForConditionsIfConfusingAlign">true</value> |
|||
<value type="bool" key="IndentAccessSpecifiers">false</value> |
|||
<value type="bool" key="IndentBlockBody">true</value> |
|||
<value type="bool" key="IndentBlockBraces">false</value> |
|||
<value type="bool" key="IndentBlocksRelativeToSwitchLabels">false</value> |
|||
<value type="bool" key="IndentClassBraces">false</value> |
|||
<value type="bool" key="IndentControlFlowRelativeToSwitchLabels">true</value> |
|||
<value type="bool" key="IndentDeclarationsRelativeToAccessSpecifiers">true</value> |
|||
<value type="bool" key="IndentEnumBraces">false</value> |
|||
<value type="bool" key="IndentFunctionBody">true</value> |
|||
<value type="bool" key="IndentFunctionBraces">false</value> |
|||
<value type="bool" key="IndentNamespaceBody">false</value> |
|||
<value type="bool" key="IndentNamespaceBraces">false</value> |
|||
<value type="int" key="IndentSize">4</value> |
|||
<value type="bool" key="IndentStatementsRelativeToSwitchLabels">true</value> |
|||
<value type="bool" key="IndentSwitchLabels">false</value> |
|||
<value type="int" key="PaddingMode">2</value> |
|||
<value type="bool" key="SpacesForTabs">false</value> |
|||
<value type="int" key="TabSize">4</value> |
|||
</valuemap> |
|||
</data> |
|||
<data> |
|||
<variable>DisplayName</variable> |
|||
<value type="QString">Gav</value> |
|||
</data> |
|||
</qtcreator> |
|||
@ -0,0 +1,152 @@ |
|||
/*
|
|||
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 createRandomTest.cpp
|
|||
* @author Christoph Jentzsch <jentzsch.simulationsoftware@gmail.com> |
|||
* @date 2014 |
|||
* Creating a random virtual machine test. |
|||
*/ |
|||
|
|||
#include <string> |
|||
#include <iostream> |
|||
#include <chrono> |
|||
#include <boost/random.hpp> |
|||
#include <boost/filesystem/path.hpp> |
|||
#pragma GCC diagnostic ignored "-Wunused-parameter" |
|||
#include <json_spirit/json_spirit.h> |
|||
#include <json_spirit/json_spirit_reader_template.h> |
|||
#include <json_spirit/json_spirit_writer_template.h> |
|||
#include <libdevcore/CommonIO.h> |
|||
#include <libdevcore/CommonData.h> |
|||
#include <libevmface/Instruction.h> |
|||
#include "vm.h" |
|||
|
|||
using namespace std; |
|||
using namespace json_spirit; |
|||
using namespace dev; |
|||
|
|||
void doMyTests(json_spirit::mValue& v); |
|||
|
|||
int main(int argc, char *argv[]) |
|||
{ |
|||
if (argc != 2) |
|||
{ |
|||
cout << "usage: createRandomTest <filename>\n"; |
|||
return 0; |
|||
} |
|||
|
|||
// create random code
|
|||
|
|||
boost::random::mt19937 gen; |
|||
|
|||
auto now = chrono::steady_clock::now().time_since_epoch(); |
|||
auto timeSinceEpoch = chrono::duration_cast<chrono::nanoseconds>(now).count(); |
|||
gen.seed(static_cast<unsigned int>(timeSinceEpoch)); |
|||
boost::random::uniform_int_distribution<> lengthOfCodeDist(2, 16); |
|||
boost::random::uniform_int_distribution<> opcodeDist(0, 255); |
|||
boost::random::variate_generator<boost::mt19937&, |
|||
boost::random::uniform_int_distribution<> > randGen(gen, opcodeDist); |
|||
|
|||
int lengthOfCode = lengthOfCodeDist(gen); |
|||
string randomCode; |
|||
|
|||
for (int i = 0; i < lengthOfCode; ++i) |
|||
randomCode += toHex(toCompactBigEndian(randGen())); |
|||
|
|||
// read template test file
|
|||
|
|||
mValue v; |
|||
boost::filesystem::path p(__FILE__); |
|||
boost::filesystem::path dir = p.parent_path(); |
|||
string s = asString(contents(dir.string() + "/randomTestFiller.json")); |
|||
read_string(s, v); |
|||
|
|||
// insert new random code
|
|||
v.get_obj().find("randomVMtest")->second.get_obj().find("pre")->second.get_obj().begin()->second.get_obj()["code"] = "0x" + randomCode; |
|||
|
|||
// execute code in vm
|
|||
doMyTests(v); |
|||
|
|||
// write new test
|
|||
string filename = argv[1]; |
|||
writeFile(filename, asBytes(json_spirit::write_string(v, true))); |
|||
|
|||
return 0; |
|||
} |
|||
|
|||
void doMyTests(json_spirit::mValue& v) |
|||
{ |
|||
for (auto& i: v.get_obj()) |
|||
{ |
|||
mObject& o = i.second.get_obj(); |
|||
|
|||
assert(o.count("env") > 0); |
|||
assert(o.count("pre") > 0); |
|||
assert(o.count("exec") > 0); |
|||
|
|||
eth::VM vm; |
|||
test::FakeExtVM fev; |
|||
fev.importEnv(o["env"].get_obj()); |
|||
fev.importState(o["pre"].get_obj()); |
|||
|
|||
o["pre"] = mValue(fev.exportState()); |
|||
|
|||
fev.importExec(o["exec"].get_obj()); |
|||
if (!fev.code) |
|||
{ |
|||
fev.thisTxCode = get<3>(fev.addresses.at(fev.myAddress)); |
|||
fev.code = &fev.thisTxCode; |
|||
} |
|||
|
|||
vm.reset(fev.gas); |
|||
bytes output; |
|||
try |
|||
{ |
|||
output = vm.go(fev).toBytes(); |
|||
} |
|||
catch (Exception const& _e) |
|||
{ |
|||
cnote << "VM did throw an exception: " << diagnostic_information(_e); |
|||
} |
|||
catch (std::exception const& _e) |
|||
{ |
|||
cnote << "VM did throw an exception: " << _e.what(); |
|||
} |
|||
|
|||
// delete null entries in storage for the sake of comparison
|
|||
|
|||
for (auto &a: fev.addresses) |
|||
{ |
|||
vector<u256> keystoDelete; |
|||
for (auto &s: get<2>(a.second)) |
|||
{ |
|||
if (s.second == 0) |
|||
keystoDelete.push_back(s.first); |
|||
} |
|||
for (auto const key: keystoDelete ) |
|||
{ |
|||
get<2>(a.second).erase(key); |
|||
} |
|||
} |
|||
|
|||
o["env"] = mValue(fev.exportEnv()); |
|||
o["exec"] = mValue(fev.exportExec()); |
|||
o["post"] = mValue(fev.exportState()); |
|||
o["callcreates"] = fev.exportCallCreates(); |
|||
o["out"] = "0x" + toHex(output); |
|||
fev.push(o, "gas", vm.gas()); |
|||
} |
|||
} |
|||
@ -0,0 +1,29 @@ |
|||
{ |
|||
"randomVMtest": { |
|||
"env" : { |
|||
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6", |
|||
"currentNumber" : "0", |
|||
"currentGasLimit" : "1000000", |
|||
"currentDifficulty" : "256", |
|||
"currentTimestamp" : 1, |
|||
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba" |
|||
}, |
|||
"pre" : { |
|||
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { |
|||
"balance" : "1000000000000000000", |
|||
"nonce" : 0, |
|||
"code" : "random", |
|||
"storage": {} |
|||
} |
|||
}, |
|||
"exec" : { |
|||
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", |
|||
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681", |
|||
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681", |
|||
"value" : "1000000000000000000", |
|||
"data" : "", |
|||
"gasPrice" : "100000000000000", |
|||
"gas" : "10000" |
|||
} |
|||
} |
|||
} |
|||
Loading…
Reference in new issue