analysis_sparc_cs.c File Reference

#include <rz_analysis.h>
#include <rz_lib.h>
#include <capstone/capstone.h>
#include <capstone/sparc.h>

Go to the source code of this file.

Macros
#define	INSOP(n)   insn->detail->sparc.operands[n]
#define	INSCC   insn->detail->sparc.cc

Functions
static void	opex (RzStrBuf *buf, csh handle, cs_insn *insn)
static int	parse_reg_name (RzRegItem *reg, csh handle, cs_insn *insn, int reg_num)
static void	op_fillval (RzAnalysisOp *op, csh handle, cs_insn *insn)
static int	analop (RzAnalysis *a, RzAnalysisOp *op, ut64 addr, const ut8 *buf, int len, RzAnalysisOpMask mask)
static char *	get_reg_profile (RzAnalysis *analysis)
static int	archinfo (RzAnalysis *analysis, int q)

Variables
RzAnalysisPlugin	rz_analysis_plugin_sparc_cs
RZ_API RzLibStruct	rizin_plugin

Macro Definition Documentation

INSCC

#define INSCC   insn->detail->sparc.cc

Definition at line 14 of file analysis_sparc_cs.c.

INSOP

#define INSOP

(

n

)

insn->detail->sparc.operands[n]

Definition at line 13 of file analysis_sparc_cs.c.

Function Documentation

analop()

static int analop ( RzAnalysis *  a, RzAnalysisOp *  op, ut64  addr, const ut8 *  buf, int  len, RzAnalysisOpMask  mask  )

static

