You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
293 lines
9.9 KiB
293 lines
9.9 KiB
3 years ago
|
#!/usr/bin/env python
|
||
|
|
|
||
|
|
# Capstone Python bindings, by Nguyen Anh Quynnh <aquynh@gmail.com>
|
||
|
|
from __future__ import print_function
|
||
|
|
from capstone import *
|
||
|
|
from capstone.x86 import *
|
||
|
|
from xprint import to_hex, to_x, to_x_32
|
||
|
|
|
||
|
|
|
||
|
|
X86_CODE64 = b"\x55\x48\x8b\x05\xb8\x13\x00\x00\xe9\xea\xbe\xad\xde\xff\x25\x23\x01\x00\x00\xe8\xdf\xbe\xad\xde\x74\xff"
|
||
|
|
X86_CODE16 = b"\x8d\x4c\x32\x08\x01\xd8\x81\xc6\x34\x12\x00\x00\x05\x23\x01\x00\x00\x36\x8b\x84\x91\x23\x01\x00\x00\x41\x8d\x84\x39\x89\x67\x00\x00\x8d\x87\x89\x67\x00\x00\xb4\xc6\x66\xe9\xb8\x00\x00\x00\x67\xff\xa0\x23\x01\x00\x00\x66\xe8\xcb\x00\x00\x00\x74\xfc"
|
||
|
|
X86_CODE32 = b"\x8d\x4c\x32\x08\x01\xd8\x81\xc6\x34\x12\x00\x00\x05\x23\x01\x00\x00\x36\x8b\x84\x91\x23\x01\x00\x00\x41\x8d\x84\x39\x89\x67\x00\x00\x8d\x87\x89\x67\x00\x00\xb4\xc6\xe9\xea\xbe\xad\xde\xff\xa0\x23\x01\x00\x00\xe8\xdf\xbe\xad\xde\x74\xff"
|
||
|
|
|
||
|
|
all_tests = (
|
||
|
|
(CS_ARCH_X86, CS_MODE_16, X86_CODE16, "X86 16bit (Intel syntax)", None),
|
||
|
|
(CS_ARCH_X86, CS_MODE_32, X86_CODE32, "X86 32 (AT&T syntax)", CS_OPT_SYNTAX_ATT),
|
||
|
|
(CS_ARCH_X86, CS_MODE_32, X86_CODE32, "X86 32 (Intel syntax)", None),
|
||
|
|
(CS_ARCH_X86, CS_MODE_64, X86_CODE64, "X86 64 (Intel syntax)", None),
|
||
|
|
)
|
||
|
|
|
||
|
|
|
||
|
|
def get_eflag_name(eflag):
|
||
|
|
if eflag == X86_EFLAGS_UNDEFINED_OF:
|
||
|
|
return "UNDEF_OF"
|
||
|
|
elif eflag == X86_EFLAGS_UNDEFINED_SF:
|
||
|
|
return "UNDEF_SF"
|
||
|
|
elif eflag == X86_EFLAGS_UNDEFINED_ZF:
|
||
|
|
return "UNDEF_ZF"
|
||
|
|
elif eflag == X86_EFLAGS_MODIFY_AF:
|
||
|
|
return "MOD_AF"
|
||
|
|
elif eflag == X86_EFLAGS_UNDEFINED_PF:
|
||
|
|
return "UNDEF_PF"
|
||
|
|
elif eflag == X86_EFLAGS_MODIFY_CF:
|
||
|
|
return "MOD_CF"
|
||
|
|
elif eflag == X86_EFLAGS_MODIFY_SF:
|
||
|
|
return "MOD_SF"
|
||
|
|
elif eflag == X86_EFLAGS_MODIFY_ZF:
|
||
|
|
return "MOD_ZF"
|
||
|
|
elif eflag == X86_EFLAGS_UNDEFINED_AF:
|
||
|
|
return "UNDEF_AF"
|
||
|
|
elif eflag == X86_EFLAGS_MODIFY_PF:
|
||
|
|
return "MOD_PF"
|
||
|
|
elif eflag == X86_EFLAGS_UNDEFINED_CF:
|
||
|
|
return "UNDEF_CF"
|
||
|
|
elif eflag == X86_EFLAGS_MODIFY_OF:
|
||
|
|
return "MOD_OF"
|
||
|
|
elif eflag == X86_EFLAGS_RESET_OF:
|
||
|
|
return "RESET_OF"
|
||
|
|
elif eflag == X86_EFLAGS_RESET_CF:
|
||
|
|
return "RESET_CF"
|
||
|
|
elif eflag == X86_EFLAGS_RESET_DF:
|
||
|
|
return "RESET_DF"
|
||
|
|
elif eflag == X86_EFLAGS_RESET_IF:
|
||
|
|
return "RESET_IF"
|
||
|
|
elif eflag == X86_EFLAGS_TEST_OF:
|
||
|
|
return "TEST_OF"
|
||
|
|
elif eflag == X86_EFLAGS_TEST_SF:
|
||
|
|
return "TEST_SF"
|
||
|
|
elif eflag == X86_EFLAGS_TEST_ZF:
|
||
|
|
return "TEST_ZF"
|
||
|
|
elif eflag == X86_EFLAGS_TEST_PF:
|
||
|
|
return "TEST_PF"
|
||
|
|
elif eflag == X86_EFLAGS_TEST_CF:
|
||
|
|
return "TEST_CF"
|
||
|
|
elif eflag == X86_EFLAGS_RESET_SF:
|
||
|
|
return "RESET_SF"
|
||
|
|
elif eflag == X86_EFLAGS_RESET_AF:
|
||
|
|
return "RESET_AF"
|
||
|
|
elif eflag == X86_EFLAGS_RESET_TF:
|
||
|
|
return "RESET_TF"
|
||
|
|
elif eflag == X86_EFLAGS_RESET_NT:
|
||
|
|
return "RESET_NT"
|
||
|
|
elif eflag == X86_EFLAGS_PRIOR_OF:
|
||
|
|
return "PRIOR_OF"
|
||
|
|
elif eflag == X86_EFLAGS_PRIOR_SF:
|
||
|
|
return "PRIOR_SF"
|
||
|
|
elif eflag == X86_EFLAGS_PRIOR_ZF:
|
||
|
|
return "PRIOR_ZF"
|
||
|
|
elif eflag == X86_EFLAGS_PRIOR_AF:
|
||
|
|
return "PRIOR_AF"
|
||
|
|
elif eflag == X86_EFLAGS_PRIOR_PF:
|
||
|
|
return "PRIOR_PF"
|
||
|
|
elif eflag == X86_EFLAGS_PRIOR_CF:
|
||
|
|
return "PRIOR_CF"
|
||
|
|
elif eflag == X86_EFLAGS_PRIOR_TF:
|
||
|
|
return "PRIOR_TF"
|
||
|
|
elif eflag == X86_EFLAGS_PRIOR_IF:
|
||
|
|
return "PRIOR_IF"
|
||
|
|
elif eflag == X86_EFLAGS_PRIOR_DF:
|
||
|
|
return "PRIOR_DF"
|
||
|
|
elif eflag == X86_EFLAGS_TEST_NT:
|
||
|
|
return "TEST_NT"
|
||
|
|
elif eflag == X86_EFLAGS_TEST_DF:
|
||
|
|
return "TEST_DF"
|
||
|
|
elif eflag == X86_EFLAGS_RESET_PF:
|
||
|
|
return "RESET_PF"
|
||
|
|
elif eflag == X86_EFLAGS_PRIOR_NT:
|
||
|
|
return "PRIOR_NT"
|
||
|
|
elif eflag == X86_EFLAGS_MODIFY_TF:
|
||
|
|
return "MOD_TF"
|
||
|
|
elif eflag == X86_EFLAGS_MODIFY_IF:
|
||
|
|
return "MOD_IF"
|
||
|
|
elif eflag == X86_EFLAGS_MODIFY_DF:
|
||
|
|
return "MOD_DF"
|
||
|
|
elif eflag == X86_EFLAGS_MODIFY_NT:
|
||
|
|
return "MOD_NT"
|
||
|
|
elif eflag == X86_EFLAGS_MODIFY_RF:
|
||
|
|
return "MOD_RF"
|
||
|
|
elif eflag == X86_EFLAGS_SET_CF:
|
||
|
|
return "SET_CF"
|
||
|
|
elif eflag == X86_EFLAGS_SET_DF:
|
||
|
|
return "SET_DF"
|
||
|
|
elif eflag == X86_EFLAGS_SET_IF:
|
||
|
|
return "SET_IF"
|
||
|
|
else:
|
||
|
|
return None
|
||
|
|
|
||
|
|
|
||
|
|
def print_insn_detail(mode, insn):
|
||
|
|
def print_string_hex(comment, str):
|
||
|
|
print(comment, end=' '),
|
||
|
|
for c in str:
|
||
|
|
print("0x%02x " % c, end=''),
|
||
|
|
print()
|
||
|
|
|
||
|
|
# print address, mnemonic and operands
|
||
|
|
print("0x%x:\t%s\t%s" % (insn.address, insn.mnemonic, insn.op_str))
|
||
|
|
|
||
|
|
# "data" instruction generated by SKIPDATA option has no detail
|
||
|
|
if insn.id == 0:
|
||
|
|
return
|
||
|
|
|
||
|
|
# print instruction prefix
|
||
|
|
print_string_hex("\tPrefix:", insn.prefix)
|
||
|
|
|
||
|
|
# print instruction's opcode
|
||
|
|
print_string_hex("\tOpcode:", insn.opcode)
|
||
|
|
|
||
|
|
# print operand's REX prefix (non-zero value is relavant for x86_64 instructions)
|
||
|
|
print("\trex: 0x%x" % (insn.rex))
|
||
|
|
|
||
|
|
# print operand's address size
|
||
|
|
print("\taddr_size: %u" % (insn.addr_size))
|
||
|
|
|
||
|
|
# print modRM byte
|
||
|
|
print("\tmodrm: 0x%x" % (insn.modrm))
|
||
|
|
|
||
|
|
# print modRM offset
|
||
|
|
if insn.modrm_offset != 0:
|
||
|
|
print("\tmodrm_offset: 0x%x" % (insn.modrm_offset))
|
||
|
|
|
||
|
|
# print displacement value
|
||
|
|
print("\tdisp: 0x%s" % to_x_32(insn.disp))
|
||
|
|
|
||
|
|
# print displacement offset (offset into instruction bytes)
|
||
|
|
if insn.disp_offset != 0:
|
||
|
|
print("\tdisp_offset: 0x%x" % (insn.disp_offset))
|
||
|
|
|
||
|
|
# print displacement size
|
||
|
|
if insn.disp_size != 0:
|
||
|
|
print("\tdisp_size: 0x%x" % (insn.disp_size))
|
||
|
|
|
||
|
|
# SIB is not available in 16-bit mode
|
||
|
|
if (mode & CS_MODE_16 == 0):
|
||
|
|
# print SIB byte
|
||
|
|
print("\tsib: 0x%x" % (insn.sib))
|
||
|
|
if (insn.sib):
|
||
|
|
if insn.sib_base != 0:
|
||
|
|
print("\t\tsib_base: %s" % (insn.reg_name(insn.sib_base)))
|
||
|
|
if insn.sib_index != 0:
|
||
|
|
print("\t\tsib_index: %s" % (insn.reg_name(insn.sib_index)))
|
||
|
|
if insn.sib_scale != 0:
|
||
|
|
print("\t\tsib_scale: %d" % (insn.sib_scale))
|
||
|
|
|
||
|
|
# XOP CC type
|
||
|
|
if insn.xop_cc != X86_XOP_CC_INVALID:
|
||
|
|
print("\txop_cc: %u" % (insn.xop_cc))
|
||
|
|
|
||
|
|
# SSE CC type
|
||
|
|
if insn.sse_cc != X86_SSE_CC_INVALID:
|
||
|
|
print("\tsse_cc: %u" % (insn.sse_cc))
|
||
|
|
|
||
|
|
# AVX CC type
|
||
|
|
if insn.avx_cc != X86_AVX_CC_INVALID:
|
||
|
|
print("\tavx_cc: %u" % (insn.avx_cc))
|
||
|
|
|
||
|
|
# AVX Suppress All Exception
|
||
|
|
if insn.avx_sae:
|
||
|
|
print("\tavx_sae: TRUE")
|
||
|
|
|
||
|
|
# AVX Rounding Mode type
|
||
|
|
if insn.avx_rm != X86_AVX_RM_INVALID:
|
||
|
|
print("\tavx_rm: %u" % (insn.avx_rm))
|
||
|
|
|
||
|
|
count = insn.op_count(X86_OP_IMM)
|
||
|
|
if count > 0:
|
||
|
|
print("\timm_count: %u" % count)
|
||
|
|
for i in range(count):
|
||
|
|
op = insn.op_find(X86_OP_IMM, i + 1)
|
||
|
|
print("\t\timms[%u]: 0x%s" % (i + 1, to_x(op.imm)))
|
||
|
|
if insn.imm_offset != 0:
|
||
|
|
print("\timm_offset: 0x%x" % (insn.imm_offset))
|
||
|
|
if insn.imm_size != 0:
|
||
|
|
print("\timm_size: 0x%x" % (insn.imm_size))
|
||
|
|
|
||
|
|
if len(insn.operands) > 0:
|
||
|
|
print("\top_count: %u" % len(insn.operands))
|
||
|
|
c = -1
|
||
|
|
for i in insn.operands:
|
||
|
|
c += 1
|
||
|
|
if i.type == X86_OP_REG:
|
||
|
|
print("\t\toperands[%u].type: REG = %s" % (c, insn.reg_name(i.reg)))
|
||
|
|
if i.type == X86_OP_IMM:
|
||
|
|
print("\t\toperands[%u].type: IMM = 0x%s" % (c, to_x(i.imm)))
|
||
|
|
if i.type == X86_OP_MEM:
|
||
|
|
print("\t\toperands[%u].type: MEM" % c)
|
||
|
|
if i.mem.segment != 0:
|
||
|
|
print("\t\t\toperands[%u].mem.segment: REG = %s" % (c, insn.reg_name(i.mem.segment)))
|
||
|
|
if i.mem.base != 0:
|
||
|
|
print("\t\t\toperands[%u].mem.base: REG = %s" % (c, insn.reg_name(i.mem.base)))
|
||
|
|
if i.mem.index != 0:
|
||
|
|
print("\t\t\toperands[%u].mem.index: REG = %s" % (c, insn.reg_name(i.mem.index)))
|
||
|
|
if i.mem.scale != 1:
|
||
|
|
print("\t\t\toperands[%u].mem.scale: %u" % (c, i.mem.scale))
|
||
|
|
if i.mem.disp != 0:
|
||
|
|
print("\t\t\toperands[%u].mem.disp: 0x%s" % (c, to_x(i.mem.disp)))
|
||
|
|
|
||
|
|
# AVX broadcast type
|
||
|
|
if i.avx_bcast != X86_AVX_BCAST_INVALID:
|
||
|
|
print("\t\toperands[%u].avx_bcast: %u" % (c, i.avx_bcast))
|
||
|
|
|
||
|
|
# AVX zero opmask {z}
|
||
|
|
if i.avx_zero_opmask:
|
||
|
|
print("\t\toperands[%u].avx_zero_opmask: TRUE" % (c))
|
||
|
|
|
||
|
|
print("\t\toperands[%u].size: %u" % (c, i.size))
|
||
|
|
|
||
|
|
if i.access == CS_AC_READ:
|
||
|
|
print("\t\toperands[%u].access: READ\n" % (c))
|
||
|
|
elif i.access == CS_AC_WRITE:
|
||
|
|
print("\t\toperands[%u].access: WRITE\n" % (c))
|
||
|
|
elif i.access == CS_AC_READ | CS_AC_WRITE:
|
||
|
|
print("\t\toperands[%u].access: READ | WRITE\n" % (c))
|
||
|
|
|
||
|
|
(regs_read, regs_write) = insn.regs_access()
|
||
|
|
|
||
|
|
if len(regs_read) > 0:
|
||
|
|
print("\tRegisters read:", end="")
|
||
|
|
for r in regs_read:
|
||
|
|
print(" %s" %(insn.reg_name(r)), end="")
|
||
|
|
print("")
|
||
|
|
|
||
|
|
if len(regs_write) > 0:
|
||
|
|
print("\tRegisters modified:", end="")
|
||
|
|
for r in regs_write:
|
||
|
|
print(" %s" %(insn.reg_name(r)), end="")
|
||
|
|
print("")
|
||
|
|
|
||
|
|
if insn.eflags:
|
||
|
|
updated_flags = []
|
||
|
|
for i in range(0,46):
|
||
|
|
if insn.eflags & (1 << i):
|
||
|
|
updated_flags.append(get_eflag_name(1 << i))
|
||
|
|
print("\tEFLAGS: %s" % (','.join(p for p in updated_flags)))
|
||
|
|
|
||
|
|
|
||
|
|
# ## Test class Cs
|
||
|
|
def test_class():
|
||
|
|
|
||
|
|
for (arch, mode, code, comment, syntax) in all_tests:
|
||
|
|
print("*" * 16)
|
||
|
|
print("Platform: %s" % comment)
|
||
|
|
print("Code: %s" % to_hex(code))
|
||
|
|
print("Disasm:")
|
||
|
|
|
||
|
|
try:
|
||
|
|
md = Cs(arch, mode)
|
||
|
|
md.detail = True
|
||
|
|
|
||
|
|
if syntax is not None:
|
||
|
|
md.syntax = syntax
|
||
|
|
|
||
|
|
for insn in md.disasm(code, 0x1000):
|
||
|
|
print_insn_detail(mode, insn)
|
||
|
|
print ()
|
||
|
|
print ("0x%x:\n" % (insn.address + insn.size))
|
||
|
|
except CsError as e:
|
||
|
|
print("ERROR: %s" % e)
|
||
|
|
|
||
|
|
|
||
|
|
if __name__ == '__main__':
|
||
|
|
test_class()
|