1*9a0e4156SSadaf Ebrahimi /* Capstone testing regression */
2*9a0e4156SSadaf Ebrahimi /* By Do Minh Tuan <[email protected]>, 02-2019 */
3*9a0e4156SSadaf Ebrahimi
4*9a0e4156SSadaf Ebrahimi
5*9a0e4156SSadaf Ebrahimi #include "factory.h"
6*9a0e4156SSadaf Ebrahimi
get_detail_arm(csh * handle,cs_mode mode,cs_insn * ins)7*9a0e4156SSadaf Ebrahimi char *get_detail_arm(csh *handle, cs_mode mode, cs_insn *ins)
8*9a0e4156SSadaf Ebrahimi {
9*9a0e4156SSadaf Ebrahimi cs_arm *arm;
10*9a0e4156SSadaf Ebrahimi int i;
11*9a0e4156SSadaf Ebrahimi cs_regs regs_read, regs_write;
12*9a0e4156SSadaf Ebrahimi uint8_t regs_read_count, regs_write_count;
13*9a0e4156SSadaf Ebrahimi char *result;
14*9a0e4156SSadaf Ebrahimi
15*9a0e4156SSadaf Ebrahimi result = (char *)malloc(sizeof(char));
16*9a0e4156SSadaf Ebrahimi result[0] = '\0';
17*9a0e4156SSadaf Ebrahimi
18*9a0e4156SSadaf Ebrahimi if (ins->detail == NULL)
19*9a0e4156SSadaf Ebrahimi return result;
20*9a0e4156SSadaf Ebrahimi
21*9a0e4156SSadaf Ebrahimi arm = &(ins->detail->arm);
22*9a0e4156SSadaf Ebrahimi
23*9a0e4156SSadaf Ebrahimi if (arm->op_count)
24*9a0e4156SSadaf Ebrahimi add_str(&result, " ; op_count: %u", arm->op_count);
25*9a0e4156SSadaf Ebrahimi
26*9a0e4156SSadaf Ebrahimi for (i = 0; i < arm->op_count; i++) {
27*9a0e4156SSadaf Ebrahimi cs_arm_op *op = &(arm->operands[i]);
28*9a0e4156SSadaf Ebrahimi switch((int)op->type) {
29*9a0e4156SSadaf Ebrahimi default:
30*9a0e4156SSadaf Ebrahimi break;
31*9a0e4156SSadaf Ebrahimi case ARM_OP_REG:
32*9a0e4156SSadaf Ebrahimi add_str(&result, " ; operands[%u].type: REG = %s", i, cs_reg_name(*handle, op->reg));
33*9a0e4156SSadaf Ebrahimi break;
34*9a0e4156SSadaf Ebrahimi case ARM_OP_IMM:
35*9a0e4156SSadaf Ebrahimi add_str(&result, " ; operands[%u].type: IMM = 0x%x", i, op->imm);
36*9a0e4156SSadaf Ebrahimi break;
37*9a0e4156SSadaf Ebrahimi case ARM_OP_FP:
38*9a0e4156SSadaf Ebrahimi #if defined(_KERNEL_MODE)
39*9a0e4156SSadaf Ebrahimi // Issue #681: Windows kernel does not support formatting float point
40*9a0e4156SSadaf Ebrahimi add_str(&result, " ; operands[%u].type: FP = <float_point_unsupported>", i);
41*9a0e4156SSadaf Ebrahimi #else
42*9a0e4156SSadaf Ebrahimi add_str(&result, " ; operands[%u].type: FP = %f", i, op->fp);
43*9a0e4156SSadaf Ebrahimi #endif
44*9a0e4156SSadaf Ebrahimi break;
45*9a0e4156SSadaf Ebrahimi case ARM_OP_MEM:
46*9a0e4156SSadaf Ebrahimi add_str(&result, " ; operands[%u].type: MEM", i);
47*9a0e4156SSadaf Ebrahimi if (op->mem.base != ARM_REG_INVALID)
48*9a0e4156SSadaf Ebrahimi add_str(&result, " ; operands[%u].mem.base: REG = %s", i, cs_reg_name(*handle, op->mem.base));
49*9a0e4156SSadaf Ebrahimi if (op->mem.index != ARM_REG_INVALID)
50*9a0e4156SSadaf Ebrahimi add_str(&result, " ; operands[%u].mem.index: REG = %s", i, cs_reg_name(*handle, op->mem.index));
51*9a0e4156SSadaf Ebrahimi if (op->mem.scale != 1)
52*9a0e4156SSadaf Ebrahimi add_str(&result, " ; operands[%u].mem.scale: %d", i, op->mem.scale);
53*9a0e4156SSadaf Ebrahimi if (op->mem.disp != 0)
54*9a0e4156SSadaf Ebrahimi add_str(&result, " ; operands[%u].mem.disp: 0x%x", i, op->mem.disp);
55*9a0e4156SSadaf Ebrahimi if (op->mem.lshift != 0)
56*9a0e4156SSadaf Ebrahimi add_str(&result, " ; operands[%u].mem.lshift: 0x%x", i, op->mem.lshift);
57*9a0e4156SSadaf Ebrahimi
58*9a0e4156SSadaf Ebrahimi break;
59*9a0e4156SSadaf Ebrahimi case ARM_OP_PIMM:
60*9a0e4156SSadaf Ebrahimi add_str(&result, " ; operands[%u].type: P-IMM = %u", i, op->imm);
61*9a0e4156SSadaf Ebrahimi break;
62*9a0e4156SSadaf Ebrahimi case ARM_OP_CIMM:
63*9a0e4156SSadaf Ebrahimi add_str(&result, " ; operands[%u].type: C-IMM = %u", i, op->imm);
64*9a0e4156SSadaf Ebrahimi break;
65*9a0e4156SSadaf Ebrahimi case ARM_OP_SETEND:
66*9a0e4156SSadaf Ebrahimi add_str(&result, " ; operands[%u].type: SETEND = %s", i, op->setend == ARM_SETEND_BE? "be" : "le");
67*9a0e4156SSadaf Ebrahimi break;
68*9a0e4156SSadaf Ebrahimi case ARM_OP_SYSREG:
69*9a0e4156SSadaf Ebrahimi add_str(&result, " ; operands[%u].type: SYSREG = %u", i, op->reg);
70*9a0e4156SSadaf Ebrahimi break;
71*9a0e4156SSadaf Ebrahimi }
72*9a0e4156SSadaf Ebrahimi
73*9a0e4156SSadaf Ebrahimi if (op->neon_lane != -1) {
74*9a0e4156SSadaf Ebrahimi add_str(&result, " ; operands[%u].neon_lane = %u", i, op->neon_lane);
75*9a0e4156SSadaf Ebrahimi }
76*9a0e4156SSadaf Ebrahimi
77*9a0e4156SSadaf Ebrahimi switch(op->access) {
78*9a0e4156SSadaf Ebrahimi default:
79*9a0e4156SSadaf Ebrahimi break;
80*9a0e4156SSadaf Ebrahimi case CS_AC_READ:
81*9a0e4156SSadaf Ebrahimi add_str(&result, " ; operands[%u].access: READ", i);
82*9a0e4156SSadaf Ebrahimi break;
83*9a0e4156SSadaf Ebrahimi case CS_AC_WRITE:
84*9a0e4156SSadaf Ebrahimi add_str(&result, " ; operands[%u].access: WRITE", i);
85*9a0e4156SSadaf Ebrahimi break;
86*9a0e4156SSadaf Ebrahimi case CS_AC_READ | CS_AC_WRITE:
87*9a0e4156SSadaf Ebrahimi add_str(&result, " ; operands[%u].access: READ | WRITE", i);
88*9a0e4156SSadaf Ebrahimi break;
89*9a0e4156SSadaf Ebrahimi }
90*9a0e4156SSadaf Ebrahimi
91*9a0e4156SSadaf Ebrahimi if (op->shift.type != ARM_SFT_INVALID && op->shift.value) {
92*9a0e4156SSadaf Ebrahimi if (op->shift.type < ARM_SFT_ASR_REG)
93*9a0e4156SSadaf Ebrahimi add_str(&result, " ; Shift: %u = %u", op->shift.type, op->shift.value);
94*9a0e4156SSadaf Ebrahimi else
95*9a0e4156SSadaf Ebrahimi add_str(&result, " ; Shift: %u = %s", op->shift.type, cs_reg_name(*handle, op->shift.value));
96*9a0e4156SSadaf Ebrahimi }
97*9a0e4156SSadaf Ebrahimi
98*9a0e4156SSadaf Ebrahimi if (op->vector_index != -1) {
99*9a0e4156SSadaf Ebrahimi add_str(&result, " ; operands[%u].vector_index = %u", i, op->vector_index);
100*9a0e4156SSadaf Ebrahimi }
101*9a0e4156SSadaf Ebrahimi
102*9a0e4156SSadaf Ebrahimi if (op->subtracted)
103*9a0e4156SSadaf Ebrahimi add_str(&result, " ; Subtracted: True");
104*9a0e4156SSadaf Ebrahimi }
105*9a0e4156SSadaf Ebrahimi
106*9a0e4156SSadaf Ebrahimi if (arm->cc != ARM_CC_AL && arm->cc != ARM_CC_INVALID)
107*9a0e4156SSadaf Ebrahimi add_str(&result, " ; Code condition: %u", arm->cc);
108*9a0e4156SSadaf Ebrahimi
109*9a0e4156SSadaf Ebrahimi if (arm->update_flags)
110*9a0e4156SSadaf Ebrahimi add_str(&result, " ; Update-flags: True");
111*9a0e4156SSadaf Ebrahimi
112*9a0e4156SSadaf Ebrahimi if (arm->writeback)
113*9a0e4156SSadaf Ebrahimi add_str(&result, " ; Write-back: True");
114*9a0e4156SSadaf Ebrahimi
115*9a0e4156SSadaf Ebrahimi if (arm->cps_mode)
116*9a0e4156SSadaf Ebrahimi add_str(&result, " ; CPSI-mode: %u", arm->cps_mode);
117*9a0e4156SSadaf Ebrahimi
118*9a0e4156SSadaf Ebrahimi if (arm->cps_flag)
119*9a0e4156SSadaf Ebrahimi add_str(&result, " ; CPSI-flag: %u", arm->cps_flag);
120*9a0e4156SSadaf Ebrahimi
121*9a0e4156SSadaf Ebrahimi if (arm->vector_data)
122*9a0e4156SSadaf Ebrahimi add_str(&result, " ; Vector-data: %u", arm->vector_data);
123*9a0e4156SSadaf Ebrahimi
124*9a0e4156SSadaf Ebrahimi if (arm->vector_size)
125*9a0e4156SSadaf Ebrahimi add_str(&result, " ; Vector-size: %u", arm->vector_size);
126*9a0e4156SSadaf Ebrahimi
127*9a0e4156SSadaf Ebrahimi if (arm->usermode)
128*9a0e4156SSadaf Ebrahimi add_str(&result, " ; User-mode: True");
129*9a0e4156SSadaf Ebrahimi
130*9a0e4156SSadaf Ebrahimi if (arm->mem_barrier)
131*9a0e4156SSadaf Ebrahimi add_str(&result, " ; Memory-barrier: %u", arm->mem_barrier);
132*9a0e4156SSadaf Ebrahimi
133*9a0e4156SSadaf Ebrahimi if (!cs_regs_access(*handle, ins, regs_read, ®s_read_count, regs_write, ®s_write_count)) {
134*9a0e4156SSadaf Ebrahimi if (regs_read_count) {
135*9a0e4156SSadaf Ebrahimi add_str(&result, " ; Registers read:");
136*9a0e4156SSadaf Ebrahimi for(i = 0; i < regs_read_count; i++) {
137*9a0e4156SSadaf Ebrahimi add_str(&result, " %s", cs_reg_name(*handle, regs_read[i]));
138*9a0e4156SSadaf Ebrahimi }
139*9a0e4156SSadaf Ebrahimi }
140*9a0e4156SSadaf Ebrahimi
141*9a0e4156SSadaf Ebrahimi if (regs_write_count) {
142*9a0e4156SSadaf Ebrahimi add_str(&result, " ; Registers modified:");
143*9a0e4156SSadaf Ebrahimi for(i = 0; i < regs_write_count; i++) {
144*9a0e4156SSadaf Ebrahimi add_str(&result, " %s", cs_reg_name(*handle, regs_write[i]));
145*9a0e4156SSadaf Ebrahimi }
146*9a0e4156SSadaf Ebrahimi }
147*9a0e4156SSadaf Ebrahimi }
148*9a0e4156SSadaf Ebrahimi
149*9a0e4156SSadaf Ebrahimi return result;
150*9a0e4156SSadaf Ebrahimi }
151