Definition at line 103 of file analysis_sparc_cs.c.

                                                                                                              {
    static csh handle = 0;
    static int omode;
    cs_insn *insn;
    int mode, n, ret;
 
    if (!a->big_endian) {
        return -1;
    }
 
    mode = CS_MODE_LITTLE_ENDIAN;
    if (!strcmp(a->cpu, "v9")) {
        mode |= CS_MODE_V9;
    }
    if (mode != omode) {
        cs_close(&handle);
        handle = 0;
        omode = mode;
    }
    if (handle == 0) {
        ret = cs_open(CS_ARCH_SPARC, mode, &handle);
        if (ret != CS_ERR_OK) {
            return -1;
        }
        cs_option(handle, CS_OPT_DETAIL, CS_OPT_ON);
    }
    // capstone-next
    n = cs_disasm(handle, (const ut8 *)buf, len, addr, 1, &insn);
    if (n < 1) {
        op->type = RZ_ANALYSIS_OP_TYPE_ILL;
    } else {
        if (mask & RZ_ANALYSIS_OP_MASK_OPEX) {
            opex(&op->opex, handle, insn);
        }
        op->size = insn->size;
        op->id = insn->id;
        switch (insn->id) {
        case SPARC_INS_INVALID:
            op->type = RZ_ANALYSIS_OP_TYPE_ILL;
            break;
        case SPARC_INS_MOV:
            op->type = RZ_ANALYSIS_OP_TYPE_MOV;
            break;
        case SPARC_INS_RETT:
        case SPARC_INS_RET:
        case SPARC_INS_RETL:
            op->type = RZ_ANALYSIS_OP_TYPE_RET;
            op->delay = 1;
            break;
        case SPARC_INS_UNIMP:
            op->type = RZ_ANALYSIS_OP_TYPE_UNK;
            break;
        case SPARC_INS_CALL:
            switch (INSOP(0).type) {
            case SPARC_OP_MEM:
                // TODO
                break;
            case SPARC_OP_REG:
                op->type = RZ_ANALYSIS_OP_TYPE_UCALL;
                op->delay = 1;
                break;
            default:
                op->type = RZ_ANALYSIS_OP_TYPE_CALL;
                op->delay = 1;
                op->jump = INSOP(0).imm;
                break;
            }
            break;
        case SPARC_INS_NOP:
            op->type = RZ_ANALYSIS_OP_TYPE_NOP;
            break;
        case SPARC_INS_CMP:
            op->type = RZ_ANALYSIS_OP_TYPE_CMP;
            break;
        case SPARC_INS_JMP:
        case SPARC_INS_JMPL:
            op->type = RZ_ANALYSIS_OP_TYPE_JMP;
            op->delay = 1;
            op->jump = INSOP(0).imm;
            break;
        case SPARC_INS_LDD:
        case SPARC_INS_LD:
        case SPARC_INS_LDQ:
        case SPARC_INS_LDSB:
        case SPARC_INS_LDSH:
        case SPARC_INS_LDSW:
        case SPARC_INS_LDUB:
        case SPARC_INS_LDUH:
        case SPARC_INS_LDX:
            op->type = RZ_ANALYSIS_OP_TYPE_LOAD;
            break;
        case SPARC_INS_STBAR:
        case SPARC_INS_STB:
        case SPARC_INS_STD:
        case SPARC_INS_ST:
        case SPARC_INS_STH:
        case SPARC_INS_STQ:
        case SPARC_INS_STX:
            op->type = RZ_ANALYSIS_OP_TYPE_STORE;
            break;
        case SPARC_INS_ORCC:
        case SPARC_INS_ORNCC:
        case SPARC_INS_ORN:
        case SPARC_INS_OR:
            op->type = RZ_ANALYSIS_OP_TYPE_OR;
            break;
        case SPARC_INS_B:
        case SPARC_INS_BMASK:
        case SPARC_INS_BRGEZ:
        case SPARC_INS_BRGZ:
        case SPARC_INS_BRLEZ:
        case SPARC_INS_BRLZ:
        case SPARC_INS_BRNZ:
        case SPARC_INS_BRZ:
        case SPARC_INS_FB:
            switch (INSOP(0).type) {
            case SPARC_OP_REG:
                op->type = RZ_ANALYSIS_OP_TYPE_CJMP;
                op->delay = 1;
                if (INSCC != SPARC_CC_ICC_N) { // never
                    op->jump = INSOP(1).imm;
                }
                if (INSCC != SPARC_CC_ICC_A) { // always
                    op->fail = addr + 8;
                }
                break;
            case SPARC_OP_IMM:
                op->type = RZ_ANALYSIS_OP_TYPE_CJMP;
                op->delay = 1;
                if (INSCC != SPARC_CC_ICC_N) { // never
                    op->jump = INSOP(0).imm;
                }
                if (INSCC != SPARC_CC_ICC_A) { // always
                    op->fail = addr + 8;
                }
                break;
            default:
                // MEM?
                break;
            }
            break;
        case SPARC_INS_FHSUBD:
        case SPARC_INS_FHSUBS:
        case SPARC_INS_FPSUB16:
        case SPARC_INS_FPSUB16S:
        case SPARC_INS_FPSUB32:
        case SPARC_INS_FPSUB32S:
        case SPARC_INS_FSUBD:
        case SPARC_INS_FSUBQ:
        case SPARC_INS_FSUBS:
        case SPARC_INS_SUBCC:
        case SPARC_INS_SUBX:
        case SPARC_INS_SUBXCC:
        case SPARC_INS_SUB:
        case SPARC_INS_TSUBCCTV:
        case SPARC_INS_TSUBCC:
            op->type = RZ_ANALYSIS_OP_TYPE_SUB;
            break;
        case SPARC_INS_ADDCC:
        case SPARC_INS_ADDX:
        case SPARC_INS_ADDXCC:
        case SPARC_INS_ADDXC:
        case SPARC_INS_ADDXCCC:
        case SPARC_INS_ADD:
        case SPARC_INS_FADDD:
        case SPARC_INS_FADDQ:
        case SPARC_INS_FADDS:
        case SPARC_INS_FHADDD:
        case SPARC_INS_FHADDS:
        case SPARC_INS_FNADDD:
        case SPARC_INS_FNADDS:
        case SPARC_INS_FNHADDD:
        case SPARC_INS_FNHADDS:
        case SPARC_INS_FPADD16:
        case SPARC_INS_FPADD16S:
        case SPARC_INS_FPADD32:
        case SPARC_INS_FPADD32S:
        case SPARC_INS_FPADD64:
        case SPARC_INS_TADDCCTV:
        case SPARC_INS_TADDCC:
            op->type = RZ_ANALYSIS_OP_TYPE_ADD;
            break;
        case SPARC_INS_FDMULQ:
        case SPARC_INS_FMUL8SUX16:
        case SPARC_INS_FMUL8ULX16:
        case SPARC_INS_FMUL8X16:
        case SPARC_INS_FMUL8X16AL:
        case SPARC_INS_FMUL8X16AU:
        case SPARC_INS_FMULD:
        case SPARC_INS_FMULD8SUX16:
        case SPARC_INS_FMULD8ULX16:
        case SPARC_INS_FMULQ:
        case SPARC_INS_FMULS:
        case SPARC_INS_FSMULD:
        case SPARC_INS_MULX:
        case SPARC_INS_SMULCC:
        case SPARC_INS_SMUL:
        case SPARC_INS_UMULCC:
        case SPARC_INS_UMULXHI:
        case SPARC_INS_UMUL:
        case SPARC_INS_XMULX:
        case SPARC_INS_XMULXHI:
            op->type = RZ_ANALYSIS_OP_TYPE_MUL;
            break;
        case SPARC_INS_FDIVD:
        case SPARC_INS_FDIVQ:
        case SPARC_INS_FDIVS:
        case SPARC_INS_SDIVCC:
        case SPARC_INS_SDIVX:
        case SPARC_INS_SDIV:
        case SPARC_INS_UDIVCC:
        case SPARC_INS_UDIVX:
        case SPARC_INS_UDIV:
            op->type = RZ_ANALYSIS_OP_TYPE_DIV;
            break;
        }
        if (mask & RZ_ANALYSIS_OP_MASK_VAL) {
            op_fillval(op, handle, insn);
        }
        cs_free(insn, n);
    }
    return op->size;
}

