Nguyen Anh Quynh | 26ee41a | 2013-11-27 12:11:31 +0800 | [diff] [blame] | 1 | /* Capstone Disassembler Engine */ |
| 2 | /* By Nguyen Anh Quynh <aquynh@gmail.com>, 2013> */ |
| 3 | |
| 4 | #include <stdio.h> |
| 5 | #include <stdlib.h> |
Cr4sh | 9d60607 | 2015-03-29 18:29:06 +0800 | [diff] [blame] | 6 | #include "../myinttypes.h" |
Nguyen Anh Quynh | 26ee41a | 2013-11-27 12:11:31 +0800 | [diff] [blame] | 7 | |
| 8 | #include <capstone.h> |
| 9 | |
| 10 | static csh handle; |
| 11 | |
| 12 | struct platform { |
| 13 | cs_arch arch; |
| 14 | cs_mode mode; |
Nguyen Anh Quynh | b42a657 | 2013-11-29 17:40:07 +0800 | [diff] [blame] | 15 | unsigned char *code; |
| 16 | size_t size; |
Nguyen Anh Quynh | 26ee41a | 2013-11-27 12:11:31 +0800 | [diff] [blame] | 17 | char *comment; |
| 18 | }; |
| 19 | |
Mr. eXoDia | 9be1f93 | 2014-08-26 12:46:15 +0200 | [diff] [blame] | 20 | static void print_string_hex(char *comment, unsigned char *str, size_t len) |
Nguyen Anh Quynh | 26ee41a | 2013-11-27 12:11:31 +0800 | [diff] [blame] | 21 | { |
Nguyen Anh Quynh | b42a657 | 2013-11-29 17:40:07 +0800 | [diff] [blame] | 22 | unsigned char *c; |
Nguyen Anh Quynh | 26ee41a | 2013-11-27 12:11:31 +0800 | [diff] [blame] | 23 | |
| 24 | printf("%s", comment); |
| 25 | for (c = str; c < str + len; c++) { |
| 26 | printf("0x%02x ", *c & 0xff); |
| 27 | } |
| 28 | |
| 29 | printf("\n"); |
| 30 | } |
| 31 | |
Nguyen Anh Quynh | 397d0de | 2013-12-16 23:37:08 +0800 | [diff] [blame] | 32 | static void print_insn_detail(cs_insn *ins) |
Nguyen Anh Quynh | 26ee41a | 2013-11-27 12:11:31 +0800 | [diff] [blame] | 33 | { |
Nguyen Anh Quynh | 54015f4 | 2014-04-10 00:02:04 +0800 | [diff] [blame] | 34 | cs_arm64 *arm64; |
Nguyen Anh Quynh | 26ee41a | 2013-11-27 12:11:31 +0800 | [diff] [blame] | 35 | int i; |
| 36 | |
Nguyen Anh Quynh | 54015f4 | 2014-04-10 00:02:04 +0800 | [diff] [blame] | 37 | // detail can be NULL if SKIPDATA option is turned ON |
| 38 | if (ins->detail == NULL) |
| 39 | return; |
| 40 | |
| 41 | arm64 = &(ins->detail->arm64); |
Nguyen Anh Quynh | 26ee41a | 2013-11-27 12:11:31 +0800 | [diff] [blame] | 42 | if (arm64->op_count) |
| 43 | printf("\top_count: %u\n", arm64->op_count); |
| 44 | |
| 45 | for (i = 0; i < arm64->op_count; i++) { |
| 46 | cs_arm64_op *op = &(arm64->operands[i]); |
| 47 | switch(op->type) { |
| 48 | default: |
| 49 | break; |
| 50 | case ARM64_OP_REG: |
| 51 | printf("\t\toperands[%u].type: REG = %s\n", i, cs_reg_name(handle, op->reg)); |
| 52 | break; |
| 53 | case ARM64_OP_IMM: |
Nguyen Anh Quynh | faa925a | 2014-11-17 11:39:36 +0800 | [diff] [blame] | 54 | printf("\t\toperands[%u].type: IMM = 0x%"PRIx64 "\n", i, op->imm); |
Nguyen Anh Quynh | 26ee41a | 2013-11-27 12:11:31 +0800 | [diff] [blame] | 55 | break; |
| 56 | case ARM64_OP_FP: |
| 57 | printf("\t\toperands[%u].type: FP = %f\n", i, op->fp); |
| 58 | break; |
| 59 | case ARM64_OP_MEM: |
| 60 | printf("\t\toperands[%u].type: MEM\n", i); |
| 61 | if (op->mem.base != ARM64_REG_INVALID) |
| 62 | printf("\t\t\toperands[%u].mem.base: REG = %s\n", i, cs_reg_name(handle, op->mem.base)); |
| 63 | if (op->mem.index != ARM64_REG_INVALID) |
| 64 | printf("\t\t\toperands[%u].mem.index: REG = %s\n", i, cs_reg_name(handle, op->mem.index)); |
| 65 | if (op->mem.disp != 0) |
Nguyen Anh Quynh | 90acea3 | 2013-11-29 17:54:17 +0800 | [diff] [blame] | 66 | printf("\t\t\toperands[%u].mem.disp: 0x%x\n", i, op->mem.disp); |
Nguyen Anh Quynh | 26ee41a | 2013-11-27 12:11:31 +0800 | [diff] [blame] | 67 | |
| 68 | break; |
| 69 | case ARM64_OP_CIMM: |
Nguyen Anh Quynh | faa925a | 2014-11-17 11:39:36 +0800 | [diff] [blame] | 70 | printf("\t\toperands[%u].type: C-IMM = %u\n", i, (int)op->imm); |
Nguyen Anh Quynh | 26ee41a | 2013-11-27 12:11:31 +0800 | [diff] [blame] | 71 | break; |
Nguyen Anh Quynh | 46a74e5 | 2014-08-25 16:47:12 +0800 | [diff] [blame] | 72 | case ARM64_OP_REG_MRS: |
| 73 | printf("\t\toperands[%u].type: REG_MRS = 0x%x\n", i, op->reg); |
| 74 | break; |
| 75 | case ARM64_OP_REG_MSR: |
| 76 | printf("\t\toperands[%u].type: REG_MSR = 0x%x\n", i, op->reg); |
| 77 | break; |
| 78 | case ARM64_OP_PSTATE: |
| 79 | printf("\t\toperands[%u].type: PSTATE = 0x%x\n", i, op->pstate); |
| 80 | break; |
| 81 | case ARM64_OP_SYS: |
| 82 | printf("\t\toperands[%u].type: SYS = 0x%x\n", i, op->sys); |
| 83 | break; |
| 84 | case ARM64_OP_PREFETCH: |
| 85 | printf("\t\toperands[%u].type: PREFETCH = 0x%x\n", i, op->prefetch); |
| 86 | break; |
| 87 | case ARM64_OP_BARRIER: |
| 88 | printf("\t\toperands[%u].type: BARRIER = 0x%x\n", i, op->barrier); |
| 89 | break; |
Nguyen Anh Quynh | 26ee41a | 2013-11-27 12:11:31 +0800 | [diff] [blame] | 90 | } |
| 91 | |
| 92 | if (op->shift.type != ARM64_SFT_INVALID && |
| 93 | op->shift.value) |
| 94 | printf("\t\t\tShift: type = %u, value = %u\n", |
| 95 | op->shift.type, op->shift.value); |
| 96 | |
| 97 | if (op->ext != ARM64_EXT_INVALID) |
| 98 | printf("\t\t\tExt: %u\n", op->ext); |
Nguyen Anh Quynh | 26ee41a | 2013-11-27 12:11:31 +0800 | [diff] [blame] | 99 | |
Nguyen Anh Quynh | 46a74e5 | 2014-08-25 16:47:12 +0800 | [diff] [blame] | 100 | if (op->vas != ARM64_VAS_INVALID) |
| 101 | printf("\t\t\tVector Arrangement Specifier: 0x%x\n", op->vas); |
| 102 | |
| 103 | if (op->vess != ARM64_VESS_INVALID) |
Nguyen Anh Quynh | 5166236 | 2014-08-25 17:28:34 +0800 | [diff] [blame] | 104 | printf("\t\t\tVector Element Size Specifier: %u\n", op->vess); |
Nguyen Anh Quynh | 46a74e5 | 2014-08-25 16:47:12 +0800 | [diff] [blame] | 105 | |
Nguyen Anh Quynh | 4f0d704 | 2014-08-29 15:11:23 +0800 | [diff] [blame] | 106 | if (op->vector_index != -1) |
Nguyen Anh Quynh | 46a74e5 | 2014-08-25 16:47:12 +0800 | [diff] [blame] | 107 | printf("\t\t\tVector Index: %u\n", op->vector_index); |
| 108 | } |
Nguyen Anh Quynh | 26ee41a | 2013-11-27 12:11:31 +0800 | [diff] [blame] | 109 | |
| 110 | if (arm64->update_flags) |
| 111 | printf("\tUpdate-flags: True\n"); |
| 112 | |
| 113 | if (arm64->writeback) |
| 114 | printf("\tWrite-back: True\n"); |
| 115 | |
Nguyen Anh Quynh | 46a74e5 | 2014-08-25 16:47:12 +0800 | [diff] [blame] | 116 | if (arm64->cc) |
| 117 | printf("\tCode-condition: %u\n", arm64->cc); |
| 118 | |
Nguyen Anh Quynh | 26ee41a | 2013-11-27 12:11:31 +0800 | [diff] [blame] | 119 | printf("\n"); |
| 120 | } |
| 121 | |
| 122 | static void test() |
| 123 | { |
| 124 | //#define ARM64_CODE "\xe1\x0b\x40\xb9" // ldr w1, [sp, #0x8] |
| 125 | //#define ARM64_CODE "\x21\x7c\x00\x53" // lsr w1, w1, #0x0 |
| 126 | //#define ARM64_CODE "\x21\x7c\x02\x9b" |
| 127 | //#define ARM64_CODE "\x20\x04\x81\xda" // csneg x0, x1, x1, eq | cneg x0, x1, ne |
| 128 | //#define ARM64_CODE "\x20\x08\x02\x8b" // add x0, x1, x2, lsl #2 |
| 129 | |
| 130 | //#define ARM64_CODE "\x20\xcc\x20\x8b" |
| 131 | //#define ARM64_CODE "\xe2\x8f\x40\xa9" // ldp x2, x3, [sp, #8] |
| 132 | //#define ARM64_CODE "\x20\x40\x60\x1e" // fmov d0, d1 |
| 133 | //#define ARM64_CODE "\x20\x7c\x7d\x93" // sbfiz x0, x1, #3, #32 |
| 134 | |
| 135 | //#define ARM64_CODE "\x20\x88\x43\xb3" // bfxil x0, x1, #3, #32 |
| 136 | //#define ARM64_CODE "\x01\x71\x08\xd5" // sys #0, c7, c1, #0, x1 |
| 137 | //#define ARM64_CODE "\x00\x71\x28\xd5" // sysl x0, #0, c7, c1, #0 |
| 138 | |
| 139 | //#define ARM64_CODE "\x20\xf4\x18\x9e" // fcvtzs x0, s1, #3 |
| 140 | //#define ARM64_CODE "\x20\x74\x0b\xd5" // dc zva, x0: FIXME: handle as "sys" insn |
| 141 | //#define ARM64_CODE "\x00\x90\x24\x1e" // fmov s0, ##10.00000000 |
| 142 | //#define ARM64_CODE "\xe1\x0b\x40\xb9" // ldr w1, [sp, #0x8] |
| 143 | //#define ARM64_CODE "\x20\x78\x62\xf8" // ldr x0, [x1, x2, lsl #3] |
| 144 | //#define ARM64_CODE "\x41\x14\x44\xb3" // bfm x1, x2, #4, #5 |
| 145 | //#define ARM64_CODE "\x80\x23\x29\xd5" // sysl x0, #1, c2, c3, #4 |
| 146 | //#define ARM64_CODE "\x20\x00\x24\x1e" // fcvtas w0, s1 |
| 147 | //#define ARM64_CODE "\x41\x04\x40\xd2" // eor x1, x2, #0x3 |
| 148 | //#define ARM64_CODE "\x9f\x33\x03\xd5" // dsb osh |
| 149 | //#define ARM64_CODE "\x41\x10\x23\x8a" // bic x1, x2, x3, lsl #4 |
| 150 | //#define ARM64_CODE "\x16\x41\x3c\xd5" // mrs x22, sp_el1 |
| 151 | //#define ARM64_CODE "\x41\x1c\x63\x0e" // bic v1.8b, v2.8b, v3.8b |
| 152 | //#define ARM64_CODE "\x41\xd4\xe3\x6e" // fabd v1.2d, v2.2d, v3.2d |
| 153 | //#define ARM64_CODE "\x20\x8c\x62\x2e" // cmeq v0.4h, v1.4h, v2.4h |
| 154 | //#define ARM64_CODE "\x20\x98\x20\x4e" // cmeq v0.16b, v1.16b, #0 |
| 155 | //#define ARM64_CODE "\x20\x2c\x05\x4e" // smov x0, v1.b[2] |
| 156 | //#define ARM64_CODE "\x21\xe4\x00\x2f" // movi d1, #0xff |
| 157 | //#define ARM64_CODE "\x60\x78\x08\xd5" // at s1e0w, x0 // FIXME: same problem with dc ZVA |
| 158 | //#define ARM64_CODE "\x20\x00\xa0\xf2" // movk x0, #1, lsl #16 |
| 159 | //#define ARM64_CODE "\x20\x08\x00\xb1" // adds x0, x1, #0x2 |
| 160 | //#define ARM64_CODE "\x41\x04\x00\x0f" // movi v1.2s, #0x2 |
| 161 | //#define ARM64_CODE "\x06\x00\x00\x14" // b 0x44 |
| 162 | //#define ARM64_CODE "\x00\x90\x24\x1e" // fmov s0, ##10.00000000 |
| 163 | //#define ARM64_CODE "\x5f\x3f\x03\xd5" // clrex |
| 164 | //#define ARM64_CODE "\x5f\x3e\x03\xd5" // clrex #14 |
| 165 | //#define ARM64_CODE "\x20\x00\x02\xab" // adds x0, x1, x2 (alias of adds x0, x1, x2, lsl #0) |
Nguyen Anh Quynh | 6b7abe3 | 2013-11-30 00:54:24 +0800 | [diff] [blame] | 166 | //#define ARM64_CODE "\x20\xf4\x18\x9e" // fcvtzs x0, s1, #3 |
| 167 | //#define ARM64_CODE "\x20\xfc\x02\x9b" // mneg x0, x1, x2 |
Nguyen Anh Quynh | 0e3defb | 2013-12-02 10:30:01 +0800 | [diff] [blame] | 168 | //#define ARM64_CODE "\xd0\xb6\x1e\xd5" // msr s3_6_c11_c6_6, x16 |
Nguyen Anh Quynh | 46a74e5 | 2014-08-25 16:47:12 +0800 | [diff] [blame] | 169 | |
| 170 | //#define ARM64_CODE "\x21\x7c\x02\x9b\x21\x7c\x00\x53\x00\x40\x21\x4b\xe1\x0b\x40\xb9\x20\x04\x81\xda\x20\x08\x02\x8b" |
| 171 | |
| 172 | //#define ARM64_CODE "\x09\x00\x38\xd5" // DBarrier |
| 173 | //#define ARM64_CODE "\x20\xe4\x3d\x0f\xa2\x00\xae\x9e" |
| 174 | //#define ARM64_CODE "\x9f\x37\x03\xd5\xbf\x33\x03\xd5\xdf\x3f\x03\xd5" // DBarrier |
| 175 | //#define ARM64_CODE "\x10\x5b\xe8\x3c" |
| 176 | //#define ARM64_CODE "\x00\x18\xa0\x5f\xa2\x00\xae\x9e" |
| 177 | |
| 178 | #define ARM64_CODE "\x09\x00\x38\xd5\xbf\x40\x00\xd5\x0c\x05\x13\xd5\x20\x50\x02\x0e\x20\xe4\x3d\x0f\x00\x18\xa0\x5f\xa2\x00\xae\x9e\x9f\x37\x03\xd5\xbf\x33\x03\xd5\xdf\x3f\x03\xd5\x21\x7c\x02\x9b\x21\x7c\x00\x53\x00\x40\x21\x4b\xe1\x0b\x40\xb9\x20\x04\x81\xda\x20\x08\x02\x8b\x10\x5b\xe8\x3c" |
Nguyen Anh Quynh | 26ee41a | 2013-11-27 12:11:31 +0800 | [diff] [blame] | 179 | |
| 180 | struct platform platforms[] = { |
| 181 | { |
Axel 0vercl0k Souchet | ca16d0c | 2014-05-09 21:11:29 +0100 | [diff] [blame] | 182 | CS_ARCH_ARM64, |
| 183 | CS_MODE_ARM, |
| 184 | (unsigned char *)ARM64_CODE, |
| 185 | sizeof(ARM64_CODE) - 1, |
| 186 | "ARM-64" |
Nguyen Anh Quynh | 26ee41a | 2013-11-27 12:11:31 +0800 | [diff] [blame] | 187 | }, |
| 188 | }; |
| 189 | |
Nguyen Anh Quynh | 5df9e4b | 2013-12-03 15:02:12 +0800 | [diff] [blame] | 190 | uint64_t address = 0x2c; |
Nguyen Anh Quynh | 26ee41a | 2013-11-27 12:11:31 +0800 | [diff] [blame] | 191 | cs_insn *insn; |
| 192 | int i; |
Nguyen Anh Quynh | 5b556e5 | 2014-04-11 10:15:26 +0800 | [diff] [blame] | 193 | size_t count; |
Nguyen Anh Quynh | 26ee41a | 2013-11-27 12:11:31 +0800 | [diff] [blame] | 194 | |
| 195 | for (i = 0; i < sizeof(platforms)/sizeof(platforms[0]); i++) { |
Nguyen Anh Quynh | ceae16d | 2014-01-19 16:04:23 +0800 | [diff] [blame] | 196 | cs_err err = cs_open(platforms[i].arch, platforms[i].mode, &handle); |
| 197 | if (err) { |
| 198 | printf("Failed on cs_open() with error returned: %u\n", err); |
Nguyen Anh Quynh | 4914691 | 2014-02-22 16:54:44 +0800 | [diff] [blame] | 199 | continue; |
Nguyen Anh Quynh | ceae16d | 2014-01-19 16:04:23 +0800 | [diff] [blame] | 200 | } |
Nguyen Anh Quynh | 26ee41a | 2013-11-27 12:11:31 +0800 | [diff] [blame] | 201 | |
Nguyen Anh Quynh | 39b812d | 2014-01-07 23:36:26 +0800 | [diff] [blame] | 202 | cs_option(handle, CS_OPT_DETAIL, CS_OPT_ON); |
| 203 | |
Nguyen Anh Quynh | 0beb0d4 | 2014-08-27 22:55:29 +0800 | [diff] [blame] | 204 | count = cs_disasm(handle, platforms[i].code, platforms[i].size, address, 0, &insn); |
Nguyen Anh Quynh | 26ee41a | 2013-11-27 12:11:31 +0800 | [diff] [blame] | 205 | if (count) { |
Nguyen Anh Quynh | 5b556e5 | 2014-04-11 10:15:26 +0800 | [diff] [blame] | 206 | size_t j; |
| 207 | |
Nguyen Anh Quynh | 26ee41a | 2013-11-27 12:11:31 +0800 | [diff] [blame] | 208 | printf("****************\n"); |
| 209 | printf("Platform: %s\n", platforms[i].comment); |
Nguyen Anh Quynh | 46a74e5 | 2014-08-25 16:47:12 +0800 | [diff] [blame] | 210 | print_string_hex("Code: ", platforms[i].code, platforms[i].size); |
Nguyen Anh Quynh | 26ee41a | 2013-11-27 12:11:31 +0800 | [diff] [blame] | 211 | printf("Disasm:\n"); |
| 212 | |
Nguyen Anh Quynh | 26ee41a | 2013-11-27 12:11:31 +0800 | [diff] [blame] | 213 | for (j = 0; j < count; j++) { |
Nguyen Anh Quynh | 7b7b40c | 2013-12-03 12:24:06 +0800 | [diff] [blame] | 214 | printf("0x%"PRIx64":\t%s\t%s\n", insn[j].address, insn[j].mnemonic, insn[j].op_str); |
Nguyen Anh Quynh | 397d0de | 2013-12-16 23:37:08 +0800 | [diff] [blame] | 215 | print_insn_detail(&insn[j]); |
Nguyen Anh Quynh | 26ee41a | 2013-11-27 12:11:31 +0800 | [diff] [blame] | 216 | } |
Nguyen Anh Quynh | 7b7b40c | 2013-12-03 12:24:06 +0800 | [diff] [blame] | 217 | printf("0x%"PRIx64":\n", insn[j-1].address + insn[j-1].size); |
Nguyen Anh Quynh | 26ee41a | 2013-11-27 12:11:31 +0800 | [diff] [blame] | 218 | |
Nguyen Anh Quynh | 0beb0d4 | 2014-08-27 22:55:29 +0800 | [diff] [blame] | 219 | // free memory allocated by cs_disasm() |
Nguyen Anh Quynh | 4fe224b | 2013-12-24 16:49:36 +0800 | [diff] [blame] | 220 | cs_free(insn, count); |
Nguyen Anh Quynh | 26ee41a | 2013-11-27 12:11:31 +0800 | [diff] [blame] | 221 | } else { |
| 222 | printf("****************\n"); |
| 223 | printf("Platform: %s\n", platforms[i].comment); |
Nguyen Anh Quynh | 46a74e5 | 2014-08-25 16:47:12 +0800 | [diff] [blame] | 224 | print_string_hex("Code: ", platforms[i].code, platforms[i].size); |
Nguyen Anh Quynh | 26ee41a | 2013-11-27 12:11:31 +0800 | [diff] [blame] | 225 | printf("ERROR: Failed to disasm given code!\n"); |
| 226 | } |
| 227 | |
| 228 | printf("\n"); |
| 229 | |
Nguyen Anh Quynh | 226d7dc | 2014-02-27 22:20:39 +0800 | [diff] [blame] | 230 | cs_close(&handle); |
Nguyen Anh Quynh | 26ee41a | 2013-11-27 12:11:31 +0800 | [diff] [blame] | 231 | } |
| 232 | } |
| 233 | |
| 234 | int main() |
| 235 | { |
| 236 | test(); |
| 237 | |
| 238 | return 0; |
| 239 | } |
| 240 | |