2 * main.c: Sample disassembler
5 * Miguel de Icaza (miguel@ximian.com)
7 * (C) 2001 Ximian, Inc.
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?
28 #include <mono/metadata/class-internals.h>
29 #include <mono/metadata/object-internals.h>
30 #include <mono/metadata/loader.h>
31 #include <mono/metadata/assembly.h>
32 #include <mono/metadata/appdomain.h>
34 static void setup_filter (MonoImage
*image
);
35 static gboolean
should_include_type (int idx
);
36 static gboolean
should_include_method (int idx
);
37 static gboolean
should_include_field (int idx
);
41 /* True if you want to get a dump of the header data */
42 gboolean dump_header_data_p
= FALSE
;
44 /* True if you want to get forward declarations */
45 gboolean dump_forward_decls
= FALSE
;
47 /* True if you want to dump managed resources as files */
48 gboolean dump_managed_resources
= FALSE
;
50 gboolean substitute_with_mscorlib_p
= FALSE
;
55 dump_header_data (MonoImage
*img
)
57 if (!dump_header_data_p
)
61 "// Ximian's CIL disassembler, version 1.0\n"
62 "// Copyright (C) 2001 Ximian, Inc.\n\n");
66 dump_cattrs_list (GList
*list
, const char *indent
)
70 for (tmp
= list
; tmp
; tmp
= tmp
->next
) {
71 fprintf (output
, "%s%s\n", indent
, (char*)tmp
->data
);
78 dump_cattrs (MonoImage
*m
, guint32 token
, const char *indent
)
82 list
= dis_get_custom_attrs (m
, token
);
83 dump_cattrs_list (list
, indent
);
87 get_il_security_action (int val
)
92 case SECURITY_ACTION_DEMAND
:
94 case SECURITY_ACTION_ASSERT
:
96 case SECURITY_ACTION_DENY
:
98 case SECURITY_ACTION_PERMITONLY
:
100 case SECURITY_ACTION_LINKDEMAND
:
102 case SECURITY_ACTION_INHERITDEMAND
:
103 return "inheritcheck";
104 case SECURITY_ACTION_REQMIN
:
106 case SECURITY_ACTION_REQOPT
:
108 case SECURITY_ACTION_REQREFUSE
:
110 /* Special actions (for non CAS permissions) */
111 case SECURITY_ACTION_NONCASDEMAND
:
112 return "noncasdemand";
113 case SECURITY_ACTION_NONCASLINKDEMAND
:
114 return "noncaslinkdemand";
115 case SECURITY_ACTION_NONCASINHERITANCE
:
116 return "noncasinheritance";
117 /* Fx 2.0 actions (for both CAS and non-CAS permissions) */
118 case SECURITY_ACTION_LINKDEMANDCHOICE
:
119 return "linkdemandor";
120 case SECURITY_ACTION_INHERITDEMANDCHOICE
:
121 return "inheritancedemandor";
122 case SECURITY_ACTION_DEMANDCHOICE
:
125 g_snprintf (buf
, sizeof (buf
), "0x%04X", val
);
130 #define OBJECT_TYPE_TYPEDEF 0
131 #define OBJECT_TYPE_METHODDEF 1
132 #define OBJECT_TYPE_ASSEMBLYDEF 2
135 dump_declarative_security (MonoImage
*m
, guint32 objectType
, guint32 token
, const char *indent
)
137 MonoTableInfo
*t
= &m
->tables
[MONO_TABLE_DECLSECURITY
];
138 guint32 cols
[MONO_DECL_SECURITY_SIZE
];
141 const char *blob
, *action
;
143 for (i
= 1; i
<= t
->rows
; i
++) {
144 mono_metadata_decode_row (t
, i
- 1, cols
, MONO_DECL_SECURITY_SIZE
);
145 blob
= mono_metadata_blob_heap (m
, cols
[MONO_DECL_SECURITY_PERMISSIONSET
]);
146 len
= mono_metadata_decode_blob_size (blob
, &blob
);
147 action
= get_il_security_action (cols
[MONO_DECL_SECURITY_ACTION
]);
148 idx
= cols
[MONO_DECL_SECURITY_PARENT
];
149 if (((idx
& MONO_HAS_DECL_SECURITY_MASK
) == objectType
) && ((idx
>> MONO_HAS_DECL_SECURITY_BITS
) == token
)) {
151 if (blob
[0] == MONO_DECLSEC_FORMAT_20
) {
152 /* 2.0 declarative security format */
153 dump
= dump_declsec_entry20 (m
, blob
, indent
);
154 fprintf (output
, "%s.permissionset %s = %s\n", indent
, action
, dump
);
156 /* 1.x declarative security metadata format */
157 dump
= data_dump (blob
, len
, indent
);
158 fprintf (output
, "%s.permissionset %s = %s", indent
, action
, dump
);
166 assembly_flags (guint32 f
)
168 if (f
& ASSEMBLYREF_RETARGETABLE_FLAG
)
169 return g_strdup ("retargetable ");
170 return g_strdup ("");
174 dis_directive_assembly (MonoImage
*m
)
176 MonoTableInfo
*t
= &m
->tables
[MONO_TABLE_ASSEMBLY
];
177 guint32 cols
[MONO_ASSEMBLY_SIZE
];
183 mono_metadata_decode_row (t
, 0, cols
, MONO_ASSEMBLY_SIZE
);
184 flags
= assembly_flags (cols
[MONO_ASSEMBLY_FLAGS
]);
186 fprintf (output
, ".assembly %s'%s'\n{\n",
187 flags
, mono_metadata_string_heap (m
, cols
[MONO_ASSEMBLY_NAME
]));
188 dump_cattrs (m
, MONO_TOKEN_ASSEMBLY
| 1, " ");
189 dump_declarative_security (m
, OBJECT_TYPE_ASSEMBLYDEF
, 1, " ");
191 " .hash algorithm 0x%08x\n"
192 " .ver %d:%d:%d:%d\n",
193 cols
[MONO_ASSEMBLY_HASH_ALG
],
194 cols
[MONO_ASSEMBLY_MAJOR_VERSION
], cols
[MONO_ASSEMBLY_MINOR_VERSION
],
195 cols
[MONO_ASSEMBLY_BUILD_NUMBER
], cols
[MONO_ASSEMBLY_REV_NUMBER
]);
196 if (cols
[MONO_ASSEMBLY_CULTURE
]){
197 const char *locale
= mono_metadata_string_heap (m
, cols
[MONO_ASSEMBLY_CULTURE
]);
198 glong items_read
, items_written
;
199 gunichar2
*render
= g_utf8_to_utf16 (locale
, strlen (locale
), &items_read
, &items_written
, NULL
);
200 char *dump
= data_dump ((const char *) render
, items_written
* sizeof (gunichar2
), "\t\t");
201 fprintf (output
, " .locale %s\n", dump
);
205 } if (cols
[MONO_ASSEMBLY_PUBLIC_KEY
]) {
206 const char* b
= mono_metadata_blob_heap (m
, cols
[MONO_ASSEMBLY_PUBLIC_KEY
]);
207 int len
= mono_metadata_decode_blob_size (b
, &b
);
208 char *dump
= data_dump (b
, len
, "\t\t");
209 fprintf (output
, " .publickey =%s", dump
);
212 fprintf (output
, "}\n");
218 dis_directive_assemblyref (MonoImage
*m
)
220 MonoTableInfo
*t
= &m
->tables
[MONO_TABLE_ASSEMBLYREF
];
221 guint32 cols
[MONO_ASSEMBLYREF_SIZE
];
227 for (i
= 0; i
< t
->rows
; i
++){
230 mono_metadata_decode_row (t
, i
, cols
, MONO_ASSEMBLYREF_SIZE
);
232 esc
= get_escaped_name (mono_metadata_string_heap (m
, cols
[MONO_ASSEMBLYREF_NAME
]));
233 flags
= assembly_flags (cols
[MONO_ASSEMBLYREF_FLAGS
]);
236 ".assembly extern %s%s\n"
238 " .ver %d:%d:%d:%d\n",
241 cols
[MONO_ASSEMBLYREF_MAJOR_VERSION
], cols
[MONO_ASSEMBLYREF_MINOR_VERSION
],
242 cols
[MONO_ASSEMBLYREF_BUILD_NUMBER
], cols
[MONO_ASSEMBLYREF_REV_NUMBER
]
244 dump_cattrs (m
, MONO_TOKEN_ASSEMBLY_REF
| (i
+ 1), " ");
245 if (cols
[MONO_ASSEMBLYREF_CULTURE
]){
246 fprintf (output
, " .locale %s\n", mono_metadata_string_heap (m
, cols
[MONO_ASSEMBLYREF_CULTURE
]));
248 if (cols
[MONO_ASSEMBLYREF_PUBLIC_KEY
]){
249 const char* b
= mono_metadata_blob_heap (m
, cols
[MONO_ASSEMBLYREF_PUBLIC_KEY
]);
250 int len
= mono_metadata_decode_blob_size (b
, &b
);
251 char *dump
= data_dump (b
, len
, "\t\t");
252 fprintf (output
, " .publickeytoken =%s", dump
);
255 fprintf (output
, "}\n");
262 dis_directive_module (MonoImage
*m
)
264 MonoTableInfo
*t
= &m
->tables
[MONO_TABLE_MODULE
];
267 for (i
= 0; i
< t
->rows
; i
++){
268 guint32 cols
[MONO_MODULE_SIZE
];
272 mono_metadata_decode_row (t
, i
, cols
, MONO_MODULE_SIZE
);
274 name
= mono_metadata_string_heap (m
, cols
[MONO_MODULE_NAME
]);
275 ename
= get_escaped_name (name
);
276 guid
= get_guid (m
, cols
[MONO_MODULE_MVID
]);
277 fprintf (output
, ".module %s // GUID = %s\n\n", ename
, guid
);
280 dump_cattrs (m
, MONO_TOKEN_MODULE
| (i
+ 1), "");
285 dis_directive_moduleref (MonoImage
*m
)
287 MonoTableInfo
*t
= &m
->tables
[MONO_TABLE_MODULEREF
];
290 for (i
= 0; i
< t
->rows
; i
++){
291 guint32 cols
[MONO_MODULEREF_SIZE
];
293 mono_metadata_decode_row (t
, i
, cols
, MONO_MODULEREF_SIZE
);
295 fprintf (output
, ".module extern '%s'\n", mono_metadata_string_heap (m
, cols
[MONO_MODULEREF_NAME
]));
301 dis_nt_header (MonoImage
*m
)
303 MonoCLIImageInfo
*image_info
= m
->image_info
;
304 if (image_info
&& image_info
->cli_header
.nt
.pe_stack_reserve
!= 0x100000)
305 fprintf (output
, ".stackreserve 0x%x\n", image_info
->cli_header
.nt
.pe_stack_reserve
);
309 dis_directive_file (MonoImage
*m
)
311 MonoTableInfo
*t
= &m
->tables
[MONO_TABLE_FILE
];
315 entry_point
= mono_image_get_entry_point (m
);
317 for (i
= 0; i
< t
->rows
; i
++){
318 guint32 cols
[MONO_FILE_SIZE
];
319 const char *name
, *hash
;
322 mono_metadata_decode_row (t
, i
, cols
, MONO_FILE_SIZE
);
324 name
= mono_metadata_string_heap (m
, cols
[MONO_FILE_NAME
]);
326 hash
= mono_metadata_blob_heap (m
, cols
[MONO_FILE_HASH_VALUE
]);
327 len
= mono_metadata_decode_blob_size (hash
, &hash
);
329 fprintf (output
, ".file %s%s .hash = (",
330 cols
[MONO_FILE_FLAGS
] & FILE_CONTAINS_NO_METADATA
? "nometadata " : "", name
);
332 for (j
= 0; j
< len
; ++j
)
333 fprintf (output
, " %02X", hash
[j
] & 0xff);
335 token
= mono_metadata_make_token (MONO_TABLE_FILE
, i
+ 1);
336 fprintf (output
, " )%s\n", (token
== entry_point
) ? " .entrypoint" : "");
342 dis_directive_mresource (MonoImage
*m
)
344 MonoTableInfo
*t
= &m
->tables
[MONO_TABLE_MANIFESTRESOURCE
];
347 for (i
= 0; i
< t
->rows
; i
++){
348 guint32 cols
[MONO_MANIFEST_SIZE
];
350 guint32 impl
, idx
, name_token
;
352 mono_metadata_decode_row (t
, i
, cols
, MONO_MANIFEST_SIZE
);
354 name
= mono_metadata_string_heap (m
, cols
[MONO_MANIFEST_NAME
]);
356 fprintf (output
, ".mresource %s '%s'\n", (cols
[MONO_MANIFEST_FLAGS
] & MANIFEST_RESOURCE_VISIBILITY_MASK
) == (MANIFEST_RESOURCE_PUBLIC
) ? "public" : "private", name
);
357 fprintf (output
, "{\n");
358 impl
= cols
[MONO_MANIFEST_IMPLEMENTATION
];
360 idx
= impl
>> MONO_IMPLEMENTATION_BITS
;
361 if ((impl
& MONO_IMPLEMENTATION_MASK
) == MONO_IMPLEMENTATION_FILE
) {
362 name_token
= mono_metadata_decode_row_col (&m
->tables
[MONO_TABLE_FILE
], idx
- 1, MONO_FILE_NAME
);
364 fprintf (output
, " .file '%s' at 0x0\n", mono_metadata_string_heap (m
, name_token
));
366 if ((impl
& MONO_IMPLEMENTATION_MASK
) == MONO_IMPLEMENTATION_ASSEMBLYREF
) {
367 name_token
= mono_metadata_decode_row_col (&m
->tables
[MONO_TABLE_ASSEMBLYREF
], idx
- 1, MONO_ASSEMBLYREF_NAME
);
368 fprintf (output
, " .assembly extern '%s'\n", mono_metadata_string_heap (m
, name_token
));
371 fprintf (output
, "}\n");
376 static dis_map_t visibility_map
[] = {
377 { TYPE_ATTRIBUTE_NOT_PUBLIC
, "private " },
378 { TYPE_ATTRIBUTE_PUBLIC
, "public " },
379 { TYPE_ATTRIBUTE_NESTED_PUBLIC
, "nested public " },
380 { TYPE_ATTRIBUTE_NESTED_PRIVATE
, "nested private " },
381 { TYPE_ATTRIBUTE_NESTED_FAMILY
, "nested family " },
382 { TYPE_ATTRIBUTE_NESTED_ASSEMBLY
, "nested assembly " },
383 { TYPE_ATTRIBUTE_NESTED_FAM_AND_ASSEM
, "nested famandassem " },
384 { TYPE_ATTRIBUTE_NESTED_FAM_OR_ASSEM
, "nested famorassem " },
388 static dis_map_t layout_map
[] = {
389 { TYPE_ATTRIBUTE_AUTO_LAYOUT
, "auto " },
390 { TYPE_ATTRIBUTE_SEQUENTIAL_LAYOUT
, "sequential " },
391 { TYPE_ATTRIBUTE_EXPLICIT_LAYOUT
, "explicit " },
395 static dis_map_t format_map
[] = {
396 { TYPE_ATTRIBUTE_ANSI_CLASS
, "ansi " },
397 { TYPE_ATTRIBUTE_UNICODE_CLASS
, "unicode " },
398 { TYPE_ATTRIBUTE_AUTO_CLASS
, "auto " },
403 typedef_flags (guint32 flags
)
405 static char buffer
[1024];
406 int visibility
= flags
& TYPE_ATTRIBUTE_VISIBILITY_MASK
;
407 int layout
= flags
& TYPE_ATTRIBUTE_LAYOUT_MASK
;
408 int format
= flags
& TYPE_ATTRIBUTE_STRING_FORMAT_MASK
;
412 strcat (buffer
, map (visibility
, visibility_map
));
413 strcat (buffer
, map (layout
, layout_map
));
414 strcat (buffer
, map (format
, format_map
));
416 if (flags
& TYPE_ATTRIBUTE_ABSTRACT
)
417 strcat (buffer
, "abstract ");
418 if (flags
& TYPE_ATTRIBUTE_SEALED
)
419 strcat (buffer
, "sealed ");
420 if (flags
& TYPE_ATTRIBUTE_SPECIAL_NAME
)
421 strcat (buffer
, "specialname ");
422 if (flags
& TYPE_ATTRIBUTE_IMPORT
)
423 strcat (buffer
, "import ");
424 if (flags
& TYPE_ATTRIBUTE_SERIALIZABLE
)
425 strcat (buffer
, "serializable ");
426 if (flags
& TYPE_ATTRIBUTE_BEFORE_FIELD_INIT
)
427 strcat (buffer
, "beforefieldinit ");
428 if (flags
& TYPE_ATTRIBUTE_FORWARDER
)
429 strcat (buffer
, "forwarder ");
436 * @m: metadata context
437 * @start: starting index into the Field Table.
438 * @end: ending index into Field table.
440 * This routine displays all the decoded fields from @start to @end
443 dis_field_list (MonoImage
*m
, guint32 start
, guint32 end
, MonoGenericContainer
*container
)
445 MonoTableInfo
*t
= &m
->tables
[MONO_TABLE_FIELD
];
446 guint32 cols
[MONO_FIELD_SIZE
];
452 if (end
> t
->rows
+ 1) {
453 g_warning ("ERROR index out of range in fields");
457 for (i
= start
; i
< end
; i
++){
458 char *sig
, *flags
, *attrs
= NULL
;
459 char *marshal_str
= NULL
;
460 guint32 field_offset
= -1;
462 if (!should_include_field (i
+ 1))
464 mono_metadata_decode_row (t
, i
, cols
, MONO_FIELD_SIZE
);
465 sig
= get_field_signature (m
, cols
[MONO_FIELD_SIGNATURE
], container
);
466 flags
= field_flags (cols
[MONO_FIELD_FLAGS
]);
468 if (cols
[MONO_FIELD_FLAGS
] & FIELD_ATTRIBUTE_HAS_FIELD_MARSHAL
) {
470 MonoMarshalSpec
*spec
;
472 tp
= mono_metadata_get_marshal_info (m
, i
, TRUE
);
473 spec
= mono_metadata_parse_marshal_spec (m
, tp
);
474 marshal_str
= dis_stringify_marshal_spec (spec
);
477 if (cols
[MONO_FIELD_FLAGS
] & FIELD_ATTRIBUTE_HAS_FIELD_RVA
) {
478 mono_metadata_field_info (m
, i
, NULL
, &rva
, NULL
);
479 g_snprintf (rva_desc
, sizeof (rva_desc
), " at D_%08x", rva
);
484 mono_metadata_field_info (m
, i
, &field_offset
, NULL
, NULL
);
485 if (field_offset
!= -1)
486 attrs
= g_strdup_printf ("[%d]", field_offset
);
487 esname
= get_escaped_name (mono_metadata_string_heap (m
, cols
[MONO_FIELD_NAME
]));
488 if (cols
[MONO_FIELD_FLAGS
] & FIELD_ATTRIBUTE_HAS_DEFAULT
){
490 guint32 const_cols
[MONO_CONSTANT_SIZE
];
493 if ((crow
= mono_metadata_get_constant_index (m
, MONO_TOKEN_FIELD_DEF
| (i
+1), 0))) {
494 mono_metadata_decode_row (&m
->tables
[MONO_TABLE_CONSTANT
], crow
-1, const_cols
, MONO_CONSTANT_SIZE
);
495 lit
= get_constant (m
, const_cols
[MONO_CONSTANT_TYPE
], const_cols
[MONO_CONSTANT_VALUE
]);
497 lit
= g_strdup ("not found");
500 fprintf (output
, " .field %s%s%s %s = ",
501 flags
, marshal_str
? marshal_str
: " ", sig
, esname
);
502 fprintf (output
, "%s\n", lit
);
505 fprintf (output
, " .field %s %s%s%s %s%s\n",
506 attrs
? attrs
: "", flags
, marshal_str
? marshal_str
: " ", sig
, esname
, rva_desc
);
509 g_free (marshal_str
);
512 dump_cattrs (m
, MONO_TOKEN_FIELD_DEF
| (i
+ 1), " ");
516 static dis_map_t method_access_map
[] = {
517 { METHOD_ATTRIBUTE_COMPILER_CONTROLLED
, "privatescope " },
518 { METHOD_ATTRIBUTE_PRIVATE
, "private " },
519 { METHOD_ATTRIBUTE_FAM_AND_ASSEM
, "famandassem " },
520 { METHOD_ATTRIBUTE_ASSEM
, "assembly " },
521 { METHOD_ATTRIBUTE_FAMILY
, "family " },
522 { METHOD_ATTRIBUTE_FAM_OR_ASSEM
, "famorassem " },
523 { METHOD_ATTRIBUTE_PUBLIC
, "public " },
527 static dis_map_t method_flags_map
[] = {
528 { METHOD_ATTRIBUTE_STATIC
, "static " },
529 { METHOD_ATTRIBUTE_FINAL
, "final " },
530 { METHOD_ATTRIBUTE_VIRTUAL
, "virtual " },
531 { METHOD_ATTRIBUTE_HIDE_BY_SIG
, "hidebysig " },
532 { METHOD_ATTRIBUTE_VTABLE_LAYOUT_MASK
, "newslot " },
533 { METHOD_ATTRIBUTE_ABSTRACT
, "abstract " },
534 { METHOD_ATTRIBUTE_SPECIAL_NAME
, "specialname " },
535 { METHOD_ATTRIBUTE_RT_SPECIAL_NAME
, "rtspecialname " },
536 { METHOD_ATTRIBUTE_UNMANAGED_EXPORT
, "export " },
537 /* MS ilasm doesn't compile this statement - is must be added automagically when permissionset are present */
538 /* { METHOD_ATTRIBUTE_HAS_SECURITY, "hassecurity" }, */
539 { METHOD_ATTRIBUTE_REQUIRE_SEC_OBJECT
, "requiresecobj" },
540 { METHOD_ATTRIBUTE_PINVOKE_IMPL
, "pinvokeimpl " },
547 * Returns a stringified version of the Method's flags
550 method_flags (guint32 f
)
552 GString
*str
= g_string_new ("");
553 int access
= f
& METHOD_ATTRIBUTE_MEMBER_ACCESS_MASK
;
556 g_string_append (str
, map (access
, method_access_map
));
557 g_string_append (str
, flags (f
, method_flags_map
));
560 g_string_free (str
, FALSE
);
565 static dis_map_t pinvoke_flags_map
[] = {
566 { PINVOKE_ATTRIBUTE_NO_MANGLE
, "nomangle " },
567 { PINVOKE_ATTRIBUTE_SUPPORTS_LAST_ERROR
, "lasterr " },
568 { PINVOKE_ATTRIBUTE_BEST_FIT_ENABLED
, "bestfit:on" },
569 { PINVOKE_ATTRIBUTE_BEST_FIT_DISABLED
, "bestfit:off" },
570 { PINVOKE_ATTRIBUTE_THROW_ON_UNMAPPABLE_ENABLED
, "charmaperror:on" },
571 { PINVOKE_ATTRIBUTE_THROW_ON_UNMAPPABLE_DISABLED
, "charmaperror:off" },
575 static dis_map_t pinvoke_call_conv_map
[] = {
576 { PINVOKE_ATTRIBUTE_CALL_CONV_WINAPI
, "winapi " },
577 { PINVOKE_ATTRIBUTE_CALL_CONV_CDECL
, "cdecl " },
578 { PINVOKE_ATTRIBUTE_CALL_CONV_STDCALL
, "stdcall " },
579 { PINVOKE_ATTRIBUTE_CALL_CONV_THISCALL
, "thiscall " },
580 { PINVOKE_ATTRIBUTE_CALL_CONV_FASTCALL
, "fastcall " },
585 static dis_map_t pinvoke_char_set_map
[] = {
586 { PINVOKE_ATTRIBUTE_CHAR_SET_NOT_SPEC
, "" },
587 { PINVOKE_ATTRIBUTE_CHAR_SET_ANSI
, "ansi " },
588 { PINVOKE_ATTRIBUTE_CHAR_SET_UNICODE
, "unicode " },
589 { PINVOKE_ATTRIBUTE_CHAR_SET_AUTO
, "autochar " },
596 * Returns a stringified version of the Method's pinvoke flags
599 pinvoke_flags (guint32 f
)
601 GString
*str
= g_string_new ("");
602 int cset
= f
& PINVOKE_ATTRIBUTE_CHAR_SET_MASK
;
603 int cconv
= f
& PINVOKE_ATTRIBUTE_CALL_CONV_MASK
;
606 g_string_append (str
, map (cset
, pinvoke_char_set_map
));
607 g_string_append (str
, map (cconv
, pinvoke_call_conv_map
));
608 g_string_append (str
, flags (f
, pinvoke_flags_map
));
610 s
= g_strdup(str
->str
);
611 g_string_free (str
, FALSE
);
616 static dis_map_t method_impl_map
[] = {
617 { METHOD_IMPL_ATTRIBUTE_IL
, "cil " },
618 { METHOD_IMPL_ATTRIBUTE_NATIVE
, "native " },
619 { METHOD_IMPL_ATTRIBUTE_OPTIL
, "optil " },
620 { METHOD_IMPL_ATTRIBUTE_RUNTIME
, "runtime " },
624 static dis_map_t managed_type_map
[] = {
625 { METHOD_IMPL_ATTRIBUTE_UNMANAGED
, "unmanaged " },
626 { METHOD_IMPL_ATTRIBUTE_MANAGED
, "managed " },
630 static dis_map_t managed_impl_flags
[] = {
631 { METHOD_IMPL_ATTRIBUTE_FORWARD_REF
, "fwdref " },
632 { METHOD_IMPL_ATTRIBUTE_PRESERVE_SIG
, "preservesig " },
633 { METHOD_IMPL_ATTRIBUTE_INTERNAL_CALL
, "internalcall " },
634 { METHOD_IMPL_ATTRIBUTE_SYNCHRONIZED
, "synchronized " },
635 { METHOD_IMPL_ATTRIBUTE_NOINLINING
, "noinlining " },
640 method_impl_flags (guint32 f
)
642 GString
*str
= g_string_new ("");
644 int code_type
= f
& METHOD_IMPL_ATTRIBUTE_CODE_TYPE_MASK
;
645 int managed_type
= f
& METHOD_IMPL_ATTRIBUTE_MANAGED_MASK
;
647 g_string_append (str
, map (code_type
, method_impl_map
));
648 g_string_append (str
, map (managed_type
, managed_type_map
));
649 g_string_append (str
, flags (f
, managed_impl_flags
));
652 g_string_free (str
, FALSE
);
657 dis_locals (MonoImage
*m
, MonoMethodHeader
*mh
, const char *ptr
)
662 unsigned char flags
= *(const unsigned char *) ptr
;
663 unsigned char format
= flags
& METHOD_HEADER_FORMAT_MASK
;
665 guint32 local_var_sig_tok
, max_stack
, code_size
, init_locals
;
668 g_assert (format
== METHOD_HEADER_FAT_FORMAT
);
669 fat_flags
= read16 (ptr
);
671 hsize
= (fat_flags
>> 12) & 0xf;
672 max_stack
= read16 (ptr
);
674 code_size
= read32 (ptr
);
676 local_var_sig_tok
= read32 (ptr
);
679 if (fat_flags
& METHOD_HEADER_INIT_LOCALS
)
684 fprintf(output
, "\t.locals /*%08x*/ %s(\n",
685 local_var_sig_tok
, init_locals
? "init " : "");
687 fprintf(output
, "\t.locals %s(\n", mh
->init_locals
? "init " : "");
689 for (i
=0; i
< mh
->num_locals
; ++i
) {
692 fprintf(output
, ",\n");
693 /* print also byref and pinned attributes */
694 desc
= dis_stringify_type (m
, mh
->locals
[i
], TRUE
);
695 fprintf(output
, "\t\t%s\tV_%d", desc
, i
);
698 fprintf(output
, ")\n");
702 dis_code (MonoImage
*m
, guint32 token
, guint32 rva
, MonoGenericContainer
*container
)
704 MonoMethodHeader
*mh
;
705 const char *ptr
= mono_image_rva_map (m
, rva
);
713 override
= get_method_override (m
, token
, container
);
715 fprintf (output
, "\t.override %s\n", override
);
719 mh
= mono_metadata_parse_mh_full (m
, container
, ptr
);
720 if ((entry_point
= mono_image_get_entry_point (m
))){
721 loc
= mono_metadata_locate_token (m
, entry_point
);
722 if (rva
== read32 (loc
))
723 fprintf (output
, "\t.entrypoint\n");
726 fprintf (output
, "\t// Code size %d (0x%x)\n", mh
->code_size
, mh
->code_size
);
727 fprintf (output
, "\t.maxstack %d\n", mh
->max_stack
);
729 dis_locals (m
, mh
, ptr
);
730 disassemble_cil (m
, mh
, container
);
733 hex_dump (mh->code, 0, mh->code_size);
734 printf ("\nAfter the code\n");
735 hex_dump (mh->code + mh->code_size, 0, 64);
737 mono_metadata_free_mh (mh
);
741 pinvoke_info (MonoImage
*m
, guint32 mindex
)
743 MonoTableInfo
*im
= &m
->tables
[MONO_TABLE_IMPLMAP
];
744 MonoTableInfo
*mr
= &m
->tables
[MONO_TABLE_MODULEREF
];
745 guint32 im_cols
[MONO_IMPLMAP_SIZE
];
746 guint32 mr_cols
[MONO_MODULEREF_SIZE
];
747 const char *import
, *scope
;
751 for (i
= 0; i
< im
->rows
; i
++) {
753 mono_metadata_decode_row (im
, i
, im_cols
, MONO_IMPLMAP_SIZE
);
755 if ((im_cols
[MONO_IMPLMAP_MEMBER
] >> 1) == mindex
+ 1) {
757 flags
= pinvoke_flags (im_cols
[MONO_IMPLMAP_FLAGS
]);
759 import
= mono_metadata_string_heap (m
, im_cols
[MONO_IMPLMAP_NAME
]);
761 mono_metadata_decode_row (mr
, im_cols
[MONO_IMPLMAP_SCOPE
] - 1,
762 mr_cols
, MONO_MODULEREF_SIZE
);
764 scope
= mono_metadata_string_heap (m
, mr_cols
[MONO_MODULEREF_NAME
]);
766 return g_strdup_printf ("(\"%s\" as \"%s\" %s)", scope
, import
,
776 * dump_cattrs_for_type_params
779 * @token: TypeOrMethodDef token, owner for GenericParam
781 * Dumps the custom attributes for @token's type parameters
784 dump_cattrs_for_type_params (MonoImage
*m
, guint32 token
, const char *indent
)
786 MonoTableInfo
*tdef
= &m
->tables
[MONO_TABLE_GENERICPARAM
];
787 guint32 cols
[MONO_GENERICPARAM_SIZE
];
788 guint32 owner
= 0, i
;
791 if (! (i
= mono_metadata_get_generic_param_row (m
, token
, &owner
)))
794 mono_metadata_decode_row (tdef
, i
- 1, cols
, MONO_GENERICPARAM_SIZE
);
796 list
= dis_get_custom_attrs (m
, mono_metadata_make_token (MONO_TABLE_GENERICPARAM
, i
));
798 fprintf (output
, "%s.param type %s\n", indent
, mono_metadata_string_heap (m
, cols
[MONO_GENERICPARAM_NAME
]));
799 dump_cattrs_list (list
, indent
);
802 if (++i
> tdef
->rows
)
804 mono_metadata_decode_row (tdef
, i
- 1, cols
, MONO_GENERICPARAM_SIZE
);
805 } while (cols
[MONO_GENERICPARAM_OWNER
] == owner
);
809 dump_cattrs_for_method_params (MonoImage
*m
, guint32 midx
, MonoMethodSignature
*sig
) {
810 MonoTableInfo
*methodt
;
811 MonoTableInfo
*paramt
;
812 guint param_index
, lastp
, i
;
814 methodt
= &m
->tables
[MONO_TABLE_METHOD
];
815 paramt
= &m
->tables
[MONO_TABLE_PARAM
];
816 param_index
= mono_metadata_decode_row_col (methodt
, midx
, MONO_METHOD_PARAMLIST
);
817 if (midx
+ 1 < methodt
->rows
)
818 lastp
= mono_metadata_decode_row_col (methodt
, midx
+ 1, MONO_METHOD_PARAMLIST
);
820 lastp
= paramt
->rows
+ 1;
821 for (i
= param_index
; i
< lastp
; ++i
) {
824 guint32 param_cols
[MONO_PARAM_SIZE
];
827 list
= dis_get_custom_attrs (m
, MONO_TOKEN_PARAM_DEF
| i
);
829 mono_metadata_decode_row (paramt
, i
-1, param_cols
, MONO_PARAM_SIZE
);
830 if (!(param_cols
[MONO_PARAM_FLAGS
] & PARAM_ATTRIBUTE_HAS_DEFAULT
)) {
832 fprintf (output
, "\t.param [%d]\n", param_cols
[MONO_PARAM_SEQUENCE
]);
834 fprintf (output
, "\t.param [%d] = ", param_cols
[MONO_PARAM_SEQUENCE
]);
836 if ((crow
= mono_metadata_get_constant_index(m
, MONO_TOKEN_PARAM_DEF
| i
, 0))) {
837 guint32 const_cols
[MONO_CONSTANT_SIZE
];
838 mono_metadata_decode_row( &m
->tables
[MONO_TABLE_CONSTANT
], crow
-1, const_cols
, MONO_CONSTANT_SIZE
);
839 lit
= get_constant(m
, const_cols
[MONO_CONSTANT_TYPE
], const_cols
[MONO_CONSTANT_VALUE
]);
842 lit
= g_strdup ("not found");
844 fprintf(output
, "%s\n", lit
);
847 dump_cattrs_list (list
, "\t");
853 * @m: metadata context
854 * @start: starting index into the Method Table.
855 * @end: ending index into Method table.
857 * This routine displays the methods in the Method Table from @start to @end
860 dis_method_list (const char *klass_name
, MonoImage
*m
, guint32 start
, guint32 end
, MonoGenericContainer
*type_container
)
862 MonoTableInfo
*t
= &m
->tables
[MONO_TABLE_METHOD
];
863 guint32 cols
[MONO_METHOD_SIZE
];
867 fprintf (output
, "ERROR index out of range in methods");
872 for (i
= start
; i
< end
; i
++){
873 MonoMethodSignature
*ms
;
874 MonoGenericContainer
*container
;
875 char *flags
, *impl_flags
;
876 const char *sig
, *method_name
;
880 if (!should_include_method (i
+ 1))
882 mono_metadata_decode_row (t
, i
, cols
, MONO_METHOD_SIZE
);
884 flags
= method_flags (cols
[MONO_METHOD_FLAGS
]);
885 impl_flags
= method_impl_flags (cols
[MONO_METHOD_IMPLFLAGS
]);
887 sig
= mono_metadata_blob_heap (m
, cols
[MONO_METHOD_SIGNATURE
]);
888 mono_metadata_decode_blob_size (sig
, &sig
);
890 container
= mono_metadata_load_generic_params (m
, MONO_TOKEN_METHOD_DEF
| (i
+ 1), type_container
);
892 mono_metadata_load_generic_param_constraints (m
, MONO_TOKEN_METHOD_DEF
| (i
+ 1), container
);
894 container
= type_container
;
896 ms
= mono_metadata_parse_method_signature_full (m
, container
, i
+ 1, sig
, &sig
);
897 sig_str
= dis_stringify_method_signature (m
, ms
, i
+ 1, container
, FALSE
);
898 method_name
= mono_metadata_string_heap (m
, cols
[MONO_METHOD_NAME
]);
900 fprintf (output
, " // method line %d\n", i
+ 1);
901 fprintf (output
, " .method %s", flags
);
903 if ((cols
[MONO_METHOD_FLAGS
] & METHOD_ATTRIBUTE_PINVOKE_IMPL
) && (cols
[MONO_METHOD_RVA
] == 0)) {
904 gchar
*pi
= pinvoke_info (m
, i
);
906 fprintf (output
, "%s", pi
);
911 fprintf (output
, "\n %s", sig_str
);
912 fprintf (output
, " %s\n", impl_flags
);
916 token
= MONO_TOKEN_METHOD_DEF
| (i
+ 1);
918 fprintf (output
, " {\n");
919 dump_cattrs (m
, token
, " ");
920 dump_cattrs_for_type_params (m
, MONO_TOKEN_METHOD_DEF
| (i
+ 1), " ");
921 dump_cattrs_for_method_params (m
, i
, ms
);
923 fprintf (output
, " // Method begins at RVA 0x%x\n", cols
[MONO_METHOD_RVA
]);
924 dump_declarative_security (m
, OBJECT_TYPE_METHODDEF
, i
+ 1, " ");
925 if (cols
[MONO_METHOD_IMPLFLAGS
] & METHOD_IMPL_ATTRIBUTE_NATIVE
)
926 fprintf (output
, " // Disassembly of native methods is not supported\n");
928 dis_code (m
, token
, cols
[MONO_METHOD_RVA
], container
);
930 fprintf (output
, " } // end of method %s::%s\n\n", klass_name
, method_name
);
932 fprintf (output
, " } // end of global method %s\n\n", method_name
);
933 mono_metadata_free_method_signature (ms
);
946 table_locator (const void *a
, const void *b
)
948 plocator_t
*loc
= (plocator_t
*) a
;
949 const char *bb
= (const char *) b
;
950 guint32 table_index
= (bb
- loc
->t
->base
) / loc
->t
->row_size
;
953 col
= mono_metadata_decode_row_col (loc
->t
, table_index
, loc
->col_idx
);
955 if (loc
->idx
== col
) {
956 loc
->result
= table_index
;
966 dis_property_methods (MonoImage
*m
, guint32 prop
, MonoGenericContainer
*container
)
969 MonoTableInfo
*msemt
= &m
->tables
[MONO_TABLE_METHODSEMANTICS
];
970 guint32 cols
[MONO_METHOD_SEMA_SIZE
];
972 const char *type
[] = {NULL
, ".set", ".get", NULL
, ".other"};
974 start
= mono_metadata_methods_from_property (m
, prop
, &end
);
975 for (; start
< end
; ++start
) {
976 mono_metadata_decode_row (msemt
, start
, cols
, MONO_METHOD_SEMA_SIZE
);
977 if (!should_include_method (cols
[MONO_METHOD_SEMA_METHOD
]))
979 sig
= dis_stringify_method_signature_full (m
, NULL
, cols
[MONO_METHOD_SEMA_METHOD
], container
, TRUE
, FALSE
);
980 fprintf (output
, "\t\t%s %s\n", type
[cols
[MONO_METHOD_SEMA_SEMANTICS
]], sig
);
985 dis_property_signature (MonoImage
*m
, guint32 prop_idx
, MonoGenericContainer
*container
)
987 MonoTableInfo
*propt
= &m
->tables
[MONO_TABLE_PROPERTY
];
990 guint32 cols
[MONO_PROPERTY_SIZE
];
996 GString
*res
= g_string_new ("");
998 mono_metadata_decode_row (propt
, prop_idx
, cols
, MONO_PROPERTY_SIZE
);
999 name
= mono_metadata_string_heap (m
, cols
[MONO_PROPERTY_NAME
]);
1000 prop_flags
= cols
[MONO_PROPERTY_FLAGS
];
1001 ptr
= mono_metadata_blob_heap (m
, cols
[MONO_PROPERTY_TYPE
]);
1002 mono_metadata_decode_blob_size (ptr
, &ptr
);
1004 g_warning("incorrect signature in property blob: 0x%x", *ptr
);
1006 g_string_append (res
, "instance ");
1008 pcount
= mono_metadata_decode_value (ptr
, &ptr
);
1009 type
= mono_metadata_parse_type_full (m
, container
, MONO_PARSE_TYPE
, 0, ptr
, &ptr
);
1010 blurb
= dis_stringify_type (m
, type
, TRUE
);
1011 if (prop_flags
& 0x0200)
1012 g_string_append (res
, "specialname ");
1013 if (prop_flags
& 0x0400)
1014 g_string_append (res
, "rtspecialname ");
1015 qk
= get_escaped_name (name
);
1016 g_string_sprintfa (res
, "%s %s (", blurb
, qk
);
1019 mono_metadata_free_type (type
);
1020 for (i
= 0; i
< pcount
; i
++) {
1022 g_string_append (res
, ", ");
1023 param
= mono_metadata_parse_type_full (m
, container
, MONO_PARSE_PARAM
, 0, ptr
, &ptr
);
1024 blurb
= dis_stringify_param (m
, param
);
1025 g_string_append (res
, blurb
);
1026 mono_metadata_free_type (param
);
1029 g_string_append_c (res
, ')');
1031 g_string_free (res
, FALSE
);
1037 dis_property_list (MonoImage
*m
, guint32 typedef_row
, MonoGenericContainer
*container
)
1039 guint start
, end
, i
;
1040 start
= mono_metadata_properties_from_typedef (m
, typedef_row
, &end
);
1042 for (i
= start
; i
< end
; ++i
) {
1043 char *sig
= dis_property_signature (m
, i
, container
);
1044 fprintf (output
, "\t.property %s\n\t{\n", sig
);
1045 dump_cattrs (m
, MONO_TOKEN_PROPERTY
| (i
+ 1), "\t\t");
1046 dis_property_methods (m
, i
, container
);
1047 fprintf (output
, "\t}\n");
1053 dis_event_signature (MonoImage
*m
, guint32 event_idx
, MonoGenericContainer
*container
)
1055 MonoTableInfo
*et
= &m
->tables
[MONO_TABLE_EVENT
];
1056 char *type
, *result
, *esname
;
1057 guint32 cols
[MONO_EVENT_SIZE
];
1059 GString
*res
= g_string_new ("");
1061 mono_metadata_decode_row (et
, event_idx
, cols
, MONO_EVENT_SIZE
);
1062 esname
= get_escaped_name (mono_metadata_string_heap (m
, cols
[MONO_EVENT_NAME
]));
1063 type
= get_typedef_or_ref (m
, cols
[MONO_EVENT_TYPE
], container
);
1064 event_flags
= cols
[MONO_EVENT_FLAGS
];
1066 if (event_flags
& 0x0200)
1067 g_string_append (res
, "specialname ");
1068 if (event_flags
& 0x0400)
1069 g_string_append (res
, "rtspecialname ");
1070 g_string_sprintfa (res
, "%s %s", type
, esname
);
1075 g_string_free (res
, FALSE
);
1080 dis_event_methods (MonoImage
*m
, guint32 event
, MonoGenericContainer
*container
)
1083 MonoTableInfo
*msemt
= &m
->tables
[MONO_TABLE_METHODSEMANTICS
];
1084 guint32 cols
[MONO_METHOD_SEMA_SIZE
];
1086 const char *type
= "";
1088 start
= mono_metadata_methods_from_event (m
, event
, &end
);
1089 for (; start
< end
; ++start
) {
1090 mono_metadata_decode_row (msemt
, start
, cols
, MONO_METHOD_SEMA_SIZE
);
1091 if (!should_include_method (cols
[MONO_METHOD_SEMA_METHOD
]))
1093 sig
= dis_stringify_method_signature_full (m
, NULL
, cols
[MONO_METHOD_SEMA_METHOD
], container
, TRUE
, FALSE
);
1094 switch (cols
[MONO_METHOD_SEMA_SEMANTICS
]) {
1095 case METHOD_SEMANTIC_OTHER
:
1096 type
= ".other"; break;
1097 case METHOD_SEMANTIC_ADD_ON
:
1098 type
= ".addon"; break;
1099 case METHOD_SEMANTIC_REMOVE_ON
:
1100 type
= ".removeon"; break;
1101 case METHOD_SEMANTIC_FIRE
:
1102 type
= ".fire"; break;
1106 fprintf (output
, "\t\t%s %s\n", type
, sig
);
1112 dis_event_list (MonoImage
*m
, guint32 typedef_row
, MonoGenericContainer
*container
)
1114 guint start
, end
, i
;
1115 start
= mono_metadata_events_from_typedef (m
, typedef_row
, &end
);
1117 for (i
= start
; i
< end
; ++i
) {
1118 char *sig
= dis_event_signature (m
, i
, container
);
1119 fprintf (output
, "\t.event %s\n\t{\n", sig
);
1120 dump_cattrs (m
, MONO_TOKEN_EVENT
| (i
+ 1), "\t\t");
1121 dis_event_methods (m
, i
, container
);
1122 fprintf (output
, "\t}\n");
1128 dis_interfaces (MonoImage
*m
, guint32 typedef_row
, MonoGenericContainer
*container
)
1132 gboolean first_interface
= 1;
1133 guint32 cols
[MONO_INTERFACEIMPL_SIZE
];
1135 MonoTableInfo
*table
= &m
->tables
[MONO_TABLE_INTERFACEIMPL
];
1141 loc
.col_idx
= MONO_INTERFACEIMPL_CLASS
;
1142 loc
.idx
= typedef_row
;
1144 if (!bsearch (&loc
, table
->base
, table
->rows
, table
->row_size
, table_locator
))
1149 * We may end up in the middle of the rows...
1152 if (loc
.idx
== mono_metadata_decode_row_col (table
, start
- 1, MONO_INTERFACEIMPL_CLASS
))
1157 while (start
< table
->rows
) {
1158 mono_metadata_decode_row (table
, start
, cols
, MONO_INTERFACEIMPL_SIZE
);
1159 if (cols
[MONO_INTERFACEIMPL_CLASS
] != loc
.idx
)
1161 intf
= get_typedef_or_ref (m
, cols
[MONO_INTERFACEIMPL_INTERFACE
], container
);
1162 if (first_interface
) {
1163 fprintf (output
, " \timplements %s", intf
);
1164 first_interface
= 0;
1166 fprintf (output
, ", %s", intf
);
1175 * @m: metadata context
1176 * @n: index of type to disassemble
1177 * @is_nested: nested type ?
1178 * @forward: forward declarations?
1180 * Disassembles the type whose index in the TypeDef table is @n.
1183 dis_type (MonoImage
*m
, int n
, int is_nested
, int forward
)
1185 MonoTableInfo
*t
= &m
->tables
[MONO_TABLE_TYPEDEF
];
1186 guint32 cols
[MONO_TYPEDEF_SIZE
];
1187 guint32 cols_next
[MONO_TYPEDEF_SIZE
];
1188 const char *name
, *nspace
;
1189 char *esname
, *param
;
1190 MonoGenericContainer
*container
;
1191 guint32 packing_size
, class_size
;
1192 gboolean next_is_valid
, last
;
1195 if (!should_include_type (n
+ 1))
1197 mono_metadata_decode_row (t
, n
, cols
, MONO_TYPEDEF_SIZE
);
1199 if (t
->rows
> n
+ 1) {
1200 mono_metadata_decode_row (t
, n
+ 1, cols_next
, MONO_TYPEDEF_SIZE
);
1205 name
= mono_metadata_string_heap (m
, cols
[MONO_TYPEDEF_NAME
]);
1206 nspace
= mono_metadata_string_heap (m
, cols
[MONO_TYPEDEF_NAMESPACE
]);
1207 if (*nspace
&& !is_nested
)
1208 fprintf (output
, ".namespace %s\n{\n", nspace
);
1210 container
= mono_metadata_load_generic_params (m
, MONO_TOKEN_TYPE_DEF
| (n
+ 1), NULL
);
1212 mono_metadata_load_generic_param_constraints (m
, MONO_TOKEN_TYPE_DEF
| (n
+ 1), container
);
1214 esname
= get_escaped_name (name
);
1215 if ((cols
[MONO_TYPEDEF_FLAGS
] & TYPE_ATTRIBUTE_CLASS_SEMANTIC_MASK
) == TYPE_ATTRIBUTE_CLASS
){
1216 fprintf (output
, " .class %s%s", typedef_flags (cols
[MONO_TYPEDEF_FLAGS
]), esname
);
1218 param
= get_generic_param (m
, container
);
1220 fprintf (output
, param
);
1223 fprintf (output
, "\n");
1224 if (cols
[MONO_TYPEDEF_EXTENDS
]) {
1225 char *base
= get_typedef_or_ref (m
, cols
[MONO_TYPEDEF_EXTENDS
], container
);
1226 fprintf (output
, " \textends %s\n", base
);
1230 fprintf (output
, " .class interface %s%s", typedef_flags (cols
[MONO_TYPEDEF_FLAGS
]), esname
);
1232 param
= get_generic_param (m
, container
);
1234 fprintf (output
, param
);
1237 fprintf (output
, "\n");
1241 dis_interfaces (m
, n
+ 1, container
);
1242 fprintf (output
, " {\n");
1244 dump_cattrs (m
, MONO_TOKEN_TYPE_DEF
| (n
+ 1), " ");
1245 dump_cattrs_for_type_params (m
, MONO_TOKEN_TYPE_DEF
| (n
+ 1), " ");
1246 dump_declarative_security (m
, OBJECT_TYPE_TYPEDEF
, (n
+ 1), " ");
1248 if (mono_metadata_packing_from_typedef (m
, n
+ 1, &packing_size
, &class_size
)) {
1249 fprintf (output
, " .pack %d\n", packing_size
);
1250 fprintf (output
, " .size %d\n", class_size
);
1253 * The value in the table is always valid, we know we have fields
1254 * if the value stored is different than the next record.
1258 last
= cols_next
[MONO_TYPEDEF_FIELD_LIST
] - 1;
1260 last
= m
->tables
[MONO_TABLE_FIELD
].rows
;
1262 if (cols
[MONO_TYPEDEF_FIELD_LIST
] && cols
[MONO_TYPEDEF_FIELD_LIST
] <= m
->tables
[MONO_TABLE_FIELD
].rows
)
1263 dis_field_list (m
, cols
[MONO_TYPEDEF_FIELD_LIST
] - 1, last
, container
);
1264 fprintf (output
, "\n");
1267 last
= cols_next
[MONO_TYPEDEF_METHOD_LIST
] - 1;
1269 last
= m
->tables
[MONO_TABLE_METHOD
].rows
;
1271 if (cols
[MONO_TYPEDEF_METHOD_LIST
] && cols
[MONO_TYPEDEF_METHOD_LIST
] <= m
->tables
[MONO_TABLE_METHOD
].rows
)
1272 dis_method_list (name
, m
, cols
[MONO_TYPEDEF_METHOD_LIST
] - 1, last
, container
);
1274 dis_property_list (m
, n
, container
);
1275 dis_event_list (m
, n
, container
);
1278 t
= &m
->tables
[MONO_TABLE_NESTEDCLASS
];
1279 nested
= mono_metadata_nesting_typedef (m
, n
+ 1, 1);
1281 dis_type (m
, mono_metadata_decode_row_col (t
, nested
- 1, MONO_NESTED_CLASS_NESTED
) - 1, 1, forward
);
1282 nested
= mono_metadata_nesting_typedef (m
, n
+ 1, nested
+ 1);
1285 fprintf (output
, " } // end of class %s%s%s\n", nspace
, *nspace
? ".": "", name
);
1286 if (*nspace
&& !is_nested
)
1287 fprintf (output
, "}\n");
1288 fprintf (output
, "\n");
1294 * @m: metadata context
1296 * disassembles all the global fields and methods
1299 dis_globals (MonoImage
*m
)
1301 MonoTableInfo
*t
= &m
->tables
[MONO_TABLE_TYPEDEF
];
1302 guint32 cols
[MONO_TYPEDEF_SIZE
];
1303 guint32 cols_next
[MONO_TYPEDEF_SIZE
];
1304 gboolean next_is_valid
, last
;
1306 mono_metadata_decode_row (t
, 0, cols
, MONO_TYPEDEF_SIZE
);
1309 mono_metadata_decode_row (t
, 1, cols_next
, MONO_TYPEDEF_SIZE
);
1315 * The value in the table is always valid, we know we have fields
1316 * if the value stored is different than the next record.
1320 last
= cols_next
[MONO_TYPEDEF_FIELD_LIST
] - 1;
1322 last
= m
->tables
[MONO_TABLE_FIELD
].rows
;
1324 if (cols
[MONO_TYPEDEF_FIELD_LIST
] && cols
[MONO_TYPEDEF_FIELD_LIST
] <= m
->tables
[MONO_TABLE_FIELD
].rows
)
1325 dis_field_list (m
, cols
[MONO_TYPEDEF_FIELD_LIST
] - 1, last
, NULL
);
1326 fprintf (output
, "\n");
1329 last
= cols_next
[MONO_TYPEDEF_METHOD_LIST
] - 1;
1331 last
= m
->tables
[MONO_TABLE_METHOD
].rows
;
1333 if (cols
[MONO_TYPEDEF_METHOD_LIST
] && cols
[MONO_TYPEDEF_METHOD_LIST
] <= m
->tables
[MONO_TABLE_METHOD
].rows
)
1334 dis_method_list (NULL
, m
, cols
[MONO_TYPEDEF_METHOD_LIST
] - 1, last
, NULL
);
1339 dis_mresource (MonoImage
*m
)
1341 MonoTableInfo
*t
= &m
->tables
[MONO_TABLE_MANIFESTRESOURCE
];
1344 for (i
= 0; i
< t
->rows
; i
++){
1345 guint32 cols
[MONO_MANIFEST_SIZE
];
1346 const char *name
, *res
;
1350 mono_metadata_decode_row (t
, i
, cols
, MONO_MANIFEST_SIZE
);
1351 name
= mono_metadata_string_heap (m
, cols
[MONO_MANIFEST_NAME
]);
1353 if (! (res
= mono_image_get_resource (m
, cols
[MONO_MANIFEST_OFFSET
], &size
)))
1356 if ( (fp
= fopen (name
, "ab")) ) {
1357 if (ftell (fp
) == 0)
1358 fwrite (res
, size
, 1, fp
);
1360 g_warning ("Error creating managed resource - %s : File already exists.", name
);
1364 g_warning ("Error creating managed resource - %s : %s", name
, g_strerror (errno
));
1370 * @m: metadata context
1372 * disassembles all types in the @m context
1375 dis_types (MonoImage
*m
, int forward
)
1377 MonoTableInfo
*t
= &m
->tables
[MONO_TABLE_TYPEDEF
];
1383 for (i
= 1; i
< t
->rows
; i
++) {
1384 flags
= mono_metadata_decode_row_col (t
, i
, MONO_TYPEDEF_FLAGS
);
1385 flags
&= TYPE_ATTRIBUTE_VISIBILITY_MASK
;
1386 if (flags
== TYPE_ATTRIBUTE_PUBLIC
|| flags
== TYPE_ATTRIBUTE_NOT_PUBLIC
)
1387 dis_type (m
, i
, 0, forward
);
1393 * @m: metadata context
1395 * disassembles all data blobs references in the FieldRVA table in the @m context
1398 dis_data (MonoImage
*m
)
1400 MonoTableInfo
*t
= &m
->tables
[MONO_TABLE_FIELDRVA
];
1401 MonoTableInfo
*ft
= &m
->tables
[MONO_TABLE_FIELD
];
1403 const char *rva
, *sig
;
1406 guint32 cols
[MONO_FIELD_RVA_SIZE
];
1409 for (i
= 0; i
< t
->rows
; i
++) {
1410 mono_metadata_decode_row (t
, i
, cols
, MONO_FIELD_RVA_SIZE
);
1411 rva
= mono_image_rva_map (m
, cols
[MONO_FIELD_RVA_RVA
]);
1412 sig
= mono_metadata_blob_heap (m
, mono_metadata_decode_row_col (ft
, cols
[MONO_FIELD_RVA_FIELD
] -1, MONO_FIELD_SIGNATURE
));
1413 mono_metadata_decode_value (sig
, &sig
);
1414 /* FIELD signature == 0x06 */
1415 g_assert (*sig
== 0x06);
1416 type
= mono_metadata_parse_field_type (m
, 0, sig
+ 1, &sig
);
1417 mono_class_init (mono_class_from_mono_type (type
));
1418 size
= mono_type_size (type
, &align
);
1419 fprintf (output
, ".data D_%08x = bytearray (", cols
[MONO_FIELD_RVA_RVA
]);
1420 for (b
= 0; b
< size
; ++b
) {
1422 fprintf (output
, "\n\t");
1423 fprintf (output
, " %02X", rva
[b
] & 0xff);
1425 fprintf (output
, ") // size: %d\n", size
);
1432 void (*dumper
) (MonoImage
*m
);
1434 { "--assembly", MONO_TABLE_ASSEMBLY
, dump_table_assembly
},
1435 { "--assemblyref", MONO_TABLE_ASSEMBLYREF
, dump_table_assemblyref
},
1436 { "--classlayout", MONO_TABLE_CLASSLAYOUT
, dump_table_class_layout
},
1437 { "--constant", MONO_TABLE_CONSTANT
, dump_table_constant
},
1438 { "--customattr", MONO_TABLE_CUSTOMATTRIBUTE
, dump_table_customattr
},
1439 { "--declsec", MONO_TABLE_DECLSECURITY
, dump_table_declsec
},
1440 { "--event", MONO_TABLE_EVENT
, dump_table_event
},
1441 { "--exported", MONO_TABLE_EXPORTEDTYPE
, dump_table_exported
},
1442 { "--fields", MONO_TABLE_FIELD
, dump_table_field
},
1443 { "--file", MONO_TABLE_FILE
, dump_table_file
},
1444 { "--genericpar", MONO_TABLE_GENERICPARAM
, dump_table_genericpar
},
1445 { "--interface", MONO_TABLE_INTERFACEIMPL
, dump_table_interfaceimpl
},
1446 { "--manifest", MONO_TABLE_MANIFESTRESOURCE
, dump_table_manifest
},
1447 { "--marshal", MONO_TABLE_FIELDMARSHAL
, dump_table_field_marshal
},
1448 { "--memberref", MONO_TABLE_MEMBERREF
, dump_table_memberref
},
1449 { "--method", MONO_TABLE_METHOD
, dump_table_method
},
1450 { "--methodimpl", MONO_TABLE_METHODIMPL
, dump_table_methodimpl
},
1451 { "--methodsem", MONO_TABLE_METHODSEMANTICS
, dump_table_methodsem
},
1452 { "--methodspec", MONO_TABLE_METHODSPEC
, dump_table_methodspec
},
1453 { "--moduleref", MONO_TABLE_MODULEREF
, dump_table_moduleref
},
1454 { "--module", MONO_TABLE_MODULE
, dump_table_module
},
1455 { "--mresources", 0, dis_mresource
},
1456 { "--nested", MONO_TABLE_NESTEDCLASS
, dump_table_nestedclass
},
1457 { "--param", MONO_TABLE_PARAM
, dump_table_param
},
1458 { "--parconst", MONO_TABLE_GENERICPARAMCONSTRAINT
, dump_table_parconstraint
},
1459 { "--property", MONO_TABLE_PROPERTY
, dump_table_property
},
1460 { "--propertymap", MONO_TABLE_PROPERTYMAP
, dump_table_property_map
},
1461 { "--typedef", MONO_TABLE_TYPEDEF
, dump_table_typedef
},
1462 { "--typeref", MONO_TABLE_TYPEREF
, dump_table_typeref
},
1463 { "--typespec", MONO_TABLE_TYPESPEC
, dump_table_typespec
},
1464 { "--implmap", MONO_TABLE_IMPLMAP
, dump_table_implmap
},
1465 { "--standalonesig", MONO_TABLE_STANDALONESIG
, dump_table_standalonesig
},
1466 { "--methodptr", MONO_TABLE_METHOD_POINTER
, dump_table_methodptr
},
1467 { "--fieldptr", MONO_TABLE_FIELD_POINTER
, dump_table_fieldptr
},
1468 { "--paramptr", MONO_TABLE_PARAM_POINTER
, dump_table_paramptr
},
1469 { "--eventptr", MONO_TABLE_EVENT_POINTER
, dump_table_eventptr
},
1470 { "--propertyptr", MONO_TABLE_PROPERTY_POINTER
, dump_table_propertyptr
},
1471 { "--blob", 0, dump_stream_blob
},
1472 { "--strings", 0, dump_stream_strings
},
1473 { "--userstrings", 0, dump_stream_us
},
1479 * @file: file containing CIL code.
1481 * Disassembles the @file file.
1484 disassemble_file (const char *file
)
1487 MonoImageOpenStatus status
;
1490 ass
= mono_assembly_open (file
, &status
);
1492 img
= mono_image_open (file
, &status
);
1494 fprintf (stderr
, "Error while trying to process %s\n", file
);
1497 mono_assembly_load_references (img
, &status
);
1505 if (dump_table
!= -1){
1506 (*table_list
[dump_table
].dumper
) (img
);
1508 dump_header_data (img
);
1510 dis_directive_assemblyref (img
);
1511 dis_directive_assembly (img
);
1512 dis_directive_file (img
);
1513 dis_directive_mresource (img
);
1514 dis_directive_module (img
);
1515 dis_directive_moduleref (img
);
1516 dis_nt_header (img
);
1517 if (dump_managed_resources
)
1518 dis_mresource (img
);
1519 if (dump_forward_decls
) {
1520 fprintf (output
, "// *************** Forward Declarations for Classes ***************\n\n");
1522 fprintf (output
, "// *************** End-Of Forward Declarations for Classes ***************\n\n");
1528 mono_image_close (img
);
1542 TableFilter methods
;
1545 static GList
*filter_list
= NULL
;
1546 static ImageFilter
*cur_filter
= NULL
;
1549 setup_filter (MonoImage
*image
)
1551 ImageFilter
*ifilter
;
1553 const char *name
= mono_image_get_name (image
);
1555 for (item
= filter_list
; item
; item
= item
->next
) {
1556 ifilter
= item
->data
;
1557 if (strcmp (ifilter
->name
, name
) == 0) {
1558 cur_filter
= ifilter
;
1566 int_cmp (const void *e1
, const void *e2
)
1574 table_includes (TableFilter
*tf
, int idx
)
1578 return bsearch (&idx
, tf
->elems
, tf
->count
, sizeof (int), int_cmp
) != NULL
;
1582 should_include_type (int idx
)
1586 return table_includes (&cur_filter
->types
, idx
);
1590 should_include_method (int idx
)
1594 return table_includes (&cur_filter
->methods
, idx
);
1598 should_include_field (int idx
)
1602 return table_includes (&cur_filter
->fields
, idx
);
1606 add_filter (const char *name
)
1608 ImageFilter
*ifilter
;
1611 for (item
= filter_list
; item
; item
= item
->next
) {
1612 ifilter
= item
->data
;
1613 if (strcmp (ifilter
->name
, name
) == 0)
1616 ifilter
= g_new0 (ImageFilter
, 1);
1617 ifilter
->name
= g_strdup (name
);
1618 filter_list
= g_list_prepend (filter_list
, ifilter
);
1623 add_item (TableFilter
*tf
, int val
)
1625 if (tf
->count
>= tf
->size
) {
1628 tf
->elems
= g_malloc (sizeof (int) * tf
->size
);
1631 tf
->elems
= g_realloc (tf
->elems
, sizeof (int) * tf
->size
);
1634 tf
->elems
[tf
->count
++] = val
;
1638 sort_filter_elems (void)
1640 ImageFilter
*ifilter
;
1643 for (item
= filter_list
; item
; item
= item
->next
) {
1644 ifilter
= item
->data
;
1645 qsort (ifilter
->types
.elems
, ifilter
->types
.count
, sizeof (int), int_cmp
);
1646 qsort (ifilter
->fields
.elems
, ifilter
->fields
.count
, sizeof (int), int_cmp
);
1647 qsort (ifilter
->methods
.elems
, ifilter
->methods
.count
, sizeof (int), int_cmp
);
1652 load_filter (const char* filename
)
1656 char *p
, *s
, *endptr
;
1658 ImageFilter
*ifilter
= NULL
;
1661 if (!(file
= fopen (filename
, "r"))) {
1662 g_print ("Cannot open filter file '%s'\n", filename
);
1665 while (fgets (buf
, sizeof (buf
), file
) != NULL
) {
1668 while (*s
&& g_ascii_isspace (*s
)) ++s
;
1674 p
= strchr (s
, ']');
1676 g_error ("No matching ']' in filter at line %d\n", line
);
1678 ifilter
= add_filter (s
+ 1);
1682 g_error ("Invalid format in filter at line %d\n", line
);
1683 if ((s
[1] != ':') || !(value
= strtol (s
+ 2, &endptr
, 0)) || (endptr
== s
+ 2))
1684 g_error ("Invalid type number in filter at line %d\n", line
);
1685 add_item (&ifilter
->types
, value
);
1689 g_error ("Invalid format in filter at line %d\n", line
);
1690 if ((s
[1] != ':') || !(value
= strtol (s
+ 2, &endptr
, 0)) || (endptr
== s
+ 2))
1691 g_error ("Invalid method number in filter at line %d\n", line
);
1692 add_item (&ifilter
->methods
, value
);
1696 g_error ("Invalid format in filter at line %d\n", line
);
1697 if ((s
[1] != ':') || !(value
= strtol (s
+ 2, &endptr
, 0)) || (endptr
== s
+ 2))
1698 g_error ("Invalid field number in filter at line %d\n", line
);
1699 add_item (&ifilter
->fields
, value
);
1702 g_error ("Invalid format in filter at line %d\n", line
);
1706 sort_filter_elems ();
1711 try_load_from (MonoAssembly
**assembly
, const gchar
*path1
, const gchar
*path2
,
1712 const gchar
*path3
, const gchar
*path4
, gboolean refonly
)
1717 fullpath
= g_build_filename (path1
, path2
, path3
, path4
, NULL
);
1718 if (g_file_test (fullpath
, G_FILE_TEST_IS_REGULAR
))
1719 *assembly
= mono_assembly_open_full (fullpath
, NULL
, refonly
);
1722 return (*assembly
!= NULL
);
1725 static MonoAssembly
*
1726 real_load (gchar
**search_path
, const gchar
*culture
, const gchar
*name
, gboolean refonly
)
1728 MonoAssembly
*result
= NULL
;
1731 const gchar
*local_culture
;
1734 if (!culture
|| *culture
== '\0') {
1737 local_culture
= culture
;
1740 filename
= g_strconcat (name
, ".dll", NULL
);
1741 len
= strlen (filename
);
1743 for (path
= search_path
; *path
; path
++) {
1745 continue; /* Ignore empty ApplicationBase */
1747 /* See test cases in bug #58992 and bug #57710 */
1748 /* 1st try: [culture]/[name].dll (culture may be empty) */
1749 strcpy (filename
+ len
- 4, ".dll");
1750 if (try_load_from (&result
, *path
, local_culture
, "", filename
, refonly
))
1753 /* 2nd try: [culture]/[name].exe (culture may be empty) */
1754 strcpy (filename
+ len
- 4, ".exe");
1755 if (try_load_from (&result
, *path
, local_culture
, "", filename
, refonly
))
1758 /* 3rd try: [culture]/[name]/[name].dll (culture may be empty) */
1759 strcpy (filename
+ len
- 4, ".dll");
1760 if (try_load_from (&result
, *path
, local_culture
, name
, filename
, refonly
))
1763 /* 4th try: [culture]/[name]/[name].exe (culture may be empty) */
1764 strcpy (filename
+ len
- 4, ".exe");
1765 if (try_load_from (&result
, *path
, local_culture
, name
, filename
, refonly
))
1774 * Try to load referenced assemblies from assemblies_path.
1776 static MonoAssembly
*
1777 monodis_preload (MonoAssemblyName
*aname
,
1778 gchar
**assemblies_path
,
1781 MonoAssembly
*result
= NULL
;
1782 gboolean refonly
= GPOINTER_TO_UINT (user_data
);
1784 if (assemblies_path
&& assemblies_path
[0] != NULL
) {
1785 result
= real_load (assemblies_path
, aname
->culture
, aname
->name
, refonly
);
1791 static GList
*loaded_assemblies
= NULL
;
1794 monodis_assembly_load_hook (MonoAssembly
*assembly
, gpointer user_data
)
1796 loaded_assemblies
= g_list_prepend (loaded_assemblies
, assembly
);
1799 static MonoAssembly
*
1800 monodis_assembly_search_hook (MonoAssemblyName
*aname
, gpointer user_data
)
1804 for (tmp
= loaded_assemblies
; tmp
; tmp
= tmp
->next
) {
1805 MonoAssembly
*ass
= tmp
->data
;
1806 if (mono_assembly_names_equal (aname
, &ass
->aname
))
1815 GString
*args
= g_string_new ("[--output=filename] [--filter=filename] [--help] [--mscorlib]\n");
1818 for (i
= 0; table_list
[i
].name
!= NULL
; i
++){
1819 g_string_append (args
, "[");
1820 g_string_append (args
, table_list
[i
].name
);
1821 g_string_append (args
, "] ");
1822 if (((i
-2) % 5) == 0)
1823 g_string_append_c (args
, '\n');
1825 g_string_append (args
, "[--forward-decls]");
1827 "monodis -- Mono Common Intermediate Language Disassembler\n"
1828 "Usage is: monodis %s file ..\n", args
->str
);
1833 main (int argc
, char *argv
[])
1835 GList
*input_files
= NULL
, *l
;
1840 for (i
= 1; i
< argc
; i
++){
1841 if (argv
[i
][0] == '-'){
1842 if (argv
[i
][1] == 'h')
1844 else if (argv
[i
][1] == 'd')
1845 dump_header_data_p
= TRUE
;
1846 else if (strcmp (argv
[i
], "--mscorlib") == 0) {
1847 substitute_with_mscorlib_p
= TRUE
;
1849 } else if (strcmp (argv
[i
], "--show-method-tokens") == 0) {
1850 show_method_tokens
= TRUE
;
1852 } else if (strcmp (argv
[i
], "--show-tokens") == 0) {
1855 } else if (strncmp (argv
[i
], "--output=", 9) == 0) {
1856 output
= fopen (argv
[i
]+9, "w");
1857 if (output
== NULL
) {
1858 fprintf (stderr
, "Can't open output file `%s': %s\n",
1859 argv
[i
]+9, strerror (errno
));
1862 dump_managed_resources
= TRUE
;
1864 } else if (strncmp (argv
[i
], "--filter=", 9) == 0) {
1865 load_filter (argv
[i
]+9);
1867 } else if (strcmp (argv
[i
], "--forward-decls") == 0) {
1868 dump_forward_decls
= TRUE
;
1870 } else if (strcmp (argv
[i
], "--help") == 0)
1872 for (j
= 0; table_list
[j
].name
!= NULL
; j
++) {
1873 if (strcmp (argv
[i
], table_list
[j
].name
) == 0)
1879 input_files
= g_list_append (input_files
, argv
[i
]);
1882 if (input_files
== NULL
)
1885 mono_install_assembly_load_hook (monodis_assembly_load_hook
, NULL
);
1886 mono_install_assembly_search_hook (monodis_assembly_search_hook
, NULL
);
1889 * If we just have one file, use the corlib version it requires.
1891 if (!input_files
->next
) {
1892 char *filename
= input_files
->data
;
1894 mono_init_from_assembly (argv
[0], filename
);
1896 mono_install_assembly_preload_hook (monodis_preload
, GUINT_TO_POINTER (FALSE
));
1898 disassemble_file (filename
);
1900 mono_init (argv
[0]);
1902 for (l
= input_files
; l
; l
= l
->next
)
1903 disassemble_file (l
->data
);