References a, addr, CS_ARCH_SPARC, cs_close(), cs_disasm(), capstone::CS_ERR_OK, cs_free(), CS_MODE_LITTLE_ENDIAN, CS_MODE_V9, cs_open(), CS_OPT_DETAIL, CS_OPT_ON, cs_option(), handle, INSCC, INSOP, len, mask, n, op_fillval(), opex(), RZ_ANALYSIS_OP_MASK_OPEX, RZ_ANALYSIS_OP_MASK_VAL, RZ_ANALYSIS_OP_TYPE_ADD, RZ_ANALYSIS_OP_TYPE_CALL, RZ_ANALYSIS_OP_TYPE_CJMP, RZ_ANALYSIS_OP_TYPE_CMP, RZ_ANALYSIS_OP_TYPE_DIV, RZ_ANALYSIS_OP_TYPE_ILL, RZ_ANALYSIS_OP_TYPE_JMP, RZ_ANALYSIS_OP_TYPE_LOAD, RZ_ANALYSIS_OP_TYPE_MOV, RZ_ANALYSIS_OP_TYPE_MUL, RZ_ANALYSIS_OP_TYPE_NOP, RZ_ANALYSIS_OP_TYPE_OR, RZ_ANALYSIS_OP_TYPE_RET, RZ_ANALYSIS_OP_TYPE_STORE, RZ_ANALYSIS_OP_TYPE_SUB, RZ_ANALYSIS_OP_TYPE_UCALL, RZ_ANALYSIS_OP_TYPE_UNK, SPARC_CC_ICC_A, SPARC_CC_ICC_N, SPARC_INS_ADD, SPARC_INS_ADDCC, SPARC_INS_ADDX, SPARC_INS_ADDXC, SPARC_INS_ADDXCC, SPARC_INS_ADDXCCC, SPARC_INS_B, SPARC_INS_BMASK, SPARC_INS_BRGEZ, SPARC_INS_BRGZ, SPARC_INS_BRLEZ, SPARC_INS_BRLZ, SPARC_INS_BRNZ, SPARC_INS_BRZ, SPARC_INS_CALL, SPARC_INS_CMP, SPARC_INS_FADDD, SPARC_INS_FADDQ, SPARC_INS_FADDS, SPARC_INS_FB, SPARC_INS_FDIVD, SPARC_INS_FDIVQ, SPARC_INS_FDIVS, SPARC_INS_FDMULQ, SPARC_INS_FHADDD, SPARC_INS_FHADDS, SPARC_INS_FHSUBD, SPARC_INS_FHSUBS, SPARC_INS_FMUL8SUX16, SPARC_INS_FMUL8ULX16, SPARC_INS_FMUL8X16, SPARC_INS_FMUL8X16AL, SPARC_INS_FMUL8X16AU, SPARC_INS_FMULD, SPARC_INS_FMULD8SUX16, SPARC_INS_FMULD8ULX16, SPARC_INS_FMULQ, SPARC_INS_FMULS, SPARC_INS_FNADDD, SPARC_INS_FNADDS, SPARC_INS_FNHADDD, SPARC_INS_FNHADDS, SPARC_INS_FPADD16, SPARC_INS_FPADD16S, SPARC_INS_FPADD32, SPARC_INS_FPADD32S, SPARC_INS_FPADD64, SPARC_INS_FPSUB16, SPARC_INS_FPSUB16S, SPARC_INS_FPSUB32, SPARC_INS_FPSUB32S, SPARC_INS_FSMULD, SPARC_INS_FSUBD, SPARC_INS_FSUBQ, SPARC_INS_FSUBS, SPARC_INS_INVALID, SPARC_INS_JMP, SPARC_INS_JMPL, SPARC_INS_LD, SPARC_INS_LDD, SPARC_INS_LDQ, SPARC_INS_LDSB, SPARC_INS_LDSH, SPARC_INS_LDSW, SPARC_INS_LDUB, SPARC_INS_LDUH, SPARC_INS_LDX, SPARC_INS_MOV, SPARC_INS_MULX, SPARC_INS_NOP, SPARC_INS_OR, SPARC_INS_ORCC, SPARC_INS_ORN, SPARC_INS_ORNCC, SPARC_INS_RET, SPARC_INS_RETL, SPARC_INS_RETT, SPARC_INS_SDIV, SPARC_INS_SDIVCC, SPARC_INS_SDIVX, SPARC_INS_SMUL, SPARC_INS_SMULCC, SPARC_INS_ST, SPARC_INS_STB, SPARC_INS_STBAR, SPARC_INS_STD, SPARC_INS_STH, SPARC_INS_STQ, SPARC_INS_STX, SPARC_INS_SUB, SPARC_INS_SUBCC, SPARC_INS_SUBX, SPARC_INS_SUBXCC, SPARC_INS_TADDCC, SPARC_INS_TADDCCTV, SPARC_INS_TSUBCC, SPARC_INS_TSUBCCTV, SPARC_INS_UDIV, SPARC_INS_UDIVCC, SPARC_INS_UDIVX, SPARC_INS_UMUL, SPARC_INS_UMULCC, SPARC_INS_UMULXHI, SPARC_INS_UNIMP, SPARC_INS_XMULX, SPARC_INS_XMULXHI, SPARC_OP_IMM, SPARC_OP_MEM, SPARC_OP_REG, and type.

