1*9a0e4156SSadaf Ebrahimi(* Capstone Disassembly Engine 2*9a0e4156SSadaf Ebrahimi* By Nguyen Anh Quynh <[email protected]>, 2013-2014 *) 3*9a0e4156SSadaf Ebrahimi 4*9a0e4156SSadaf Ebrahimiopen Printf 5*9a0e4156SSadaf Ebrahimiopen Capstone 6*9a0e4156SSadaf Ebrahimiopen Mips 7*9a0e4156SSadaf Ebrahimi 8*9a0e4156SSadaf Ebrahimi 9*9a0e4156SSadaf Ebrahimilet print_string_hex comment str = 10*9a0e4156SSadaf Ebrahimi printf "%s" comment; 11*9a0e4156SSadaf Ebrahimi for i = 0 to (Array.length str - 1) do 12*9a0e4156SSadaf Ebrahimi printf "0x%02x " str.(i) 13*9a0e4156SSadaf Ebrahimi done; 14*9a0e4156SSadaf Ebrahimi printf "\n" 15*9a0e4156SSadaf Ebrahimi 16*9a0e4156SSadaf Ebrahimi 17*9a0e4156SSadaf Ebrahimilet _MIPS_CODE = "\x0C\x10\x00\x97\x00\x00\x00\x00\x24\x02\x00\x0c\x8f\xa2\x00\x00\x34\x21\x34\x56";; 18*9a0e4156SSadaf Ebrahimilet _MIPS_CODE2 = "\x56\x34\x21\x34\xc2\x17\x01\x00";; 19*9a0e4156SSadaf Ebrahimi 20*9a0e4156SSadaf Ebrahimilet all_tests = [ 21*9a0e4156SSadaf Ebrahimi (CS_ARCH_MIPS, [CS_MODE_MIPS32; CS_MODE_BIG_ENDIAN], _MIPS_CODE, "MIPS-32 (Big-endian)"); 22*9a0e4156SSadaf Ebrahimi (CS_ARCH_MIPS, [CS_MODE_MIPS64; CS_MODE_LITTLE_ENDIAN], _MIPS_CODE2, "MIPS-64-EL (Little-endian)"); 23*9a0e4156SSadaf Ebrahimi];; 24*9a0e4156SSadaf Ebrahimi 25*9a0e4156SSadaf Ebrahimilet print_op handle i op = 26*9a0e4156SSadaf Ebrahimi ( match op.value with 27*9a0e4156SSadaf Ebrahimi | MIPS_OP_INVALID _ -> (); (* this would never happens *) 28*9a0e4156SSadaf Ebrahimi | MIPS_OP_REG reg -> printf "\t\top[%d]: REG = %s\n" i (cs_reg_name handle reg); 29*9a0e4156SSadaf Ebrahimi | MIPS_OP_IMM imm -> printf "\t\top[%d]: IMM = 0x%x\n" i imm; 30*9a0e4156SSadaf Ebrahimi | MIPS_OP_MEM mem -> ( printf "\t\top[%d]: MEM\n" i; 31*9a0e4156SSadaf Ebrahimi if mem.base != 0 then 32*9a0e4156SSadaf Ebrahimi printf "\t\t\toperands[%u].mem.base: REG = %s\n" i (cs_reg_name handle mem.base); 33*9a0e4156SSadaf Ebrahimi if mem.disp != 0 then 34*9a0e4156SSadaf Ebrahimi printf "\t\t\toperands[%u].mem.disp: 0x%x\n" i mem.disp; 35*9a0e4156SSadaf Ebrahimi ); 36*9a0e4156SSadaf Ebrahimi ); 37*9a0e4156SSadaf Ebrahimi ();; 38*9a0e4156SSadaf Ebrahimi 39*9a0e4156SSadaf Ebrahimi 40*9a0e4156SSadaf Ebrahimilet print_detail handle insn = 41*9a0e4156SSadaf Ebrahimi match insn.arch with 42*9a0e4156SSadaf Ebrahimi | CS_INFO_MIPS mips -> ( 43*9a0e4156SSadaf Ebrahimi (* print all operands info (type & value) *) 44*9a0e4156SSadaf Ebrahimi if (Array.length mips.operands) > 0 then ( 45*9a0e4156SSadaf Ebrahimi printf "\top_count: %d\n" (Array.length mips.operands); 46*9a0e4156SSadaf Ebrahimi Array.iteri (print_op handle) mips.operands; 47*9a0e4156SSadaf Ebrahimi ); 48*9a0e4156SSadaf Ebrahimi printf "\n"; 49*9a0e4156SSadaf Ebrahimi ); 50*9a0e4156SSadaf Ebrahimi | _ -> (); 51*9a0e4156SSadaf Ebrahimi ;; 52*9a0e4156SSadaf Ebrahimi 53*9a0e4156SSadaf Ebrahimi 54*9a0e4156SSadaf Ebrahimilet print_insn handle insn = 55*9a0e4156SSadaf Ebrahimi printf "0x%x\t%s\t%s\n" insn.address insn.mnemonic insn.op_str; 56*9a0e4156SSadaf Ebrahimi print_detail handle insn 57*9a0e4156SSadaf Ebrahimi 58*9a0e4156SSadaf Ebrahimi 59*9a0e4156SSadaf Ebrahimilet print_arch x = 60*9a0e4156SSadaf Ebrahimi let (arch, mode, code, comment) = x in 61*9a0e4156SSadaf Ebrahimi let handle = cs_open arch mode in 62*9a0e4156SSadaf Ebrahimi let err = cs_option handle CS_OPT_DETAIL _CS_OPT_ON in 63*9a0e4156SSadaf Ebrahimi match err with 64*9a0e4156SSadaf Ebrahimi | _ -> (); 65*9a0e4156SSadaf Ebrahimi let insns = cs_disasm handle code 0x1000L 0L in 66*9a0e4156SSadaf Ebrahimi printf "*************\n"; 67*9a0e4156SSadaf Ebrahimi printf "Platform: %s\n" comment; 68*9a0e4156SSadaf Ebrahimi List.iter (print_insn handle) insns; 69*9a0e4156SSadaf Ebrahimi match cs_close handle with 70*9a0e4156SSadaf Ebrahimi | 0 -> (); 71*9a0e4156SSadaf Ebrahimi | _ -> printf "Failed to close handle"; 72*9a0e4156SSadaf Ebrahimi ;; 73*9a0e4156SSadaf Ebrahimi 74*9a0e4156SSadaf Ebrahimi 75*9a0e4156SSadaf EbrahimiList.iter print_arch all_tests;; 76