metasm 1.0.0 → 1.0.5

Sign up to get free protection for your applications and to get access to all the features.
Files changed (276) hide show
  1. checksums.yaml +7 -0
  2. checksums.yaml.gz.sig +0 -0
  3. data.tar.gz.sig +3 -0
  4. data/.gitignore +3 -0
  5. data/.hgtags +3 -0
  6. data/Gemfile +3 -0
  7. data/INSTALL +61 -0
  8. data/LICENCE +458 -0
  9. data/README +29 -21
  10. data/Rakefile +10 -0
  11. data/TODO +10 -12
  12. data/doc/code_organisation.txt +3 -1
  13. data/doc/core/DynLdr.txt +247 -0
  14. data/doc/core/ExeFormat.txt +43 -0
  15. data/doc/core/Expression.txt +220 -0
  16. data/doc/core/GNUExports.txt +27 -0
  17. data/doc/core/Ia32.txt +236 -0
  18. data/doc/core/SerialStruct.txt +108 -0
  19. data/doc/core/VirtualString.txt +145 -0
  20. data/doc/core/WindowsExports.txt +61 -0
  21. data/doc/core/index.txt +1 -0
  22. data/doc/style.css +6 -3
  23. data/doc/usage/debugger.txt +327 -0
  24. data/doc/usage/index.txt +1 -0
  25. data/doc/use_cases.txt +2 -2
  26. data/metasm.gemspec +23 -0
  27. data/{lib/metasm.rb → metasm.rb} +15 -3
  28. data/{lib/metasm → metasm}/compile_c.rb +15 -9
  29. data/metasm/cpu/arc.rb +8 -0
  30. data/metasm/cpu/arc/decode.rb +404 -0
  31. data/metasm/cpu/arc/main.rb +191 -0
  32. data/metasm/cpu/arc/opcodes.rb +588 -0
  33. data/metasm/cpu/arm.rb +14 -0
  34. data/{lib/metasm → metasm/cpu}/arm/debug.rb +2 -2
  35. data/{lib/metasm → metasm/cpu}/arm/decode.rb +15 -18
  36. data/{lib/metasm → metasm/cpu}/arm/encode.rb +23 -8
  37. data/{lib/metasm → metasm/cpu}/arm/main.rb +3 -6
  38. data/metasm/cpu/arm/opcodes.rb +324 -0
  39. data/{lib/metasm → metasm/cpu}/arm/parse.rb +25 -13
  40. data/{lib/metasm → metasm/cpu}/arm/render.rb +2 -2
  41. data/metasm/cpu/arm64.rb +15 -0
  42. data/metasm/cpu/arm64/debug.rb +38 -0
  43. data/metasm/cpu/arm64/decode.rb +285 -0
  44. data/metasm/cpu/arm64/encode.rb +41 -0
  45. data/metasm/cpu/arm64/main.rb +105 -0
  46. data/metasm/cpu/arm64/opcodes.rb +232 -0
  47. data/metasm/cpu/arm64/parse.rb +20 -0
  48. data/metasm/cpu/arm64/render.rb +95 -0
  49. data/{lib/metasm/mips/compile_c.rb → metasm/cpu/bpf.rb} +4 -2
  50. data/metasm/cpu/bpf/decode.rb +110 -0
  51. data/metasm/cpu/bpf/main.rb +60 -0
  52. data/metasm/cpu/bpf/opcodes.rb +81 -0
  53. data/metasm/cpu/bpf/render.rb +30 -0
  54. data/{lib/metasm/ppc.rb → metasm/cpu/cy16.rb} +2 -4
  55. data/metasm/cpu/cy16/decode.rb +247 -0
  56. data/metasm/cpu/cy16/main.rb +63 -0
  57. data/metasm/cpu/cy16/opcodes.rb +78 -0
  58. data/metasm/cpu/cy16/render.rb +30 -0
  59. data/metasm/cpu/dalvik.rb +11 -0
  60. data/{lib/metasm → metasm/cpu}/dalvik/decode.rb +34 -34
  61. data/{lib/metasm → metasm/cpu}/dalvik/main.rb +71 -4
  62. data/{lib/metasm → metasm/cpu}/dalvik/opcodes.rb +21 -12
  63. data/{lib/metasm/mips.rb → metasm/cpu/ebpf.rb} +3 -4
  64. data/metasm/cpu/ebpf/debug.rb +61 -0
  65. data/metasm/cpu/ebpf/decode.rb +142 -0
  66. data/metasm/cpu/ebpf/main.rb +58 -0
  67. data/metasm/cpu/ebpf/opcodes.rb +97 -0
  68. data/metasm/cpu/ebpf/render.rb +36 -0
  69. data/metasm/cpu/ia32.rb +17 -0
  70. data/{lib/metasm → metasm/cpu}/ia32/compile_c.rb +23 -9
  71. data/{lib/metasm → metasm/cpu}/ia32/debug.rb +44 -6
  72. data/{lib/metasm → metasm/cpu}/ia32/decode.rb +342 -128
  73. data/{lib/metasm → metasm/cpu}/ia32/decompile.rb +75 -53
  74. data/{lib/metasm → metasm/cpu}/ia32/encode.rb +19 -13
  75. data/{lib/metasm → metasm/cpu}/ia32/main.rb +66 -8
  76. data/metasm/cpu/ia32/opcodes.rb +1424 -0
  77. data/{lib/metasm → metasm/cpu}/ia32/parse.rb +55 -17
  78. data/{lib/metasm → metasm/cpu}/ia32/render.rb +32 -5
  79. data/metasm/cpu/mcs51.rb +8 -0
  80. data/metasm/cpu/mcs51/decode.rb +99 -0
  81. data/metasm/cpu/mcs51/main.rb +87 -0
  82. data/metasm/cpu/mcs51/opcodes.rb +120 -0
  83. data/metasm/cpu/mips.rb +14 -0
  84. data/metasm/cpu/mips/debug.rb +42 -0
  85. data/{lib/metasm → metasm/cpu}/mips/decode.rb +59 -38
  86. data/{lib/metasm → metasm/cpu}/mips/encode.rb +4 -3
  87. data/{lib/metasm → metasm/cpu}/mips/main.rb +13 -6
  88. data/{lib/metasm → metasm/cpu}/mips/opcodes.rb +87 -18
  89. data/{lib/metasm → metasm/cpu}/mips/parse.rb +1 -1
  90. data/{lib/metasm → metasm/cpu}/mips/render.rb +1 -1
  91. data/{lib/metasm/dalvik.rb → metasm/cpu/msp430.rb} +1 -1
  92. data/metasm/cpu/msp430/decode.rb +243 -0
  93. data/metasm/cpu/msp430/main.rb +62 -0
  94. data/metasm/cpu/msp430/opcodes.rb +101 -0
  95. data/metasm/cpu/openrisc.rb +11 -0
  96. data/metasm/cpu/openrisc/debug.rb +106 -0
  97. data/metasm/cpu/openrisc/decode.rb +182 -0
  98. data/metasm/cpu/openrisc/decompile.rb +350 -0
  99. data/metasm/cpu/openrisc/main.rb +70 -0
  100. data/metasm/cpu/openrisc/opcodes.rb +109 -0
  101. data/metasm/cpu/openrisc/render.rb +37 -0
  102. data/{lib/metasm → metasm/cpu}/pic16c/decode.rb +6 -7
  103. data/{lib/metasm → metasm/cpu}/pic16c/main.rb +0 -0
  104. data/{lib/metasm → metasm/cpu}/pic16c/opcodes.rb +1 -1
  105. data/metasm/cpu/ppc.rb +11 -0
  106. data/{lib/metasm → metasm/cpu}/ppc/decode.rb +18 -37
  107. data/{lib/metasm → metasm/cpu}/ppc/decompile.rb +3 -3
  108. data/{lib/metasm → metasm/cpu}/ppc/encode.rb +2 -2
  109. data/{lib/metasm → metasm/cpu}/ppc/main.rb +23 -18
  110. data/{lib/metasm → metasm/cpu}/ppc/opcodes.rb +11 -6
  111. data/metasm/cpu/ppc/parse.rb +55 -0
  112. data/metasm/cpu/python.rb +8 -0
  113. data/metasm/cpu/python/decode.rb +116 -0
  114. data/metasm/cpu/python/main.rb +36 -0
  115. data/metasm/cpu/python/opcodes.rb +180 -0
  116. data/{lib/metasm → metasm/cpu}/sh4.rb +1 -1
  117. data/{lib/metasm → metasm/cpu}/sh4/decode.rb +50 -23
  118. data/{lib/metasm → metasm/cpu}/sh4/main.rb +38 -27
  119. data/{lib/metasm → metasm/cpu}/sh4/opcodes.rb +7 -8
  120. data/metasm/cpu/st20.rb +9 -0
  121. data/metasm/cpu/st20/decode.rb +173 -0
  122. data/metasm/cpu/st20/decompile.rb +283 -0
  123. data/metasm/cpu/st20/main.rb +37 -0
  124. data/metasm/cpu/st20/opcodes.rb +140 -0
  125. data/{lib/metasm/arm.rb → metasm/cpu/webasm.rb} +4 -5
  126. data/metasm/cpu/webasm/debug.rb +31 -0
  127. data/metasm/cpu/webasm/decode.rb +321 -0
  128. data/metasm/cpu/webasm/decompile.rb +386 -0
  129. data/metasm/cpu/webasm/encode.rb +104 -0
  130. data/metasm/cpu/webasm/main.rb +81 -0
  131. data/metasm/cpu/webasm/opcodes.rb +214 -0
  132. data/metasm/cpu/x86_64.rb +15 -0
  133. data/{lib/metasm → metasm/cpu}/x86_64/compile_c.rb +40 -25
  134. data/{lib/metasm → metasm/cpu}/x86_64/debug.rb +4 -4
  135. data/{lib/metasm → metasm/cpu}/x86_64/decode.rb +58 -15
  136. data/{lib/metasm → metasm/cpu}/x86_64/encode.rb +59 -28
  137. data/{lib/metasm → metasm/cpu}/x86_64/main.rb +18 -6
  138. data/metasm/cpu/x86_64/opcodes.rb +138 -0
  139. data/{lib/metasm → metasm/cpu}/x86_64/parse.rb +12 -4
  140. data/metasm/cpu/x86_64/render.rb +35 -0
  141. data/metasm/cpu/z80.rb +9 -0
  142. data/metasm/cpu/z80/decode.rb +286 -0
  143. data/metasm/cpu/z80/main.rb +67 -0
  144. data/metasm/cpu/z80/opcodes.rb +224 -0
  145. data/metasm/cpu/z80/render.rb +48 -0
  146. data/{lib/metasm/os/main.rb → metasm/debug.rb} +201 -407
  147. data/{lib/metasm → metasm}/decode.rb +104 -24
  148. data/{lib/metasm → metasm}/decompile.rb +804 -478
  149. data/{lib/metasm → metasm}/disassemble.rb +385 -170
  150. data/{lib/metasm → metasm}/disassemble_api.rb +684 -105
  151. data/{lib/metasm → metasm}/dynldr.rb +231 -138
  152. data/{lib/metasm → metasm}/encode.rb +20 -5
  153. data/{lib/metasm → metasm}/exe_format/a_out.rb +9 -6
  154. data/{lib/metasm → metasm}/exe_format/autoexe.rb +3 -0
  155. data/{lib/metasm → metasm}/exe_format/bflt.rb +57 -27
  156. data/{lib/metasm → metasm}/exe_format/coff.rb +35 -7
  157. data/{lib/metasm → metasm}/exe_format/coff_decode.rb +70 -23
  158. data/{lib/metasm → metasm}/exe_format/coff_encode.rb +24 -22
  159. data/{lib/metasm → metasm}/exe_format/dex.rb +26 -8
  160. data/{lib/metasm → metasm}/exe_format/dol.rb +1 -0
  161. data/{lib/metasm → metasm}/exe_format/elf.rb +108 -58
  162. data/{lib/metasm → metasm}/exe_format/elf_decode.rb +202 -36
  163. data/{lib/metasm → metasm}/exe_format/elf_encode.rb +126 -32
  164. data/metasm/exe_format/gb.rb +65 -0
  165. data/metasm/exe_format/javaclass.rb +424 -0
  166. data/{lib/metasm → metasm}/exe_format/macho.rb +218 -16
  167. data/{lib/metasm → metasm}/exe_format/main.rb +28 -3
  168. data/{lib/metasm → metasm}/exe_format/mz.rb +2 -0
  169. data/{lib/metasm → metasm}/exe_format/nds.rb +7 -4
  170. data/{lib/metasm → metasm}/exe_format/pe.rb +96 -11
  171. data/metasm/exe_format/pyc.rb +167 -0
  172. data/{lib/metasm → metasm}/exe_format/serialstruct.rb +67 -14
  173. data/{lib/metasm → metasm}/exe_format/shellcode.rb +7 -3
  174. data/metasm/exe_format/shellcode_rwx.rb +114 -0
  175. data/metasm/exe_format/swf.rb +205 -0
  176. data/metasm/exe_format/wasm.rb +402 -0
  177. data/{lib/metasm → metasm}/exe_format/xcoff.rb +7 -7
  178. data/metasm/exe_format/zip.rb +335 -0
  179. data/metasm/gui.rb +13 -0
  180. data/{lib/metasm → metasm}/gui/cstruct.rb +35 -41
  181. data/{lib/metasm → metasm}/gui/dasm_coverage.rb +11 -11
  182. data/{lib/metasm → metasm}/gui/dasm_decomp.rb +177 -114
  183. data/{lib/metasm → metasm}/gui/dasm_funcgraph.rb +0 -0
  184. data/metasm/gui/dasm_graph.rb +1754 -0
  185. data/{lib/metasm → metasm}/gui/dasm_hex.rb +16 -12
  186. data/{lib/metasm → metasm}/gui/dasm_listing.rb +43 -28
  187. data/{lib/metasm → metasm}/gui/dasm_main.rb +360 -77
  188. data/{lib/metasm → metasm}/gui/dasm_opcodes.rb +5 -19
  189. data/{lib/metasm → metasm}/gui/debug.rb +109 -34
  190. data/{lib/metasm → metasm}/gui/gtk.rb +174 -44
  191. data/{lib/metasm → metasm}/gui/qt.rb +14 -4
  192. data/{lib/metasm → metasm}/gui/win32.rb +180 -43
  193. data/{lib/metasm → metasm}/gui/x11.rb +59 -59
  194. data/{lib/metasm → metasm}/main.rb +421 -286
  195. data/metasm/os/emulator.rb +175 -0
  196. data/{lib/metasm/os/remote.rb → metasm/os/gdbremote.rb} +146 -54
  197. data/{lib/metasm → metasm}/os/gnu_exports.rb +1 -1
  198. data/{lib/metasm → metasm}/os/linux.rb +628 -151
  199. data/metasm/os/main.rb +335 -0
  200. data/{lib/metasm → metasm}/os/windows.rb +151 -58
  201. data/{lib/metasm → metasm}/os/windows_exports.rb +141 -0
  202. data/{lib/metasm → metasm}/parse.rb +49 -36
  203. data/{lib/metasm → metasm}/parse_c.rb +405 -246
  204. data/{lib/metasm → metasm}/preprocessor.rb +71 -41
  205. data/{lib/metasm → metasm}/render.rb +14 -38
  206. data/misc/hexdump.rb +4 -3
  207. data/misc/lint.rb +58 -0
  208. data/misc/objdiff.rb +4 -1
  209. data/misc/objscan.rb +1 -1
  210. data/misc/openrisc-parser.rb +79 -0
  211. data/misc/txt2html.rb +9 -7
  212. data/samples/bindiff.rb +3 -4
  213. data/samples/dasm-plugins/bindiff.rb +15 -0
  214. data/samples/dasm-plugins/bookmark.rb +133 -0
  215. data/samples/dasm-plugins/c_constants.rb +57 -0
  216. data/samples/dasm-plugins/colortheme_solarized.rb +125 -0
  217. data/samples/dasm-plugins/cppobj_funcall.rb +60 -0
  218. data/samples/dasm-plugins/dasm_all.rb +70 -0
  219. data/samples/dasm-plugins/demangle_cpp.rb +31 -0
  220. data/samples/dasm-plugins/deobfuscate.rb +251 -0
  221. data/samples/dasm-plugins/dump_text.rb +35 -0
  222. data/samples/dasm-plugins/export_graph_svg.rb +86 -0
  223. data/samples/dasm-plugins/findgadget.rb +75 -0
  224. data/samples/dasm-plugins/hl_opcode.rb +32 -0
  225. data/samples/dasm-plugins/hotfix_gtk_dbg.rb +19 -0
  226. data/samples/dasm-plugins/imm2off.rb +34 -0
  227. data/samples/dasm-plugins/match_libsigs.rb +93 -0
  228. data/samples/dasm-plugins/patch_file.rb +95 -0
  229. data/samples/dasm-plugins/scanfuncstart.rb +36 -0
  230. data/samples/dasm-plugins/scanxrefs.rb +29 -0
  231. data/samples/dasm-plugins/selfmodify.rb +197 -0
  232. data/samples/dasm-plugins/stringsxrefs.rb +28 -0
  233. data/samples/dasmnavig.rb +1 -1
  234. data/samples/dbg-apihook.rb +24 -9
  235. data/samples/dbg-plugins/heapscan.rb +283 -0
  236. data/samples/dbg-plugins/heapscan/compiled_heapscan_lin.c +155 -0
  237. data/samples/dbg-plugins/heapscan/compiled_heapscan_win.c +128 -0
  238. data/samples/dbg-plugins/heapscan/graphheap.rb +616 -0
  239. data/samples/dbg-plugins/heapscan/heapscan.rb +709 -0
  240. data/samples/dbg-plugins/heapscan/winheap.h +174 -0
  241. data/samples/dbg-plugins/heapscan/winheap7.h +307 -0
  242. data/samples/dbg-plugins/trace_func.rb +214 -0
  243. data/samples/disassemble-gui.rb +48 -7
  244. data/samples/disassemble.rb +31 -6
  245. data/samples/dump_upx.rb +24 -12
  246. data/samples/dynamic_ruby.rb +35 -27
  247. data/samples/elfencode.rb +15 -0
  248. data/samples/emubios.rb +251 -0
  249. data/samples/emudbg.rb +127 -0
  250. data/samples/exeencode.rb +6 -5
  251. data/samples/factorize-headers-peimports.rb +1 -1
  252. data/samples/lindebug.rb +186 -391
  253. data/samples/metasm-shell.rb +68 -57
  254. data/samples/peldr.rb +2 -2
  255. data/tests/all.rb +1 -1
  256. data/tests/arc.rb +26 -0
  257. data/tests/dynldr.rb +22 -4
  258. data/tests/expression.rb +57 -0
  259. data/tests/graph_layout.rb +285 -0
  260. data/tests/ia32.rb +80 -26
  261. data/tests/mcs51.rb +27 -0
  262. data/tests/mips.rb +10 -3
  263. data/tests/preprocessor.rb +18 -0
  264. data/tests/x86_64.rb +66 -18
  265. metadata +465 -219
  266. metadata.gz.sig +2 -0
  267. data/lib/metasm/arm/opcodes.rb +0 -177
  268. data/lib/metasm/gui.rb +0 -23
  269. data/lib/metasm/gui/dasm_graph.rb +0 -1354
  270. data/lib/metasm/ia32.rb +0 -14
  271. data/lib/metasm/ia32/opcodes.rb +0 -872
  272. data/lib/metasm/ppc/parse.rb +0 -52
  273. data/lib/metasm/x86_64.rb +0 -12
  274. data/lib/metasm/x86_64/opcodes.rb +0 -118
  275. data/samples/gdbclient.rb +0 -583
  276. data/samples/rubstop.rb +0 -399