archinfo()

static int archinfo ( RzAnalysis *  analysis, int  q  )

static

Definition at line 384 of file analysis_sparc_cs.c.

                                                 {
    return 4; /* :D */
}

get_reg_profile()

static char* get_reg_profile ( RzAnalysis *  analysis )

static

Definition at line 327 of file analysis_sparc_cs.c.

                                                   {
    const char *p =
        "=PC    pc\n"
        "=SP    sp\n"
        "=BP    fp\n"
        "=A0    i0\n"
        "=A1    i1\n"
        "=A2    i2\n"
        "=A3    i3\n"
        "=A4    i4\n"
        "=A5    i5\n"
        "=R0    i7\n"
        "gpr    psr .32 0   0\n"
        "gpr    pc  .32 4   0\n"
        "gpr    npc .32 8   0\n"
        "gpr    y   .32 12  0\n"
        /* r0-r7 are global aka g0-g7 */
        "gpr    g0  .32 16  0\n"
        "gpr    g1  .32 20  0\n"
        "gpr    g2  .32 24  0\n"
        "gpr    g3  .32 28  0\n"
        "gpr    g4  .32 32  0\n"
        "gpr    g5  .32 36  0\n"
        "gpr    g6  .32 40  0\n"
        "gpr    g7  .32 44  0\n"
        /* r8-15 are out (o0-o7) */
        "gpr    o0  .32 48  0\n"
        "gpr    o1  .32 52  0\n"
        "gpr    o2  .32 56  0\n"
        "gpr    o3  .32 60  0\n"
        "gpr    o4  .32 64  0\n"
        "gpr    o5  .32 68  0\n"
        "gpr    o6  .32 72  0\n"
        "gpr    sp  .32 72  0\n"
        "gpr    o7  .32 76  0\n"
        /* r16-23 are local (l0-l7) */
        "gpr    l0  .32 80  0\n"
        "gpr    l1  .32 84  0\n"
        "gpr    l2  .32 88  0\n"
        "gpr    l3  .32 92  0\n"
        "gpr    l4  .32 96  0\n"
        "gpr    l5  .32 100 0\n"
        "gpr    l6  .32 104 0\n"
        "gpr    l7  .32 108 0\n"
        /* r24-31 are in (i0-i7) */
        "gpr    i0  .32 112 0\n"
        "gpr    i1  .32 116 0\n"
        "gpr    i2  .32 120 0\n"
        "gpr    i3  .32 124 0\n"
        "gpr    i4  .32 128 0\n"
        "gpr    i5  .32 132 0\n"
        "gpr    i6  .32 136 0\n"
        "gpr    fp  .32 136 0\n"
        "gpr    i7  .32 140 0\n";
    return strdup(p);
}

