crabstone 3.0.3

data/test/test_mips.rb.SPEC

@@ -0,0 +1,91 @@
+****************
+Platform: MIPS-32 (Big-endian)
+Code:0x0c 0x10 0x00 0x97 0x00 0x00 0x00 0x00 0x24 0x02 0x00 0x0c 0x8f 0xa2 0x00 0x00 0x34 0x21 0x34 0x56 
+Disasm:
+0x1000:	jal	0x40025c
+	op_count: 1
+		operands[0].type: IMM = 0x40025c
+
+0x1004:	nop	
+
+0x1008:	addiu	$v0, $zero, 0xc
+	op_count: 3
+		operands[0].type: REG = v0
+		operands[1].type: REG = zero
+		operands[2].type: IMM = 0xc
+
+0x100c:	lw	$v0, ($sp)
+	op_count: 2
+		operands[0].type: REG = v0
+		operands[1].type: MEM
+			operands[1].mem.base: REG = sp
+
+0x1010:	ori	$at, $at, 0x3456
+	op_count: 3
+		operands[0].type: REG = at
+		operands[1].type: REG = at
+		operands[2].type: IMM = 0x3456
+
+0x1014:
+
+****************
+Platform: MIPS-64-EL (Little-endian)
+Code:0x56 0x34 0x21 0x34 0xc2 0x17 0x01 0x00 
+Disasm:
+0x1000:	ori	$at, $at, 0x3456
+	op_count: 3
+		operands[0].type: REG = at
+		operands[1].type: REG = at
+		operands[2].type: IMM = 0x3456
+
+0x1004:	srl	$v0, $at, 0x1f
+	op_count: 3
+		operands[0].type: REG = v0
+		operands[1].type: REG = at
+		operands[2].type: IMM = 0x1f
+
+0x1008:
+
+****************
+Platform: MIPS-32R6 | Micro (Big-endian)
+Code:0x00 0x07 0x00 0x07 0x00 0x11 0x93 0x7c 0x01 0x8c 0x8b 0x7c 0x00 0xc7 0x48 0xd0 
+Disasm:
+0x1000:	break	7, 0
+	op_count: 2
+		operands[0].type: IMM = 0x7
+		operands[1].type: IMM = 0x0
+
+0x1004:	wait	0x11
+	op_count: 1
+		operands[0].type: IMM = 0x11
+
+0x1008:	syscall	0x18c
+	op_count: 1
+		operands[0].type: IMM = 0x18c
+
+0x100c:	rotrv	$t1, $a2, $a3
+	op_count: 3
+		operands[0].type: REG = t1
+		operands[1].type: REG = a2
+		operands[2].type: REG = a3
+
+0x1010:
+
+****************
+Platform: MIPS-32R6 (Big-endian)
+Code:0xec 0x80 0x00 0x19 0x7c 0x43 0x22 0xa0 
+Disasm:
+0x1000:	addiupc	$a0, 0x64
+	op_count: 2
+		operands[0].type: REG = a0
+		operands[1].type: IMM = 0x64
+
+0x1004:	align	$a0, $v0, $v1, 2
+	op_count: 4
+		operands[0].type: REG = a0
+		operands[1].type: REG = v0
+		operands[2].type: REG = v1
+		operands[3].type: IMM = 0x2
+
+0x1008:
+

data/test/test_ppc.rb