@@ -0,0 +1,14 @@
1
+ # This file is part of Metasm, the Ruby assembly manipulation suite
2
+ # Copyright (C) 2006-2009 Yoann GUILLOT
3
+ #
4
+ # Licence is LGPL, see LICENCE in the top-level directory
5
+
6
+ class Metasm::MIPS < Metasm::CPU
7
+ end
8
+
9
+ require 'metasm/main'
10
+ require 'metasm/cpu/mips/parse'
11
+ require 'metasm/cpu/mips/encode'
12
+ require 'metasm/cpu/mips/decode'
13
+ require 'metasm/cpu/mips/render'
14
+ require 'metasm/cpu/mips/debug'
@@ -0,0 +1,42 @@
1
+ # This file is part of Metasm, the Ruby assembly manipulation suite
2
+ # Copyright (C) 2006-2009 Yoann GUILLOT
3
+ #
4
+ # Licence is LGPL, see LICENCE in the top-level directory
5
+
6
+
7
+ require 'metasm/main'
8
+
9
+ module Metasm
10
+ class MIPS
11
+ def dbg_register_pc
12
+ @dbg_register_pc ||= :pc
13
+ end
14
+ def dbg_register_flags
15
+ @dbg_register_flags ||= :flags
16
+ end
17
+
18
+ def dbg_register_list
19
+ @dbg_register_list ||= %w[z0 at v0 v1 a0 a1 a2 a3
20
+ t0 t1 t2 t3 t4 t5 t6 t7
21
+ s0 s1 s2 s3 s4 s5 s6 s7
22
+ t8 t9 k0 k1 gp sp fp ra
23
+ sr mullo mulhi badva cause pc].map { |r| r.to_sym }
24
+ end
25
+
26
+ def dbg_flag_list
27
+ @dbg_flag_list ||= []
28
+ end
29
+
30
+ def dbg_register_size
31
+ @dbg_register_size ||= Hash.new(@size)
32
+ end
33
+
34
+ def dbg_need_stepover(dbg, addr, di)
35
+ di and di.opcode.props[:saveip]
36
+ end
37
+
38
+ def dbg_end_stepout(dbg, addr, di)
39
+ di and di.opcode.name == 'foobar' # TODO
40
+ end
41
+ end
42
+ end
@@ -4,7 +4,7 @@
4
4
  # Licence is LGPL, see LICENCE in the top-level directory
