-
Notifications
You must be signed in to change notification settings - Fork 43
/
mips_decomposer_test.go
109 lines (92 loc) · 2.78 KB
/
mips_decomposer_test.go
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
/*
Gapstone is a Go binding for the Capstone disassembly library. For examples,
try reading the *_test.go files.
Library Author: Nguyen Anh Quynh
Binding Author: Ben Nagy
License: BSD style - see LICENSE file for details
(c) 2013 COSEINC. All Rights Reserved.
*/
package gapstone
import (
"bytes"
"fmt"
"io/ioutil"
"testing"
)
func mipsInsnDetail(insn Instruction, engine *Engine, buf *bytes.Buffer) {
if len(insn.Mips.Operands) > 0 {
fmt.Fprintf(buf, "\top_count: %v\n", len(insn.Mips.Operands))
}
for i, op := range insn.Mips.Operands {
switch op.Type {
case MIPS_OP_REG:
fmt.Fprintf(buf, "\t\toperands[%v].type: REG = %v\n", i, engine.RegName(op.Reg))
case MIPS_OP_IMM:
fmt.Fprintf(buf, "\t\toperands[%v].type: IMM = 0x%x\n", i, (uint64(op.Imm)))
case MIPS_OP_MEM:
fmt.Fprintf(buf, "\t\toperands[%v].type: MEM\n", i)
if op.Mem.Base != MIPS_REG_INVALID {
fmt.Fprintf(buf, "\t\t\toperands[%v].mem.base: REG = %s\n",
i, engine.RegName(op.Mem.Base))
}
if op.Mem.Disp != 0 {
fmt.Fprintf(buf, "\t\t\toperands[%v].mem.disp: 0x%x\n", i, uint64(op.Mem.Disp))
}
}
}
fmt.Fprintf(buf, "\n")
}
func TestMips(t *testing.T) {
t.Parallel()
final := new(bytes.Buffer)
spec_file := "mips.SPEC"
for i, platform := range mips_tests {
engine, err := New(platform.arch, platform.mode)
if err != nil {
t.Errorf("Failed to initialize engine %v", err)
return
}
for _, opt := range platform.options {
engine.SetOption(opt.ty, opt.value)
}
if i == 0 {
maj, min := engine.Version()
t.Logf("Arch: Mips. Capstone Version: %v.%v", maj, min)
check := checks[CS_ARCH_MIPS]
if check.grpMax != MIPS_GRP_ENDING ||
check.insMax != MIPS_INS_ENDING ||
check.regMax != MIPS_REG_ENDING {
t.Errorf("Failed in sanity check. Constants out of sync with core.")
} else {
t.Logf("Sanity Check: PASS")
}
}
defer engine.Close()
insns, err := engine.Disasm([]byte(platform.code), address, 0)
if err == nil {
fmt.Fprintf(final, "****************\n")
fmt.Fprintf(final, "Platform: %s\n", platform.comment)
fmt.Fprintf(final, "Code:")
dumpHex([]byte(platform.code), final)
fmt.Fprintf(final, "Disasm:\n")
for _, insn := range insns {
fmt.Fprintf(final, "0x%x:\t%s\t%s\n", insn.Address, insn.Mnemonic, insn.OpStr)
mipsInsnDetail(insn, &engine, final)
}
fmt.Fprintf(final, "0x%x:\n", insns[len(insns)-1].Address+insns[len(insns)-1].Size)
fmt.Fprintf(final, "\n")
} else {
t.Errorf("Disassembly error: %v\n", err)
}
}
spec, err := ioutil.ReadFile(spec_file)
if err != nil {
t.Errorf("Cannot read spec file %v: %v", spec_file, err)
}
if fs := final.String(); string(spec) != fs {
// fmt.Println(fs)
t.Errorf("Output failed to match spec!")
} else {
t.Logf("Clean diff with %v.\n", spec_file)
}
}