@@ -0,0 +1,137 @@
+#!/usr/bin/env ruby
+
+# Library by Nguyen Anh Quynh
+# Original binding by Nguyen Anh Quynh and Tan Sheng Di
+# Additional binding work by Ben Nagy
+# (c) 2013 COSEINC. All Rights Reserved.
+
+require 'crabstone'
+require 'stringio'
+
+module TestPPC
+
+  PPC_CODE = "\x43\x20\x0c\x07\x41\x56\xff\x17\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\x40\x82\x00\x14"
+  include Crabstone
+  include Crabstone::PPC
+
+  @platforms = [
+    Hash[
+      'arch' => ARCH_PPC,
+      'mode' => MODE_BIG_ENDIAN,
+      'code' => PPC_CODE,
+      'comment' => "PPC-64"
+    ]
+  ]
+
+  def self.uint32 i
+    Integer(i) & 0xffffffff
+  end
+
+  def self.bc_name bc
+    case bc
+    when BC_INVALID
+      "invalid"
+    when BC_LT
+      "lt"
+    when BC_LE
+      "le"
+    when BC_EQ
+      "eq"
+    when BC_GE
+      "ge"
+    when BC_GT
+      "gt"
+    when BC_NE
+      "ne"
+    when BC_UN
+      "un"
+    when BC_NU
+      "nu"
+    when BC_SO
+      "so"
+    when BC_NS
+      "ns"
+    end
+  end
+
+  def self.print_detail cs, insn, sio
+    if insn.op_count > 0
+      if insn.writes_reg? :ra
+        print "[w:ra] "
+      end
+      sio.puts "\top_count: #{insn.op_count}"
+      insn.operands.each_with_index do |op,idx|
+        case op[:type]
+        when OP_REG
+          sio.puts "\t\toperands[#{idx}].type: REG = #{cs.reg_name(op.value)}"
+        when OP_IMM
+          sio.puts "\t\toperands[#{idx}].type: IMM = 0x#{self.uint32(op.value).to_s(16)}"
+        when OP_MEM
+          sio.puts "\t\toperands[#{idx}].type: MEM"
+          if op.value[:base].nonzero?
+            sio.puts "\t\t\toperands[#{idx}].mem.base: REG = %s" % cs.reg_name(op.value[:base])
+          end
+          if op.value[:disp].nonzero?
+            sio.puts "\t\t\toperands[#{idx}].mem.disp: 0x%x" % (self.uint32(op.value[:disp]))
+          end
+        when OP_CRX
+          sio.puts "\t\toperands[#{idx}].type: CRX\n"
+          sio.puts "\t\t\toperands[#{idx}].crx.scale: #{op.value[:scale]}"
+          sio.puts "\t\t\toperands[#{idx}].crx.reg: %s" % (cs.reg_name(op.value[:reg]))
+          sio.puts "\t\t\toperands[#{idx}].crx.cond: %s" % (self.bc_name(op.value[:cond]))
+        end
+      end
+    end
+    if insn.bc.nonzero?
+      sio.puts("\tBranch code: %u" % insn.bc)
+    end
+    if insn.bh.nonzero?
+      sio.puts("\tBranch hint: %u" % insn.bh)
+    end
+    if insn.update_cr0
+      sio.puts("\tUpdate-CR0: True")
+    end
+    sio.puts
+  end
+
+  ours = StringIO.new
+
+  begin
+    cs    = Disassembler.new(0,0)
+    print "PPC Test: Capstone v #{cs.version.join('.')} - "
+  ensure
+    cs.close
+  end
+
+  #Test through all modes and architectures
+  @platforms.each do |p|
+    ours.puts "****************"
+    ours.puts "Platform: #{p['comment']}"
+    ours.puts "Code:#{p['code'].bytes.map {|b| "0x%.2x" % b}.join(' ')} "
+    ours.puts "Disasm:"
+
+    cs    = Disassembler.new(p['arch'], p['mode'])
+    cs.decomposer = true
+    cache = nil
+
+    cs.disasm(p['code'], 0x1000).each {|insn|
+      ours.puts "0x#{insn.address.to_s(16)}:\t#{insn.mnemonic}\t#{insn.op_str}"
+      self.print_detail(cs, insn, ours)
+      cache = insn.address + insn.size
+    }
+
+    ours.printf("0x%x:\n", cache)
+    ours.puts
+    cs.close
+  end
+
+  ours.rewind
+  theirs = File.binread(__FILE__ + ".SPEC")
+  if ours.read == theirs
+    puts "#{__FILE__}: PASS"
+  else
+    ours.rewind
+    puts ours.read
+    puts "#{__FILE__}: FAIL"
+  end
+end

data/test/test_ppc.rb.SPEC