5
5
 
6
6
 
7
- require 'metasm/mips/opcodes'
7
+ require 'metasm/cpu/mips/opcodes'
8
8
  require 'metasm/decode'
9
9
 
10
10
  module Metasm
@@ -35,30 +35,46 @@ class MIPS
35
35
  end
36
36
 
37
37
  def decode_findopcode(edata)
38
- return if edata.ptr >= edata.data.length
39
- # TODO handle relocations !!
40
38
  di = DecodedInstruction.new(self)
41
39
  val = edata.decode_imm(:u32, @endianness)
42
40
  edata.ptr -= 4
43
- di if di.opcode = @bin_lookaside[val >> 24].find { |op|
44
- (op.bin & op.bin_mask) == (val & op.bin_mask)
45
- }
41
+ if val.kind_of?(Expression)
42
+ # relocations
43
+ hval = Expression[val, :&, 0xff000000].reduce
44
+ if hval.kind_of?(Expression)
45
+ # reloc_i26
46
+ if hval.kind_of?(Expression) and pat = hval.match(Expression[['a', :&, 0x300_0000], :|, 'b'], 'a', 'b')
47
+ hval = pat['b']
48
+ end
49
+ end
50
+ di if di.opcode = @bin_lookaside[hval >> 24].find { |op|
51
+ (op.bin & op.bin_mask) == Expression[val, :&, op.bin_mask].reduce
52
+ }
53
+ else
54
+ di if di.opcode = @bin_lookaside[val >> 24].find { |op|
55
+ (op.bin & op.bin_mask) == (val & op.bin_mask)
56
+ }
57
+ end
46
58
  end
