Nguyen Anh Quynh | 81a97c6 | 2014-09-26 23:38:53 +0800 | [diff] [blame] | 1 | (* Capstone Disassembly Engine |
| 2 | * By Nguyen Anh Quynh <aquynh@gmail.com>, 2013-2014 *) |
Nguyen Anh Quynh | 26ee41a | 2013-11-27 12:11:31 +0800 | [diff] [blame] | 3 | |
| 4 | open Printf |
| 5 | open List |
| 6 | open Capstone |
| 7 | |
| 8 | let _X86_CODE16 = "\x8d\x4c\x32\x08\x01\xd8\x81\xc6\x34\x12\x00\x00";; |
| 9 | let _X86_CODE32 = "\x8d\x4c\x32\x08\x01\xd8\x81\xc6\x34\x12\x00\x00";; |
| 10 | let _X86_CODE64 = "\x55\x48\x8b\x05\xb8\x13\x00\x00";; |
| 11 | let _ARM_CODE = "\xED\xFF\xFF\xEB\x04\xe0\x2d\xe5\x00\x00\x00\x00\xe0\x83\x22\xe5\xf1\x02\x03\x0e\x00\x00\xa0\xe3\x02\x30\xc1\xe7\x00\x00\x53\xe3";; |
| 12 | let _ARM_CODE2 = "\x10\xf1\x10\xe7\x11\xf2\x31\xe7\xdc\xa1\x2e\xf3\xe8\x4e\x62\xf3";; |
| 13 | let _THUMB_CODE = "\x70\x47\xeb\x46\x83\xb0\xc9\x68";; |
| 14 | let _THUMB_CODE2 = "\x4f\xf0\x00\x01\xbd\xe8\x00\x88";; |
| 15 | let _MIPS_CODE = "\x0C\x10\x00\x97\x00\x00\x00\x00\x24\x02\x00\x0c\x8f\xa2\x00\x00\x34\x21\x34\x56";; |
| 16 | let _MIPS_CODE2 = "\x56\x34\x21\x34\xc2\x17\x01\x00";; |
| 17 | let _ARM64_CODE = "\x21\x7c\x02\x9b\x21\x7c\x00\x53\x00\x40\x21\x4b\xe1\x0b\x40\xb9";; |
Guillaume Jeanne | 58fe971 | 2014-06-30 16:18:55 +0200 | [diff] [blame] | 18 | let _PPC_CODE = "\x80\x20\x00\x00\x80\x3f\x00\x00\x10\x43\x23\x0e\xd0\x44\x00\x80\x4c\x43\x22\x02\x2d\x03\x00\x80\x7c\x43\x20\x14\x7c\x43\x20\x93\x4f\x20\x00\x21\x4c\xc8\x00\x21";; |
Guillaume Jeanne | ae48c97 | 2014-08-19 14:46:06 +0200 | [diff] [blame] | 19 | let _SPARC_CODE = "\x80\xa0\x40\x02\x85\xc2\x60\x08\x85\xe8\x20\x01\x81\xe8\x00\x00\x90\x10\x20\x01\xd5\xf6\x10\x16\x21\x00\x00\x0a\x86\x00\x40\x02\x01\x00\x00\x00\x12\xbf\xff\xff\x10\xbf\xff\xff\xa0\x02\x00\x09\x0d\xbf\xff\xff\xd4\x20\x60\x00\xd4\x4e\x00\x16\x2a\xc2\x80\x03";; |
| 20 | let _SPARCV9_CODE = "\x81\xa8\x0a\x24\x89\xa0\x10\x20\x89\xa0\x1a\x60\x89\xa0\x00\xe0";; |
| 21 | let _SYSZ_CODE = "\xed\x00\x00\x00\x00\x1a\x5a\x0f\x1f\xff\xc2\x09\x80\x00\x00\x00\x07\xf7\xeb\x2a\xff\xff\x7f\x57\xe3\x01\xff\xff\x7f\x57\xeb\x00\xf0\x00\x00\x24\xb2\x4f\x00\x78";; |
| 22 | let _XCORE_CODE = "\xfe\x0f\xfe\x17\x13\x17\xc6\xfe\xec\x17\x97\xf8\xec\x4f\x1f\xfd\xec\x37\x07\xf2\x45\x5b\xf9\xfa\x02\x06\x1b\x10";; |
Nguyen Anh Quynh | 26ee41a | 2013-11-27 12:11:31 +0800 | [diff] [blame] | 23 | |
| 24 | let all_tests = [ |
Guillaume Jeanne | ae48c97 | 2014-08-19 14:46:06 +0200 | [diff] [blame] | 25 | (CS_ARCH_X86, [CS_MODE_16], _X86_CODE16, "X86 16bit (Intel syntax)", 0); |
| 26 | (CS_ARCH_X86, [CS_MODE_32], _X86_CODE32, "X86 32bit (ATT syntax)", 0); |
| 27 | (CS_ARCH_X86, [CS_MODE_32], _X86_CODE32, "X86 32 (Intel syntax)", 0); |
| 28 | (CS_ARCH_X86, [CS_MODE_64], _X86_CODE64, "X86 64 (Intel syntax)", 0); |
| 29 | (CS_ARCH_ARM, [CS_MODE_ARM], _ARM_CODE, "ARM", 0); |
| 30 | (CS_ARCH_ARM, [CS_MODE_ARM], _ARM_CODE2, "ARM: Cortex-A15 + NEON", 0); |
| 31 | (CS_ARCH_ARM, [CS_MODE_THUMB], _THUMB_CODE, "THUMB", 0); |
| 32 | (CS_ARCH_ARM, [CS_MODE_THUMB], _THUMB_CODE2, "THUMB-2", 0); |
| 33 | (CS_ARCH_ARM64, [CS_MODE_ARM], _ARM64_CODE, "ARM-64", 0); |
Nguyen Anh Quynh | ff9a574 | 2014-11-13 12:09:49 +0800 | [diff] [blame^] | 34 | (CS_ARCH_MIPS, [CS_MODE_MIPS32; CS_MODE_BIG_ENDIAN], _MIPS_CODE, "MIPS-32 (Big-endian)", 0); |
| 35 | (CS_ARCH_MIPS, [CS_MODE_MIPS64; CS_MODE_LITTLE_ENDIAN], _MIPS_CODE2, "MIPS-64-EL (Little-endian)", 0); |
| 36 | (CS_ARCH_PPC, [CS_MODE_64; CS_MODE_BIG_ENDIAN], _PPC_CODE, "PPC-64", 0); |
Guillaume Jeanne | ae48c97 | 2014-08-19 14:46:06 +0200 | [diff] [blame] | 37 | (CS_ARCH_SPARC, [CS_MODE_BIG_ENDIAN], _SPARC_CODE, "Sparc", 0); |
| 38 | (CS_ARCH_SPARC, [CS_MODE_BIG_ENDIAN; CS_MODE_V9], _SPARCV9_CODE, "SparcV9", 0); |
| 39 | (CS_ARCH_SYSZ, [CS_MODE_LITTLE_ENDIAN], _SYSZ_CODE, "SystemZ", 0); |
| 40 | (CS_ARCH_XCORE, [CS_MODE_LITTLE_ENDIAN], _XCORE_CODE, "XCore", 0); |
Nguyen Anh Quynh | 26ee41a | 2013-11-27 12:11:31 +0800 | [diff] [blame] | 41 | ];; |
| 42 | |
| 43 | |
Nguyen Anh Quynh | fe4822c | 2014-10-04 16:30:02 +0800 | [diff] [blame] | 44 | let print_detail handle insn = |
Nguyen Anh Quynh | 26ee41a | 2013-11-27 12:11:31 +0800 | [diff] [blame] | 45 | (* print immediate operands *) |
| 46 | if (Array.length insn.regs_read) > 0 then begin |
| 47 | printf "\tImplicit registers read: "; |
Nguyen Anh Quynh | fe4822c | 2014-10-04 16:30:02 +0800 | [diff] [blame] | 48 | Array.iter (fun x -> printf "%s "(cs_reg_name handle x)) insn.regs_read; |
Nguyen Anh Quynh | 26ee41a | 2013-11-27 12:11:31 +0800 | [diff] [blame] | 49 | printf "\n"; |
| 50 | end; |
| 51 | |
| 52 | if (Array.length insn.regs_write) > 0 then begin |
| 53 | printf "\tImplicit registers written: "; |
Nguyen Anh Quynh | fe4822c | 2014-10-04 16:30:02 +0800 | [diff] [blame] | 54 | Array.iter (fun x -> printf "%s "(cs_reg_name handle x)) insn.regs_write; |
Nguyen Anh Quynh | 26ee41a | 2013-11-27 12:11:31 +0800 | [diff] [blame] | 55 | printf "\n"; |
| 56 | end; |
| 57 | |
| 58 | if (Array.length insn.groups) > 0 then begin |
| 59 | printf "\tThis instruction belongs to groups: "; |
| 60 | Array.iter (printf "%u ") insn.groups; |
| 61 | printf "\n"; |
| 62 | end; |
| 63 | printf "\n";; |
| 64 | |
| 65 | |
Nguyen Anh Quynh | fe4822c | 2014-10-04 16:30:02 +0800 | [diff] [blame] | 66 | let print_insn handle insn = |
Nguyen Anh Quynh | 26ee41a | 2013-11-27 12:11:31 +0800 | [diff] [blame] | 67 | printf "0x%x\t%s\t%s\n" insn.address insn.mnemonic insn.op_str; |
Nguyen Anh Quynh | fe4822c | 2014-10-04 16:30:02 +0800 | [diff] [blame] | 68 | print_detail handle insn |
Nguyen Anh Quynh | 26ee41a | 2013-11-27 12:11:31 +0800 | [diff] [blame] | 69 | |
| 70 | |
| 71 | let print_arch x = |
Guillaume Jeanne | ae48c97 | 2014-08-19 14:46:06 +0200 | [diff] [blame] | 72 | let (arch, mode, code, comment, syntax) = x in |
Nguyen Anh Quynh | fe4822c | 2014-10-04 16:30:02 +0800 | [diff] [blame] | 73 | let handle = cs_open arch mode in |
| 74 | let err = cs_option handle CS_OPT_DETAIL _CS_OPT_ON in |
| 75 | match err with |
| 76 | | _ -> (); |
| 77 | let insns = cs_disasm handle code 0x1000L 0L in |
Nguyen Anh Quynh | 26ee41a | 2013-11-27 12:11:31 +0800 | [diff] [blame] | 78 | printf "*************\n"; |
| 79 | printf "Platform: %s\n" comment; |
Nguyen Anh Quynh | fe4822c | 2014-10-04 16:30:02 +0800 | [diff] [blame] | 80 | List.iter (print_insn handle) insns; |
| 81 | match cs_close handle with |
| 82 | | 0 -> (); |
| 83 | | _ -> printf "Failed to close handle"; |
| 84 | ;; |
Nguyen Anh Quynh | 26ee41a | 2013-11-27 12:11:31 +0800 | [diff] [blame] | 85 | |
Guillaume Jeanne | cece24e | 2014-06-26 15:35:06 +0200 | [diff] [blame] | 86 | |
Nguyen Anh Quynh | 26ee41a | 2013-11-27 12:11:31 +0800 | [diff] [blame] | 87 | List.iter print_arch all_tests;; |