crabstone 3.0.3 → 4.0.4

data/test/test_arm.rb.SPEC

@@ -1,275 +0,0 @@
-****************
-Platform: ARM
-Code:0xed 0xff 0xff 0xeb 0x04 0xe0 0x2d 0xe5 0x00 0x00 0x00 0x00 0xe0 0x83 0x22 0xe5 0xf1 0x02 0x03 0x0e 0x00 0x00 0xa0 0xe3 0x02 0x30 0xc1 0xe7 0x00 0x00 0x53 0xe3 0x00 0x02 0x01 0xf1 0x05 0x40 0xd0 0xe8 0xf4 0x80 0x00 0x00 
-Disasm:
-0x1000:	bl	#0xfbc
-	op_count: 1
-		operands[0].type: IMM = 0xfbc
-
-0x1004:	str	lr, [sp, #-4]!
-	op_count: 2
-		operands[0].type: REG = lr
-		operands[1].type: MEM
-			operands[1].mem.base: REG = sp
-			operands[1].mem.disp: 0xfffffffc
-	Write-back: True
-
-0x1008:	andeq	r0, r0, r0
-	op_count: 3
-		operands[0].type: REG = r0
-		operands[1].type: REG = r0
-		operands[2].type: REG = r0
-	Code condition: 1
-
-0x100c:	str	r8, [r2, #-0x3e0]!
-	op_count: 2
-		operands[0].type: REG = r8
-		operands[1].type: MEM
-			operands[1].mem.base: REG = r2
-			operands[1].mem.disp: 0xfffffc20
-	Write-back: True
-
-0x1010:	mcreq	p2, #0, r0, c3, c1, #7
-	op_count: 6
-		operands[0].type: P-IMM = 2
-		operands[1].type: IMM = 0x0
-		operands[2].type: REG = r0
-		operands[3].type: C-IMM = 3
-		operands[4].type: C-IMM = 1
-		operands[5].type: IMM = 0x7
-	Code condition: 1
-
-0x1014:	mov	r0, #0
-	op_count: 2
-		operands[0].type: REG = r0
-		operands[1].type: IMM = 0x0
-
-0x1018:	strb	r3, [r1, r2]
-	op_count: 2
-		operands[0].type: REG = r3
-		operands[1].type: MEM
-			operands[1].mem.base: REG = r1
-			operands[1].mem.index: REG = r2
-
-0x101c:	cmp	r3, #0
-	op_count: 2
-		operands[0].type: REG = r3
-		operands[1].type: IMM = 0x0
-	Update-flags: True
-
-0x1020:	setend	be
-	op_count: 1
-		operands[0].type: SETEND = be
-
-0x1024:	ldm	r0, {r0, r2, lr} ^
-	op_count: 4
-		operands[0].type: REG = r0
-		operands[1].type: REG = r0
-		operands[2].type: REG = r2
-		operands[3].type: REG = lr
-	User-mode: True
-
-0x1028:	strdeq	r8, sb, [r0], -r4
-	op_count: 4
-		operands[0].type: REG = r8
-		operands[1].type: REG = sb
-		operands[2].type: MEM
-			operands[2].mem.base: REG = r0
-		operands[3].type: REG = r4
-		Subtracted: True
-	Code condition: 1
-	Write-back: True
-
-0x102c:
-
-****************
-Platform: Thumb
-Code:0x70 0x47 0xeb 0x46 0x83 0xb0 0xc9 0x68 0x1f 0xb1 0x30 0xbf 0xaf 0xf3 0x20 0x84 
-Disasm:
-0x1000:	bx	lr
-	op_count: 1
-		operands[0].type: REG = lr
-
-0x1002:	mov	fp, sp
-	op_count: 2
-		operands[0].type: REG = fp
-		operands[1].type: REG = sp
-
-0x1004:	sub	sp, #0xc
-	op_count: 2
-		operands[0].type: REG = sp
-		operands[1].type: IMM = 0xc
-
-0x1006:	ldr	r1, [r1, #0xc]
-	op_count: 2
-		operands[0].type: REG = r1
-		operands[1].type: MEM
-			operands[1].mem.base: REG = r1
-			operands[1].mem.disp: 0xc
-
-0x1008:	cbz	r7, #0x1012
-	op_count: 2
-		operands[0].type: REG = r7
-		operands[1].type: IMM = 0x1012
-
-0x100a:	wfi	
-
-0x100c:	cpsie.w	f
-	CPSI-mode: 2
-	CPSI-flag: 1
-
-0x1010:
-
-****************
-Platform: Thumb-mixed
-Code:0xd1 0xe8 0x00 0xf0 0xf0 0x24 0x04 0x07 0x1f 0x3c 0xf2 0xc0 0x00 0x00 0x4f 0xf0 0x00 0x01 0x46 0x6c 
-Disasm:
-0x1000:	tbb	[r1, r0]
-	op_count: 1
-		operands[0].type: MEM
-			operands[0].mem.base: REG = r1
-			operands[0].mem.index: REG = r0
-
-0x1004:	movs	r4, #0xf0
-	op_count: 2
-		operands[0].type: REG = r4
-		operands[1].type: IMM = 0xf0
-	Update-flags: True
-
-0x1006:	lsls	r4, r0, #0x1c
-	op_count: 3
-		operands[0].type: REG = r4
-		operands[1].type: REG = r0
-		operands[2].type: IMM = 0x1c
-	Update-flags: True
-
-0x1008:	subs	r4, #0x1f
-	op_count: 2
-		operands[0].type: REG = r4
-		operands[1].type: IMM = 0x1f
-	Update-flags: True
-
-0x100a:	stm	r0!, {r1, r4, r5, r6, r7}
-	op_count: 6
-		operands[0].type: REG = r0
-		operands[1].type: REG = r1
-		operands[2].type: REG = r4
-		operands[3].type: REG = r5
-		operands[4].type: REG = r6
-		operands[5].type: REG = r7
-	Write-back: True
-
-0x100c:	movs	r0, r0
-	op_count: 2
-		operands[0].type: REG = r0
-		operands[1].type: REG = r0
-	Update-flags: True
-
-0x100e:	mov.w	r1, #0
-	op_count: 2
-		operands[0].type: REG = r1
-		operands[1].type: IMM = 0x0
-
-0x1012:	ldr	r6, [r0, #0x44]
-	op_count: 2
-		operands[0].type: REG = r6
-		operands[1].type: MEM
-			operands[1].mem.base: REG = r0
-			operands[1].mem.disp: 0x44
-
-0x1014:
-
-****************
-Platform: Thumb-2 & register named with numbers
-Code:0x4f 0xf0 0x00 0x01 0xbd 0xe8 0x00 0x88 0xd1 0xe8 0x00 0xf0 0x18 0xbf 0xad 0xbf 0xf3 0xff 0x0b 0x0c 0x86 0xf3 0x00 0x89 0x80 0xf3 0x00 0x8c 0x4f 0xfa 0x99 0xf6 0xd0 0xff 0xa2 0x01 
-Disasm:
-0x1000:	mov.w	r1, #0
-	op_count: 2
-		operands[0].type: REG = r1
-		operands[1].type: IMM = 0x0
-
-0x1004:	pop.w	{r11, pc}
-	op_count: 2
-		operands[0].type: REG = r11
-		operands[1].type: REG = pc
-
-0x1008:	tbb	[r1, r0]
-	op_count: 1
-		operands[0].type: MEM
-			operands[0].mem.base: REG = r1
-			operands[0].mem.index: REG = r0
-
-0x100c:	it	ne
-	Code condition: 2
-
-0x100e:	iteet	ge
-	Code condition: 11
-
-0x1010:	vdupge.8	d16, d11[1]
-	op_count: 2
-		operands[0].type: REG = d16
-		operands[1].type: REG = d11
-		operands[1].vector_index = 1
-	Code condition: 11
-	Vector-size: 8
-
-0x1014:	msrlt	cpsr_fc, r6
-	op_count: 2
-		operands[0].type: SYSREG = 144
-		operands[1].type: REG = r6
-	Code condition: 12
-
-0x1018:	msrlt	apsr_nzcvqg, r0
-	op_count: 2
-		operands[0].type: SYSREG = 259
-		operands[1].type: REG = r0
-	Code condition: 12
-
-0x101c:	sxtbge.w	r6, r9, ror #8
-	op_count: 2
-		operands[0].type: REG = r6
-		operands[1].type: REG = r9
-			Shift: 4 = 8
-	Code condition: 11
-
-0x1020:	vaddw.u16	q8, q8, d18
-	op_count: 3
-		operands[0].type: REG = q8
-		operands[1].type: REG = q8
-		operands[2].type: REG = d18
-	Vector-data: 10
-
-0x1024:
-
-****************
-Platform: Thumb-MClass
-Code:0xef 0xf3 0x02 0x80 
-Disasm:
-0x1000:	mrs	r0, eapsr
-	op_count: 2
-		operands[0].type: REG = r0
-		operands[1].type: SYSREG = 263
-
-0x1004:
-
-****************
-Platform: Arm-V8
-Code:0xe0 0x3b 0xb2 0xee 0x42 0x00 0x01 0xe1 0x51 0xf0 0x7f 0xf5 
-Disasm:
-0x1000:	vcvtt.f64.f16	d3, s1
-	op_count: 2
-		operands[0].type: REG = d3
-		operands[1].type: REG = s1
-	Vector-data: 17
-
-0x1004:	crc32b	r0, r1, r2
-	op_count: 3
-		operands[0].type: REG = r0
-		operands[1].type: REG = r1
-		operands[2].type: REG = r2
-
-0x1008:	dmb	oshld
-	Memory-barrier: 2
-
-0x100c:
-

data/test/test_arm64.rb

@@ -1,150 +0,0 @@
-#! /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 TestARM64
-
-  include Crabstone
-  include Crabstone::ARM64
-
-  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"
-
-  @platforms = [
-    Hash[
-      'arch' => ARCH_ARM64,
-      'mode' => MODE_ARM,
-      'code' => ARM64_CODE,
-      'comment' => "ARM-64"
-    ],
-  ]
-
-  def self.uint32 i
-    Integer(i) & 0xffffffff
-  end
-
-  def self.uint64 i
-    Integer(i) & ((1<<64)-1)
-  end
-
-  def self.print_detail(cs, i, sio)
-
-    # Sanity checks for register equivalency (string, const or numeric literal)
-    if i.reads_reg?( 'sp' ) || i.reads_reg?( 12 ) || i.reads_reg?( REG_SP )
-      unless i.reads_reg?( 'sp' ) && i.reads_reg?( 12 ) && i.reads_reg?( REG_SP )
-        fail "Error in reg read decomposition"
-      end
-    end
-    if i.writes_reg?( 'lr' ) || i.writes_reg?( 10 ) || i.writes_reg?( REG_LR )
-      unless i.writes_reg?( 'lr' ) && i.writes_reg?( 10 ) && i.writes_reg?( REG_LR )
-        fail "Error in reg write decomposition"
-      end
-    end
-
-    if i.op_count > 0 then
-      sio.puts "\top_count: #{i.op_count}"
-      i.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][:reg])}"
-        when OP_IMM
-          sio.puts "\t\toperands[#{idx}].type: IMM = 0x#{self.uint64(op.value).to_s(16)}"
-        when OP_FP
-          sio.puts "\t\toperands[#{idx}].type: FP = 0x#{self.uint32(op[:value][:fp])}"
-        when OP_CIMM
-          sio.puts "\t\toperands[#{idx}].type: C-IMM = #{self.uint32(op[:value][:imm])}"
-        when OP_MEM
-          sio.puts "\t\toperands[#{idx}].type: MEM"
-          if op[:value][:mem][:base].nonzero?
-            sio.puts "\t\t\toperands[#{idx}].mem.base: REG = %s" % cs.reg_name(op.value[:base])
-          end
-          if op[:value][:mem][:index].nonzero?
-            sio.puts "\t\t\toperands[#{idx}].mem.index: REG = %s" % cs.reg_name(op.value[:index])
-          end
-          if op[:value][:mem][:disp].nonzero?
-            sio.puts "\t\t\toperands[#{idx}].mem.disp: 0x#{self.uint32(op.value[:disp]).to_s(16)}"
-          end
-        when OP_REG_MRS
-          sio.puts "\t\toperands[#{idx}].type: REG_MRS = 0x#{op.value.to_s(16)}\n"
-        when OP_REG_MSR
-          sio.puts "\t\toperands[#{idx}].type: REG_MSR = 0x#{op[:value][:reg].to_s(16)}\n"
-        when OP_PSTATE
-          sio.puts "\t\toperands[#{idx}].type: PSTATE = 0x#{uint32(op.value)}\n"
-        when OP_SYS
-          sio.puts "\t\toperands[#{idx}].type: SYS = 0x#{uint32(op.value)}\n"
-        when OP_PREFETCH
-          sio.puts "\t\toperands[#{idx}].type: PREFETCH = 0x#{uint32(op.value)}\n"
-        when OP_BARRIER
-          sio.puts "\t\toperands[#{idx}].type: BARRIER = 0x#{uint32(op.value)}\n"
-        else
-          # unknown type - test will fail anyway
-        end
-
-        sio.puts "\t\t\tShift: type = #{op.shift_type}, value = #{op.shift_value}\n" if op.shift?
-        sio.puts "\t\t\tVector Arrangement Specifier: 0x#{uint32(op[:vas])}\n" if op[:vas].nonzero?
-        sio.puts "\t\t\tVector Element Size Specifier: #{op[:vess]}\n" if op[:vess].nonzero?
-        sio.puts"\t\t\tVector Index: #{op[:vector_index]}\n" if op[:vector_index] != -1
-        sio.puts "\t\t\tExt: #{op[:ext]}\n" if op[:ext].nonzero?
-      end
-    end
-
-    sio.puts "\tUpdate-flags: True" if i.update_flags
-    sio.puts "\tWrite-back: True" if i.writeback
-    if not [CC_AL, CC_INVALID].include? i.cc
-      sio.puts "\tCode-condition: #{i.cc}"
-    end
-
-    sio.puts
-
-  end
-
-  ours = StringIO.new
-
-  begin
-    cs = Disassembler.new(0,0)
-    print "ARM64 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
-    cs.disasm(p['code'], 0x2c).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_arm64.rb.SPEC

@@ -1,116 +0,0 @@
-****************
-Platform: ARM-64
-Code: 0x09 0x00 0x38 0xd5 0xbf 0x40 0x00 0xd5 0x0c 0x05 0x13 0xd5 0x20 0x50 0x02 0x0e 0x20 0xe4 0x3d 0x0f 0x00 0x18 0xa0 0x5f 0xa2 0x00 0xae 0x9e 0x9f 0x37 0x03 0xd5 0xbf 0x33 0x03 0xd5 0xdf 0x3f 0x03 0xd5 0x21 0x7c 0x02 0x9b 0x21 0x7c 0x00 0x53 0x00 0x40 0x21 0x4b 0xe1 0x0b 0x40 0xb9 0x20 0x04 0x81 0xda 0x20 0x08 0x02 0x8b 0x10 0x5b 0xe8 0x3c 
-Disasm:
-0x2c:	mrs	x9, midr_el1
-	op_count: 2
-		operands[0].type: REG = x9
-		operands[1].type: REG_MRS = 0xc000
-
-0x30:	msr	spsel, #0
-	op_count: 2
-		operands[0].type: PSTATE = 0x5
-		operands[1].type: IMM = 0x0
-	Update-flags: True
-
-0x34:	msr	dbgdtrtx_el0, x12
-	op_count: 2
-		operands[0].type: REG_MSR = 0x9828
-		operands[1].type: REG = x12
-
-0x38:	tbx	v0.8b, {v1.16b, v2.16b, v3.16b}, v2.8b
-	op_count: 5
-		operands[0].type: REG = v0
-			Vector Arrangement Specifier: 0x1
-		operands[1].type: REG = v1
-			Vector Arrangement Specifier: 0x2
-		operands[2].type: REG = v2
-			Vector Arrangement Specifier: 0x2
-		operands[3].type: REG = v3
-			Vector Arrangement Specifier: 0x2
-		operands[4].type: REG = v2
-			Vector Arrangement Specifier: 0x1
-
-0x3c:	scvtf	v0.2s, v1.2s, #3
-	op_count: 3
-		operands[0].type: REG = v0
-			Vector Arrangement Specifier: 0x5
-		operands[1].type: REG = v1
-			Vector Arrangement Specifier: 0x5
-		operands[2].type: IMM = 0x3
-
-0x40:	fmla	s0, s0, v0.s[3]
-	op_count: 3
-		operands[0].type: REG = s0
-		operands[1].type: REG = s0
-		operands[2].type: REG = v0
-			Vector Element Size Specifier: 3
-			Vector Index: 3
-
-0x44:	fmov	x2, v5.d[1]
-	op_count: 2
-		operands[0].type: REG = x2
-		operands[1].type: REG = v5
-			Vector Element Size Specifier: 4
-			Vector Index: 1
-
-0x48:	dsb	nsh
-	op_count: 1
-		operands[0].type: BARRIER = 0x7
-
-0x4c:	dmb	osh
-	op_count: 1
-		operands[0].type: BARRIER = 0x3
-
-0x50:	isb	
-
-0x54:	mul	x1, x1, x2
-	op_count: 3
-		operands[0].type: REG = x1
-		operands[1].type: REG = x1
-		operands[2].type: REG = x2
-
-0x58:	lsr	w1, w1, #0
-	op_count: 3
-		operands[0].type: REG = w1
-		operands[1].type: REG = w1
-		operands[2].type: IMM = 0x0
-
-0x5c:	sub	w0, w0, w1, uxtw
-	op_count: 3
-		operands[0].type: REG = w0
-		operands[1].type: REG = w0
-		operands[2].type: REG = w1
-			Ext: 3
-
-0x60:	ldr	w1, [sp, #8]
-	op_count: 2
-		operands[0].type: REG = w1
-		operands[1].type: MEM
-			operands[1].mem.base: REG = sp
-			operands[1].mem.disp: 0x8
-
-0x64:	cneg	x0, x1, ne
-	op_count: 2
-		operands[0].type: REG = x0
-		operands[1].type: REG = x1
-	Code-condition: 2
-
-0x68:	add	x0, x1, x2, lsl #2
-	op_count: 3
-		operands[0].type: REG = x0
-		operands[1].type: REG = x1
-		operands[2].type: REG = x2
-			Shift: type = 1, value = 2
-
-0x6c:	ldr	q16, [x24, w8, uxtw #4]
-	op_count: 2
-		operands[0].type: REG = q16
-		operands[1].type: MEM
-			operands[1].mem.base: REG = x24
-			operands[1].mem.index: REG = w8
-			Shift: type = 1, value = 4
-			Ext: 3
-
-0x70:
-