47
59
 
48
60
  def decode_instr_op(edata, di)
49
- # TODO handle relocations !!
50
61
  before_ptr = edata.ptr
51
62
  op = di.opcode
52
63
  di.instruction.opname = op.name
53
64
  val = edata.decode_imm(:u32, @endianness)
54
65
 
55
66
  field_val = lambda { |f|
56
- r = (val >> @fields_shift[f]) & @fields_mask[f]
57
- # XXX do that cleanly (Expr.decode_imm)
67
+ if val.kind_of?(Expression)
68
+ r = Expression[[val, :>>, @fields_shift[f]], :&, @fields_mask[f]].reduce
69
+ else
70
+ r = (val >> @fields_shift[f]) & @fields_mask[f]
71
+ end
72
+
73
+ next r if r.kind_of?(Expression)
58
74
  case f
59
- when :sa, :i16, :it; r = Expression.make_signed(r, 16)
75
+ when :msbd; r += 1
76
+ when :i16; r = Expression.make_signed(r, 16)
60
77
  when :i20; r = Expression.make_signed(r, 20)
61
- when :i26; r = Expression.make_signed(r, 26)
62
78
  else r
63
79
  end
64
80
  }
@@ -66,15 +82,23 @@ class MIPS
66
82
  op.args.each { |a|
67
83
  di.instruction.args << case a
68
84
  when :rs, :rt, :rd; Reg.new field_val[a]
69
- when :sa, :i16, :i20, :i26, :it; Expression[field_val[a]]
70
- when :rs_i16; Memref.new Reg.new(field_val[:rs]), Expression[field_val[:i16]]
85
+ when :sa, :i16, :i20, :i26, :it, :msbd, :sel, :idb; Expression[field_val[a]]
86
+ when :rs_i16
87
+ len = 32
88
+ len = 64 if op.props[:m64]
89
+ len = 16 if op.props[:mi16] or op.props[:mu16]
90
+ len = 8 if op.props[:mi8 ] or op.props[:mu8]
91
+ Memref.new Reg.new(field_val[:rs]), Expression[field_val[:i16]], len
71
92
  when :ft; FpReg.new field_val[a]
72
- when :idm1, :idb; Expression['unsupported']
93
+ when :idm1; Expression['unsupported']
73
94
  else raise SyntaxError, "Internal error: invalid argument #{a} in #{op.name}"
74
95
  end
75
96
  }
