/* 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 . */ /** @file Instruction.cpp * @author Gav Wood * @date 2014 */ #include "./Instruction.h" #include #include #include #include using namespace std; using namespace dev; using namespace dev::solidity; const std::map dev::solidity::c_instructions = { { "STOP", Instruction::STOP }, { "ADD", Instruction::ADD }, { "SUB", Instruction::SUB }, { "MUL", Instruction::MUL }, { "DIV", Instruction::DIV }, { "SDIV", Instruction::SDIV }, { "MOD", Instruction::MOD }, { "SMOD", Instruction::SMOD }, { "EXP", Instruction::EXP }, { "BNOT", Instruction::NOT }, { "LT", Instruction::LT }, { "GT", Instruction::GT }, { "SLT", Instruction::SLT }, { "SGT", Instruction::SGT }, { "EQ", Instruction::EQ }, { "NOT", Instruction::ISZERO }, { "AND", Instruction::AND }, { "OR", Instruction::OR }, { "XOR", Instruction::XOR }, { "BYTE", Instruction::BYTE }, { "ADDMOD", Instruction::ADDMOD }, { "MULMOD", Instruction::MULMOD }, { "SIGNEXTEND", Instruction::SIGNEXTEND }, { "SHA3", Instruction::SHA3 }, { "ADDRESS", Instruction::ADDRESS }, { "BALANCE", Instruction::BALANCE }, { "ORIGIN", Instruction::ORIGIN }, { "CALLER", Instruction::CALLER }, { "CALLVALUE", Instruction::CALLVALUE }, { "CALLDATALOAD", Instruction::CALLDATALOAD }, { "CALLDATASIZE", Instruction::CALLDATASIZE }, { "CALLDATACOPY", Instruction::CALLDATACOPY }, { "CODESIZE", Instruction::CODESIZE }, { "CODECOPY", Instruction::CODECOPY }, { "GASPRICE", Instruction::GASPRICE }, { "EXTCODESIZE", Instruction::EXTCODESIZE }, { "EXTCODECOPY", Instruction::EXTCODECOPY }, { "BLOCKHASH", Instruction::BLOCKHASH }, { "COINBASE", Instruction::COINBASE }, { "TIMESTAMP", Instruction::TIMESTAMP }, { "NUMBER", Instruction::NUMBER }, { "DIFFICULTY", Instruction::DIFFICULTY }, { "GASLIMIT", Instruction::GASLIMIT }, { "POP", Instruction::POP }, { "MLOAD", Instruction::MLOAD }, { "MSTORE", Instruction::MSTORE }, { "MSTORE8", Instruction::MSTORE8 }, { "SLOAD", Instruction::SLOAD }, { "SSTORE", Instruction::SSTORE }, { "JUMP", Instruction::JUMP }, { "JUMPI", Instruction::JUMPI }, { "PC", Instruction::PC }, { "MSIZE", Instruction::MSIZE }, { "GAS", Instruction::GAS }, { "JUMPDEST", Instruction::JUMPDEST }, { "PUSH1", Instruction::PUSH1 }, { "PUSH2", Instruction::PUSH2 }, { "PUSH3", Instruction::PUSH3 }, { "PUSH4", Instruction::PUSH4 }, { "PUSH5", Instruction::PUSH5 }, { "PUSH6", Instruction::PUSH6 }, { "PUSH7", Instruction::PUSH7 }, { "PUSH8", Instruction::PUSH8 }, { "PUSH9", Instruction::PUSH9 }, { "PUSH10", Instruction::PUSH10 }, { "PUSH11", Instruction::PUSH11 }, { "PUSH12", Instruction::PUSH12 }, { "PUSH13", Instruction::PUSH13 }, { "PUSH14", Instruction::PUSH14 }, { "PUSH15", Instruction::PUSH15 }, { "PUSH16", Instruction::PUSH16 }, { "PUSH17", Instruction::PUSH17 }, { "PUSH18", Instruction::PUSH18 }, { "PUSH19", Instruction::PUSH19 }, { "PUSH20", Instruction::PUSH20 }, { "PUSH21", Instruction::PUSH21 }, { "PUSH22", Instruction::PUSH22 }, { "PUSH23", Instruction::PUSH23 }, { "PUSH24", Instruction::PUSH24 }, { "PUSH25", Instruction::PUSH25 }, { "PUSH26", Instruction::PUSH26 }, { "PUSH27", Instruction::PUSH27 }, { "PUSH28", Instruction::PUSH28 }, { "PUSH29", Instruction::PUSH29 }, { "PUSH30", Instruction::PUSH30 }, { "PUSH31", Instruction::PUSH31 }, { "PUSH32", Instruction::PUSH32 }, { "DUP1", Instruction::DUP1 }, { "DUP2", Instruction::DUP2 }, { "DUP3", Instruction::DUP3 }, { "DUP4", Instruction::DUP4 }, { "DUP5", Instruction::DUP5 }, { "DUP6", Instruction::DUP6 }, { "DUP7", Instruction::DUP7 }, { "DUP8", Instruction::DUP8 }, { "DUP9", Instruction::DUP9 }, { "DUP10", Instruction::DUP10 }, { "DUP11", Instruction::DUP11 }, { "DUP12", Instruction::DUP12 }, { "DUP13", Instruction::DUP13 }, { "DUP14", Instruction::DUP14 }, { "DUP15", Instruction::DUP15 }, { "DUP16", Instruction::DUP16 }, { "SWAP1", Instruction::SWAP1 }, { "SWAP2", Instruction::SWAP2 }, { "SWAP3", Instruction::SWAP3 }, { "SWAP4", Instruction::SWAP4 }, { "SWAP5", Instruction::SWAP5 }, { "SWAP6", Instruction::SWAP6 }, { "SWAP7", Instruction::SWAP7 }, { "SWAP8", Instruction::SWAP8 }, { "SWAP9", Instruction::SWAP9 }, { "SWAP10", Instruction::SWAP10 }, { "SWAP11", Instruction::SWAP11 }, { "SWAP12", Instruction::SWAP12 }, { "SWAP13", Instruction::SWAP13 }, { "SWAP14", Instruction::SWAP14 }, { "SWAP15", Instruction::SWAP15 }, { "SWAP16", Instruction::SWAP16 }, { "LOG0", Instruction::LOG0 }, { "LOG1", Instruction::LOG1 }, { "LOG2", Instruction::LOG2 }, { "LOG3", Instruction::LOG3 }, { "LOG4", Instruction::LOG4 }, { "CREATE", Instruction::CREATE }, { "CALL", Instruction::CALL }, { "CALLCODE", Instruction::CALLCODE }, { "RETURN", Instruction::RETURN }, { "DELEGATECALL", Instruction::DELEGATECALL }, { "SUICIDE", Instruction::SUICIDE } }; static const std::map c_instructionInfo = { // Add, Args, Ret, SideEffects, GasPriceTier { Instruction::STOP, { "STOP", 0, 0, 0, true, ZeroTier } }, { Instruction::ADD, { "ADD", 0, 2, 1, false, VeryLowTier } }, { Instruction::SUB, { "SUB", 0, 2, 1, false, VeryLowTier } }, { Instruction::MUL, { "MUL", 0, 2, 1, false, LowTier } }, { Instruction::DIV, { "DIV", 0, 2, 1, false, LowTier } }, { Instruction::SDIV, { "SDIV", 0, 2, 1, false, LowTier } }, { Instruction::MOD, { "MOD", 0, 2, 1, false, LowTier } }, { Instruction::SMOD, { "SMOD", 0, 2, 1, false, LowTier } }, { Instruction::EXP, { "EXP", 0, 2, 1, false, SpecialTier } }, { Instruction::NOT, { "NOT", 0, 1, 1, false, VeryLowTier } }, { Instruction::LT, { "LT", 0, 2, 1, false, VeryLowTier } }, { Instruction::GT, { "GT", 0, 2, 1, false, VeryLowTier } }, { Instruction::SLT, { "SLT", 0, 2, 1, false, VeryLowTier } }, { Instruction::SGT, { "SGT", 0, 2, 1, false, VeryLowTier } }, { Instruction::EQ, { "EQ", 0, 2, 1, false, VeryLowTier } }, { Instruction::ISZERO, { "ISZERO", 0, 1, 1, false, VeryLowTier } }, { Instruction::AND, { "AND", 0, 2, 1, false, VeryLowTier } }, { Instruction::OR, { "OR", 0, 2, 1, false, VeryLowTier } }, { Instruction::XOR, { "XOR", 0, 2, 1, false, VeryLowTier } }, { Instruction::BYTE, { "BYTE", 0, 2, 1, false, VeryLowTier } }, { Instruction::ADDMOD, { "ADDMOD", 0, 3, 1, false, MidTier } }, { Instruction::MULMOD, { "MULMOD", 0, 3, 1, false, MidTier } }, { Instruction::SIGNEXTEND, { "SIGNEXTEND", 0, 2, 1, false, LowTier } }, { Instruction::SHA3, { "SHA3", 0, 2, 1, false, SpecialTier } }, { Instruction::ADDRESS, { "ADDRESS", 0, 0, 1, false, BaseTier } }, { Instruction::BALANCE, { "BALANCE", 0, 1, 1, false, ExtTier } }, { Instruction::ORIGIN, { "ORIGIN", 0, 0, 1, false, BaseTier } }, { Instruction::CALLER, { "CALLER", 0, 0, 1, false, BaseTier } }, { Instruction::CALLVALUE, { "CALLVALUE", 0, 0, 1, false, BaseTier } }, { Instruction::CALLDATALOAD,{ "CALLDATALOAD", 0, 1, 1, false, VeryLowTier } }, { Instruction::CALLDATASIZE,{ "CALLDATASIZE", 0, 0, 1, false, BaseTier } }, { Instruction::CALLDATACOPY,{ "CALLDATACOPY", 0, 3, 0, true, VeryLowTier } }, { Instruction::CODESIZE, { "CODESIZE", 0, 0, 1, false, BaseTier } }, { Instruction::CODECOPY, { "CODECOPY", 0, 3, 0, true, VeryLowTier } }, { Instruction::GASPRICE, { "GASPRICE", 0, 0, 1, false, BaseTier } }, { Instruction::EXTCODESIZE, { "EXTCODESIZE", 0, 1, 1, false, ExtTier } }, { Instruction::EXTCODECOPY, { "EXTCODECOPY", 0, 4, 0, true, ExtTier } }, { Instruction::BLOCKHASH, { "BLOCKHASH", 0, 1, 1, false, ExtTier } }, { Instruction::COINBASE, { "COINBASE", 0, 0, 1, false, BaseTier } }, { Instruction::TIMESTAMP, { "TIMESTAMP", 0, 0, 1, false, BaseTier } }, { Instruction::NUMBER, { "NUMBER", 0, 0, 1, false, BaseTier } }, { Instruction::DIFFICULTY, { "DIFFICULTY", 0, 0, 1, false, BaseTier } }, { Instruction::GASLIMIT, { "GASLIMIT", 0, 0, 1, false, BaseTier } }, { Instruction::POP, { "POP", 0, 1, 0, false, BaseTier } }, { Instruction::MLOAD, { "MLOAD", 0, 1, 1, false, VeryLowTier } }, { Instruction::MSTORE, { "MSTORE", 0, 2, 0, true, VeryLowTier } }, { Instruction::MSTORE8, { "MSTORE8", 0, 2, 0, true, VeryLowTier } }, { Instruction::SLOAD, { "SLOAD", 0, 1, 1, false, SpecialTier } }, { Instruction::SSTORE, { "SSTORE", 0, 2, 0, true, SpecialTier } }, { Instruction::JUMP, { "JUMP", 0, 1, 0, true, MidTier } }, { Instruction::JUMPI, { "JUMPI", 0, 2, 0, true, HighTier } }, { Instruction::PC, { "PC", 0, 0, 1, false, BaseTier } }, { Instruction::MSIZE, { "MSIZE", 0, 0, 1, false, BaseTier } }, { Instruction::GAS, { "GAS", 0, 0, 1, false, BaseTier } }, { Instruction::JUMPDEST, { "JUMPDEST", 0, 0, 0, true, SpecialTier } }, { Instruction::PUSH1, { "PUSH1", 1, 0, 1, false, VeryLowTier } }, { Instruction::PUSH2, { "PUSH2", 2, 0, 1, false, VeryLowTier } }, { Instruction::PUSH3, { "PUSH3", 3, 0, 1, false, VeryLowTier } }, { Instruction::PUSH4, { "PUSH4", 4, 0, 1, false, VeryLowTier } }, { Instruction::PUSH5, { "PUSH5", 5, 0, 1, false, VeryLowTier } }, { Instruction::PUSH6, { "PUSH6", 6, 0, 1, false, VeryLowTier } }, { Instruction::PUSH7, { "PUSH7", 7, 0, 1, false, VeryLowTier } }, { Instruction::PUSH8, { "PUSH8", 8, 0, 1, false, VeryLowTier } }, { Instruction::PUSH9, { "PUSH9", 9, 0, 1, false, VeryLowTier } }, { Instruction::PUSH10, { "PUSH10", 10, 0, 1, false, VeryLowTier } }, { Instruction::PUSH11, { "PUSH11", 11, 0, 1, false, VeryLowTier } }, { Instruction::PUSH12, { "PUSH12", 12, 0, 1, false, VeryLowTier } }, { Instruction::PUSH13, { "PUSH13", 13, 0, 1, false, VeryLowTier } }, { Instruction::PUSH14, { "PUSH14", 14, 0, 1, false, VeryLowTier } }, { Instruction::PUSH15, { "PUSH15", 15, 0, 1, false, VeryLowTier } }, { Instruction::PUSH16, { "PUSH16", 16, 0, 1, false, VeryLowTier } }, { Instruction::PUSH17, { "PUSH17", 17, 0, 1, false, VeryLowTier } }, { Instruction::PUSH18, { "PUSH18", 18, 0, 1, false, VeryLowTier } }, { Instruction::PUSH19, { "PUSH19", 19, 0, 1, false, VeryLowTier } }, { Instruction::PUSH20, { "PUSH20", 20, 0, 1, false, VeryLowTier } }, { Instruction::PUSH21, { "PUSH21", 21, 0, 1, false, VeryLowTier } }, { Instruction::PUSH22, { "PUSH22", 22, 0, 1, false, VeryLowTier } }, { Instruction::PUSH23, { "PUSH23", 23, 0, 1, false, VeryLowTier } }, { Instruction::PUSH24, { "PUSH24", 24, 0, 1, false, VeryLowTier } }, { Instruction::PUSH25, { "PUSH25", 25, 0, 1, false, VeryLowTier } }, { Instruction::PUSH26, { "PUSH26", 26, 0, 1, false, VeryLowTier } }, { Instruction::PUSH27, { "PUSH27", 27, 0, 1, false, VeryLowTier } }, { Instruction::PUSH28, { "PUSH28", 28, 0, 1, false, VeryLowTier } }, { Instruction::PUSH29, { "PUSH29", 29, 0, 1, false, VeryLowTier } }, { Instruction::PUSH30, { "PUSH30", 30, 0, 1, false, VeryLowTier } }, { Instruction::PUSH31, { "PUSH31", 31, 0, 1, false, VeryLowTier } }, { Instruction::PUSH32, { "PUSH32", 32, 0, 1, false, VeryLowTier } }, { Instruction::DUP1, { "DUP1", 0, 1, 2, false, VeryLowTier } }, { Instruction::DUP2, { "DUP2", 0, 2, 3, false, VeryLowTier } }, { Instruction::DUP3, { "DUP3", 0, 3, 4, false, VeryLowTier } }, { Instruction::DUP4, { "DUP4", 0, 4, 5, false, VeryLowTier } }, { Instruction::DUP5, { "DUP5", 0, 5, 6, false, VeryLowTier } }, { Instruction::DUP6, { "DUP6", 0, 6, 7, false, VeryLowTier } }, { Instruction::DUP7, { "DUP7", 0, 7, 8, false, VeryLowTier } }, { Instruction::DUP8, { "DUP8", 0, 8, 9, false, VeryLowTier } }, { Instruction::DUP9, { "DUP9", 0, 9, 10, false, VeryLowTier } }, { Instruction::DUP10, { "DUP10", 0, 10, 11, false, VeryLowTier } }, { Instruction::DUP11, { "DUP11", 0, 11, 12, false, VeryLowTier } }, { Instruction::DUP12, { "DUP12", 0, 12, 13, false, VeryLowTier } }, { Instruction::DUP13, { "DUP13", 0, 13, 14, false, VeryLowTier } }, { Instruction::DUP14, { "DUP14", 0, 14, 15, false, VeryLowTier } }, { Instruction::DUP15, { "DUP15", 0, 15, 16, false, VeryLowTier } }, { Instruction::DUP16, { "DUP16", 0, 16, 17, false, VeryLowTier } }, { Instruction::SWAP1, { "SWAP1", 0, 2, 2, false, VeryLowTier } }, { Instruction::SWAP2, { "SWAP2", 0, 3, 3, false, VeryLowTier } }, { Instruction::SWAP3, { "SWAP3", 0, 4, 4, false, VeryLowTier } }, { Instruction::SWAP4, { "SWAP4", 0, 5, 5, false, VeryLowTier } }, { Instruction::SWAP5, { "SWAP5", 0, 6, 6, false, VeryLowTier } }, { Instruction::SWAP6, { "SWAP6", 0, 7, 7, false, VeryLowTier } }, { Instruction::SWAP7, { "SWAP7", 0, 8, 8, false, VeryLowTier } }, { Instruction::SWAP8, { "SWAP8", 0, 9, 9, false, VeryLowTier } }, { Instruction::SWAP9, { "SWAP9", 0, 10, 10, false, VeryLowTier } }, { Instruction::SWAP10, { "SWAP10", 0, 11, 11, false, VeryLowTier } }, { Instruction::SWAP11, { "SWAP11", 0, 12, 12, false, VeryLowTier } }, { Instruction::SWAP12, { "SWAP12", 0, 13, 13, false, VeryLowTier } }, { Instruction::SWAP13, { "SWAP13", 0, 14, 14, false, VeryLowTier } }, { Instruction::SWAP14, { "SWAP14", 0, 15, 15, false, VeryLowTier } }, { Instruction::SWAP15, { "SWAP15", 0, 16, 16, false, VeryLowTier } }, { Instruction::SWAP16, { "SWAP16", 0, 17, 17, false, VeryLowTier } }, { Instruction::LOG0, { "LOG0", 0, 2, 0, true, SpecialTier } }, { Instruction::LOG1, { "LOG1", 0, 3, 0, true, SpecialTier } }, { Instruction::LOG2, { "LOG2", 0, 4, 0, true, SpecialTier } }, { Instruction::LOG3, { "LOG3", 0, 5, 0, true, SpecialTier } }, { Instruction::LOG4, { "LOG4", 0, 6, 0, true, SpecialTier } }, { Instruction::CREATE, { "CREATE", 0, 3, 1, true, SpecialTier } }, { Instruction::CALL, { "CALL", 0, 7, 1, true, SpecialTier } }, { Instruction::CALLCODE, { "CALLCODE", 0, 7, 1, true, SpecialTier } }, { Instruction::RETURN, { "RETURN", 0, 2, 0, true, ZeroTier } }, { Instruction::DELEGATECALL,{ "DELEGATECALL", 0, 6, 1, true, SpecialTier } }, { Instruction::SUICIDE, { "SUICIDE", 0, 1, 0, true, ZeroTier } } }; void dev::solidity::eachInstruction( bytes const& _mem, function const& _onInstruction ) { for (auto it = _mem.begin(); it < _mem.end(); ++it) { Instruction instr = Instruction(*it); size_t additional = 0; if (isValidInstruction(instr)) additional = instructionInfo(instr).additional; u256 data; for (size_t i = 0; i < additional; ++i) { data <<= 8; if (++it < _mem.end()) data |= *it; } _onInstruction(instr, data); } } string dev::solidity::disassemble(bytes const& _mem) { stringstream ret; eachInstruction(_mem, [&](Instruction _instr, u256 const& _data) { if (!isValidInstruction(_instr)) ret << "0x" << hex << int(_instr) << " "; else { InstructionInfo info = instructionInfo(_instr); ret << info.name << " "; if (info.additional) ret << "0x" << hex << _data << " "; } }); return ret.str(); } InstructionInfo dev::solidity::instructionInfo(Instruction _inst) { try { return c_instructionInfo.at(_inst); } catch (...) { return InstructionInfo({"", 0, 0, 0, false, InvalidTier}); } } bool dev::solidity::isValidInstruction(Instruction _inst) { return !!c_instructionInfo.count(_inst); }