References p, and strdup().

op_fillval()

static void op_fillval ( RzAnalysisOp *  op, csh  handle, cs_insn *  insn  )

static

Definition at line 77 of file analysis_sparc_cs.c.

                                                                    {
    static RzRegItem reg;
    switch (op->type & RZ_ANALYSIS_OP_TYPE_MASK) {
    case RZ_ANALYSIS_OP_TYPE_LOAD:
        if (INSOP(0).type == SPARC_OP_MEM) {
            ZERO_FILL(reg);
            op->src[0] = rz_analysis_value_new();
            op->src[0]->type = RZ_ANALYSIS_VAL_MEM;
            op->src[0]->reg = ®
            parse_reg_name(op->src[0]->reg, handle, insn, 0);
            op->src[0]->delta = INSOP(0).mem.disp;
        }
        break;
    case RZ_ANALYSIS_OP_TYPE_STORE:
        if (INSOP(1).type == SPARC_OP_MEM) {
            ZERO_FILL(reg);
            op->dst = rz_analysis_value_new();
            op->dst->type = RZ_ANALYSIS_VAL_MEM;
            op->dst->reg = ®
            parse_reg_name(op->dst->reg, handle, insn, 1);
            op->dst->delta = INSOP(1).mem.disp;
        }
        break;
    }
}