97
+
76
98
  di.bin_length += edata.ptr - before_ptr
77
99
 
100
+ return false if edata.ptr > edata.length
101
+
78
102
  di
79
103
  end
80
104
 
@@ -86,7 +110,13 @@ class MIPS
86
110
  if di.opcode.props[:setip] and di.instruction.args.last.kind_of? Expression and di.opcode.name[0] != ?t
87
111
  delta = Expression[di.instruction.args.last, :<<, 2].reduce
88
112
  if di.opcode.args.include? :i26
89
- arg = Expression[[[addr, :+, di.bin_length], :&, 0xfc00_0000], :+, delta].reduce
113
+ # absolute jump in the 0x3ff_ffff region surrounding next_pc
114
+ if delta.kind_of? Expression and delta.op == :& and delta.rexpr == 0xfff_fffc
115
+ # relocated arg: assume the linker mapped so that instr&target are in the same region
116
+ arg = Expression[delta.lexpr].reduce
117
+ else
118
+ arg = Expression[[[addr, :+, di.bin_length], :&, 0xf000_0000], :+, delta].reduce
119
+ end
90
120
  else
91
121
  arg = Expression[[addr, :+, di.bin_length], :+, delta].reduce
92
122
  end
@@ -96,12 +126,6 @@ class MIPS
96
126
  di
97
127
  end
98
128
 
99
- # hash opname => lambda { |di, *sym_args| binding }
100
- def backtrace_binding
101
- @backtrace_binding ||= init_backtrace_binding
102
- end
103
- def backtrace_binding=(b) @backtrace_binding = b end
104
-
105
129
  def init_backtrace_binding
106
130
  @backtrace_binding ||= {}
107
131
  opcode_list.map { |ol| ol.name }.uniq.each { |op|
@@ -112,18 +136,19 @@ class MIPS
112
136
  { :$ra => Expression[Expression[di.address, :+, 2*di.bin_length].reduce] }
113
137
  }
114
138
  when 'nop', 'j', 'jr', /^b/; lambda { |di, *a| {} }
115
- when 'lui'; lambda { |di, a0, a1| { a0 => Expression[a1, :<<, 16] } }
139
+ when 'lui'; lambda { |di, a0, a1| { a0 => Expression[[a1, :&, 0xffff], :<<, 16] } }
116
140
  when 'add', 'addu', 'addi', 'addiu'; lambda { |di, a0, a1, a2| { a0 => Expression[a1, :+, a2] } } # XXX addiu $sp, -40h should be addiu $sp, 0xffc0 from the books, but..
117
141
  when 'sub', 'subu'; lambda { |di, a0, a1, a2| { a0 => Expression[a1, :-, a2] } }
118
142
  when 'slt', 'slti'; lambda { |di, a0, a1, a2| { a0 => Expression[a1, :<, a2] } }
119
143
  when 'and', 'andi'; lambda { |di, a0, a1, a2| { a0 => Expression[a1, :&, a2] } }
120
144
  when 'or', 'ori'; lambda { |di, a0, a1, a2| { a0 => Expression[a1, :|, a2] } }
121
145
  when 'nor'; lambda { |di, a0, a1, a2| { a0 => Expression[:~, [a1, :|, a2]] } }
146
+ when 'not'; lambda { |di, a0, a1| { a0 => Expression[:~, a1] } }
122
147
  when 'xor'; lambda { |di, a0, a1, a2| { a0 => Expression[a1, :^, a2] } }
123
148
  when 'sll', 'sllv'; lambda { |di, a0, a1, a2| { a0 => Expression[a1, :>>, a2] } }
124
149
  when 'srl', 'srlv', 'sra', 'srav'; lambda { |di, a0, a1, a2| { a0 => Expression[a1, :<<, a2] } } # XXX sign-extend
125
- when 'lw'; lambda { |di, a0, a1| { a0 => Expression[a1] } }
126
- when 'sw'; lambda { |di, a0, a1| { a1 => Expression[a0] } }
150
+ when 'lw', 'lwl', 'lwr'; lambda { |di, a0, a1| { a0 => Expression[a1] } }
151
+ when 'sw', 'swl', 'swr'; lambda { |di, a0, a1| { a1 => Expression[a0] } }
127
152
  when 'lh', 'lhu'; lambda { |di, a0, a1| { a0 => Expression[a1] } } # XXX sign-extend
