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 " },
541 { METHOD_ATTRIBUTE_STRICT
, "strict " },
548 * Returns a stringified version of the Method's flags
551 method_flags (guint32 f
)
553 GString
*str
= g_string_new ("");
554 int access
= f
& METHOD_ATTRIBUTE_MEMBER_ACCESS_MASK
;
557 g_string_append (str
, map (access
, method_access_map
));
558 g_string_append (str
, flags (f
, method_flags_map
));
561 g_string_free (str
, FALSE
);
566 static dis_map_t pinvoke_flags_map
[] = {
567 { PINVOKE_ATTRIBUTE_NO_MANGLE
, "nomangle " },
568 { PINVOKE_ATTRIBUTE_SUPPORTS_LAST_ERROR
, "lasterr " },
569 { PINVOKE_ATTRIBUTE_BEST_FIT_ENABLED
, "bestfit:on" },
570 { PINVOKE_ATTRIBUTE_BEST_FIT_DISABLED
, "bestfit:off" },
571 { PINVOKE_ATTRIBUTE_THROW_ON_UNMAPPABLE_ENABLED
, "charmaperror:on" },
572 { PINVOKE_ATTRIBUTE_THROW_ON_UNMAPPABLE_DISABLED
, "charmaperror:off" },
576 static dis_map_t pinvoke_call_conv_map
[] = {
577 { PINVOKE_ATTRIBUTE_CALL_CONV_WINAPI
, "winapi " },
578 { PINVOKE_ATTRIBUTE_CALL_CONV_CDECL
, "cdecl " },
579 { PINVOKE_ATTRIBUTE_CALL_CONV_STDCALL
, "stdcall " },
580 { PINVOKE_ATTRIBUTE_CALL_CONV_THISCALL
, "thiscall " },
581 { PINVOKE_ATTRIBUTE_CALL_CONV_FASTCALL
, "fastcall " },
586 static dis_map_t pinvoke_char_set_map
[] = {
587 { PINVOKE_ATTRIBUTE_CHAR_SET_NOT_SPEC
, "" },
588 { PINVOKE_ATTRIBUTE_CHAR_SET_ANSI
, "ansi " },
589 { PINVOKE_ATTRIBUTE_CHAR_SET_UNICODE
, "unicode " },
590 { PINVOKE_ATTRIBUTE_CHAR_SET_AUTO
, "autochar " },
597 * Returns a stringified version of the Method's pinvoke flags
600 pinvoke_flags (guint32 f
)
602 GString
*str
= g_string_new ("");
603 int cset
= f
& PINVOKE_ATTRIBUTE_CHAR_SET_MASK
;
604 int cconv
= f
& PINVOKE_ATTRIBUTE_CALL_CONV_MASK
;
607 g_string_append (str
, map (cset
, pinvoke_char_set_map
));
608 g_string_append (str
, map (cconv
, pinvoke_call_conv_map
));
609 g_string_append (str
, flags (f
, pinvoke_flags_map
));
611 s
= g_strdup(str
->str
);
612 g_string_free (str
, FALSE
);
617 static dis_map_t method_impl_map
[] = {
618 { METHOD_IMPL_ATTRIBUTE_IL
, "cil " },
619 { METHOD_IMPL_ATTRIBUTE_NATIVE
, "native " },
620 { METHOD_IMPL_ATTRIBUTE_OPTIL
, "optil " },
621 { METHOD_IMPL_ATTRIBUTE_RUNTIME
, "runtime " },
625 static dis_map_t managed_type_map
[] = {
626 { METHOD_IMPL_ATTRIBUTE_UNMANAGED
, "unmanaged " },
627 { METHOD_IMPL_ATTRIBUTE_MANAGED
, "managed " },
631 static dis_map_t managed_impl_flags
[] = {
632 { METHOD_IMPL_ATTRIBUTE_FORWARD_REF
, "fwdref " },
633 { METHOD_IMPL_ATTRIBUTE_PRESERVE_SIG
, "preservesig " },
634 { METHOD_IMPL_ATTRIBUTE_INTERNAL_CALL
, "internalcall " },
635 { METHOD_IMPL_ATTRIBUTE_SYNCHRONIZED
, "synchronized " },
636 { METHOD_IMPL_ATTRIBUTE_NOINLINING
, "noinlining " },
641 method_impl_flags (guint32 f
)
643 GString
*str
= g_string_new ("");
645 int code_type
= f
& METHOD_IMPL_ATTRIBUTE_CODE_TYPE_MASK
;
646 int managed_type
= f
& METHOD_IMPL_ATTRIBUTE_MANAGED_MASK
;
648 g_string_append (str
, map (code_type
, method_impl_map
));
649 g_string_append (str
, map (managed_type
, managed_type_map
));
650 g_string_append (str
, flags (f
, managed_impl_flags
));
653 g_string_free (str
, FALSE
);
658 dis_locals (MonoImage
*m
, MonoMethodHeader
*mh
, const char *ptr
)
663 unsigned char flags
= *(const unsigned char *) ptr
;
664 unsigned char format
= flags
& METHOD_HEADER_FORMAT_MASK
;
666 guint32 local_var_sig_tok
, max_stack
, code_size
, init_locals
;
669 g_assert (format
== METHOD_HEADER_FAT_FORMAT
);
670 fat_flags
= read16 (ptr
);
672 hsize
= (fat_flags
>> 12) & 0xf;
673 max_stack
= read16 (ptr
);
675 code_size
= read32 (ptr
);
677 local_var_sig_tok
= read32 (ptr
);
680 if (fat_flags
& METHOD_HEADER_INIT_LOCALS
)
685 fprintf(output
, "\t.locals /*%08x*/ %s(\n",
686 local_var_sig_tok
, init_locals
? "init " : "");
688 fprintf(output
, "\t.locals %s(\n", mh
->init_locals
? "init " : "");
690 for (i
=0; i
< mh
->num_locals
; ++i
) {
693 fprintf(output
, ",\n");
694 /* print also byref and pinned attributes */
695 desc
= dis_stringify_type (m
, mh
->locals
[i
], TRUE
);
696 fprintf(output
, "\t\t%s\tV_%d", desc
, i
);
699 fprintf(output
, ")\n");
703 dis_code (MonoImage
*m
, guint32 token
, guint32 rva
, MonoGenericContainer
*container
)
705 MonoMethodHeader
*mh
;
706 const char *ptr
= mono_image_rva_map (m
, rva
);
714 override
= get_method_override (m
, token
, container
);
716 fprintf (output
, "\t.override %s\n", override
);
720 mh
= mono_metadata_parse_mh_full (m
, container
, ptr
);
721 if ((entry_point
= mono_image_get_entry_point (m
)) && mono_metadata_token_index (entry_point
)){
722 loc
= mono_metadata_locate_token (m
, entry_point
);
723 if (rva
== read32 (loc
))
724 fprintf (output
, "\t.entrypoint\n");
728 fprintf (output
, "\t// Code size %d (0x%x)\n", mh
->code_size
, mh
->code_size
);
729 fprintf (output
, "\t.maxstack %d\n", mh
->max_stack
);
731 dis_locals (m
, mh
, ptr
);
732 disassemble_cil (m
, mh
, container
);
734 hex_dump (mh->code, 0, mh->code_size);
735 printf ("\nAfter the code\n");
736 hex_dump (mh->code + mh->code_size, 0, 64);
738 mono_metadata_free_mh (mh
);
743 pinvoke_info (MonoImage
*m
, guint32 mindex
)
745 MonoTableInfo
*im
= &m
->tables
[MONO_TABLE_IMPLMAP
];
746 MonoTableInfo
*mr
= &m
->tables
[MONO_TABLE_MODULEREF
];
747 guint32 im_cols
[MONO_IMPLMAP_SIZE
];
748 guint32 mr_cols
[MONO_MODULEREF_SIZE
];
749 const char *import
, *scope
;
753 for (i
= 0; i
< im
->rows
; i
++) {
755 mono_metadata_decode_row (im
, i
, im_cols
, MONO_IMPLMAP_SIZE
);
757 if ((im_cols
[MONO_IMPLMAP_MEMBER
] >> 1) == mindex
+ 1) {
759 flags
= pinvoke_flags (im_cols
[MONO_IMPLMAP_FLAGS
]);
761 import
= mono_metadata_string_heap (m
, im_cols
[MONO_IMPLMAP_NAME
]);
763 mono_metadata_decode_row (mr
, im_cols
[MONO_IMPLMAP_SCOPE
] - 1,
764 mr_cols
, MONO_MODULEREF_SIZE
);
766 scope
= mono_metadata_string_heap (m
, mr_cols
[MONO_MODULEREF_NAME
]);
768 return g_strdup_printf ("(\"%s\" as \"%s\" %s)", scope
, import
,
778 * dump_cattrs_for_type_params
781 * @token: TypeOrMethodDef token, owner for GenericParam
783 * Dumps the custom attributes for @token's type parameters
786 dump_cattrs_for_type_params (MonoImage
*m
, guint32 token
, const char *indent
)
788 MonoTableInfo
*tdef
= &m
->tables
[MONO_TABLE_GENERICPARAM
];
789 guint32 cols
[MONO_GENERICPARAM_SIZE
];
790 guint32 owner
= 0, i
;
793 if (! (i
= mono_metadata_get_generic_param_row (m
, token
, &owner
)))
796 mono_metadata_decode_row (tdef
, i
- 1, cols
, MONO_GENERICPARAM_SIZE
);
798 list
= dis_get_custom_attrs (m
, mono_metadata_make_token (MONO_TABLE_GENERICPARAM
, i
));
800 fprintf (output
, "%s.param type %s\n", indent
, mono_metadata_string_heap (m
, cols
[MONO_GENERICPARAM_NAME
]));
801 dump_cattrs_list (list
, indent
);
804 if (++i
> tdef
->rows
)
806 mono_metadata_decode_row (tdef
, i
- 1, cols
, MONO_GENERICPARAM_SIZE
);
807 } while (cols
[MONO_GENERICPARAM_OWNER
] == owner
);
811 dump_cattrs_for_method_params (MonoImage
*m
, guint32 midx
, MonoMethodSignature
*sig
) {
812 MonoTableInfo
*methodt
;
813 MonoTableInfo
*paramt
;
814 guint param_index
, lastp
, i
;
816 methodt
= &m
->tables
[MONO_TABLE_METHOD
];
817 paramt
= &m
->tables
[MONO_TABLE_PARAM
];
818 param_index
= mono_metadata_decode_row_col (methodt
, midx
, MONO_METHOD_PARAMLIST
);
819 if (midx
+ 1 < methodt
->rows
)
820 lastp
= mono_metadata_decode_row_col (methodt
, midx
+ 1, MONO_METHOD_PARAMLIST
);
822 lastp
= paramt
->rows
+ 1;
823 for (i
= param_index
; i
< lastp
; ++i
) {
826 guint32 param_cols
[MONO_PARAM_SIZE
];
829 list
= dis_get_custom_attrs (m
, MONO_TOKEN_PARAM_DEF
| i
);
831 mono_metadata_decode_row (paramt
, i
-1, param_cols
, MONO_PARAM_SIZE
);
832 if (!(param_cols
[MONO_PARAM_FLAGS
] & PARAM_ATTRIBUTE_HAS_DEFAULT
)) {
834 fprintf (output
, "\t.param [%d]\n", param_cols
[MONO_PARAM_SEQUENCE
]);
836 fprintf (output
, "\t.param [%d] = ", param_cols
[MONO_PARAM_SEQUENCE
]);
838 if ((crow
= mono_metadata_get_constant_index(m
, MONO_TOKEN_PARAM_DEF
| i
, 0))) {
839 guint32 const_cols
[MONO_CONSTANT_SIZE
];
840 mono_metadata_decode_row( &m
->tables
[MONO_TABLE_CONSTANT
], crow
-1, const_cols
, MONO_CONSTANT_SIZE
);
841 lit
= get_constant(m
, const_cols
[MONO_CONSTANT_TYPE
], const_cols
[MONO_CONSTANT_VALUE
]);
844 lit
= g_strdup ("not found");
846 fprintf(output
, "%s\n", lit
);
849 dump_cattrs_list (list
, "\t");
855 * @m: metadata context
856 * @start: starting index into the Method Table.
857 * @end: ending index into Method table.
859 * This routine displays the methods in the Method Table from @start to @end
862 dis_method_list (const char *klass_name
, MonoImage
*m
, guint32 start
, guint32 end
, MonoGenericContainer
*type_container
)
864 MonoTableInfo
*t
= &m
->tables
[MONO_TABLE_METHOD
];
865 guint32 cols
[MONO_METHOD_SIZE
];
869 fprintf (output
, "ERROR index out of range in methods");
874 for (i
= start
; i
< end
; i
++){
875 MonoMethodSignature
*ms
;
876 MonoGenericContainer
*container
;
877 char *flags
, *impl_flags
;
878 const char *sig
, *method_name
;
882 if (!should_include_method (i
+ 1))
884 mono_metadata_decode_row (t
, i
, cols
, MONO_METHOD_SIZE
);
886 flags
= method_flags (cols
[MONO_METHOD_FLAGS
]);
887 impl_flags
= method_impl_flags (cols
[MONO_METHOD_IMPLFLAGS
]);
889 sig
= mono_metadata_blob_heap (m
, cols
[MONO_METHOD_SIGNATURE
]);
890 mono_metadata_decode_blob_size (sig
, &sig
);
892 container
= mono_metadata_load_generic_params (m
, MONO_TOKEN_METHOD_DEF
| (i
+ 1), type_container
);
894 mono_metadata_load_generic_param_constraints (m
, MONO_TOKEN_METHOD_DEF
| (i
+ 1), container
);
896 container
= type_container
;
898 ms
= mono_metadata_parse_method_signature_full (m
, container
, i
+ 1, sig
, &sig
);
899 sig_str
= dis_stringify_method_signature (m
, ms
, i
+ 1, container
, FALSE
);
900 method_name
= mono_metadata_string_heap (m
, cols
[MONO_METHOD_NAME
]);
902 fprintf (output
, " // method line %d\n", i
+ 1);
903 fprintf (output
, " .method %s", flags
);
905 if ((cols
[MONO_METHOD_FLAGS
] & METHOD_ATTRIBUTE_PINVOKE_IMPL
) && (cols
[MONO_METHOD_RVA
] == 0)) {
906 gchar
*pi
= pinvoke_info (m
, i
);
908 fprintf (output
, "%s", pi
);
913 fprintf (output
, "\n %s", sig_str
);
914 fprintf (output
, " %s\n", impl_flags
);
918 token
= MONO_TOKEN_METHOD_DEF
| (i
+ 1);
920 fprintf (output
, " {\n");
921 dump_cattrs (m
, token
, " ");
922 dump_cattrs_for_type_params (m
, MONO_TOKEN_METHOD_DEF
| (i
+ 1), " ");
923 dump_cattrs_for_method_params (m
, i
, ms
);
925 fprintf (output
, " // Method begins at RVA 0x%x\n", cols
[MONO_METHOD_RVA
]);
926 dump_declarative_security (m
, OBJECT_TYPE_METHODDEF
, i
+ 1, " ");
927 if (cols
[MONO_METHOD_IMPLFLAGS
] & METHOD_IMPL_ATTRIBUTE_NATIVE
)
928 fprintf (output
, " // Disassembly of native methods is not supported\n");
930 dis_code (m
, token
, cols
[MONO_METHOD_RVA
], container
);
932 fprintf (output
, " } // end of method %s::%s\n\n", klass_name
, method_name
);
934 fprintf (output
, " } // end of global method %s\n\n", method_name
);
935 mono_metadata_free_method_signature (ms
);
948 table_locator (const void *a
, const void *b
)
950 plocator_t
*loc
= (plocator_t
*) a
;
951 const char *bb
= (const char *) b
;
952 guint32 table_index
= (bb
- loc
->t
->base
) / loc
->t
->row_size
;
955 col
= mono_metadata_decode_row_col (loc
->t
, table_index
, loc
->col_idx
);
957 if (loc
->idx
== col
) {
958 loc
->result
= table_index
;
968 dis_property_methods (MonoImage
*m
, guint32 prop
, MonoGenericContainer
*container
)
971 MonoTableInfo
*msemt
= &m
->tables
[MONO_TABLE_METHODSEMANTICS
];
972 guint32 cols
[MONO_METHOD_SEMA_SIZE
];
974 const char *type
[] = {NULL
, ".set", ".get", NULL
, ".other"};
976 start
= mono_metadata_methods_from_property (m
, prop
, &end
);
977 for (; start
< end
; ++start
) {
978 mono_metadata_decode_row (msemt
, start
, cols
, MONO_METHOD_SEMA_SIZE
);
979 if (!should_include_method (cols
[MONO_METHOD_SEMA_METHOD
]))
981 sig
= dis_stringify_method_signature_full (m
, NULL
, cols
[MONO_METHOD_SEMA_METHOD
], container
, TRUE
, FALSE
);
982 fprintf (output
, "\t\t%s %s\n", type
[cols
[MONO_METHOD_SEMA_SEMANTICS
]], sig
);
987 dis_property_signature (MonoImage
*m
, guint32 prop_idx
, MonoGenericContainer
*container
)
989 MonoTableInfo
*propt
= &m
->tables
[MONO_TABLE_PROPERTY
];
992 guint32 cols
[MONO_PROPERTY_SIZE
];
998 GString
*res
= g_string_new ("");
1000 mono_metadata_decode_row (propt
, prop_idx
, cols
, MONO_PROPERTY_SIZE
);
1001 name
= mono_metadata_string_heap (m
, cols
[MONO_PROPERTY_NAME
]);
1002 prop_flags
= cols
[MONO_PROPERTY_FLAGS
];
1003 ptr
= mono_metadata_blob_heap (m
, cols
[MONO_PROPERTY_TYPE
]);
1004 mono_metadata_decode_blob_size (ptr
, &ptr
);
1006 g_warning("incorrect signature in property blob: 0x%x", *ptr
);
1008 g_string_append (res
, "instance ");
1010 pcount
= mono_metadata_decode_value (ptr
, &ptr
);
1011 type
= mono_metadata_parse_type_full (m
, container
, MONO_PARSE_TYPE
, 0, ptr
, &ptr
);
1012 blurb
= dis_stringify_type (m
, type
, TRUE
);
1013 if (prop_flags
& 0x0200)
1014 g_string_append (res
, "specialname ");
1015 if (prop_flags
& 0x0400)
1016 g_string_append (res
, "rtspecialname ");
1017 qk
= get_escaped_name (name
);
1018 g_string_sprintfa (res
, "%s %s (", blurb
, qk
);
1021 for (i
= 0; i
< pcount
; i
++) {
1023 g_string_append (res
, ", ");
1024 param
= mono_metadata_parse_type_full (m
, container
, MONO_PARSE_PARAM
, 0, ptr
, &ptr
);
1025 blurb
= dis_stringify_param (m
, param
);
1026 g_string_append (res
, blurb
);
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
);
1392 get_uninitialized_data_type (guint32 size
)
1404 g_error ("get_uninitialized_data_type for size: %d\n", size
);
1411 * @m: metadata context
1413 * disassembles all data blobs references in the FieldRVA table in the @m context
1416 dis_data (MonoImage
*m
)
1418 MonoTableInfo
*t
= &m
->tables
[MONO_TABLE_FIELDRVA
];
1419 MonoTableInfo
*ft
= &m
->tables
[MONO_TABLE_FIELD
];
1421 const char *rva
, *sig
;
1424 guint32 cols
[MONO_FIELD_RVA_SIZE
];
1427 for (i
= 0; i
< t
->rows
; i
++) {
1428 mono_metadata_decode_row (t
, i
, cols
, MONO_FIELD_RVA_SIZE
);
1429 rva
= mono_image_rva_map (m
, cols
[MONO_FIELD_RVA_RVA
]);
1430 sig
= mono_metadata_blob_heap (m
, mono_metadata_decode_row_col (ft
, cols
[MONO_FIELD_RVA_FIELD
] -1, MONO_FIELD_SIGNATURE
));
1431 mono_metadata_decode_value (sig
, &sig
);
1432 /* FIELD signature == 0x06 */
1433 g_assert (*sig
== 0x06);
1434 type
= mono_metadata_parse_field_type (m
, 0, sig
+ 1, &sig
);
1435 mono_class_init (mono_class_from_mono_type (type
));
1436 size
= mono_type_size (type
, &align
);
1439 fprintf (output
, ".data D_%08x = bytearray (", cols
[MONO_FIELD_RVA_RVA
]);
1440 for (b
= 0; b
< size
; ++b
) {
1442 fprintf (output
, "\n\t");
1443 fprintf (output
, " %02X", rva
[b
] & 0xff);
1445 fprintf (output
, ") // size: %d\n", size
);
1447 fprintf (output
, ".data D_%08x = %s [%d]\n",
1448 cols
[MONO_FIELD_RVA_RVA
], get_uninitialized_data_type (size
), size
);
1455 void (*dumper
) (MonoImage
*m
);
1457 { "--assembly", MONO_TABLE_ASSEMBLY
, dump_table_assembly
},
1458 { "--assemblyref", MONO_TABLE_ASSEMBLYREF
, dump_table_assemblyref
},
1459 { "--classlayout", MONO_TABLE_CLASSLAYOUT
, dump_table_class_layout
},
1460 { "--constant", MONO_TABLE_CONSTANT
, dump_table_constant
},
1461 { "--customattr", MONO_TABLE_CUSTOMATTRIBUTE
, dump_table_customattr
},
1462 { "--declsec", MONO_TABLE_DECLSECURITY
, dump_table_declsec
},
1463 { "--event", MONO_TABLE_EVENT
, dump_table_event
},
1464 { "--exported", MONO_TABLE_EXPORTEDTYPE
, dump_table_exported
},
1465 { "--fields", MONO_TABLE_FIELD
, dump_table_field
},
1466 { "--file", MONO_TABLE_FILE
, dump_table_file
},
1467 { "--genericpar", MONO_TABLE_GENERICPARAM
, dump_table_genericpar
},
1468 { "--interface", MONO_TABLE_INTERFACEIMPL
, dump_table_interfaceimpl
},
1469 { "--manifest", MONO_TABLE_MANIFESTRESOURCE
, dump_table_manifest
},
1470 { "--marshal", MONO_TABLE_FIELDMARSHAL
, dump_table_field_marshal
},
1471 { "--memberref", MONO_TABLE_MEMBERREF
, dump_table_memberref
},
1472 { "--method", MONO_TABLE_METHOD
, dump_table_method
},
1473 { "--methodimpl", MONO_TABLE_METHODIMPL
, dump_table_methodimpl
},
1474 { "--methodsem", MONO_TABLE_METHODSEMANTICS
, dump_table_methodsem
},
1475 { "--methodspec", MONO_TABLE_METHODSPEC
, dump_table_methodspec
},
1476 { "--moduleref", MONO_TABLE_MODULEREF
, dump_table_moduleref
},
1477 { "--module", MONO_TABLE_MODULE
, dump_table_module
},
1478 { "--mresources", 0, dis_mresource
},
1479 { "--nested", MONO_TABLE_NESTEDCLASS
, dump_table_nestedclass
},
1480 { "--param", MONO_TABLE_PARAM
, dump_table_param
},
1481 { "--parconst", MONO_TABLE_GENERICPARAMCONSTRAINT
, dump_table_parconstraint
},
1482 { "--property", MONO_TABLE_PROPERTY
, dump_table_property
},
1483 { "--propertymap", MONO_TABLE_PROPERTYMAP
, dump_table_property_map
},
1484 { "--typedef", MONO_TABLE_TYPEDEF
, dump_table_typedef
},
1485 { "--typeref", MONO_TABLE_TYPEREF
, dump_table_typeref
},
1486 { "--typespec", MONO_TABLE_TYPESPEC
, dump_table_typespec
},
1487 { "--implmap", MONO_TABLE_IMPLMAP
, dump_table_implmap
},
1488 { "--standalonesig", MONO_TABLE_STANDALONESIG
, dump_table_standalonesig
},
1489 { "--methodptr", MONO_TABLE_METHOD_POINTER
, dump_table_methodptr
},
1490 { "--fieldptr", MONO_TABLE_FIELD_POINTER
, dump_table_fieldptr
},
1491 { "--paramptr", MONO_TABLE_PARAM_POINTER
, dump_table_paramptr
},
1492 { "--eventptr", MONO_TABLE_EVENT_POINTER
, dump_table_eventptr
},
1493 { "--propertyptr", MONO_TABLE_PROPERTY_POINTER
, dump_table_propertyptr
},
1494 { "--blob", 0, dump_stream_blob
},
1495 { "--strings", 0, dump_stream_strings
},
1496 { "--userstrings", 0, dump_stream_us
},
1502 * @file: file containing CIL code.
1504 * Disassembles the @file file.
1507 disassemble_file (const char *file
)
1509 MonoImageOpenStatus status
;
1511 MonoAssembly
*assembly
;
1514 img
= mono_image_open (file
, &status
);
1516 fprintf (stderr
, "Error while trying to process %s\n", file
);
1519 assembly
= mono_assembly_load_from_full (img
, file
, &status
, FALSE
);
1524 if (dump_table
!= -1){
1525 (*table_list
[dump_table
].dumper
) (img
);
1527 dump_header_data (img
);
1529 dis_directive_assemblyref (img
);
1530 dis_directive_assembly (img
);
1531 dis_directive_file (img
);
1532 dis_directive_mresource (img
);
1533 dis_directive_module (img
);
1534 dis_directive_moduleref (img
);
1535 dis_nt_header (img
);
1536 if (dump_managed_resources
)
1537 dis_mresource (img
);
1538 if (dump_forward_decls
) {
1539 fprintf (output
, "// *************** Forward Declarations for Classes ***************\n\n");
1541 fprintf (output
, "// *************** End-Of Forward Declarations for Classes ***************\n\n");
1547 mono_image_close (img
);
1561 TableFilter methods
;
1564 static GList
*filter_list
= NULL
;
1565 static ImageFilter
*cur_filter
= NULL
;
1568 setup_filter (MonoImage
*image
)
1570 ImageFilter
*ifilter
;
1572 const char *name
= mono_image_get_name (image
);
1574 for (item
= filter_list
; item
; item
= item
->next
) {
1575 ifilter
= item
->data
;
1576 if (strcmp (ifilter
->name
, name
) == 0) {
1577 cur_filter
= ifilter
;
1585 int_cmp (const void *e1
, const void *e2
)
1593 table_includes (TableFilter
*tf
, int idx
)
1597 return bsearch (&idx
, tf
->elems
, tf
->count
, sizeof (int), int_cmp
) != NULL
;
1601 should_include_type (int idx
)
1605 return table_includes (&cur_filter
->types
, idx
);
1609 should_include_method (int idx
)
1613 return table_includes (&cur_filter
->methods
, idx
);
1617 should_include_field (int idx
)
1621 return table_includes (&cur_filter
->fields
, idx
);
1625 add_filter (const char *name
)
1627 ImageFilter
*ifilter
;
1630 for (item
= filter_list
; item
; item
= item
->next
) {
1631 ifilter
= item
->data
;
1632 if (strcmp (ifilter
->name
, name
) == 0)
1635 ifilter
= g_new0 (ImageFilter
, 1);
1636 ifilter
->name
= g_strdup (name
);
1637 filter_list
= g_list_prepend (filter_list
, ifilter
);
1642 add_item (TableFilter
*tf
, int val
)
1644 if (tf
->count
>= tf
->size
) {
1647 tf
->elems
= g_malloc (sizeof (int) * tf
->size
);
1650 tf
->elems
= g_realloc (tf
->elems
, sizeof (int) * tf
->size
);
1653 tf
->elems
[tf
->count
++] = val
;
1657 sort_filter_elems (void)
1659 ImageFilter
*ifilter
;
1662 for (item
= filter_list
; item
; item
= item
->next
) {
1663 ifilter
= item
->data
;
1664 qsort (ifilter
->types
.elems
, ifilter
->types
.count
, sizeof (int), int_cmp
);
1665 qsort (ifilter
->fields
.elems
, ifilter
->fields
.count
, sizeof (int), int_cmp
);
1666 qsort (ifilter
->methods
.elems
, ifilter
->methods
.count
, sizeof (int), int_cmp
);
1671 load_filter (const char* filename
)
1675 char *p
, *s
, *endptr
;
1677 ImageFilter
*ifilter
= NULL
;
1680 if (!(file
= fopen (filename
, "r"))) {
1681 g_print ("Cannot open filter file '%s'\n", filename
);
1684 while (fgets (buf
, sizeof (buf
), file
) != NULL
) {
1687 while (*s
&& g_ascii_isspace (*s
)) ++s
;
1693 p
= strchr (s
, ']');
1695 g_error ("No matching ']' in filter at line %d\n", line
);
1697 ifilter
= add_filter (s
+ 1);
1701 g_error ("Invalid format in filter at line %d\n", line
);
1702 if ((s
[1] != ':') || !(value
= strtol (s
+ 2, &endptr
, 0)) || (endptr
== s
+ 2))
1703 g_error ("Invalid type number in filter at line %d\n", line
);
1704 add_item (&ifilter
->types
, value
);
1708 g_error ("Invalid format in filter at line %d\n", line
);
1709 if ((s
[1] != ':') || !(value
= strtol (s
+ 2, &endptr
, 0)) || (endptr
== s
+ 2))
1710 g_error ("Invalid method number in filter at line %d\n", line
);
1711 add_item (&ifilter
->methods
, value
);
1715 g_error ("Invalid format in filter at line %d\n", line
);
1716 if ((s
[1] != ':') || !(value
= strtol (s
+ 2, &endptr
, 0)) || (endptr
== s
+ 2))
1717 g_error ("Invalid field number in filter at line %d\n", line
);
1718 add_item (&ifilter
->fields
, value
);
1721 g_error ("Invalid format in filter at line %d\n", line
);
1725 sort_filter_elems ();
1730 try_load_from (MonoAssembly
**assembly
, const gchar
*path1
, const gchar
*path2
,
1731 const gchar
*path3
, const gchar
*path4
, gboolean refonly
)
1736 fullpath
= g_build_filename (path1
, path2
, path3
, path4
, NULL
);
1737 if (g_file_test (fullpath
, G_FILE_TEST_IS_REGULAR
))
1738 *assembly
= mono_assembly_open_full (fullpath
, NULL
, refonly
);
1741 return (*assembly
!= NULL
);
1744 static MonoAssembly
*
1745 real_load (gchar
**search_path
, const gchar
*culture
, const gchar
*name
, gboolean refonly
)
1747 MonoAssembly
*result
= NULL
;
1750 const gchar
*local_culture
;
1753 if (!culture
|| *culture
== '\0') {
1756 local_culture
= culture
;
1759 filename
= g_strconcat (name
, ".dll", NULL
);
1760 len
= strlen (filename
);
1762 for (path
= search_path
; *path
; path
++) {
1764 continue; /* Ignore empty ApplicationBase */
1766 /* See test cases in bug #58992 and bug #57710 */
1767 /* 1st try: [culture]/[name].dll (culture may be empty) */
1768 strcpy (filename
+ len
- 4, ".dll");
1769 if (try_load_from (&result
, *path
, local_culture
, "", filename
, refonly
))
1772 /* 2nd try: [culture]/[name].exe (culture may be empty) */
1773 strcpy (filename
+ len
- 4, ".exe");
1774 if (try_load_from (&result
, *path
, local_culture
, "", filename
, refonly
))
1777 /* 3rd try: [culture]/[name]/[name].dll (culture may be empty) */
1778 strcpy (filename
+ len
- 4, ".dll");
1779 if (try_load_from (&result
, *path
, local_culture
, name
, filename
, refonly
))
1782 /* 4th try: [culture]/[name]/[name].exe (culture may be empty) */
1783 strcpy (filename
+ len
- 4, ".exe");
1784 if (try_load_from (&result
, *path
, local_culture
, name
, filename
, refonly
))
1793 * Try to load referenced assemblies from assemblies_path.
1795 static MonoAssembly
*
1796 monodis_preload (MonoAssemblyName
*aname
,
1797 gchar
**assemblies_path
,
1800 MonoAssembly
*result
= NULL
;
1801 gboolean refonly
= GPOINTER_TO_UINT (user_data
);
1803 if (assemblies_path
&& assemblies_path
[0] != NULL
) {
1804 result
= real_load (assemblies_path
, aname
->culture
, aname
->name
, refonly
);
1810 static GList
*loaded_assemblies
= NULL
;
1813 monodis_assembly_load_hook (MonoAssembly
*assembly
, gpointer user_data
)
1815 loaded_assemblies
= g_list_prepend (loaded_assemblies
, assembly
);
1818 static MonoAssembly
*
1819 monodis_assembly_search_hook (MonoAssemblyName
*aname
, gpointer user_data
)
1823 for (tmp
= loaded_assemblies
; tmp
; tmp
= tmp
->next
) {
1824 MonoAssembly
*ass
= tmp
->data
;
1825 if (mono_assembly_names_equal (aname
, &ass
->aname
))
1834 GString
*args
= g_string_new ("[--output=filename] [--filter=filename] [--help] [--mscorlib]\n");
1837 for (i
= 0; table_list
[i
].name
!= NULL
; i
++){
1838 g_string_append (args
, "[");
1839 g_string_append (args
, table_list
[i
].name
);
1840 g_string_append (args
, "] ");
1841 if (((i
-2) % 5) == 0)
1842 g_string_append_c (args
, '\n');
1844 g_string_append (args
, "[--forward-decls]");
1846 "monodis -- Mono Common Intermediate Language Disassembler\n"
1847 "Usage is: monodis %s file ..\n", args
->str
);
1852 main (int argc
, char *argv
[])
1854 GList
*input_files
= NULL
, *l
;
1859 for (i
= 1; i
< argc
; i
++){
1860 if (argv
[i
][0] == '-'){
1861 if (argv
[i
][1] == 'h')
1863 else if (argv
[i
][1] == 'd')
1864 dump_header_data_p
= TRUE
;
1865 else if (strcmp (argv
[i
], "--mscorlib") == 0) {
1866 substitute_with_mscorlib_p
= TRUE
;
1868 } else if (strcmp (argv
[i
], "--show-method-tokens") == 0) {
1869 show_method_tokens
= TRUE
;
1871 } else if (strcmp (argv
[i
], "--show-tokens") == 0) {
1874 } else if (strncmp (argv
[i
], "--output=", 9) == 0) {
1875 output
= fopen (argv
[i
]+9, "w");
1876 if (output
== NULL
) {
1877 fprintf (stderr
, "Can't open output file `%s': %s\n",
1878 argv
[i
]+9, strerror (errno
));
1881 dump_managed_resources
= TRUE
;
1883 } else if (strncmp (argv
[i
], "--filter=", 9) == 0) {
1884 load_filter (argv
[i
]+9);
1886 } else if (strcmp (argv
[i
], "--forward-decls") == 0) {
1887 dump_forward_decls
= TRUE
;
1889 } else if (strcmp (argv
[i
], "--help") == 0)
1891 for (j
= 0; table_list
[j
].name
!= NULL
; j
++) {
1892 if (strcmp (argv
[i
], table_list
[j
].name
) == 0)
1898 input_files
= g_list_append (input_files
, argv
[i
]);
1901 if (input_files
== NULL
)
1904 mono_install_assembly_load_hook (monodis_assembly_load_hook
, NULL
);
1905 mono_install_assembly_search_hook (monodis_assembly_search_hook
, NULL
);
1908 * If we just have one file, use the corlib version it requires.
1910 if (!input_files
->next
) {
1911 char *filename
= input_files
->data
;
1913 mono_init_from_assembly (argv
[0], filename
);
1915 mono_install_assembly_preload_hook (monodis_preload
, GUINT_TO_POINTER (FALSE
));
1917 disassemble_file (filename
);
1919 mono_init (argv
[0]);
1921 for (l
= input_files
; l
; l
= l
->next
)
1922 disassemble_file (l
->data
);