EVMDisassembler.c File Reference

#include <string.h>
#include <stddef.h>
#include "EVMDisassembler.h"
#include "EVMMapping.h"

Go to the source code of this file.

Functions
bool	EVM_getInstruction (csh ud, const uint8_t *code, size_t code_len, MCInst *MI, uint16_t *size, uint64_t address, void *inst_info)

Variables
static short	opcodes [256]

Function Documentation

EVM_getInstruction()

bool EVM_getInstruction	(	csh	ud,
		const uint8_t *	code,
		size_t	code_len,
		MCInst *	MI,
		uint16_t *	size,
		uint64_t	address,
		void *	inst_info
	)

Definition at line 270 of file EVMDisassembler.c.

{
    unsigned char opcode;
 
    if (code_len == 0)
        return false;
 
    opcode = code[0];
    if (opcodes[opcode] == -1) {
        // invalid opcode
        return false;
    }
 
    // valid opcode
    MI->address = address;
    MI->OpcodePub = MI->Opcode = opcode;
 
    if (opcode >= EVM_INS_PUSH1 && opcode <= EVM_INS_PUSH32) {
        unsigned char len = (opcode - EVM_INS_PUSH1 + 1);
        if (code_len < 1 + len) {
            // not enough data
            return false;
        }
 
        *size = 1 + len;
        memcpy(MI->evm_data, code + 1, len);
    } else
        *size = 1;
 
    if (MI->flat_insn->detail) {
        memset(MI->flat_insn->detail, 0, offsetof(cs_detail, evm)+sizeof(cs_evm));
        EVM_get_insn_id((cs_struct *)ud, MI->flat_insn, opcode);
 
        if (MI->flat_insn->detail->evm.pop) {
            MI->flat_insn->detail->groups[MI->flat_insn->detail->groups_count] = EVM_GRP_STACK_READ;
            MI->flat_insn->detail->groups_count++;
        }
 
        if (MI->flat_insn->detail->evm.push) {
            MI->flat_insn->detail->groups[MI->flat_insn->detail->groups_count] = EVM_GRP_STACK_WRITE;
            MI->flat_insn->detail->groups_count++;
        }
 
        // setup groups
        switch(opcode) {
            default:
                break;
            case EVM_INS_ADD:
            case EVM_INS_MUL:
            case EVM_INS_SUB:
            case EVM_INS_DIV:
            case EVM_INS_SDIV:
            case EVM_INS_MOD:
            case EVM_INS_SMOD:
            case EVM_INS_ADDMOD:
            case EVM_INS_MULMOD:
            case EVM_INS_EXP:
            case EVM_INS_SIGNEXTEND:
                MI->flat_insn->detail->groups[MI->flat_insn->detail->groups_count] = EVM_GRP_MATH;
                MI->flat_insn->detail->groups_count++;
                break;
 
            case EVM_INS_MSTORE:
            case EVM_INS_MSTORE8:
            case EVM_INS_CALLDATACOPY:
            case EVM_INS_CODECOPY:
            case EVM_INS_EXTCODECOPY:
                MI->flat_insn->detail->groups[MI->flat_insn->detail->groups_count] = EVM_GRP_MEM_WRITE;
                MI->flat_insn->detail->groups_count++;
                break;
 
            case EVM_INS_MLOAD:
            case EVM_INS_CREATE:
            case EVM_INS_CALL:
            case EVM_INS_CALLCODE:
            case EVM_INS_RETURN:
            case EVM_INS_DELEGATECALL:
            case EVM_INS_REVERT:
                MI->flat_insn->detail->groups[MI->flat_insn->detail->groups_count] = EVM_GRP_MEM_READ;
                MI->flat_insn->detail->groups_count++;
                break;
 
            case EVM_INS_SSTORE:
                MI->flat_insn->detail->groups[MI->flat_insn->detail->groups_count] = EVM_GRP_STORE_WRITE;
                MI->flat_insn->detail->groups_count++;
                break;
 
            case EVM_INS_SLOAD:
                MI->flat_insn->detail->groups[MI->flat_insn->detail->groups_count] = EVM_GRP_STORE_READ;
                MI->flat_insn->detail->groups_count++;
                break;
 
            case EVM_INS_JUMP:
            case EVM_INS_JUMPI:
                MI->flat_insn->detail->groups[MI->flat_insn->detail->groups_count] = EVM_GRP_JUMP;
                MI->flat_insn->detail->groups_count++;
                break;
 
            case EVM_INS_STOP:
            case EVM_INS_SUICIDE:
                MI->flat_insn->detail->groups[MI->flat_insn->detail->groups_count] = EVM_GRP_HALT;
                MI->flat_insn->detail->groups_count++;
                break;
 
        }
    }
 
    return true;
}

References MCInst::address, MCInst::evm_data, EVM_get_insn_id(), EVM_GRP_HALT, EVM_GRP_JUMP, EVM_GRP_MATH, EVM_GRP_MEM_READ, EVM_GRP_MEM_WRITE, EVM_GRP_STACK_READ, EVM_GRP_STACK_WRITE, EVM_GRP_STORE_READ, EVM_GRP_STORE_WRITE, EVM_INS_ADD, EVM_INS_ADDMOD, EVM_INS_CALL, EVM_INS_CALLCODE, EVM_INS_CALLDATACOPY, EVM_INS_CODECOPY, EVM_INS_CREATE, EVM_INS_DELEGATECALL, EVM_INS_DIV, EVM_INS_EXP, EVM_INS_EXTCODECOPY, EVM_INS_JUMP, EVM_INS_JUMPI, EVM_INS_MLOAD, EVM_INS_MOD, EVM_INS_MSTORE, EVM_INS_MSTORE8, EVM_INS_MUL, EVM_INS_MULMOD, EVM_INS_PUSH1, EVM_INS_PUSH32, EVM_INS_RETURN, EVM_INS_REVERT, EVM_INS_SDIV, EVM_INS_SIGNEXTEND, EVM_INS_SLOAD, EVM_INS_SMOD, EVM_INS_SSTORE, EVM_INS_STOP, EVM_INS_SUB, EVM_INS_SUICIDE, MCInst::flat_insn, len, memcpy(), memset(), offsetof, MCInst::Opcode, MCInst::OpcodePub, and opcodes.

Variable Documentation

opcodes

short opcodes[256]

static

Definition at line 11 of file EVMDisassembler.c.

Referenced by EVM_getInstruction().