128
153
  when 'sh'; lambda { |di, a0, a1| { a1 => Expression[a0] } }
129
154
  when 'lb', 'lbu'; lambda { |di, a0, a1| { a0 => Expression[a1] } }
@@ -131,11 +156,12 @@ class MIPS
131
156
  when /^slti?u?/; lambda { |di, a0, a1, a2| { a0 => Expression[a1, :<, a2] } } # XXX signedness
132
157
  when 'mfhi'; lambda { |di, a0| { a0 => Expression[:hi] } }
133
158
  when 'mflo'; lambda { |di, a0| { a0 => Expression[:lo] } }
134
- when 'mult'; lambda { |di, a0, a1| { :hi => Expression[[a0, :*, a1], :>>, 32], :lo => Expression[[a0, :*, a1], :&, 0xffff_ffff] } }
135
- when 'div'; lambda { |di, a0, a1| { :hi => Expression[a0, :%, a1], :lo => Expression[a0, :/, a1] } }
159
+ when 'mult', 'multu'; lambda { |di, a0, a1| { :hi => Expression[[a0, :*, a1], :>>, 32], :lo => Expression[[a0, :*, a1], :&, 0xffff_ffff] } }
160
+ when 'div', 'divu'; lambda { |di, a0, a1| { :hi => Expression[a0, :%, a1], :lo => Expression[a0, :/, a1] } }
136
161
  when 'jal', 'jalr'; lambda { |di, a0| { :$ra => Expression[Expression[di.address, :+, 2*di.bin_length].reduce] } }
137
162
  when 'li', 'mov'; lambda { |di, a0, a1| { a0 => Expression[a1] } }
138
163
  when 'syscall'; lambda { |di, *a| { :$v0 => Expression::Unknown } }
164
+ when /^b/; lambda { |di, *a| {} }
139
165
  end
140
166
 
141
167
  @backtrace_binding[op] ||= binding if binding
@@ -146,25 +172,20 @@ class MIPS
146
172
  def get_backtrace_binding(di)
147
173
  a = di.instruction.args.map { |arg|
148
174
  case arg
149
- when Memref; arg.symbolic(di.address)
175
+ when Memref; arg.symbolic(di)
150
176
  when Reg; arg.symbolic
151
177
  else arg
152
178
  end
153
179
  }
154
180
 
155
- binding = if binding = backtrace_binding[di.instruction.opname]
156
- binding[di, *a]
181
+ if binding = backtrace_binding[di.instruction.opname]
182
+ bd = binding[di, *a]
183
+ bd.delete 0 # allow add $zero, 42 => nop
184
+ bd
157
185
  else
158
- if di.instruction.opname[0] == ?b and di.opcode.props[:setip]
159
- else
160
- puts "unknown instruction to emu #{di}" if $VERBOSE
161
- end
162
- {}
186
+ puts "unhandled instruction to backtrace: #{di}" if $VERBOSE
187
+ {:incomplete_binding => Expression[1]}
163
188
  end
164
-
165
- binding.delete 0 # allow add $zero, 42 => nop
166
-
167
- binding
168
189
  end
169
190
 
170
191
  def get_xrefs_x(dasm, di)
@@ -4,7 +4,7 @@
4
4
  # Licence is LGPL, see LICENCE in the top-level directory
5
5
 
6
6
 
7
- require 'metasm/mips/opcodes'
7
+ require 'metasm/cpu/mips/opcodes'
8
8
  require 'metasm/encode'
9
9
 
10
10
  module Metasm
@@ -40,12 +40,13 @@ class MIPS
40
40
  when :rs_i16
41
41
  set_field[:rs, arg.base.i]
42
42
  val, mask, shift = arg.offset, @fields_mask[:i16], @fields_shift[:i16]
43
- when :sa, :i16, :i20, :i26
43
+ when :sa, :i16, :i20, :i26, :it, :msbd, :sel, :idb
44
44
  val, mask, shift = arg, @fields_mask[sym], @fields_shift[sym]
45
+ val = Expression[val, :-, 1] if sym == :msbd
45
46
  end
46
47
  }
47
48
 
48
- Expression[base, :+, [[val, :&, mask], :<<, shift]].encode(:u32, @endianness) << postdata
49
+ Expression[base, :|, [[val, :&, mask], :<<, shift]].encode(:u32, @endianness) << postdata
49
50
  end
50
51
  end
51
52
  end
@@ -26,7 +26,7 @@ class MIPS < CPU
26
26
  end
27
27
 
28
28
  Sym = @i_to_s.sort.map { |k, v| v.to_sym }
29
- def symbolic ; @i == 0 ? 0 : Sym[@i] end
29
+ def symbolic(di=nil) ; @i == 0 ? 0 : Sym[@i] end
30
30
  end
31
31
 
32
32
  class FpReg
@@ -43,16 +43,16 @@ class MIPS < CPU
43
43
  end
44
44
 
45
45
  class Memref
46
- attr_accessor :base, :offset
47
- def initialize(base, offset)
48
- @base, @offset = base, offset
46
+ attr_accessor :base, :offset, :sz
47
+ def initialize(base, offset, sz=32)
48
+ @base, @offset, @sz = base, offset, sz
49
49
  end
50
50
 
51
- def symbolic(orig)
51
+ def symbolic(di=nil)
52
52
  p = nil
53
53
  p = Expression[p, :+, @base.symbolic] if base
54
54
  p = Expression[p, :+, @offset] if offset
55
- Indirection[p.reduce, 4, orig]
55
+ Indirection[p.reduce, @sz/8, (di.address if di)]
56
56
  end
57
57
  end
58
58
 
@@ -68,5 +68,12 @@ class MIPS < CPU
68
68
  @opcode_list
69
69
  end
70
70
  end
71
+
72
+ class MIPS64 < MIPS
73
+ def initialize(endianness = :big, family = :latest)
74
+ super(endianness, family)
75
+ @size = 64
76
+ end
77
+ end
71
78
  end
72
79
 
