aboutsummaryrefslogtreecommitdiffstats
path: root/createRandomVMTest.cpp
diff options
context:
space:
mode:
authorchriseth <c@ethdev.com>2015-04-21 18:04:12 +0800
committerchriseth <c@ethdev.com>2015-04-21 18:04:12 +0800
commitddbaa99056b10052f0539a0afdffab53cc941dab (patch)
tree24888094abc1918b779043512893d82b3251ed43 /createRandomVMTest.cpp
parent8caf1f723ffe9c8592e995f6e82571fbe2185fd0 (diff)
parente375612a7ecbab9ad33a6a40df1c722a82e07630 (diff)
downloaddexon-solidity-ddbaa99056b10052f0539a0afdffab53cc941dab.tar
dexon-solidity-ddbaa99056b10052f0539a0afdffab53cc941dab.tar.gz
dexon-solidity-ddbaa99056b10052f0539a0afdffab53cc941dab.tar.bz2
dexon-solidity-ddbaa99056b10052f0539a0afdffab53cc941dab.tar.lz
dexon-solidity-ddbaa99056b10052f0539a0afdffab53cc941dab.tar.xz
dexon-solidity-ddbaa99056b10052f0539a0afdffab53cc941dab.tar.zst
dexon-solidity-ddbaa99056b10052f0539a0afdffab53cc941dab.zip
Merge remote-tracking branch 'ethereum/develop' into sol_overloadingFunctions
Diffstat (limited to 'createRandomVMTest.cpp')
-rw-r--r--createRandomVMTest.cpp207
1 files changed, 0 insertions, 207 deletions
diff --git a/createRandomVMTest.cpp b/createRandomVMTest.cpp
deleted file mode 100644
index de81099f..00000000
--- a/createRandomVMTest.cpp
+++ /dev/null
@@ -1,207 +0,0 @@
-/*
- 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 <libevmcore/Instruction.h>
-#include <libevm/VMFactory.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[])
-{
- g_logVerbosity = 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::uniform_int_distribution<> BlockInfoOpcodeDist(0x40, 0x45);
- boost::random::variate_generator<boost::mt19937&,
- boost::random::uniform_int_distribution<> > randGen(gen, opcodeDist);
- boost::random::variate_generator<boost::mt19937&,
- boost::random::uniform_int_distribution<> > randGenBlockInfoOpcode(gen, BlockInfoOpcodeDist);
-
- int lengthOfCode = lengthOfCodeDist(gen);
- string randomCode;
-
- for (int i = 0; i < lengthOfCode; ++i)
- {
- if (i < 8 && (randGen() < 192))
- {
- randomCode += toHex(toCompactBigEndian((uint8_t)randGenBlockInfoOpcode()));
- continue;
- }
-
- uint8_t opcode = randGen();
- // disregard all invalid commands, except of one (0x0c)
- if ((dev::eth::isValidInstruction(dev::eth::Instruction(opcode)) || (randGen() > 250)))
- randomCode += toHex(toCompactBigEndian(opcode));
- else
- i--;
- }
-
- const string s =\
-"{\n\
- \"randomVMtest\": {\n\
- \"env\" : {\n\
- \"previousHash\" : \"5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6\",\n\
- \"currentNumber\" : \"300\",\n\
- \"currentGasLimit\" : \"1000000\",\n\
- \"currentDifficulty\" : \"115792089237316195423570985008687907853269984665640564039457584007913129639935\",\n\
- \"currentTimestamp\" : 2,\n\
- \"currentCoinbase\" : \"2adc25665018aa1fe0e6bc666dac8fc2697ff9ba\"\n\
- },\n\
- \"pre\" : {\n\
- \"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6\" : {\n\
- \"balance\" : \"1000000000000000000\",\n\
- \"nonce\" : 0,\n\
- \"code\" : \"random\",\n\
- \"storage\": {}\n\
- }\n\
- },\n\
- \"exec\" : {\n\
- \"address\" : \"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6\",\n\
- \"origin\" : \"cd1722f3947def4cf144679da39c4c32bdc35681\",\n\
- \"caller\" : \"cd1722f3947def4cf144679da39c4c32bdc35681\",\n\
- \"value\" : \"1000000000000000000\",\n\
- \"data\" : \"\",\n\
- \"gasPrice\" : \"100000000000000\",\n\
- \"gas\" : \"10000\"\n\
- }\n\
- }\n\
-}";
-
- mValue v;
- 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 + (randGen() > 128 ? "55" : "");
-
- // execute code in vm
- doMyTests(v);
-
- // stream to output for further handling by the bash script
- cout << json_spirit::write_string(v, true);
-
- return 0;
-}
-
-void doMyTests(json_spirit::mValue& _v)
-{
- eth::VMFactory::setKind(eth::VMKind::Interpreter);
-
- for (auto& i: _v.get_obj())
- {
- cnote << i.first;
- mObject& o = i.second.get_obj();
-
- assert(o.count("env") > 0);
- assert(o.count("pre") > 0);
- assert(o.count("exec") > 0);
-
- dev::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.empty())
- {
- fev.thisTxCode = get<3>(fev.addresses.at(fev.myAddress));
- fev.code = fev.thisTxCode;
- }
-
- bytes output;
- auto vm = eth::VMFactory::create(fev.gas);
-
- u256 gas;
- bool vmExceptionOccured = false;
- try
- {
- output = vm->go(fev, fev.simpleTrace()).toBytes();
- gas = vm->gas();
- }
- catch (eth::VMException const& _e)
- {
- cnote << "VM did throw an exception: " << diagnostic_information(_e);
- vmExceptionOccured = true;
- }
- 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());
- if (!vmExceptionOccured)
- {
- o["post"] = mValue(fev.exportState());
- o["callcreates"] = fev.exportCallCreates();
- o["out"] = "0x" + toHex(output);
- fev.push(o, "gas", gas);
- o["logs"] = test::exportLog(fev.sub.logs);
- }
- }
-}