@@ -0,0 +1,84 @@
+****************
+Platform: PPC-64
+Code:0x43 0x20 0x0c 0x07 0x41 0x56 0xff 0x17 0x80 0x20 0x00 0x00 0x80 0x3f 0x00 0x00 0x10 0x43 0x23 0x0e 0xd0 0x44 0x00 0x80 0x4c 0x43 0x22 0x02 0x2d 0x03 0x00 0x80 0x7c 0x43 0x20 0x14 0x7c 0x43 0x20 0x93 0x4f 0x20 0x00 0x21 0x4c 0xc8 0x00 0x21 0x40 0x82 0x00 0x14 
+Disasm:
+0x1000:	bdnzla+	0xc04
+	op_count: 1
+		operands[0].type: IMM = 0xc04
+	Branch hint: 1
+
+0x1004:	bdztla	4*cr5+eq, 0xffffff14
+	op_count: 2
+		operands[0].type: CRX
+			operands[0].crx.scale: 4
+			operands[0].crx.reg: cr5
+			operands[0].crx.cond: eq
+		operands[1].type: IMM = 0xffffff14
+	Branch hint: 1
+
+0x1008:	lwz	r1, (0)
+	op_count: 2
+		operands[0].type: REG = r1
+		operands[1].type: MEM
+			operands[1].mem.base: REG = r0
+
+0x100c:	lwz	r1, (r31)
+	op_count: 2
+		operands[0].type: REG = r1
+		operands[1].type: MEM
+			operands[1].mem.base: REG = r31
+
+0x1010:	vpkpx	v2, v3, v4
+	op_count: 3
+		operands[0].type: REG = v2
+		operands[1].type: REG = v3
+		operands[2].type: REG = v4
+
+0x1014:	stfs	f2, 0x80(r4)
+	op_count: 2
+		operands[0].type: REG = f2
+		operands[1].type: MEM
+			operands[1].mem.base: REG = r4
+			operands[1].mem.disp: 0x80
+
+0x1018:	crand	2, 3, 4
+	op_count: 3
+		operands[0].type: REG = r2
+		operands[1].type: REG = r3
+		operands[2].type: REG = r4
+
+0x101c:	cmpwi	cr2, r3, 0x80
+	op_count: 3
+		operands[0].type: REG = cr2
+		operands[1].type: REG = r3
+		operands[2].type: IMM = 0x80
+
+0x1020:	addc	r2, r3, r4
+	op_count: 3
+		operands[0].type: REG = r2
+		operands[1].type: REG = r3
+		operands[2].type: REG = r4
+
+0x1024:	mulhd.	r2, r3, r4
+	op_count: 3
+		operands[0].type: REG = r2
+		operands[1].type: REG = r3
+		operands[2].type: REG = r4
+	Update-CR0: True
+
+0x1028:	bdnzlrl+	
+	Branch hint: 1
+
+0x102c:	bgelrl-	cr2
+	op_count: 1
+		operands[0].type: REG = cr2
+	Branch code: 4
+	Branch hint: 2
+
+0x1030:	bne	0x1044
+	op_count: 1
+		operands[0].type: IMM = 0x1044
+	Branch code: 68
+
+0x1034:
+

data/test/test_sanity.rb

@@ -0,0 +1,83 @@
+#!/usr/bin/env ruby
+
+# Library by Nguyen Anh Quynh
+# Original binding by Nguyen Anh Quynh and Tan Sheng Di
+# Additional binding work by Ben Nagy
+# (c) 2013 COSEINC. All Rights Reserved.
+
+require 'crabstone'
+require 'stringio'
+
+module Test
+
+  include Crabstone
+
+  # These need to be maintained by hand, but I actually just copy them over
+  # from the Go binding. It's just a very quick check to catch developer
+  # error.
+  # TODO: Work out why I can't get the C constants with ffi/tools/const_generator
+
+  @checks = {
+    Crabstone::ARM64 => Hash[
+      reg_max: 260,
+      ins_max: 452,
+      grp_max: 132
+    ],
+    Crabstone::ARM => Hash[
+      reg_max: 111,
+      ins_max: 435,
+      grp_max: 159
+    ],
+    Crabstone::MIPS => Hash[
+      reg_max: 136,
+      ins_max: 586,
+      grp_max: 161
+    ],
+    Crabstone::PPC => Hash[
+      reg_max: 178,
+      ins_max: 934,
+      grp_max: 138
+    ],
+    Crabstone::Sparc => Hash[
+      reg_max: 88,
+      ins_max: 279,
+      grp_max: 135
+    ],
+    Crabstone::SysZ => Hash[
+      reg_max: 35,
+      ins_max: 682,
+      grp_max: 133
+    ],
+    Crabstone::X86 => Hash[
+      reg_max: 234,
+      ins_max: 1295,
+      grp_max: 169
+    ],
+    Crabstone::XCore => Hash[
+      reg_max: 26,
+      ins_max: 121,
+      grp_max: 2
+    ],
+  }
+
+  begin
+    cs    = Disassembler.new(0,0)
+    print "Sanity Check: Capstone v #{cs.version.join('.')}\n"
+  ensure
+    cs.close rescue nil
+  end
+
+  #Test through all modes and architectures
+  @checks.each do |klass, checklist|
+    if klass::REG_ENDING != checklist[:reg_max] ||
+        klass::INS_ENDING != checklist[:ins_max] ||
+        klass::GRP_ENDING != checklist[:grp_max]
+      puts "\t#{__FILE__}: #{klass}: FAIL"
+    else
+      puts "\t#{__FILE__}: #{klass}: PASS"
+    end
+
+  end
+
+
+end