@@ -4,7 +4,7 @@
4
4
  # Licence is LGPL, see LICENCE in the top-level directory
5
5
 
6
6
 
7
- require 'metasm/mips/main'
7
+ require 'metasm/cpu/mips/main'
8
8
 
9
9
  # TODO coprocessors, floating point, 64bits, thumb mode
10
10
 
@@ -13,8 +13,10 @@ module Metasm
13
13
  class MIPS
14
14
  def addop(name, bin, *args)
15
15
  o = Opcode.new name, bin
16
- o.args.concat(args & @fields_mask.keys)
17
- (args & @valid_props).each { |p| o.props[p] = true }
16
+ args.each { |a|
17
+ o.args << a if @fields_mask[a]
18
+ o.props[a] = true if @valid_props[a]
19
+ }
18
20
  @opcode_list << o
19
21
  end
20
22
 
@@ -45,10 +47,11 @@ class MIPS
45
47
  @opcode_list = []
46
48
  @fields_mask.update :rs => 0x1f, :rt => 0x1f, :rd => 0x1f, :sa => 0x1f,
47
49
  :i16 => 0xffff, :i26 => 0x3ffffff, :rs_i16 => 0x3e0ffff, :it => 0x1f,
48
- :ft => 0x1f, :idm1 => 0x1f, :idb => 0x1f, :sel => 7, :i20 => 0xfffff #, :i32 => 0
50
+ :ft => 0x1f, :idm1 => 0x1f, :idb => 0x1f, :sel => 7, :i20 => 0xfffff
49
51
  @fields_shift.update :rs => 21, :rt => 16, :rd => 11, :sa => 6,
50
52
  :i16 => 0, :i26 => 0, :rs_i16 => 0, :it => 16,
51
- :ft => 16, :idm1 => 11, :idb => 11, :sel => 0, :i20 => 6 #, :i32 => 0
53
+ :ft => 16, :idm1 => 11, :idb => 11, :sel => 0, :i20 => 6
54
+ @valid_props.update :mi8 => true, :mu8 => true, :mi16 => true, :mu16 => true
52
55
 
53
56
  init_mips32_obsolete
54
57
  init_mips32_reserved
@@ -58,12 +61,11 @@ class MIPS
58
61
 
59
62
  addop 'mov', 0b001000 << 26, :rt, :rs # rt <- rs+0
60
63
  addop 'addi', 0b001000 << 26, :rt, :rs, :i16 # add rt <- rs+i
61
- addop 'li', 0b001001 << 26, :rt, :i16 # add $0 # XXX liu ?
64
+ addop 'li', 0b001001 << 26, :rt, :i16 # addiu rt <- zero+i
62
65
  addop 'addiu',0b001001 << 26, :rt, :rs, :i16 # add unsigned
63
66
  addop 'slti', 0b001010 << 26, :rt, :rs, :i16 # set on less than
64
67
  addop 'sltiu',0b001011 << 26, :rt, :rs, :i16 # set on less than unsigned
65
68
  addop 'andi', 0b001100 << 26, :rt, :rs, :i16 # and
66
- addop 'li', 0b001101 << 26, :rt, :i16 # or $0
67
69
  addop 'ori', 0b001101 << 26, :rt, :rs, :i16 # or
68
70
  addop 'xori', 0b001110 << 26, :rt, :rs, :i16 # xor
69
71
  addop 'lui', 0b001111 << 26, :rt, :i16 # load upper
@@ -80,16 +82,16 @@ class MIPS
80
82
  addop 'blez', 0b000110 << 26, :rs, :i16, :setip # <= 0
81
83
  addop 'bgtz', 0b000111 << 26, :rs, :i16, :setip # > 0
82
84
 
83
- addop 'lb', 0b100000 << 26, :rt, :rs_i16 # load byte rs <- [rt+i]
84
- addop 'lh', 0b100001 << 26, :rt, :rs_i16 # load halfword
85
+ addop 'lb', 0b100000 << 26, :rt, :rs_i16, :mi8 # load byte rs <- [rt+i]
86
+ addop 'lh', 0b100001 << 26, :rt, :rs_i16, :mi16 # load halfword
85
87
  addop 'lwl', 0b100010 << 26, :rt, :rs_i16 # load word left
86
88
  addop 'lw', 0b100011 << 26, :rt, :rs_i16 # load word
87
- addop 'lbu', 0b100100 << 26, :rt, :rs_i16 # load byte unsigned
88
- addop 'lhu', 0b100101 << 26, :rt, :rs_i16 # load halfword unsigned
89
+ addop 'lbu', 0b100100 << 26, :rt, :rs_i16, :mu8 # load byte unsigned
90
+ addop 'lhu', 0b100101 << 26, :rt, :rs_i16, :mu16 # load halfword unsigned
89
91
  addop 'lwr', 0b100110 << 26, :rt, :rs_i16 # load word right
90
92
 
91
- addop 'sb', 0b101000 << 26, :rt, :rs_i16 # store byte
92
- addop 'sh', 0b101001 << 26, :rt, :rs_i16 # store halfword
93
+ addop 'sb', 0b101000 << 26, :rt, :rs_i16, :mi8 # store byte
94
+ addop 'sh', 0b101001 << 26, :rt, :rs_i16, :mi16 # store halfword
93
95
  addop 'swl', 0b101010 << 26, :rt, :rs_i16 # store word left
94
96
  addop 'sw', 0b101011 << 26, :rt, :rs_i16 # store word
95
97
  addop 'swr', 0b101110 << 26, :rt, :rs_i16 # store word right
@@ -179,7 +181,7 @@ class MIPS
179
181
  addop 'teqi', (1<<26) | (0b01100<<16), :rs, :i16, :setip
180
182
  addop 'tnei', (1<<26) | (0b01110<<16), :rs, :i16, :setip
181
183
  addop 'bltzal', (1<<26) | (0b10000<<16), :rs, :i16, :setip, :saveip
182
- addop 'bgezal', (1<<26) | (0b10001<<16), :i16, :setip, :stopexec, :saveip # bgezal $zero => unconditionnal
184
+ addop 'bgezal', (1<<26) | (0b10001<<16), :i16, :setip, :stopexec, :saveip # bgezal $zero => unconditional
183
185
  addop 'bgezal', (1<<26) | (0b10001<<16), :rs, :i16, :setip, :saveip
