aboutsummaryrefslogtreecommitdiffstats
path: root/createRandomTest.cpp
diff options
context:
space:
mode:
authorChristoph Jentzsch <jentzsch.software@gmail.com>2014-10-14 18:41:01 +0800
committerChristoph Jentzsch <jentzsch.software@gmail.com>2014-10-14 19:22:49 +0800
commit5b3c47aa05dca222f3e3956f668432acd7472189 (patch)
tree94a4686ae763074bb5b9a70c25ddfe79877f3a3d /createRandomTest.cpp
parentea27fbe5f33e982babf13df25334dccd112dd96b (diff)
downloaddexon-solidity-5b3c47aa05dca222f3e3956f668432acd7472189.tar.gz
dexon-solidity-5b3c47aa05dca222f3e3956f668432acd7472189.tar.zst
dexon-solidity-5b3c47aa05dca222f3e3956f668432acd7472189.zip
Added random test creater
Diffstat (limited to 'createRandomTest.cpp')
-rw-r--r--createRandomTest.cpp154
1 files changed, 154 insertions, 0 deletions
diff --git a/createRandomTest.cpp b/createRandomTest.cpp
new file mode 100644
index 00000000..6f5e9e6f
--- /dev/null
+++ b/createRandomTest.cpp
@@ -0,0 +1,154 @@
+/*
+ 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 <boost/random.hpp>
+#include <boost/chrono.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 = boost::chrono::steady_clock::now().time_since_epoch();
+ auto timeSinceEpoch = boost::chrono::duration_cast<boost::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());
+ }
+}