References handle, INSOP, parse_reg_name(), reg, RZ_ANALYSIS_OP_TYPE_LOAD, RZ_ANALYSIS_OP_TYPE_MASK, RZ_ANALYSIS_OP_TYPE_STORE, RZ_ANALYSIS_VAL_MEM, rz_analysis_value_new(), SPARC_OP_MEM, type, and ZERO_FILL.

Referenced by analop().

opex()

static void opex ( RzStrBuf *  buf, csh  handle, cs_insn *  insn  )

static

Definition at line 16 of file analysis_sparc_cs.c.

                                                           {
    int i;
    PJ *pj = pj_new();
    if (!pj) {
        return;
    }
    pj_o(pj);
    pj_ka(pj, "operands");
    cs_sparc *x = &insn->detail->sparc;
    for (i = 0; i < x->op_count; i++) {
        cs_sparc_op *op = x->operands + i;
        pj_o(pj);
        switch (op->type) {
        case SPARC_OP_REG:
            pj_ks(pj, "type", "reg");
            pj_ks(pj, "value", cs_reg_name(handle, op->reg));
            break;
        case SPARC_OP_IMM:
            pj_ks(pj, "type", "imm");
            pj_kN(pj, "value", op->imm);
            break;
        case SPARC_OP_MEM:
            pj_ks(pj, "type", "mem");
            if (op->mem.base != SPARC_REG_INVALID) {
                pj_ks(pj, "base", cs_reg_name(handle, op->mem.base));
            }
            pj_ki(pj, "disp", op->mem.disp);
            break;
        default:
            pj_ks(pj, "type", "invalid");
            break;
        }
        pj_end(pj); /* o operand */
    }
    pj_end(pj); /* a operands */
    pj_end(pj);
 
    rz_strbuf_init(buf);
    rz_strbuf_append(buf, pj_string(pj));
    pj_free(pj);
}

References cs_reg_name(), handle, i, pj_end(), pj_free(), pj_ka(), pj_ki(), pj_kN(), pj_ks(), pj_new(), pj_o(), pj_string(), rz_strbuf_append(), rz_strbuf_init(), SPARC_OP_IMM, SPARC_OP_MEM, SPARC_OP_REG, SPARC_REG_INVALID, and x.

Referenced by analop().

parse_reg_name()

static int parse_reg_name ( RzRegItem *  reg, csh  handle, cs_insn *  insn, int  reg_num  )

static

Definition at line 58 of file analysis_sparc_cs.c.

                                                                                  {
    if (!reg) {
        return -1;
    }
    switch (INSOP(reg_num).type) {
    case SPARC_OP_REG:
        reg->name = (char *)cs_reg_name(handle, INSOP(reg_num).reg);
        break;
    case SPARC_OP_MEM:
        if (INSOP(reg_num).mem.base != SPARC_REG_INVALID) {
            reg->name = (char *)cs_reg_name(handle, INSOP(reg_num).mem.base);
            break;
        }
    default:
        break;
    }
    return 0;
}

References cs_reg_name(), handle, INSOP, reg, SPARC_OP_MEM, SPARC_OP_REG, SPARC_REG_INVALID, and type.

Referenced by op_fillval().

Variable Documentation

rizin_plugin

RZ_API RzLibStruct rizin_plugin

Initial value:

= {
    .type = RZ_LIB_TYPE_ANALYSIS,
    .data = &rz_analysis_plugin_sparc_cs,
    .version = RZ_VERSION
}

Definition at line 401 of file analysis_sparc_cs.c.

rz_analysis_plugin_sparc_cs

RzAnalysisPlugin rz_analysis_plugin_sparc_cs

Initial value:

= {
    .name = "sparc",
    .desc = "Capstone SPARC analysis",
    .esil = false,
    .license = "BSD",
    .arch = "sparc",
    .bits = 32 | 64,
    .archinfo = archinfo,
    .op = &analop,
    .get_reg_profile = &get_reg_profile,
}

Definition at line 388 of file analysis_sparc_cs.c.