2005-12-24 Jb Evain <jbevain@gmail.com>
[mono.git] / mono / dis / main.c
blob9898f5af326dc2846c51f2bcfbd634f2f88e525e
1 /*
2 * main.c: Sample disassembler
4 * Author:
5 * Miguel de Icaza (miguel@ximian.com)
7 * (C) 2001 Ximian, Inc.
9 * TODO:
10 * Investigate how interface inheritance works and how it should be dumped.
11 * Structs are not being labeled as `valuetype' classes
13 * How are fields with literals mapped to constants?
15 #include <config.h>
16 #include <stdio.h>
17 #include <string.h>
18 #include <glib.h>
19 #include <stdlib.h>
20 #include <errno.h>
21 #include <fcntl.h>
22 #include "meta.h"
23 #include "util.h"
24 #include "dump.h"
25 #include "get.h"
26 #include "dis-cil.h"
27 #include <mono/metadata/class-internals.h>
28 #include <mono/metadata/object-internals.h>
29 #include <mono/metadata/loader.h>
30 #include <mono/metadata/assembly.h>
31 #include <mono/metadata/appdomain.h>
33 static void setup_filter (MonoImage *image);
34 static gboolean should_include_type (int idx);
35 static gboolean should_include_method (int idx);
36 static gboolean should_include_field (int idx);
38 FILE *output;
40 /* True if you want to get a dump of the header data */
41 gboolean dump_header_data_p = FALSE;
43 /* True if you want to get forward declarations */
44 gboolean dump_forward_decls = FALSE;
46 /* True if you want to dump managed resources as files */
47 gboolean dump_managed_resources = FALSE;
49 gboolean substitute_with_mscorlib_p = FALSE;
51 int dump_table = -1;
53 static void
54 dump_header_data (MonoImage *img)
56 if (!dump_header_data_p)
57 return;
59 fprintf (output,
60 "// Ximian's CIL disassembler, version 1.0\n"
61 "// Copyright (C) 2001 Ximian, Inc.\n\n");
64 static void
65 dump_cattrs_list (GList *list, const char *indent)
67 GList *tmp;
69 for (tmp = list; tmp; tmp = tmp->next) {
70 fprintf (output, "%s%s\n", indent, (char*)tmp->data);
71 g_free (tmp->data);
73 g_list_free (list);
76 static void
77 dump_cattrs (MonoImage *m, guint32 token, const char *indent)
79 GList *list;
81 list = dis_get_custom_attrs (m, token);
82 dump_cattrs_list (list, indent);
85 static const char*
86 get_il_security_action (int val)
88 static char buf [32];
90 switch (val) {
91 case SECURITY_ACTION_DEMAND:
92 return "demand";
93 case SECURITY_ACTION_ASSERT:
94 return "assert";
95 case SECURITY_ACTION_DENY:
96 return "deny";
97 case SECURITY_ACTION_PERMITONLY:
98 return "permitonly";
99 case SECURITY_ACTION_LINKDEMAND:
100 return "linkcheck";
101 case SECURITY_ACTION_INHERITDEMAND:
102 return "inheritcheck";
103 case SECURITY_ACTION_REQMIN:
104 return "reqmin";
105 case SECURITY_ACTION_REQOPT:
106 return "reqopt";
107 case SECURITY_ACTION_REQREFUSE:
108 return "reqrefuse";
109 /* Special actions (for non CAS permissions) */
110 case SECURITY_ACTION_NONCASDEMAND:
111 return "noncasdemand";
112 case SECURITY_ACTION_NONCASLINKDEMAND:
113 return "noncaslinkdemand";
114 case SECURITY_ACTION_NONCASINHERITANCE:
115 return "noncasinheritance";
116 /* Fx 2.0 actions (for both CAS and non-CAS permissions) */
117 case SECURITY_ACTION_LINKDEMANDCHOICE:
118 return "linkdemandor";
119 case SECURITY_ACTION_INHERITDEMANDCHOICE:
120 return "inheritancedemandor";
121 case SECURITY_ACTION_DEMANDCHOICE:
122 return "demandor";
123 default:
124 g_snprintf (buf, sizeof (buf), "0x%04X", val);
125 return buf;
129 #define OBJECT_TYPE_TYPEDEF 0
130 #define OBJECT_TYPE_METHODDEF 1
131 #define OBJECT_TYPE_ASSEMBLYDEF 2
133 static void
134 dump_declarative_security (MonoImage *m, guint32 objectType, guint32 token, const char *indent)
136 MonoTableInfo *t = &m->tables [MONO_TABLE_DECLSECURITY];
137 guint32 cols [MONO_DECL_SECURITY_SIZE];
138 int i, len;
139 guint32 idx;
140 const char *blob, *action;
142 for (i = 1; i <= t->rows; i++) {
143 mono_metadata_decode_row (t, i - 1, cols, MONO_DECL_SECURITY_SIZE);
144 blob = mono_metadata_blob_heap (m, cols [MONO_DECL_SECURITY_PERMISSIONSET]);
145 len = mono_metadata_decode_blob_size (blob, &blob);
146 action = get_il_security_action (cols [MONO_DECL_SECURITY_ACTION]);
147 idx = cols [MONO_DECL_SECURITY_PARENT];
148 if (((idx & MONO_HAS_DECL_SECURITY_MASK) == objectType) && ((idx >> MONO_HAS_DECL_SECURITY_BITS) == token)) {
149 char *dump = data_dump (blob, len, indent);
150 fprintf (output, "%s.permissionset %s = %s", indent, action, dump);
151 g_free (dump);
156 static void
157 dis_directive_assembly (MonoImage *m)
159 MonoTableInfo *t = &m->tables [MONO_TABLE_ASSEMBLY];
160 guint32 cols [MONO_ASSEMBLY_SIZE];
162 if (t->base == NULL)
163 return;
165 mono_metadata_decode_row (t, 0, cols, MONO_ASSEMBLY_SIZE);
167 fprintf (output, ".assembly '%s'\n{\n",
168 mono_metadata_string_heap (m, cols [MONO_ASSEMBLY_NAME]));
169 dump_cattrs (m, MONO_TOKEN_ASSEMBLY | 1, " ");
170 dump_declarative_security (m, OBJECT_TYPE_ASSEMBLYDEF, 1, " ");
171 fprintf (output,
172 " .hash algorithm 0x%08x\n"
173 " .ver %d:%d:%d:%d\n",
174 cols [MONO_ASSEMBLY_HASH_ALG],
175 cols [MONO_ASSEMBLY_MAJOR_VERSION], cols [MONO_ASSEMBLY_MINOR_VERSION],
176 cols [MONO_ASSEMBLY_BUILD_NUMBER], cols [MONO_ASSEMBLY_REV_NUMBER]);
177 if (cols [MONO_ASSEMBLY_CULTURE])
178 fprintf (output, " .locale %s\n", mono_metadata_string_heap (m, cols [MONO_ASSEMBLY_CULTURE]));
179 if (cols [MONO_ASSEMBLY_PUBLIC_KEY]) {
180 const char* b = mono_metadata_blob_heap (m, cols [MONO_ASSEMBLY_PUBLIC_KEY]);
181 int len = mono_metadata_decode_blob_size (b, &b);
182 char *dump = data_dump (b, len, "\t\t");
183 fprintf (output, " .publickey =%s", dump);
184 g_free (dump);
186 fprintf (output, "}\n");
189 static void
190 dis_directive_assemblyref (MonoImage *m)
192 MonoTableInfo *t = &m->tables [MONO_TABLE_ASSEMBLYREF];
193 guint32 cols [MONO_ASSEMBLYREF_SIZE];
194 int i;
196 if (t->base == NULL)
197 return;
199 for (i = 0; i < t->rows; i++){
200 char *esc;
202 mono_metadata_decode_row (t, i, cols, MONO_ASSEMBLYREF_SIZE);
204 esc = get_escaped_name (mono_metadata_string_heap (m, cols [MONO_ASSEMBLYREF_NAME]));
206 fprintf (output,
207 ".assembly extern %s\n"
208 "{\n"
209 " .ver %d:%d:%d:%d\n",
210 esc,
211 cols [MONO_ASSEMBLYREF_MAJOR_VERSION], cols [MONO_ASSEMBLYREF_MINOR_VERSION],
212 cols [MONO_ASSEMBLYREF_BUILD_NUMBER], cols [MONO_ASSEMBLYREF_REV_NUMBER]
214 dump_cattrs (m, MONO_TOKEN_ASSEMBLY_REF | (i + 1), " ");
215 if (cols [MONO_ASSEMBLYREF_CULTURE]){
216 fprintf (output, " .locale %s\n", mono_metadata_string_heap (m, cols [MONO_ASSEMBLYREF_CULTURE]));
218 if (cols [MONO_ASSEMBLYREF_PUBLIC_KEY]){
219 const char* b = mono_metadata_blob_heap (m, cols [MONO_ASSEMBLYREF_PUBLIC_KEY]);
220 int len = mono_metadata_decode_blob_size (b, &b);
221 char *dump = data_dump (b, len, "\t\t");
222 fprintf (output, " .publickeytoken =%s", dump);
223 g_free (dump);
225 fprintf (output, "}\n");
226 g_free (esc);
230 static void
231 dis_directive_module (MonoImage *m)
233 MonoTableInfo *t = &m->tables [MONO_TABLE_MODULE];
234 int i;
236 for (i = 0; i < t->rows; i++){
237 guint32 cols [MONO_MODULE_SIZE];
238 const char *name;
239 char *guid, *ename;
241 mono_metadata_decode_row (t, i, cols, MONO_MODULE_SIZE);
243 name = mono_metadata_string_heap (m, cols [MONO_MODULE_NAME]);
244 ename = get_escaped_name (name);
245 guid = get_guid (m, cols [MONO_MODULE_MVID]);
246 fprintf (output, ".module %s // GUID = %s\n\n", ename, guid);
247 g_free (ename);
249 dump_cattrs (m, MONO_TOKEN_MODULE | (i + 1), "");
253 static void
254 dis_directive_moduleref (MonoImage *m)
256 MonoTableInfo *t = &m->tables [MONO_TABLE_MODULEREF];
257 int i;
259 for (i = 0; i < t->rows; i++){
260 guint32 cols [MONO_MODULEREF_SIZE];
262 mono_metadata_decode_row (t, i, cols, MONO_MODULEREF_SIZE);
264 fprintf (output, ".module extern '%s'\n", mono_metadata_string_heap (m, cols [MONO_MODULEREF_NAME]));
269 static void
270 dis_nt_header (MonoImage *m)
272 MonoCLIImageInfo *image_info = m->image_info;
273 if (image_info && image_info->cli_header.nt.pe_stack_reserve != 0x100000)
274 fprintf (output, ".stackreserve 0x%x\n", image_info->cli_header.nt.pe_stack_reserve);
277 static void
278 dis_directive_file (MonoImage *m)
280 MonoTableInfo *t = &m->tables [MONO_TABLE_FILE];
281 int i, j, len;
282 guint32 entry_point;
284 entry_point = mono_image_get_entry_point (m);
286 for (i = 0; i < t->rows; i++){
287 guint32 cols [MONO_FILE_SIZE];
288 const char *name, *hash;
289 guint32 token;
291 mono_metadata_decode_row (t, i, cols, MONO_FILE_SIZE);
293 name = mono_metadata_string_heap (m, cols [MONO_FILE_NAME]);
295 hash = mono_metadata_blob_heap (m, cols [MONO_FILE_HASH_VALUE]);
296 len = mono_metadata_decode_blob_size (hash, &hash);
298 fprintf (output, ".file %s%s .hash = (",
299 cols [MONO_FILE_FLAGS] & FILE_CONTAINS_NO_METADATA ? "nometadata " : "", name);
301 for (j = 0; j < len; ++j)
302 fprintf (output, " %02X", hash [j] & 0xff);
304 token = mono_metadata_make_token (MONO_TABLE_FILE, i + 1);
305 fprintf (output, " )%s\n", (token == entry_point) ? " .entrypoint" : "");
310 static void
311 dis_directive_mresource (MonoImage *m)
313 MonoTableInfo *t = &m->tables [MONO_TABLE_MANIFESTRESOURCE];
314 int i;
316 for (i = 0; i < t->rows; i++){
317 guint32 cols [MONO_MANIFEST_SIZE];
318 const char *name;
319 guint32 impl, idx, name_token;
321 mono_metadata_decode_row (t, i, cols, MONO_MANIFEST_SIZE);
323 name = mono_metadata_string_heap (m, cols [MONO_MANIFEST_NAME]);
325 fprintf (output, ".mresource %s '%s'\n", (cols [MONO_MANIFEST_FLAGS] & MANIFEST_RESOURCE_VISIBILITY_MASK) == (MANIFEST_RESOURCE_PUBLIC) ? "public" : "private", name);
326 fprintf (output, "{\n");
327 impl = cols [MONO_MANIFEST_IMPLEMENTATION];
328 if (impl) {
329 idx = impl >> MONO_IMPLEMENTATION_BITS;
330 if ((impl & MONO_IMPLEMENTATION_MASK) == MONO_IMPLEMENTATION_FILE) {
331 name_token = mono_metadata_decode_row_col (&m->tables [MONO_TABLE_FILE], idx - 1, MONO_FILE_NAME);
333 fprintf (output, " .file '%s' at 0x0\n", mono_metadata_string_heap (m, name_token));
335 if ((impl & MONO_IMPLEMENTATION_MASK) == MONO_IMPLEMENTATION_ASSEMBLYREF) {
336 name_token = mono_metadata_decode_row_col (&m->tables [MONO_TABLE_ASSEMBLYREF], idx - 1, MONO_ASSEMBLYREF_NAME);
337 fprintf (output, " .assembly extern '%s'\n", mono_metadata_string_heap (m, name_token));
340 fprintf (output, "}\n");
345 static dis_map_t visibility_map [] = {
346 { TYPE_ATTRIBUTE_NOT_PUBLIC, "private " },
347 { TYPE_ATTRIBUTE_PUBLIC, "public " },
348 { TYPE_ATTRIBUTE_NESTED_PUBLIC, "nested public " },
349 { TYPE_ATTRIBUTE_NESTED_PRIVATE, "nested private " },
350 { TYPE_ATTRIBUTE_NESTED_FAMILY, "nested family " },
351 { TYPE_ATTRIBUTE_NESTED_ASSEMBLY, "nested assembly " },
352 { TYPE_ATTRIBUTE_NESTED_FAM_AND_ASSEM, "nested famandassem " },
353 { TYPE_ATTRIBUTE_NESTED_FAM_OR_ASSEM, "nested famorassem " },
354 { 0, NULL }
357 static dis_map_t layout_map [] = {
358 { TYPE_ATTRIBUTE_AUTO_LAYOUT, "auto " },
359 { TYPE_ATTRIBUTE_SEQUENTIAL_LAYOUT, "sequential " },
360 { TYPE_ATTRIBUTE_EXPLICIT_LAYOUT, "explicit " },
361 { 0, NULL }
364 static dis_map_t format_map [] = {
365 { TYPE_ATTRIBUTE_ANSI_CLASS, "ansi " },
366 { TYPE_ATTRIBUTE_UNICODE_CLASS, "unicode " },
367 { TYPE_ATTRIBUTE_AUTO_CLASS, "auto " },
368 { 0, NULL }
371 static char *
372 typedef_flags (guint32 flags)
374 static char buffer [1024];
375 int visibility = flags & TYPE_ATTRIBUTE_VISIBILITY_MASK;
376 int layout = flags & TYPE_ATTRIBUTE_LAYOUT_MASK;
377 int format = flags & TYPE_ATTRIBUTE_STRING_FORMAT_MASK;
379 buffer [0] = 0;
381 strcat (buffer, map (visibility, visibility_map));
382 strcat (buffer, map (layout, layout_map));
383 strcat (buffer, map (format, format_map));
385 if (flags & TYPE_ATTRIBUTE_ABSTRACT)
386 strcat (buffer, "abstract ");
387 if (flags & TYPE_ATTRIBUTE_SEALED)
388 strcat (buffer, "sealed ");
389 if (flags & TYPE_ATTRIBUTE_SPECIAL_NAME)
390 strcat (buffer, "special-name ");
391 if (flags & TYPE_ATTRIBUTE_IMPORT)
392 strcat (buffer, "import ");
393 if (flags & TYPE_ATTRIBUTE_SERIALIZABLE)
394 strcat (buffer, "serializable ");
395 if (flags & TYPE_ATTRIBUTE_BEFORE_FIELD_INIT)
396 strcat (buffer, "beforefieldinit ");
398 return buffer;
402 * dis_field_list:
403 * @m: metadata context
404 * @start: starting index into the Field Table.
405 * @end: ending index into Field table.
407 * This routine displays all the decoded fields from @start to @end
409 static void
410 dis_field_list (MonoImage *m, guint32 start, guint32 end, MonoGenericContext *context)
412 MonoTableInfo *t = &m->tables [MONO_TABLE_FIELD];
413 guint32 cols [MONO_FIELD_SIZE];
414 char *esname;
415 char rva_desc [32];
416 guint32 rva;
417 int i;
419 if (end > t->rows + 1) {
420 g_warning ("ERROR index out of range in fields");
421 end = t->rows;
424 for (i = start; i < end; i++){
425 char *sig, *flags, *attrs = NULL;
426 char *marshal_str = NULL;
427 guint32 field_offset = -1;
429 if (!should_include_field (i + 1))
430 continue;
431 mono_metadata_decode_row (t, i, cols, MONO_FIELD_SIZE);
432 sig = get_field_signature (m, cols [MONO_FIELD_SIGNATURE], context);
433 flags = field_flags (cols [MONO_FIELD_FLAGS]);
435 if (cols [MONO_FIELD_FLAGS] & FIELD_ATTRIBUTE_HAS_FIELD_MARSHAL) {
436 const char *tp;
437 MonoMarshalSpec *spec;
439 tp = mono_metadata_get_marshal_info (m, i, TRUE);
440 spec = mono_metadata_parse_marshal_spec (m, tp);
441 marshal_str = dis_stringify_marshal_spec (spec);
444 if (cols [MONO_FIELD_FLAGS] & FIELD_ATTRIBUTE_HAS_FIELD_RVA) {
445 mono_metadata_field_info (m, i, NULL, &rva, NULL);
446 g_snprintf (rva_desc, sizeof (rva_desc), " at D_%08x", rva);
447 } else {
448 rva_desc [0] = 0;
451 mono_metadata_field_info (m, i, &field_offset, NULL, NULL);
452 if (field_offset != -1)
453 attrs = g_strdup_printf ("[%d]", field_offset);
454 esname = get_escaped_name (mono_metadata_string_heap (m, cols [MONO_FIELD_NAME]));
455 if (cols [MONO_FIELD_FLAGS] & FIELD_ATTRIBUTE_HAS_DEFAULT){
456 char *lit;
457 guint32 const_cols [MONO_CONSTANT_SIZE];
458 guint32 crow;
460 if ((crow = mono_metadata_get_constant_index (m, MONO_TOKEN_FIELD_DEF | (i+1), 0))) {
461 mono_metadata_decode_row (&m->tables [MONO_TABLE_CONSTANT], crow-1, const_cols, MONO_CONSTANT_SIZE);
462 lit = get_constant (m, const_cols [MONO_CONSTANT_TYPE], const_cols [MONO_CONSTANT_VALUE]);
463 } else {
464 lit = g_strdup ("not found");
467 fprintf (output, " .field %s%s%s %s = ",
468 flags, marshal_str ? marshal_str : " ", sig, esname);
469 fprintf (output, "%s\n", lit);
470 g_free (lit);
471 } else
472 fprintf (output, " .field %s %s%s%s %s%s\n",
473 attrs? attrs: "", flags, marshal_str ? marshal_str : " ", sig, esname, rva_desc);
474 g_free (attrs);
475 g_free (flags);
476 g_free (marshal_str);
477 g_free (sig);
478 g_free (esname);
479 dump_cattrs (m, MONO_TOKEN_FIELD_DEF | (i + 1), " ");
483 static dis_map_t method_access_map [] = {
484 { METHOD_ATTRIBUTE_COMPILER_CONTROLLED, "privatescope " },
485 { METHOD_ATTRIBUTE_PRIVATE, "private " },
486 { METHOD_ATTRIBUTE_FAM_AND_ASSEM, "famandassem " },
487 { METHOD_ATTRIBUTE_ASSEM, "assembly " },
488 { METHOD_ATTRIBUTE_FAMILY, "family " },
489 { METHOD_ATTRIBUTE_FAM_OR_ASSEM, "famorassem " },
490 { METHOD_ATTRIBUTE_PUBLIC, "public " },
491 { 0, NULL }
494 static dis_map_t method_flags_map [] = {
495 { METHOD_ATTRIBUTE_STATIC, "static " },
496 { METHOD_ATTRIBUTE_FINAL, "final " },
497 { METHOD_ATTRIBUTE_VIRTUAL, "virtual " },
498 { METHOD_ATTRIBUTE_HIDE_BY_SIG, "hidebysig " },
499 { METHOD_ATTRIBUTE_VTABLE_LAYOUT_MASK, "newslot " },
500 { METHOD_ATTRIBUTE_ABSTRACT, "abstract " },
501 { METHOD_ATTRIBUTE_SPECIAL_NAME, "specialname " },
502 { METHOD_ATTRIBUTE_RT_SPECIAL_NAME, "rtspecialname " },
503 { METHOD_ATTRIBUTE_UNMANAGED_EXPORT, "export " },
504 /* MS ilasm doesn't compile this statement - is must be added automagically when permissionset are present */
505 /* { METHOD_ATTRIBUTE_HAS_SECURITY, "hassecurity" }, */
506 { METHOD_ATTRIBUTE_REQUIRE_SEC_OBJECT, "requiresecobj" },
507 { METHOD_ATTRIBUTE_PINVOKE_IMPL, "pinvokeimpl " },
508 { 0, NULL }
512 * method_flags:
514 * Returns a stringified version of the Method's flags
516 static char *
517 method_flags (guint32 f)
519 GString *str = g_string_new ("");
520 int access = f & METHOD_ATTRIBUTE_MEMBER_ACCESS_MASK;
521 char *s;
523 g_string_append (str, map (access, method_access_map));
524 g_string_append (str, flags (f, method_flags_map));
526 s = str->str;
527 g_string_free (str, FALSE);
529 return s;
532 static dis_map_t pinvoke_flags_map [] = {
533 { PINVOKE_ATTRIBUTE_NO_MANGLE , "nomangle " },
534 { PINVOKE_ATTRIBUTE_SUPPORTS_LAST_ERROR, "lasterr " },
535 { PINVOKE_ATTRIBUTE_BEST_FIT_ENABLED, "bestfit:on" },
536 { PINVOKE_ATTRIBUTE_BEST_FIT_DISABLED, "bestfit:off" },
537 { PINVOKE_ATTRIBUTE_THROW_ON_UNMAPPABLE_ENABLED, "charmaperror:on" },
538 { PINVOKE_ATTRIBUTE_THROW_ON_UNMAPPABLE_DISABLED, "charmaperror:off" },
539 { 0, NULL }
542 static dis_map_t pinvoke_call_conv_map [] = {
543 { PINVOKE_ATTRIBUTE_CALL_CONV_WINAPI, "winapi " },
544 { PINVOKE_ATTRIBUTE_CALL_CONV_CDECL, "cdecl " },
545 { PINVOKE_ATTRIBUTE_CALL_CONV_STDCALL, "stdcall " },
546 { PINVOKE_ATTRIBUTE_CALL_CONV_THISCALL, "thiscall " },
547 { PINVOKE_ATTRIBUTE_CALL_CONV_FASTCALL, "fastcall " },
548 { 0, "" },
549 { -1, NULL }
552 static dis_map_t pinvoke_char_set_map [] = {
553 { PINVOKE_ATTRIBUTE_CHAR_SET_NOT_SPEC, "" },
554 { PINVOKE_ATTRIBUTE_CHAR_SET_ANSI, "ansi " },
555 { PINVOKE_ATTRIBUTE_CHAR_SET_UNICODE , "unicode " },
556 { PINVOKE_ATTRIBUTE_CHAR_SET_AUTO, "autochar " },
557 { 0, NULL }
561 * pinvoke_flags:
563 * Returns a stringified version of the Method's pinvoke flags
565 static char *
566 pinvoke_flags (guint32 f)
568 GString *str = g_string_new ("");
569 int cset = f & PINVOKE_ATTRIBUTE_CHAR_SET_MASK;
570 int cconv = f & PINVOKE_ATTRIBUTE_CALL_CONV_MASK;
571 char *s;
573 g_string_append (str, map (cset, pinvoke_char_set_map));
574 g_string_append (str, map (cconv, pinvoke_call_conv_map));
575 g_string_append (str, flags (f, pinvoke_flags_map));
577 s = g_strdup(str->str);
578 g_string_free (str, FALSE);
580 return s;
583 static dis_map_t method_impl_map [] = {
584 { METHOD_IMPL_ATTRIBUTE_IL, "cil " },
585 { METHOD_IMPL_ATTRIBUTE_NATIVE, "native " },
586 { METHOD_IMPL_ATTRIBUTE_OPTIL, "optil " },
587 { METHOD_IMPL_ATTRIBUTE_RUNTIME, "runtime " },
588 { 0, NULL }
591 static dis_map_t managed_type_map [] = {
592 { METHOD_IMPL_ATTRIBUTE_UNMANAGED, "unmanaged " },
593 { METHOD_IMPL_ATTRIBUTE_MANAGED, "managed " },
594 { 0, NULL }
597 static dis_map_t managed_impl_flags [] = {
598 { METHOD_IMPL_ATTRIBUTE_FORWARD_REF, "fwdref " },
599 { METHOD_IMPL_ATTRIBUTE_PRESERVE_SIG, "preservesig " },
600 { METHOD_IMPL_ATTRIBUTE_INTERNAL_CALL, "internalcall " },
601 { METHOD_IMPL_ATTRIBUTE_SYNCHRONIZED, "synchronized " },
602 { METHOD_IMPL_ATTRIBUTE_NOINLINING, "noinlining " },
603 { 0, NULL }
606 static char *
607 method_impl_flags (guint32 f)
609 GString *str = g_string_new ("");
610 char *s;
611 int code_type = f & METHOD_IMPL_ATTRIBUTE_CODE_TYPE_MASK;
612 int managed_type = f & METHOD_IMPL_ATTRIBUTE_MANAGED_MASK;
614 g_string_append (str, map (code_type, method_impl_map));
615 g_string_append (str, map (managed_type, managed_type_map));
616 g_string_append (str, flags (f, managed_impl_flags));
618 s = str->str;
619 g_string_free (str, FALSE);
620 return s;
623 static void
624 dis_locals (MonoImage *m, MonoMethodHeader *mh, const char *ptr)
626 int i;
628 if (show_tokens) {
629 unsigned char flags = *(const unsigned char *) ptr;
630 unsigned char format = flags & METHOD_HEADER_FORMAT_MASK;
631 guint16 fat_flags;
632 guint32 local_var_sig_tok, max_stack, code_size, init_locals;
633 int hsize;
635 g_assert (format == METHOD_HEADER_FAT_FORMAT);
636 fat_flags = read16 (ptr);
637 ptr += 2;
638 hsize = (fat_flags >> 12) & 0xf;
639 max_stack = read16 (ptr);
640 ptr += 2;
641 code_size = read32 (ptr);
642 ptr += 4;
643 local_var_sig_tok = read32 (ptr);
644 ptr += 4;
646 if (fat_flags & METHOD_HEADER_INIT_LOCALS)
647 init_locals = 1;
648 else
649 init_locals = 0;
651 fprintf(output, "\t.locals /*%08x*/ %s(\n",
652 local_var_sig_tok, init_locals ? "init " : "");
653 } else
654 fprintf(output, "\t.locals %s(\n", mh->init_locals ? "init " : "");
656 for (i=0; i < mh->num_locals; ++i) {
657 char * desc;
658 if (i)
659 fprintf(output, ",\n");
660 /* print also byref and pinned attributes */
661 desc = dis_stringify_type (m, mh->locals[i], TRUE);
662 fprintf(output, "\t\t%s\tV_%d", desc, i);
663 g_free(desc);
665 fprintf(output, ")\n");
668 static void
669 dis_code (MonoImage *m, guint32 token, guint32 rva, MonoGenericContext *context)
671 MonoMethodHeader *mh;
672 const char *ptr = mono_image_rva_map (m, rva);
673 const char *loc;
674 gchar *override;
675 guint32 entry_point;
677 if (rva == 0)
678 return;
680 override = get_method_override (m, token, context);
681 if (override) {
682 fprintf (output, "\t.override %s\n", override);
683 g_free (override);
686 mh = mono_metadata_parse_mh_full (m, context, ptr);
687 if ((entry_point = mono_image_get_entry_point (m))){
688 loc = mono_metadata_locate_token (m, entry_point);
689 if (rva == read32 (loc))
690 fprintf (output, "\t.entrypoint\n");
693 fprintf (output, "\t// Code size %d (0x%x)\n", mh->code_size, mh->code_size);
694 fprintf (output, "\t.maxstack %d\n", mh->max_stack);
695 if (mh->num_locals)
696 dis_locals (m, mh, ptr);
697 dissasemble_cil (m, mh, context);
700 hex_dump (mh->code, 0, mh->code_size);
701 printf ("\nAfter the code\n");
702 hex_dump (mh->code + mh->code_size, 0, 64);
704 mono_metadata_free_mh (mh);
707 static char *
708 pinvoke_info (MonoImage *m, guint32 mindex)
710 MonoTableInfo *im = &m->tables [MONO_TABLE_IMPLMAP];
711 MonoTableInfo *mr = &m->tables [MONO_TABLE_MODULEREF];
712 guint32 im_cols [MONO_IMPLMAP_SIZE];
713 guint32 mr_cols [MONO_MODULEREF_SIZE];
714 const char *import, *scope;
715 char *flags;
716 int i;
718 for (i = 0; i < im->rows; i++) {
720 mono_metadata_decode_row (im, i, im_cols, MONO_IMPLMAP_SIZE);
722 if ((im_cols [MONO_IMPLMAP_MEMBER] >> 1) == mindex + 1) {
724 flags = pinvoke_flags (im_cols [MONO_IMPLMAP_FLAGS]);
726 import = mono_metadata_string_heap (m, im_cols [MONO_IMPLMAP_NAME]);
728 mono_metadata_decode_row (mr, im_cols [MONO_IMPLMAP_SCOPE] - 1,
729 mr_cols, MONO_MODULEREF_SIZE);
731 scope = mono_metadata_string_heap (m, mr_cols [MONO_MODULEREF_NAME]);
733 return g_strdup_printf ("(\"%s\" as \"%s\" %s)", scope, import,
734 flags);
735 g_free (flags);
739 return NULL;
743 * dump_cattrs_for_type_params
745 * @m:
746 * @token: TypeOrMethodDef token, owner for GenericParam
748 * Dumps the custom attributes for @token's type parameters
750 static void
751 dump_cattrs_for_type_params (MonoImage *m, guint32 token, const char *indent)
753 MonoTableInfo *tdef = &m->tables [MONO_TABLE_GENERICPARAM];
754 guint32 cols [MONO_GENERICPARAM_SIZE];
755 guint32 owner = 0, i;
756 GList *list = NULL;
758 if (! (i = mono_metadata_get_generic_param_row (m, token, &owner)))
759 return;
761 mono_metadata_decode_row (tdef, i - 1, cols, MONO_GENERICPARAM_SIZE);
762 do {
763 list = dis_get_custom_attrs (m, mono_metadata_make_token (MONO_TABLE_GENERICPARAM, i));
764 if (list) {
765 fprintf (output, "%s.param type %s\n", indent, mono_metadata_string_heap (m, cols [MONO_GENERICPARAM_NAME]));
766 dump_cattrs_list (list, indent);
769 if (++i > tdef->rows)
770 break;
771 mono_metadata_decode_row (tdef, i - 1, cols, MONO_GENERICPARAM_SIZE);
772 } while (cols [MONO_GENERICPARAM_OWNER] == owner);
775 static void
776 dump_cattrs_for_method_params (MonoImage *m, guint32 midx, MonoMethodSignature *sig) {
777 MonoTableInfo *methodt;
778 MonoTableInfo *paramt;
779 guint param_index, lastp, i;
781 methodt = &m->tables [MONO_TABLE_METHOD];
782 paramt = &m->tables [MONO_TABLE_PARAM];
783 param_index = mono_metadata_decode_row_col (methodt, midx, MONO_METHOD_PARAMLIST);
784 if (midx + 1 < methodt->rows)
785 lastp = mono_metadata_decode_row_col (methodt, midx + 1, MONO_METHOD_PARAMLIST);
786 else
787 lastp = paramt->rows + 1;
788 for (i = param_index; i < lastp; ++i) {
789 char *lit;
790 int crow;
791 guint32 param_cols [MONO_PARAM_SIZE];
792 GList *list;
794 list = dis_get_custom_attrs (m, MONO_TOKEN_PARAM_DEF | i);
796 mono_metadata_decode_row (paramt, i-1, param_cols, MONO_PARAM_SIZE);
797 if (!(param_cols[MONO_PARAM_FLAGS] & PARAM_ATTRIBUTE_HAS_DEFAULT)) {
798 if(list != NULL)
799 fprintf (output, "\t.param [%d]\n", param_cols[MONO_PARAM_SEQUENCE]);
800 } else {
801 fprintf (output, "\t.param [%d] = ", param_cols[MONO_PARAM_SEQUENCE]);
803 if ((crow = mono_metadata_get_constant_index(m, MONO_TOKEN_PARAM_DEF | i, 0))) {
804 guint32 const_cols [MONO_CONSTANT_SIZE];
805 mono_metadata_decode_row( &m->tables[MONO_TABLE_CONSTANT], crow-1, const_cols, MONO_CONSTANT_SIZE);
806 lit = get_constant(m, const_cols [MONO_CONSTANT_TYPE], const_cols [MONO_CONSTANT_VALUE]);
808 else {
809 lit = g_strdup ("not found");
811 fprintf(output, "%s\n", lit);
812 g_free(lit);
814 dump_cattrs_list (list, "\t");
819 * dis_method_list:
820 * @m: metadata context
821 * @start: starting index into the Method Table.
822 * @end: ending index into Method table.
824 * This routine displays the methods in the Method Table from @start to @end
826 static void
827 dis_method_list (const char *klass_name, MonoImage *m, guint32 start, guint32 end, MonoGenericContext *context)
829 MonoTableInfo *t = &m->tables [MONO_TABLE_METHOD];
830 guint32 cols [MONO_METHOD_SIZE];
831 int i;
833 if (end > t->rows){
834 fprintf (output, "ERROR index out of range in methods");
835 /*exit (1);*/
836 end = t->rows;
839 for (i = start; i < end; i++){
840 MonoMethodSignature *ms;
841 MonoGenericContainer *container;
842 MonoGenericContext *method_context = context;
843 char *flags, *impl_flags;
844 const char *sig;
845 char *sig_str;
846 guint32 token;
848 if (!should_include_method (i + 1))
849 continue;
850 mono_metadata_decode_row (t, i, cols, MONO_METHOD_SIZE);
852 flags = method_flags (cols [MONO_METHOD_FLAGS]);
853 impl_flags = method_impl_flags (cols [MONO_METHOD_IMPLFLAGS]);
855 sig = mono_metadata_blob_heap (m, cols [MONO_METHOD_SIGNATURE]);
856 mono_metadata_decode_blob_size (sig, &sig);
858 container = mono_metadata_load_generic_params (
859 m, MONO_TOKEN_METHOD_DEF | (i + 1), context ? context->container : NULL);
860 if (container) {
861 mono_metadata_load_generic_param_constraints (
862 m, MONO_TOKEN_METHOD_DEF | (i + 1), container);
863 method_context = (MonoGenericContext *) container;
866 ms = mono_metadata_parse_method_signature_full (m, method_context ? method_context->container : NULL, i + 1, sig, &sig);
867 sig_str = dis_stringify_method_signature (m, ms, i + 1, method_context, FALSE);
869 fprintf (output, " // method line %d\n", i + 1);
870 fprintf (output, " .method %s", flags);
872 if ((cols [MONO_METHOD_FLAGS] & METHOD_ATTRIBUTE_PINVOKE_IMPL) && (cols [MONO_METHOD_RVA] == 0)) {
873 gchar *pi = pinvoke_info (m, i);
874 if (pi) {
875 fprintf (output, "%s", pi);
876 g_free (pi);
880 fprintf (output, "\n %s", sig_str);
881 fprintf (output, " %s\n", impl_flags);
882 g_free (flags);
883 g_free (impl_flags);
885 token = MONO_TOKEN_METHOD_DEF | (i + 1);
887 fprintf (output, " {\n");
888 dump_cattrs (m, token, " ");
889 dump_cattrs_for_type_params (m, MONO_TOKEN_METHOD_DEF | (i + 1), " ");
890 dump_cattrs_for_method_params (m, i, ms);
892 fprintf (output, " // Method begins at RVA 0x%x\n", cols [MONO_METHOD_RVA]);
893 dump_declarative_security (m, OBJECT_TYPE_METHODDEF, i + 1, " ");
894 if (cols [MONO_METHOD_IMPLFLAGS] & METHOD_IMPL_ATTRIBUTE_NATIVE)
895 fprintf (output, " // Disassembly of native methods is not supported\n");
896 else
897 dis_code (m, token, cols [MONO_METHOD_RVA], method_context);
898 fprintf (output, " } // end of method %s::%s\n\n", klass_name, sig_str);
899 mono_metadata_free_method_signature (ms);
900 g_free (sig_str);
904 typedef struct {
905 MonoTableInfo *t;
906 guint32 col_idx;
907 guint32 idx;
908 guint32 result;
909 } plocator_t;
911 static int
912 table_locator (const void *a, const void *b)
914 plocator_t *loc = (plocator_t *) a;
915 const char *bb = (const char *) b;
916 guint32 table_index = (bb - loc->t->base) / loc->t->row_size;
917 guint32 col;
919 col = mono_metadata_decode_row_col (loc->t, table_index, loc->col_idx);
921 if (loc->idx == col) {
922 loc->result = table_index;
923 return 0;
925 if (loc->idx < col)
926 return -1;
927 else
928 return 1;
931 static void
932 dis_property_methods (MonoImage *m, guint32 prop, MonoGenericContext *context)
934 guint start, end;
935 MonoTableInfo *msemt = &m->tables [MONO_TABLE_METHODSEMANTICS];
936 guint32 cols [MONO_METHOD_SEMA_SIZE];
937 char *sig;
938 const char *type[] = {NULL, ".set", ".get", NULL, ".other"};
940 start = mono_metadata_methods_from_property (m, prop, &end);
941 for (; start < end; ++start) {
942 mono_metadata_decode_row (msemt, start, cols, MONO_METHOD_SEMA_SIZE);
943 if (!should_include_method (cols [MONO_METHOD_SEMA_METHOD]))
944 continue;
945 sig = dis_stringify_method_signature (m, NULL, cols [MONO_METHOD_SEMA_METHOD], context, TRUE);
946 fprintf (output, "\t\t%s %s\n", type [cols [MONO_METHOD_SEMA_SEMANTICS]], sig);
947 g_free (sig);
950 static char*
951 dis_property_signature (MonoImage *m, guint32 prop_idx, MonoGenericContext *context)
953 MonoTableInfo *propt = &m->tables [MONO_TABLE_PROPERTY];
954 const char *ptr;
955 guint32 pcount, i;
956 guint32 cols [MONO_PROPERTY_SIZE];
957 MonoType *type;
958 MonoType *param;
959 char *blurb, *qk;
960 const char *name;
961 int prop_flags;
962 GString *res = g_string_new ("");
964 mono_metadata_decode_row (propt, prop_idx, cols, MONO_PROPERTY_SIZE);
965 name = mono_metadata_string_heap (m, cols [MONO_PROPERTY_NAME]);
966 prop_flags = cols [MONO_PROPERTY_FLAGS];
967 ptr = mono_metadata_blob_heap (m, cols [MONO_PROPERTY_TYPE]);
968 mono_metadata_decode_blob_size (ptr, &ptr);
969 if (!(*ptr & 0x08))
970 g_warning("incorrect signature in property blob: 0x%x", *ptr);
971 if (*ptr & 0x20)
972 g_string_append (res, "instance ");
973 ptr++;
974 pcount = mono_metadata_decode_value (ptr, &ptr);
975 type = mono_metadata_parse_type_full (m, context, MONO_PARSE_TYPE, 0, ptr, &ptr);
976 blurb = dis_stringify_type (m, type, TRUE);
977 if (prop_flags & 0x0200)
978 g_string_append (res, "specialname ");
979 if (prop_flags & 0x0400)
980 g_string_append (res, "rtspecialname ");
981 qk = get_escaped_name (name);
982 g_string_sprintfa (res, "%s %s (", blurb, qk);
983 g_free (qk);
984 g_free (blurb);
985 mono_metadata_free_type (type);
986 for (i = 0; i < pcount; i++) {
987 if (i)
988 g_string_append (res, ", ");
989 param = mono_metadata_parse_type_full (m, context, MONO_PARSE_PARAM, 0, ptr, &ptr);
990 blurb = dis_stringify_param (m, param);
991 g_string_append (res, blurb);
992 mono_metadata_free_type (param);
993 g_free (blurb);
995 g_string_append_c (res, ')');
996 blurb = res->str;
997 g_string_free (res, FALSE);
998 return blurb;
1002 static void
1003 dis_property_list (MonoImage *m, guint32 typedef_row, MonoGenericContext *context)
1005 guint start, end, i;
1006 start = mono_metadata_properties_from_typedef (m, typedef_row, &end);
1008 for (i = start; i < end; ++i) {
1009 char *sig = dis_property_signature (m, i, context);
1010 fprintf (output, "\t.property %s\n\t{\n", sig);
1011 dump_cattrs (m, MONO_TOKEN_PROPERTY | (i + 1), "\t\t");
1012 dis_property_methods (m, i, context);
1013 fprintf (output, "\t}\n");
1014 g_free (sig);
1018 static char*
1019 dis_event_signature (MonoImage *m, guint32 event_idx, MonoGenericContext *context)
1021 MonoTableInfo *et = &m->tables [MONO_TABLE_EVENT];
1022 char *type, *result, *esname;
1023 guint32 cols [MONO_EVENT_SIZE];
1024 int event_flags;
1025 GString *res = g_string_new ("");
1027 mono_metadata_decode_row (et, event_idx, cols, MONO_EVENT_SIZE);
1028 esname = get_escaped_name (mono_metadata_string_heap (m, cols [MONO_EVENT_NAME]));
1029 type = get_typedef_or_ref (m, cols [MONO_EVENT_TYPE], context);
1030 event_flags = cols [MONO_EVENT_FLAGS];
1032 if (event_flags & 0x0200)
1033 g_string_append (res, "specialname ");
1034 if (event_flags & 0x0400)
1035 g_string_append (res, "rtspecialname ");
1036 g_string_sprintfa (res, "%s %s", type, esname);
1038 g_free (type);
1039 g_free (esname);
1040 result = res->str;
1041 g_string_free (res, FALSE);
1042 return result;
1045 static void
1046 dis_event_methods (MonoImage *m, guint32 event, MonoGenericContext *context)
1048 guint start, end;
1049 MonoTableInfo *msemt = &m->tables [MONO_TABLE_METHODSEMANTICS];
1050 guint32 cols [MONO_METHOD_SEMA_SIZE];
1051 char *sig;
1052 const char *type = "";
1054 start = mono_metadata_methods_from_event (m, event, &end);
1055 for (; start < end; ++start) {
1056 mono_metadata_decode_row (msemt, start, cols, MONO_METHOD_SEMA_SIZE);
1057 if (!should_include_method (cols [MONO_METHOD_SEMA_METHOD]))
1058 continue;
1059 sig = dis_stringify_method_signature (m, NULL, cols [MONO_METHOD_SEMA_METHOD], context, TRUE);
1060 switch (cols [MONO_METHOD_SEMA_SEMANTICS]) {
1061 case METHOD_SEMANTIC_OTHER:
1062 type = ".other"; break;
1063 case METHOD_SEMANTIC_ADD_ON:
1064 type = ".addon"; break;
1065 case METHOD_SEMANTIC_REMOVE_ON:
1066 type = ".removeon"; break;
1067 case METHOD_SEMANTIC_FIRE:
1068 type = ".fire"; break;
1069 default:
1070 break;
1072 fprintf (output, "\t\t%s %s\n", type, sig);
1073 g_free (sig);
1077 static void
1078 dis_event_list (MonoImage *m, guint32 typedef_row, MonoGenericContext *context)
1080 guint start, end, i;
1081 start = mono_metadata_events_from_typedef (m, typedef_row, &end);
1083 for (i = start; i < end; ++i) {
1084 char *sig = dis_event_signature (m, i, context);
1085 fprintf (output, "\t.event %s\n\t{\n", sig);
1086 dump_cattrs (m, MONO_TOKEN_EVENT | (i + 1), "\t\t");
1087 dis_event_methods (m, i, context);
1088 fprintf (output, "\t}\n");
1089 g_free (sig);
1093 static void
1094 dis_interfaces (MonoImage *m, guint32 typedef_row, MonoGenericContext *context)
1096 plocator_t loc;
1097 guint start;
1098 gboolean first_interface = 1;
1099 guint32 cols [MONO_INTERFACEIMPL_SIZE];
1100 char *intf;
1101 MonoTableInfo *table = &m->tables [MONO_TABLE_INTERFACEIMPL];
1103 if (!table->base)
1104 return;
1106 loc.t = table;
1107 loc.col_idx = MONO_INTERFACEIMPL_CLASS;
1108 loc.idx = typedef_row;
1110 if (!bsearch (&loc, table->base, table->rows, table->row_size, table_locator))
1111 return;
1113 start = loc.result;
1115 * We may end up in the middle of the rows...
1117 while (start > 0) {
1118 if (loc.idx == mono_metadata_decode_row_col (table, start - 1, MONO_INTERFACEIMPL_CLASS))
1119 start--;
1120 else
1121 break;
1123 while (start < table->rows) {
1124 mono_metadata_decode_row (table, start, cols, MONO_INTERFACEIMPL_SIZE);
1125 if (cols [MONO_INTERFACEIMPL_CLASS] != loc.idx)
1126 break;
1127 intf = get_typedef_or_ref (m, cols [MONO_INTERFACEIMPL_INTERFACE], context);
1128 if (first_interface) {
1129 fprintf (output, " \timplements %s", intf);
1130 first_interface = 0;
1131 } else {
1132 fprintf (output, ", %s", intf);
1134 g_free (intf);
1135 ++start;
1140 * dis_type:
1141 * @m: metadata context
1142 * @n: index of type to disassemble
1143 * @is_nested: nested type ?
1144 * @forward: forward declarations?
1146 * Disassembles the type whose index in the TypeDef table is @n.
1148 static void
1149 dis_type (MonoImage *m, int n, int is_nested, int forward)
1151 MonoTableInfo *t = &m->tables [MONO_TABLE_TYPEDEF];
1152 guint32 cols [MONO_TYPEDEF_SIZE];
1153 guint32 cols_next [MONO_TYPEDEF_SIZE];
1154 const char *name, *nspace;
1155 char *esname, *param;
1156 MonoGenericContainer *container;
1157 guint32 packing_size, class_size;
1158 gboolean next_is_valid, last;
1159 guint32 nested;
1161 if (!should_include_type (n + 1))
1162 return;
1163 mono_metadata_decode_row (t, n, cols, MONO_TYPEDEF_SIZE);
1165 if (t->rows > n + 1) {
1166 mono_metadata_decode_row (t, n + 1, cols_next, MONO_TYPEDEF_SIZE);
1167 next_is_valid = 1;
1168 } else
1169 next_is_valid = 0;
1171 name = mono_metadata_string_heap (m, cols [MONO_TYPEDEF_NAME]);
1172 nspace = mono_metadata_string_heap (m, cols [MONO_TYPEDEF_NAMESPACE]);
1173 if (*nspace && !is_nested)
1174 fprintf (output, ".namespace %s\n{\n", nspace);
1176 container = mono_metadata_load_generic_params (m, MONO_TOKEN_TYPE_DEF | (n + 1), NULL);
1177 if (container)
1178 mono_metadata_load_generic_param_constraints (m, MONO_TOKEN_TYPE_DEF | (n + 1), container);
1180 esname = get_escaped_name (name);
1181 if ((cols [MONO_TYPEDEF_FLAGS] & TYPE_ATTRIBUTE_CLASS_SEMANTIC_MASK) == TYPE_ATTRIBUTE_CLASS){
1182 fprintf (output, " .class %s%s", typedef_flags (cols [MONO_TYPEDEF_FLAGS]), esname);
1184 param = get_generic_param (m, container);
1185 if (param) {
1186 fprintf (output, param);
1187 g_free (param);
1189 fprintf (output, "\n");
1190 if (cols [MONO_TYPEDEF_EXTENDS]) {
1191 char *base = get_typedef_or_ref (
1192 m, cols [MONO_TYPEDEF_EXTENDS], (MonoGenericContext *) container);
1193 fprintf (output, " \textends %s\n", base);
1194 g_free (base);
1196 } else {
1197 fprintf (output, " .class interface %s%s", typedef_flags (cols [MONO_TYPEDEF_FLAGS]), esname);
1199 param = get_generic_param (m, container);
1200 if (param) {
1201 fprintf (output, param);
1202 g_free (param);
1204 fprintf (output, "\n");
1207 g_free (esname);
1208 dis_interfaces (m, n + 1, (MonoGenericContext *) container);
1209 fprintf (output, " {\n");
1210 if (!forward) {
1211 dump_cattrs_for_type_params (m, MONO_TOKEN_TYPE_DEF | (n + 1), " ");
1212 dump_cattrs (m, MONO_TOKEN_TYPE_DEF | (n + 1), " ");
1213 dump_declarative_security (m, OBJECT_TYPE_TYPEDEF, (n + 1), " ");
1215 if (mono_metadata_packing_from_typedef (m, n + 1, &packing_size, &class_size)) {
1216 fprintf (output, " .pack %d\n", packing_size);
1217 fprintf (output, " .size %d\n", class_size);
1220 * The value in the table is always valid, we know we have fields
1221 * if the value stored is different than the next record.
1224 if (next_is_valid)
1225 last = cols_next [MONO_TYPEDEF_FIELD_LIST] - 1;
1226 else
1227 last = m->tables [MONO_TABLE_FIELD].rows;
1229 if (cols [MONO_TYPEDEF_FIELD_LIST] && cols [MONO_TYPEDEF_FIELD_LIST] <= m->tables [MONO_TABLE_FIELD].rows)
1230 dis_field_list (m, cols [MONO_TYPEDEF_FIELD_LIST] - 1, last, (MonoGenericContext *) container);
1231 fprintf (output, "\n");
1233 if (next_is_valid)
1234 last = cols_next [MONO_TYPEDEF_METHOD_LIST] - 1;
1235 else
1236 last = m->tables [MONO_TABLE_METHOD].rows;
1238 if (cols [MONO_TYPEDEF_METHOD_LIST] && cols [MONO_TYPEDEF_METHOD_LIST] <= m->tables [MONO_TABLE_METHOD].rows)
1239 dis_method_list (name, m, cols [MONO_TYPEDEF_METHOD_LIST] - 1, last, (MonoGenericContext *) container);
1241 dis_property_list (m, n, (MonoGenericContext *) container);
1242 dis_event_list (m, n, (MonoGenericContext *) container);
1245 t = &m->tables [MONO_TABLE_NESTEDCLASS];
1246 nested = mono_metadata_nesting_typedef (m, n + 1, 1);
1247 while (nested) {
1248 dis_type (m, mono_metadata_decode_row_col (t, nested - 1, MONO_NESTED_CLASS_NESTED) - 1, 1, forward);
1249 nested = mono_metadata_nesting_typedef (m, n + 1, nested + 1);
1252 fprintf (output, " } // end of class %s%s%s\n", nspace, *nspace? ".": "", name);
1253 if (*nspace && !is_nested)
1254 fprintf (output, "}\n");
1255 fprintf (output, "\n");
1260 * dis_globals
1261 * @m: metadata context
1263 * disassembles all the global fields and methods
1265 static void
1266 dis_globals (MonoImage *m)
1268 MonoTableInfo *t = &m->tables [MONO_TABLE_TYPEDEF];
1269 guint32 cols [MONO_TYPEDEF_SIZE];
1270 guint32 cols_next [MONO_TYPEDEF_SIZE];
1271 gboolean next_is_valid, last;
1272 gchar *name;
1274 name = g_strdup ("<Module>");
1276 mono_metadata_decode_row (t, 0, cols, MONO_TYPEDEF_SIZE);
1278 if (t->rows > 1) {
1279 mono_metadata_decode_row (t, 1, cols_next, MONO_TYPEDEF_SIZE);
1280 next_is_valid = 1;
1281 } else
1282 next_is_valid = 0;
1285 * The value in the table is always valid, we know we have fields
1286 * if the value stored is different than the next record.
1289 if (next_is_valid)
1290 last = cols_next [MONO_TYPEDEF_FIELD_LIST] - 1;
1291 else
1292 last = m->tables [MONO_TABLE_FIELD].rows;
1294 if (cols [MONO_TYPEDEF_FIELD_LIST] && cols [MONO_TYPEDEF_FIELD_LIST] <= m->tables [MONO_TABLE_FIELD].rows)
1295 dis_field_list (m, cols [MONO_TYPEDEF_FIELD_LIST] - 1, last, NULL);
1296 fprintf (output, "\n");
1298 if (next_is_valid)
1299 last = cols_next [MONO_TYPEDEF_METHOD_LIST] - 1;
1300 else
1301 last = m->tables [MONO_TABLE_METHOD].rows;
1303 if (cols [MONO_TYPEDEF_METHOD_LIST] && cols [MONO_TYPEDEF_METHOD_LIST] <= m->tables [MONO_TABLE_METHOD].rows)
1304 dis_method_list (name, m, cols [MONO_TYPEDEF_METHOD_LIST] - 1, last, NULL);
1308 static void
1309 dis_mresource (MonoImage *m)
1311 MonoTableInfo *t = &m->tables [MONO_TABLE_MANIFESTRESOURCE];
1312 int i;
1314 for (i = 0; i < t->rows; i++){
1315 guint32 cols [MONO_MANIFEST_SIZE];
1316 const char *name, *res;
1317 guint32 size;
1318 FILE* fp;
1320 mono_metadata_decode_row (t, i, cols, MONO_MANIFEST_SIZE);
1321 name = mono_metadata_string_heap (m, cols [MONO_MANIFEST_NAME]);
1323 if (! (res = mono_image_get_resource (m, cols [MONO_MANIFEST_OFFSET], &size)))
1324 continue;
1326 if ( (fp = fopen (name, "ab")) ) {
1327 if (ftell (fp) == 0)
1328 fwrite (res, size, 1, fp);
1329 else
1330 g_warning ("Error creating managed resource - %s : File already exists.", name);
1332 fclose (fp);
1333 } else
1334 g_warning ("Error creating managed resource - %s : %s", name, g_strerror (errno));
1339 * dis_types:
1340 * @m: metadata context
1342 * disassembles all types in the @m context
1344 static void
1345 dis_types (MonoImage *m, int forward)
1347 MonoTableInfo *t = &m->tables [MONO_TABLE_TYPEDEF];
1348 int i;
1349 guint32 flags;
1351 dis_globals (m);
1353 for (i = 1; i < t->rows; i++) {
1354 flags = mono_metadata_decode_row_col (t, i, MONO_TYPEDEF_FLAGS);
1355 flags &= TYPE_ATTRIBUTE_VISIBILITY_MASK;
1356 if (flags == TYPE_ATTRIBUTE_PUBLIC || flags == TYPE_ATTRIBUTE_NOT_PUBLIC)
1357 dis_type (m, i, 0, forward);
1362 * dis_data:
1363 * @m: metadata context
1365 * disassembles all data blobs references in the FieldRVA table in the @m context
1367 static void
1368 dis_data (MonoImage *m)
1370 MonoTableInfo *t = &m->tables [MONO_TABLE_FIELDRVA];
1371 MonoTableInfo *ft = &m->tables [MONO_TABLE_FIELD];
1372 int i, b;
1373 const char *rva, *sig;
1374 guint32 align, size;
1375 guint32 cols [MONO_FIELD_RVA_SIZE];
1376 MonoType *type;
1378 for (i = 0; i < t->rows; i++) {
1379 mono_metadata_decode_row (t, i, cols, MONO_FIELD_RVA_SIZE);
1380 rva = mono_image_rva_map (m, cols [MONO_FIELD_RVA_RVA]);
1381 sig = mono_metadata_blob_heap (m, mono_metadata_decode_row_col (ft, cols [MONO_FIELD_RVA_FIELD] -1, MONO_FIELD_SIGNATURE));
1382 mono_metadata_decode_value (sig, &sig);
1383 /* FIELD signature == 0x06 */
1384 g_assert (*sig == 0x06);
1385 type = mono_metadata_parse_field_type (m, 0, sig + 1, &sig);
1386 mono_class_init (mono_class_from_mono_type (type));
1387 size = mono_type_size (type, &align);
1388 fprintf (output, ".data D_%08x = bytearray (", cols [MONO_FIELD_RVA_RVA]);
1389 for (b = 0; b < size; ++b) {
1390 if (!(b % 16))
1391 fprintf (output, "\n\t");
1392 fprintf (output, " %02X", rva [b] & 0xff);
1394 fprintf (output, ") // size: %d\n", size);
1398 struct {
1399 const char *name;
1400 int table;
1401 void (*dumper) (MonoImage *m);
1402 } table_list [] = {
1403 { "--assembly", MONO_TABLE_ASSEMBLY, dump_table_assembly },
1404 { "--assemblyref", MONO_TABLE_ASSEMBLYREF, dump_table_assemblyref },
1405 { "--classlayout", MONO_TABLE_CLASSLAYOUT, dump_table_class_layout },
1406 { "--constant", MONO_TABLE_CONSTANT, dump_table_constant },
1407 { "--customattr", MONO_TABLE_CUSTOMATTRIBUTE, dump_table_customattr },
1408 { "--declsec", MONO_TABLE_DECLSECURITY, dump_table_declsec },
1409 { "--event", MONO_TABLE_EVENT, dump_table_event },
1410 { "--exported", MONO_TABLE_EXPORTEDTYPE, dump_table_exported },
1411 { "--fields", MONO_TABLE_FIELD, dump_table_field },
1412 { "--file", MONO_TABLE_FILE, dump_table_file },
1413 { "--genericpar", MONO_TABLE_GENERICPARAM, dump_table_genericpar },
1414 { "--interface", MONO_TABLE_INTERFACEIMPL, dump_table_interfaceimpl },
1415 { "--manifest", MONO_TABLE_MANIFESTRESOURCE, dump_table_manifest },
1416 { "--marshal", MONO_TABLE_FIELDMARSHAL, dump_table_field_marshal },
1417 { "--memberref", MONO_TABLE_MEMBERREF, dump_table_memberref },
1418 { "--method", MONO_TABLE_METHOD, dump_table_method },
1419 { "--methodimpl", MONO_TABLE_METHODIMPL, dump_table_methodimpl },
1420 { "--methodsem", MONO_TABLE_METHODSEMANTICS, dump_table_methodsem },
1421 { "--methodspec", MONO_TABLE_METHODSPEC, dump_table_methodspec },
1422 { "--moduleref", MONO_TABLE_MODULEREF, dump_table_moduleref },
1423 { "--module", MONO_TABLE_MODULE, dump_table_module },
1424 { "--mresources", 0, dis_mresource },
1425 { "--nested", MONO_TABLE_NESTEDCLASS, dump_table_nestedclass },
1426 { "--param", MONO_TABLE_PARAM, dump_table_param },
1427 { "--parconst", MONO_TABLE_GENERICPARAMCONSTRAINT, dump_table_parconstraint },
1428 { "--property", MONO_TABLE_PROPERTY, dump_table_property },
1429 { "--propertymap", MONO_TABLE_PROPERTYMAP, dump_table_property_map },
1430 { "--typedef", MONO_TABLE_TYPEDEF, dump_table_typedef },
1431 { "--typeref", MONO_TABLE_TYPEREF, dump_table_typeref },
1432 { "--typespec", MONO_TABLE_TYPESPEC, dump_table_typespec },
1433 { "--implmap", MONO_TABLE_IMPLMAP, dump_table_implmap },
1434 { "--standalonesig", MONO_TABLE_STANDALONESIG, dump_table_standalonesig },
1435 { "--blob", 0, dump_stream_blob },
1436 { NULL, -1, }
1440 * disassemble_file:
1441 * @file: file containing CIL code.
1443 * Disassembles the @file file.
1445 static void
1446 disassemble_file (const char *file)
1448 MonoAssembly *ass;
1449 MonoImageOpenStatus status;
1450 MonoImage *img;
1452 ass = mono_assembly_open (file, &status);
1453 if (ass == NULL){
1454 fprintf (stderr, "Error while trying to process %s\n", file);
1455 return;
1458 img = ass->image;
1460 setup_filter (img);
1462 if (dump_table != -1){
1463 (*table_list [dump_table].dumper) (img);
1464 } else {
1465 dump_header_data (img);
1467 dis_directive_assemblyref (img);
1468 dis_directive_assembly (img);
1469 dis_directive_file (img);
1470 dis_directive_mresource (img);
1471 dis_directive_module (img);
1472 dis_directive_moduleref (img);
1473 dis_nt_header (img);
1474 if (dump_managed_resources)
1475 dis_mresource (img);
1476 if (dump_forward_decls) {
1477 fprintf (output, "// *************** Forward Declarations for Classes ***************\n\n");
1478 dis_types (img, 1);
1479 fprintf (output, "// *************** End-Of Forward Declarations for Classes ***************\n\n");
1481 dis_types (img, 0);
1482 dis_data (img);
1485 mono_image_close (img);
1488 typedef struct {
1489 int size;
1490 int count;
1491 int *elems;
1492 } TableFilter;
1494 typedef struct {
1495 char *name;
1496 char *guid;
1497 TableFilter types;
1498 TableFilter fields;
1499 TableFilter methods;
1500 } ImageFilter;
1502 static GList *filter_list = NULL;
1503 static ImageFilter *cur_filter = NULL;
1505 static void
1506 setup_filter (MonoImage *image)
1508 ImageFilter *ifilter;
1509 GList *item;
1510 const char *name = mono_image_get_name (image);
1512 for (item = filter_list; item; item = item->next) {
1513 ifilter = item->data;
1514 if (strcmp (ifilter->name, name) == 0) {
1515 cur_filter = ifilter;
1516 return;
1519 cur_filter = NULL;
1522 static int
1523 int_cmp (const void *e1, const void *e2)
1525 const int *i1 = e1;
1526 const int *i2 = e2;
1527 return *i1 - *i2;
1530 static gboolean
1531 table_includes (TableFilter *tf, int idx)
1533 if (!tf->count)
1534 return FALSE;
1535 return bsearch (&idx, tf->elems, tf->count, sizeof (int), int_cmp) != NULL;
1538 static gboolean
1539 should_include_type (int idx)
1541 if (!cur_filter)
1542 return TRUE;
1543 return table_includes (&cur_filter->types, idx);
1546 static gboolean
1547 should_include_method (int idx)
1549 if (!cur_filter)
1550 return TRUE;
1551 return table_includes (&cur_filter->methods, idx);
1554 static gboolean
1555 should_include_field (int idx)
1557 if (!cur_filter)
1558 return TRUE;
1559 return table_includes (&cur_filter->fields, idx);
1562 static ImageFilter*
1563 add_filter (const char *name)
1565 ImageFilter *ifilter;
1566 GList *item;
1568 for (item = filter_list; item; item = item->next) {
1569 ifilter = item->data;
1570 if (strcmp (ifilter->name, name) == 0)
1571 return ifilter;
1573 ifilter = g_new0 (ImageFilter, 1);
1574 ifilter->name = g_strdup (name);
1575 filter_list = g_list_prepend (filter_list, ifilter);
1576 return ifilter;
1579 static void
1580 add_item (TableFilter *tf, int val)
1582 if (tf->count >= tf->size) {
1583 if (!tf->size) {
1584 tf->size = 8;
1585 tf->elems = g_malloc (sizeof (int) * tf->size);
1586 } else {
1587 tf->size *= 2;
1588 tf->elems = g_realloc (tf->elems, sizeof (int) * tf->size);
1591 tf->elems [tf->count++] = val;
1594 static void
1595 sort_filter_elems (void)
1597 ImageFilter *ifilter;
1598 GList *item;
1600 for (item = filter_list; item; item = item->next) {
1601 ifilter = item->data;
1602 qsort (ifilter->types.elems, ifilter->types.count, sizeof (int), int_cmp);
1603 qsort (ifilter->fields.elems, ifilter->fields.count, sizeof (int), int_cmp);
1604 qsort (ifilter->methods.elems, ifilter->methods.count, sizeof (int), int_cmp);
1608 static void
1609 load_filter (const char* filename)
1611 FILE *file;
1612 char buf [1024];
1613 char *p, *s, *endptr;
1614 int line = 0;
1615 ImageFilter *ifilter = NULL;
1616 int value = 0;
1618 if (!(file = fopen (filename, "r"))) {
1619 g_print ("Cannot open filter file '%s'\n", filename);
1620 exit (1);
1622 while (fgets (buf, sizeof (buf), file) != NULL) {
1623 ++line;
1624 s = buf;
1625 while (*s && g_ascii_isspace (*s)) ++s;
1626 switch (*s) {
1627 case 0:
1628 case '#':
1629 break;
1630 case '[':
1631 p = strchr (s, ']');
1632 if (!p)
1633 g_error ("No matching ']' in filter at line %d\n", line);
1634 *p = 0;
1635 ifilter = add_filter (s + 1);
1636 break;
1637 case 'T':
1638 if (!ifilter)
1639 g_error ("Invalid format in filter at line %d\n", line);
1640 if ((s [1] != ':') || !(value = strtol (s + 2, &endptr, 0)) || (endptr == s + 2))
1641 g_error ("Invalid type number in filter at line %d\n", line);
1642 add_item (&ifilter->types, value);
1643 break;
1644 case 'M':
1645 if (!ifilter)
1646 g_error ("Invalid format in filter at line %d\n", line);
1647 if ((s [1] != ':') || !(value = strtol (s + 2, &endptr, 0)) || (endptr == s + 2))
1648 g_error ("Invalid method number in filter at line %d\n", line);
1649 add_item (&ifilter->methods, value);
1650 break;
1651 case 'F':
1652 if (!ifilter)
1653 g_error ("Invalid format in filter at line %d\n", line);
1654 if ((s [1] != ':') || !(value = strtol (s + 2, &endptr, 0)) || (endptr == s + 2))
1655 g_error ("Invalid field number in filter at line %d\n", line);
1656 add_item (&ifilter->fields, value);
1657 break;
1658 default:
1659 g_error ("Invalid format in filter at line %d\n", line);
1662 fclose (file);
1663 sort_filter_elems ();
1667 static gboolean
1668 try_load_from (MonoAssembly **assembly, const gchar *path1, const gchar *path2,
1669 const gchar *path3, const gchar *path4, gboolean refonly)
1671 gchar *fullpath;
1673 *assembly = NULL;
1674 fullpath = g_build_filename (path1, path2, path3, path4, NULL);
1675 if (g_file_test (fullpath, G_FILE_TEST_IS_REGULAR))
1676 *assembly = mono_assembly_open_full (fullpath, NULL, refonly);
1678 g_free (fullpath);
1679 return (*assembly != NULL);
1682 static MonoAssembly *
1683 real_load (gchar **search_path, const gchar *culture, const gchar *name, gboolean refonly)
1685 MonoAssembly *result = NULL;
1686 gchar **path;
1687 gchar *filename;
1688 const gchar *local_culture;
1689 gint len;
1691 if (!culture || *culture == '\0') {
1692 local_culture = "";
1693 } else {
1694 local_culture = culture;
1697 filename = g_strconcat (name, ".dll", NULL);
1698 len = strlen (filename);
1700 for (path = search_path; *path; path++) {
1701 if (**path == '\0')
1702 continue; /* Ignore empty ApplicationBase */
1704 /* See test cases in bug #58992 and bug #57710 */
1705 /* 1st try: [culture]/[name].dll (culture may be empty) */
1706 strcpy (filename + len - 4, ".dll");
1707 if (try_load_from (&result, *path, local_culture, "", filename, refonly))
1708 break;
1710 /* 2nd try: [culture]/[name].exe (culture may be empty) */
1711 strcpy (filename + len - 4, ".exe");
1712 if (try_load_from (&result, *path, local_culture, "", filename, refonly))
1713 break;
1715 /* 3rd try: [culture]/[name]/[name].dll (culture may be empty) */
1716 strcpy (filename + len - 4, ".dll");
1717 if (try_load_from (&result, *path, local_culture, name, filename, refonly))
1718 break;
1720 /* 4th try: [culture]/[name]/[name].exe (culture may be empty) */
1721 strcpy (filename + len - 4, ".exe");
1722 if (try_load_from (&result, *path, local_culture, name, filename, refonly))
1723 break;
1726 g_free (filename);
1727 return result;
1731 * Try to load referenced assemblies from assemblies_path.
1733 static MonoAssembly *
1734 monodis_preload (MonoAssemblyName *aname,
1735 gchar **assemblies_path,
1736 gpointer user_data)
1738 MonoAssembly *result = NULL;
1739 gboolean refonly = GPOINTER_TO_UINT (user_data);
1741 if (assemblies_path && assemblies_path [0] != NULL) {
1742 result = real_load (assemblies_path, aname->culture, aname->name, refonly);
1745 return result;
1749 static void
1750 usage (void)
1752 GString *args = g_string_new ("[--output=filename] [--filter=filename] [--help] [--mscorlib]\n");
1753 int i;
1755 for (i = 0; table_list [i].name != NULL; i++){
1756 g_string_append (args, "[");
1757 g_string_append (args, table_list [i].name);
1758 g_string_append (args, "] ");
1759 if (((i-2) % 5) == 0)
1760 g_string_append_c (args, '\n');
1762 g_string_append (args, "[--forward-decls]");
1763 fprintf (stderr,
1764 "monodis -- Mono Common Intermediate Language Dissassembler\n"
1765 "Usage is: monodis %s file ..\n", args->str);
1766 exit (1);
1770 main (int argc, char *argv [])
1772 GList *input_files = NULL, *l;
1773 int i, j;
1775 output = stdout;
1776 init_key_table ();
1777 for (i = 1; i < argc; i++){
1778 if (argv [i][0] == '-'){
1779 if (argv [i][1] == 'h')
1780 usage ();
1781 else if (argv [i][1] == 'd')
1782 dump_header_data_p = TRUE;
1783 else if (strcmp (argv [i], "--mscorlib") == 0) {
1784 substitute_with_mscorlib_p = TRUE;
1785 continue;
1786 } else if (strcmp (argv [i], "--show-method-tokens") == 0) {
1787 show_method_tokens = TRUE;
1788 continue;
1789 } else if (strcmp (argv [i], "--show-tokens") == 0) {
1790 show_tokens = TRUE;
1791 continue;
1792 } else if (strncmp (argv [i], "--output=", 9) == 0) {
1793 output = fopen (argv [i]+9, "w");
1794 if (output == NULL) {
1795 fprintf (stderr, "Can't open output file `%s': %s\n",
1796 argv [i]+9, strerror (errno));
1797 exit (1);
1799 dump_managed_resources = TRUE;
1800 continue;
1801 } else if (strncmp (argv [i], "--filter=", 9) == 0) {
1802 load_filter (argv [i]+9);
1803 continue;
1804 } else if (strcmp (argv [i], "--forward-decls") == 0) {
1805 dump_forward_decls = TRUE;
1806 continue;
1807 } else if (strcmp (argv [i], "--help") == 0)
1808 usage ();
1809 for (j = 0; table_list [j].name != NULL; j++) {
1810 if (strcmp (argv [i], table_list [j].name) == 0)
1811 dump_table = j;
1813 if (dump_table < 0)
1814 usage ();
1815 } else
1816 input_files = g_list_append (input_files, argv [i]);
1819 if (input_files == NULL)
1820 usage ();
1823 * If we just have one file, use the corlib version it requires.
1825 if (!input_files->next) {
1826 char *filename = input_files->data;
1828 mono_init_from_assembly (argv [0], filename);
1830 mono_install_assembly_preload_hook (monodis_preload, GUINT_TO_POINTER (FALSE));
1832 disassemble_file (filename);
1833 } else {
1834 mono_init (argv [0]);
1836 for (l = input_files; l; l = l->next)
1837 disassemble_file (l->data);
1840 return 0;