184
186
 
185
187
 
@@ -195,10 +197,10 @@ class MIPS
195
197
 
196
198
 
197
199
  # cp0
198
- addop 'mfc0', (0b010000<<26) | (0b00000<<21), :rt, :rd
199
- addop 'mfc0', (0b010000<<26) | (0b00000<<21), :rt, :rd, :sel
200
- addop 'mtc0', (0b010000<<26) | (0b00100<<21), :rt, :rd
201
- addop 'mtc0', (0b010000<<26) | (0b00100<<21), :rt, :rd, :sel
200
+ addop 'mfc0', (0b010000<<26) | (0b00000<<21), :rt, :idb
201
+ addop 'mfc0', (0b010000<<26) | (0b00000<<21), :rt, :idb, :sel
202
+ addop 'mtc0', (0b010000<<26) | (0b00100<<21), :rt, :idb
203
+ addop 'mtc0', (0b010000<<26) | (0b00100<<21), :rt, :idb, :sel
202
204
 
203
205
  addop 'tlbr', (0b010000<<26) | (1<<25) | 0b000001
204
206
  addop 'tlbwi',(0b010000<<26) | (1<<25) | 0b000010
@@ -235,6 +237,73 @@ class MIPS
235
237
  end
236
238
  alias init_latest init_mips32r2
237
239
  end
240
+
241
+ class MIPS64
242
+ def init_mips64
243
+ init_mips32r2
244
+ @valid_props.update :mi64 => true
245
+
246
+ addop 'ld', 0b110111 << 26, :rt, :rs_i16, :m64
247
+ addop 'lwu', 0b100111 << 26, :rt, :rs_i16
248
+ addop 'sd', 0b111111 << 26, :rt, :rs_i16, :m64
249
+ addop 'scd', 0b111100 << 26, :rt, :rs_i16, :m64
250
+ addop 'ldl', 0b011010 << 26, :rt, :rs_i16
251
+ addop 'ldr', 0b011011 << 26, :rt, :rs_i16
252
+ addop 'sdl', 0b101100 << 26, :rt, :rs_i16
253
+ addop 'sdr', 0b101101 << 26, :rt, :rs_i16
254
+ addop 'lld', 0b110100 << 26, :rt, :rs_i16
255
+ addop 'daddi', 0b011000 << 26, :rt, :rs, :i16
256
+ addop 'daddiu', 0b011001 << 26, :rt, :rs, :i16
257
+
258
+ addop 'dclo', (0b011100 << 26) | (0b100101), :rd, :rt, :rs
259
+ addop 'dclz', (0b011100 << 26) | (0b100100), :rd, :rt, :rs
260
+
261
+ addop 'dadd', 0b101100, :rd, :rs, :rt
262
+ addop 'daddu', 0b101101, :rd, :rs, :rt
263
+ addop 'dsub', 0b101110, :rd, :rs, :rt
264
+ addop 'dsubu', 0b101111, :rd, :rs, :rt
265
+ addop 'dsll', 0b111000, :rd, :rt, :sa
266
+ addop 'dsll32', 0b111100, :rd, :rt, :sa
267
+ addop 'dsllv', 0b010100, :rd, :rt, :rs
268
+ addop 'dsra', 0b111011, :rd, :rt, :sa
269
+ addop 'dsra32', 0b111111, :rd, :rt, :sa
270
+ addop 'dsrav', 0b010111, :rd, :rt, :rs
271
+ addop 'dsrl', 0b111010, :rd, :rt, :sa
272
+ addop 'dsrl32', 0b111110, :rd, :rt, :sa
273
+ addop 'dsrlv', 0b010110, :rd, :rt, :rs
274
+ addop 'ddiv', 0b011110, :rs, :rt
275
+ addop 'ddivu', 0b011111, :rs, :rt
276
+ addop 'dmult', 0b011100, :rs, :rt
277
+ addop 'dmultu', 0b011101, :rs, :rt
278
+
279
+ addop 'dmfc0', (0b010000<<26) | (0b00001<<21), :rt, :idb
280
+ addop 'dmfc0', (0b010000<<26) | (0b00001<<21), :rt, :idb, :sel
281
+ addop 'dmtc0', (0b010000<<26) | (0b00101<<21), :rt, :idb
282
+ addop 'dmtc0', (0b010000<<26) | (0b00101<<21), :rt, :idb, :sel
283
+ end
284
+
285
+ def init_mips64r2
286
+ init_mips64
287
+ @fields_mask.update :msbd => 0x1f
288
+ @fields_shift.update :msbd => 11
289
+
290
+ addop 'dext', (0b011111 << 26) | 0b000011, :rt, :rs, :sa, :msbd # sa => lsb
291
+ addop 'dextm', (0b011111 << 26) | 0b000001, :rt, :rs, :sa, :msbd
292
+ addop 'dextu', (0b011111 << 26) | 0b000010, :rt, :rs, :sa, :msbd
293
+ addop 'dins', (0b011111 << 26) | 0b000111, :rt, :rs, :sa, :msbd
294
+ addop 'dinsm', (0b011111 << 26) | 0b000101, :rt, :rs, :sa, :msbd
295
+ addop 'dinsu', (0b011111 << 26) | 0b000110, :rt, :rs, :sa, :msbd
296
+
297
+ addop 'drotr', (1 << 21) | 0b111010, :rd, :rt, :sa
298
+ addop 'drotr32', (1 << 21) | 0b111110, :rd, :rt, :sa
299
+ addop 'drotrv', (1 << 6) | 0b010110, :rd, :rt, :rs
300
+
301
+ addop 'dsbh', (0b011111 << 26) | (0b00010 << 6) | 0b100100, :rd, :rt
302
+ addop 'dshd', (0b011111 << 26) | (0b00101 << 6) | 0b100100, :rd, :rt
303
+ end
304
+
305
+ alias init_latest init_mips64r2
306
+ end
238
307
  end
239
308
  __END__
240
309
  def macro_addop_cop1(name, bin, *aprops)