data/test/test_skipdata.rb

@@ -0,0 +1,111 @@
+#! /usr/bin/env ruby
+
+# Library by Nguyen Anh Quynh
+# Original binding by Nguyen Anh Quynh and Tan Sheng Di
+# Additional binding work by Ben Nagy
+# (c) 2013 COSEINC. All Rights Reserved.
+
+require 'crabstone'
+require 'stringio'
+
+module TestSkipdata
+
+  include Crabstone
+
+  X86_CODE32 = "\x8d\x4c\x32\x08\x01\xd8\x81\xc6\x34\x12\x00\x00\x00\x91\x92"
+  RANDOM_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"
+  
+  @platforms = [
+    Hash[
+      'arch' => ARCH_X86,
+      'mode' => MODE_32,
+      'code' => X86_CODE32,
+      'comment' => "X86 32 (Intel syntax) - Skip data",
+      'mnemonic' => nil,
+      'callback' => nil
+    ],
+    Hash[
+      'arch' => ARCH_ARM,
+      'mode' => MODE_ARM,
+      'code' => RANDOM_CODE,
+      'comment' => "Arm - Skip data",
+      'mnemonic' => nil,
+      'callback' => nil
+    ],
+    Hash[
+      'arch' => ARCH_X86,
+      'mode' => MODE_32,
+      'code' => X86_CODE32,
+      'comment' => "X86 32 (Intel syntax) - Skip data with custom mnemonic",
+      'mnemonic' => 'db',
+      'callback' => nil
+    ],
+    Hash[
+      'arch' => ARCH_ARM,
+      'mode' => MODE_ARM,
+      'code' => RANDOM_CODE,
+      'comment' => "Arm - Skip data with callback",
+      'mnemonic' => 'db',
+      'callback' => lambda {|_,_| 2}
+    ]
+  ]
+
+  def self.uint32 i
+    Integer(i) & 0xffffffff
+  end
+
+  def self.uint64 i
+    Integer(i) & ((1<<64)-1)
+  end
+
+  ours = StringIO.new
+
+  begin
+    cs = Disassembler.new(0,0)
+    print "Skipdata Test: Capstone v #{cs.version.join('.')} - "
+  ensure
+    cs.close
+  end
+
+  #Test through all modes and architectures
+  @platforms.each do |p|
+    ours.puts "****************"
+    ours.puts "Platform: #{p['comment']}"
+    ours.puts "Code: #{p['code'].bytes.map {|b| "0x%.2x" % b}.join(' ')} "
+    ours.puts "Disasm:"
+    cs = Disassembler.new(p['arch'], p['mode'])
+
+    if p['syntax']
+      cs.syntax = p['syntax']
+    end
+
+    cs.decomposer = true
+    cache = nil
+
+    if p['mnemonic']
+      cs.skipdata p['mnemonic'], &(p['callback'])
+    else
+      # Even if callback is nil this turns on skipdata mode
+      cs.skipdata( &(p['callback']) )
+    end
+
+    cs.disasm(p['code'], 0x1000).each {|insn|
+      ours.puts "0x#{insn.address.to_s(16)}:\t#{insn.mnemonic}\t\t#{insn.op_str}"
+      cache = insn.address + insn.size
+    }
+    ours.printf("0x%x:\n", cache)
+    ours.puts
+
+    cs.close
+  end
+
+  ours.rewind
+  theirs = File.binread(__FILE__ + ".SPEC") rescue ''
+  if ours.read == theirs
+    puts "#{__FILE__}: PASS"
+  else
+    ours.rewind
+    puts ours.read
+    puts "#{__FILE__}: FAIL"
+  end
+end