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?
27 #include <mono/metadata/class-internals.h>
28 #include <mono/metadata/object-internals.h>
29 #include <mono/metadata/loader.h>
30 #include <mono/metadata/assembly.h>
31 #include <mono/metadata/appdomain.h>
33 static void setup_filter (MonoImage
*image
);
34 static gboolean
should_include_type (int idx
);
35 static gboolean
should_include_method (int idx
);
36 static gboolean
should_include_field (int idx
);
40 /* True if you want to get a dump of the header data */
41 gboolean dump_header_data_p
= FALSE
;
43 /* True if you want to get forward declarations */
44 gboolean dump_forward_decls
= FALSE
;
46 /* True if you want to dump managed resources as files */
47 gboolean dump_managed_resources
= FALSE
;
49 gboolean substitute_with_mscorlib_p
= FALSE
;
54 dump_header_data (MonoImage
*img
)
56 if (!dump_header_data_p
)
60 "// Ximian's CIL disassembler, version 1.0\n"
61 "// Copyright (C) 2001 Ximian, Inc.\n\n");
65 dump_cattrs_list (GList
*list
, const char *indent
)
69 for (tmp
= list
; tmp
; tmp
= tmp
->next
) {
70 fprintf (output
, "%s%s\n", indent
, (char*)tmp
->data
);
77 dump_cattrs (MonoImage
*m
, guint32 token
, const char *indent
)
81 list
= dis_get_custom_attrs (m
, token
);
82 dump_cattrs_list (list
, indent
);
86 get_il_security_action (int val
)
91 case SECURITY_ACTION_DEMAND
:
93 case SECURITY_ACTION_ASSERT
:
95 case SECURITY_ACTION_DENY
:
97 case SECURITY_ACTION_PERMITONLY
:
99 case SECURITY_ACTION_LINKDEMAND
:
101 case SECURITY_ACTION_INHERITDEMAND
:
102 return "inheritcheck";
103 case SECURITY_ACTION_REQMIN
:
105 case SECURITY_ACTION_REQOPT
:
107 case SECURITY_ACTION_REQREFUSE
:
109 /* Special actions (for non CAS permissions) */
110 case SECURITY_ACTION_NONCASDEMAND
:
111 return "noncasdemand";
112 case SECURITY_ACTION_NONCASLINKDEMAND
:
113 return "noncaslinkdemand";
114 case SECURITY_ACTION_NONCASINHERITANCE
:
115 return "noncasinheritance";
116 /* Fx 2.0 actions (for both CAS and non-CAS permissions) */
117 case SECURITY_ACTION_LINKDEMANDCHOICE
:
118 return "linkdemandor";
119 case SECURITY_ACTION_INHERITDEMANDCHOICE
:
120 return "inheritancedemandor";
121 case SECURITY_ACTION_DEMANDCHOICE
:
124 g_snprintf (buf
, sizeof (buf
), "0x%04X", val
);
129 #define OBJECT_TYPE_TYPEDEF 0
130 #define OBJECT_TYPE_METHODDEF 1
131 #define OBJECT_TYPE_ASSEMBLYDEF 2
134 dump_declarative_security (MonoImage
*m
, guint32 objectType
, guint32 token
, const char *indent
)
136 MonoTableInfo
*t
= &m
->tables
[MONO_TABLE_DECLSECURITY
];
137 guint32 cols
[MONO_DECL_SECURITY_SIZE
];
140 const char *blob
, *action
;
142 for (i
= 1; i
<= t
->rows
; i
++) {
143 mono_metadata_decode_row (t
, i
- 1, cols
, MONO_DECL_SECURITY_SIZE
);
144 blob
= mono_metadata_blob_heap (m
, cols
[MONO_DECL_SECURITY_PERMISSIONSET
]);
145 len
= mono_metadata_decode_blob_size (blob
, &blob
);
146 action
= get_il_security_action (cols
[MONO_DECL_SECURITY_ACTION
]);
147 idx
= cols
[MONO_DECL_SECURITY_PARENT
];
148 if (((idx
& MONO_HAS_DECL_SECURITY_MASK
) == objectType
) && ((idx
>> MONO_HAS_DECL_SECURITY_BITS
) == token
)) {
149 char *dump
= data_dump (blob
, len
, indent
);
150 fprintf (output
, "%s.permissionset %s = %s", indent
, action
, dump
);
157 dis_directive_assembly (MonoImage
*m
)
159 MonoTableInfo
*t
= &m
->tables
[MONO_TABLE_ASSEMBLY
];
160 guint32 cols
[MONO_ASSEMBLY_SIZE
];
165 mono_metadata_decode_row (t
, 0, cols
, MONO_ASSEMBLY_SIZE
);
167 fprintf (output
, ".assembly '%s'\n{\n",
168 mono_metadata_string_heap (m
, cols
[MONO_ASSEMBLY_NAME
]));
169 dump_cattrs (m
, MONO_TOKEN_ASSEMBLY
| 1, " ");
170 dump_declarative_security (m
, OBJECT_TYPE_ASSEMBLYDEF
, 1, " ");
172 " .hash algorithm 0x%08x\n"
173 " .ver %d:%d:%d:%d\n",
174 cols
[MONO_ASSEMBLY_HASH_ALG
],
175 cols
[MONO_ASSEMBLY_MAJOR_VERSION
], cols
[MONO_ASSEMBLY_MINOR_VERSION
],
176 cols
[MONO_ASSEMBLY_BUILD_NUMBER
], cols
[MONO_ASSEMBLY_REV_NUMBER
]);
177 if (cols
[MONO_ASSEMBLY_CULTURE
])
178 fprintf (output
, " .locale %s\n", mono_metadata_string_heap (m
, cols
[MONO_ASSEMBLY_CULTURE
]));
179 if (cols
[MONO_ASSEMBLY_PUBLIC_KEY
]) {
180 const char* b
= mono_metadata_blob_heap (m
, cols
[MONO_ASSEMBLY_PUBLIC_KEY
]);
181 int len
= mono_metadata_decode_blob_size (b
, &b
);
182 char *dump
= data_dump (b
, len
, "\t\t");
183 fprintf (output
, " .publickey =%s", dump
);
186 fprintf (output
, "}\n");
190 dis_directive_assemblyref (MonoImage
*m
)
192 MonoTableInfo
*t
= &m
->tables
[MONO_TABLE_ASSEMBLYREF
];
193 guint32 cols
[MONO_ASSEMBLYREF_SIZE
];
199 for (i
= 0; i
< t
->rows
; i
++){
202 mono_metadata_decode_row (t
, i
, cols
, MONO_ASSEMBLYREF_SIZE
);
204 esc
= get_escaped_name (mono_metadata_string_heap (m
, cols
[MONO_ASSEMBLYREF_NAME
]));
207 ".assembly extern %s\n"
209 " .ver %d:%d:%d:%d\n",
211 cols
[MONO_ASSEMBLYREF_MAJOR_VERSION
], cols
[MONO_ASSEMBLYREF_MINOR_VERSION
],
212 cols
[MONO_ASSEMBLYREF_BUILD_NUMBER
], cols
[MONO_ASSEMBLYREF_REV_NUMBER
]
214 dump_cattrs (m
, MONO_TOKEN_ASSEMBLY_REF
| (i
+ 1), " ");
215 if (cols
[MONO_ASSEMBLYREF_CULTURE
]){
216 fprintf (output
, " .locale %s\n", mono_metadata_string_heap (m
, cols
[MONO_ASSEMBLYREF_CULTURE
]));
218 if (cols
[MONO_ASSEMBLYREF_PUBLIC_KEY
]){
219 const char* b
= mono_metadata_blob_heap (m
, cols
[MONO_ASSEMBLYREF_PUBLIC_KEY
]);
220 int len
= mono_metadata_decode_blob_size (b
, &b
);
221 char *dump
= data_dump (b
, len
, "\t\t");
222 fprintf (output
, " .publickeytoken =%s", dump
);
225 fprintf (output
, "}\n");
231 dis_directive_module (MonoImage
*m
)
233 MonoTableInfo
*t
= &m
->tables
[MONO_TABLE_MODULE
];
236 for (i
= 0; i
< t
->rows
; i
++){
237 guint32 cols
[MONO_MODULE_SIZE
];
241 mono_metadata_decode_row (t
, i
, cols
, MONO_MODULE_SIZE
);
243 name
= mono_metadata_string_heap (m
, cols
[MONO_MODULE_NAME
]);
244 ename
= get_escaped_name (name
);
245 guid
= get_guid (m
, cols
[MONO_MODULE_MVID
]);
246 fprintf (output
, ".module %s // GUID = %s\n\n", ename
, guid
);
249 dump_cattrs (m
, MONO_TOKEN_MODULE
| (i
+ 1), "");
254 dis_directive_moduleref (MonoImage
*m
)
256 MonoTableInfo
*t
= &m
->tables
[MONO_TABLE_MODULEREF
];
259 for (i
= 0; i
< t
->rows
; i
++){
260 guint32 cols
[MONO_MODULEREF_SIZE
];
262 mono_metadata_decode_row (t
, i
, cols
, MONO_MODULEREF_SIZE
);
264 fprintf (output
, ".module extern '%s'\n", mono_metadata_string_heap (m
, cols
[MONO_MODULEREF_NAME
]));
270 dis_nt_header (MonoImage
*m
)
272 MonoCLIImageInfo
*image_info
= m
->image_info
;
273 if (image_info
&& image_info
->cli_header
.nt
.pe_stack_reserve
!= 0x100000)
274 fprintf (output
, ".stackreserve 0x%x\n", image_info
->cli_header
.nt
.pe_stack_reserve
);
278 dis_directive_file (MonoImage
*m
)
280 MonoTableInfo
*t
= &m
->tables
[MONO_TABLE_FILE
];
284 entry_point
= mono_image_get_entry_point (m
);
286 for (i
= 0; i
< t
->rows
; i
++){
287 guint32 cols
[MONO_FILE_SIZE
];
288 const char *name
, *hash
;
291 mono_metadata_decode_row (t
, i
, cols
, MONO_FILE_SIZE
);
293 name
= mono_metadata_string_heap (m
, cols
[MONO_FILE_NAME
]);
295 hash
= mono_metadata_blob_heap (m
, cols
[MONO_FILE_HASH_VALUE
]);
296 len
= mono_metadata_decode_blob_size (hash
, &hash
);
298 fprintf (output
, ".file %s%s .hash = (",
299 cols
[MONO_FILE_FLAGS
] & FILE_CONTAINS_NO_METADATA
? "nometadata " : "", name
);
301 for (j
= 0; j
< len
; ++j
)
302 fprintf (output
, " %02X", hash
[j
] & 0xff);
304 token
= mono_metadata_make_token (MONO_TABLE_FILE
, i
+ 1);
305 fprintf (output
, " )%s\n", (token
== entry_point
) ? " .entrypoint" : "");
311 dis_directive_mresource (MonoImage
*m
)
313 MonoTableInfo
*t
= &m
->tables
[MONO_TABLE_MANIFESTRESOURCE
];
316 for (i
= 0; i
< t
->rows
; i
++){
317 guint32 cols
[MONO_MANIFEST_SIZE
];
319 guint32 impl
, idx
, name_token
;
321 mono_metadata_decode_row (t
, i
, cols
, MONO_MANIFEST_SIZE
);
323 name
= mono_metadata_string_heap (m
, cols
[MONO_MANIFEST_NAME
]);
325 fprintf (output
, ".mresource %s '%s'\n", (cols
[MONO_MANIFEST_FLAGS
] & MANIFEST_RESOURCE_VISIBILITY_MASK
) == (MANIFEST_RESOURCE_PUBLIC
) ? "public" : "private", name
);
326 fprintf (output
, "{\n");
327 impl
= cols
[MONO_MANIFEST_IMPLEMENTATION
];
329 idx
= impl
>> MONO_IMPLEMENTATION_BITS
;
330 if ((impl
& MONO_IMPLEMENTATION_MASK
) == MONO_IMPLEMENTATION_FILE
) {
331 name_token
= mono_metadata_decode_row_col (&m
->tables
[MONO_TABLE_FILE
], idx
- 1, MONO_FILE_NAME
);
333 fprintf (output
, " .file '%s' at 0x0\n", mono_metadata_string_heap (m
, name_token
));
335 if ((impl
& MONO_IMPLEMENTATION_MASK
) == MONO_IMPLEMENTATION_ASSEMBLYREF
) {
336 name_token
= mono_metadata_decode_row_col (&m
->tables
[MONO_TABLE_ASSEMBLYREF
], idx
- 1, MONO_ASSEMBLYREF_NAME
);
337 fprintf (output
, " .assembly extern '%s'\n", mono_metadata_string_heap (m
, name_token
));
340 fprintf (output
, "}\n");
345 static dis_map_t visibility_map
[] = {
346 { TYPE_ATTRIBUTE_NOT_PUBLIC
, "private " },
347 { TYPE_ATTRIBUTE_PUBLIC
, "public " },
348 { TYPE_ATTRIBUTE_NESTED_PUBLIC
, "nested public " },
349 { TYPE_ATTRIBUTE_NESTED_PRIVATE
, "nested private " },
350 { TYPE_ATTRIBUTE_NESTED_FAMILY
, "nested family " },
351 { TYPE_ATTRIBUTE_NESTED_ASSEMBLY
, "nested assembly " },
352 { TYPE_ATTRIBUTE_NESTED_FAM_AND_ASSEM
, "nested famandassem " },
353 { TYPE_ATTRIBUTE_NESTED_FAM_OR_ASSEM
, "nested famorassem " },
357 static dis_map_t layout_map
[] = {
358 { TYPE_ATTRIBUTE_AUTO_LAYOUT
, "auto " },
359 { TYPE_ATTRIBUTE_SEQUENTIAL_LAYOUT
, "sequential " },
360 { TYPE_ATTRIBUTE_EXPLICIT_LAYOUT
, "explicit " },
364 static dis_map_t format_map
[] = {
365 { TYPE_ATTRIBUTE_ANSI_CLASS
, "ansi " },
366 { TYPE_ATTRIBUTE_UNICODE_CLASS
, "unicode " },
367 { TYPE_ATTRIBUTE_AUTO_CLASS
, "auto " },
372 typedef_flags (guint32 flags
)
374 static char buffer
[1024];
375 int visibility
= flags
& TYPE_ATTRIBUTE_VISIBILITY_MASK
;
376 int layout
= flags
& TYPE_ATTRIBUTE_LAYOUT_MASK
;
377 int format
= flags
& TYPE_ATTRIBUTE_STRING_FORMAT_MASK
;
381 strcat (buffer
, map (visibility
, visibility_map
));
382 strcat (buffer
, map (layout
, layout_map
));
383 strcat (buffer
, map (format
, format_map
));
385 if (flags
& TYPE_ATTRIBUTE_ABSTRACT
)
386 strcat (buffer
, "abstract ");
387 if (flags
& TYPE_ATTRIBUTE_SEALED
)
388 strcat (buffer
, "sealed ");
389 if (flags
& TYPE_ATTRIBUTE_SPECIAL_NAME
)
390 strcat (buffer
, "special-name ");
391 if (flags
& TYPE_ATTRIBUTE_IMPORT
)
392 strcat (buffer
, "import ");
393 if (flags
& TYPE_ATTRIBUTE_SERIALIZABLE
)
394 strcat (buffer
, "serializable ");
395 if (flags
& TYPE_ATTRIBUTE_BEFORE_FIELD_INIT
)
396 strcat (buffer
, "beforefieldinit ");
403 * @m: metadata context
404 * @start: starting index into the Field Table.
405 * @end: ending index into Field table.
407 * This routine displays all the decoded fields from @start to @end
410 dis_field_list (MonoImage
*m
, guint32 start
, guint32 end
, MonoGenericContext
*context
)
412 MonoTableInfo
*t
= &m
->tables
[MONO_TABLE_FIELD
];
413 guint32 cols
[MONO_FIELD_SIZE
];
419 if (end
> t
->rows
+ 1) {
420 g_warning ("ERROR index out of range in fields");
424 for (i
= start
; i
< end
; i
++){
425 char *sig
, *flags
, *attrs
= NULL
;
426 char *marshal_str
= NULL
;
427 guint32 field_offset
= -1;
429 if (!should_include_field (i
+ 1))
431 mono_metadata_decode_row (t
, i
, cols
, MONO_FIELD_SIZE
);
432 sig
= get_field_signature (m
, cols
[MONO_FIELD_SIGNATURE
], context
);
433 flags
= field_flags (cols
[MONO_FIELD_FLAGS
]);
435 if (cols
[MONO_FIELD_FLAGS
] & FIELD_ATTRIBUTE_HAS_FIELD_MARSHAL
) {
437 MonoMarshalSpec
*spec
;
439 tp
= mono_metadata_get_marshal_info (m
, i
, TRUE
);
440 spec
= mono_metadata_parse_marshal_spec (m
, tp
);
441 marshal_str
= dis_stringify_marshal_spec (spec
);
444 if (cols
[MONO_FIELD_FLAGS
] & FIELD_ATTRIBUTE_HAS_FIELD_RVA
) {
445 mono_metadata_field_info (m
, i
, NULL
, &rva
, NULL
);
446 g_snprintf (rva_desc
, sizeof (rva_desc
), " at D_%08x", rva
);
451 mono_metadata_field_info (m
, i
, &field_offset
, NULL
, NULL
);
452 if (field_offset
!= -1)
453 attrs
= g_strdup_printf ("[%d]", field_offset
);
454 esname
= get_escaped_name (mono_metadata_string_heap (m
, cols
[MONO_FIELD_NAME
]));
455 if (cols
[MONO_FIELD_FLAGS
] & FIELD_ATTRIBUTE_HAS_DEFAULT
){
457 guint32 const_cols
[MONO_CONSTANT_SIZE
];
460 if ((crow
= mono_metadata_get_constant_index (m
, MONO_TOKEN_FIELD_DEF
| (i
+1), 0))) {
461 mono_metadata_decode_row (&m
->tables
[MONO_TABLE_CONSTANT
], crow
-1, const_cols
, MONO_CONSTANT_SIZE
);
462 lit
= get_constant (m
, const_cols
[MONO_CONSTANT_TYPE
], const_cols
[MONO_CONSTANT_VALUE
]);
464 lit
= g_strdup ("not found");
467 fprintf (output
, " .field %s%s%s %s = ",
468 flags
, marshal_str
? marshal_str
: " ", sig
, esname
);
469 fprintf (output
, "%s\n", lit
);
472 fprintf (output
, " .field %s %s%s%s %s%s\n",
473 attrs
? attrs
: "", flags
, marshal_str
? marshal_str
: " ", sig
, esname
, rva_desc
);
476 g_free (marshal_str
);
479 dump_cattrs (m
, MONO_TOKEN_FIELD_DEF
| (i
+ 1), " ");
483 static dis_map_t method_access_map
[] = {
484 { METHOD_ATTRIBUTE_COMPILER_CONTROLLED
, "privatescope " },
485 { METHOD_ATTRIBUTE_PRIVATE
, "private " },
486 { METHOD_ATTRIBUTE_FAM_AND_ASSEM
, "famandassem " },
487 { METHOD_ATTRIBUTE_ASSEM
, "assembly " },
488 { METHOD_ATTRIBUTE_FAMILY
, "family " },
489 { METHOD_ATTRIBUTE_FAM_OR_ASSEM
, "famorassem " },
490 { METHOD_ATTRIBUTE_PUBLIC
, "public " },
494 static dis_map_t method_flags_map
[] = {
495 { METHOD_ATTRIBUTE_STATIC
, "static " },
496 { METHOD_ATTRIBUTE_FINAL
, "final " },
497 { METHOD_ATTRIBUTE_VIRTUAL
, "virtual " },
498 { METHOD_ATTRIBUTE_HIDE_BY_SIG
, "hidebysig " },
499 { METHOD_ATTRIBUTE_VTABLE_LAYOUT_MASK
, "newslot " },
500 { METHOD_ATTRIBUTE_ABSTRACT
, "abstract " },
501 { METHOD_ATTRIBUTE_SPECIAL_NAME
, "specialname " },
502 { METHOD_ATTRIBUTE_RT_SPECIAL_NAME
, "rtspecialname " },
503 { METHOD_ATTRIBUTE_UNMANAGED_EXPORT
, "export " },
504 /* MS ilasm doesn't compile this statement - is must be added automagically when permissionset are present */
505 /* { METHOD_ATTRIBUTE_HAS_SECURITY, "hassecurity" }, */
506 { METHOD_ATTRIBUTE_REQUIRE_SEC_OBJECT
, "requiresecobj" },
507 { METHOD_ATTRIBUTE_PINVOKE_IMPL
, "pinvokeimpl " },
514 * Returns a stringified version of the Method's flags
517 method_flags (guint32 f
)
519 GString
*str
= g_string_new ("");
520 int access
= f
& METHOD_ATTRIBUTE_MEMBER_ACCESS_MASK
;
523 g_string_append (str
, map (access
, method_access_map
));
524 g_string_append (str
, flags (f
, method_flags_map
));
527 g_string_free (str
, FALSE
);
532 static dis_map_t pinvoke_flags_map
[] = {
533 { PINVOKE_ATTRIBUTE_NO_MANGLE
, "nomangle " },
534 { PINVOKE_ATTRIBUTE_SUPPORTS_LAST_ERROR
, "lasterr " },
535 { PINVOKE_ATTRIBUTE_BEST_FIT_ENABLED
, "bestfit:on" },
536 { PINVOKE_ATTRIBUTE_BEST_FIT_DISABLED
, "bestfit:off" },
537 { PINVOKE_ATTRIBUTE_THROW_ON_UNMAPPABLE_ENABLED
, "charmaperror:on" },
538 { PINVOKE_ATTRIBUTE_THROW_ON_UNMAPPABLE_DISABLED
, "charmaperror:off" },
542 static dis_map_t pinvoke_call_conv_map
[] = {
543 { PINVOKE_ATTRIBUTE_CALL_CONV_WINAPI
, "winapi " },
544 { PINVOKE_ATTRIBUTE_CALL_CONV_CDECL
, "cdecl " },
545 { PINVOKE_ATTRIBUTE_CALL_CONV_STDCALL
, "stdcall " },
546 { PINVOKE_ATTRIBUTE_CALL_CONV_THISCALL
, "thiscall " },
547 { PINVOKE_ATTRIBUTE_CALL_CONV_FASTCALL
, "fastcall " },
552 static dis_map_t pinvoke_char_set_map
[] = {
553 { PINVOKE_ATTRIBUTE_CHAR_SET_NOT_SPEC
, "" },
554 { PINVOKE_ATTRIBUTE_CHAR_SET_ANSI
, "ansi " },
555 { PINVOKE_ATTRIBUTE_CHAR_SET_UNICODE
, "unicode " },
556 { PINVOKE_ATTRIBUTE_CHAR_SET_AUTO
, "autochar " },
563 * Returns a stringified version of the Method's pinvoke flags
566 pinvoke_flags (guint32 f
)
568 GString
*str
= g_string_new ("");
569 int cset
= f
& PINVOKE_ATTRIBUTE_CHAR_SET_MASK
;
570 int cconv
= f
& PINVOKE_ATTRIBUTE_CALL_CONV_MASK
;
573 g_string_append (str
, map (cset
, pinvoke_char_set_map
));
574 g_string_append (str
, map (cconv
, pinvoke_call_conv_map
));
575 g_string_append (str
, flags (f
, pinvoke_flags_map
));
577 s
= g_strdup(str
->str
);
578 g_string_free (str
, FALSE
);
583 static dis_map_t method_impl_map
[] = {
584 { METHOD_IMPL_ATTRIBUTE_IL
, "cil " },
585 { METHOD_IMPL_ATTRIBUTE_NATIVE
, "native " },
586 { METHOD_IMPL_ATTRIBUTE_OPTIL
, "optil " },
587 { METHOD_IMPL_ATTRIBUTE_RUNTIME
, "runtime " },
591 static dis_map_t managed_type_map
[] = {
592 { METHOD_IMPL_ATTRIBUTE_UNMANAGED
, "unmanaged " },
593 { METHOD_IMPL_ATTRIBUTE_MANAGED
, "managed " },
597 static dis_map_t managed_impl_flags
[] = {
598 { METHOD_IMPL_ATTRIBUTE_FORWARD_REF
, "fwdref " },
599 { METHOD_IMPL_ATTRIBUTE_PRESERVE_SIG
, "preservesig " },
600 { METHOD_IMPL_ATTRIBUTE_INTERNAL_CALL
, "internalcall " },
601 { METHOD_IMPL_ATTRIBUTE_SYNCHRONIZED
, "synchronized " },
602 { METHOD_IMPL_ATTRIBUTE_NOINLINING
, "noinlining " },
607 method_impl_flags (guint32 f
)
609 GString
*str
= g_string_new ("");
611 int code_type
= f
& METHOD_IMPL_ATTRIBUTE_CODE_TYPE_MASK
;
612 int managed_type
= f
& METHOD_IMPL_ATTRIBUTE_MANAGED_MASK
;
614 g_string_append (str
, map (code_type
, method_impl_map
));
615 g_string_append (str
, map (managed_type
, managed_type_map
));
616 g_string_append (str
, flags (f
, managed_impl_flags
));
619 g_string_free (str
, FALSE
);
624 dis_locals (MonoImage
*m
, MonoMethodHeader
*mh
, const char *ptr
)
629 unsigned char flags
= *(const unsigned char *) ptr
;
630 unsigned char format
= flags
& METHOD_HEADER_FORMAT_MASK
;
632 guint32 local_var_sig_tok
, max_stack
, code_size
, init_locals
;
635 g_assert (format
== METHOD_HEADER_FAT_FORMAT
);
636 fat_flags
= read16 (ptr
);
638 hsize
= (fat_flags
>> 12) & 0xf;
639 max_stack
= read16 (ptr
);
641 code_size
= read32 (ptr
);
643 local_var_sig_tok
= read32 (ptr
);
646 if (fat_flags
& METHOD_HEADER_INIT_LOCALS
)
651 fprintf(output
, "\t.locals /*%08x*/ %s(\n",
652 local_var_sig_tok
, init_locals
? "init " : "");
654 fprintf(output
, "\t.locals %s(\n", mh
->init_locals
? "init " : "");
656 for (i
=0; i
< mh
->num_locals
; ++i
) {
659 fprintf(output
, ",\n");
660 /* print also byref and pinned attributes */
661 desc
= dis_stringify_type (m
, mh
->locals
[i
], TRUE
);
662 fprintf(output
, "\t\t%s\tV_%d", desc
, i
);
665 fprintf(output
, ")\n");
669 dis_code (MonoImage
*m
, guint32 token
, guint32 rva
, MonoGenericContext
*context
)
671 MonoMethodHeader
*mh
;
672 const char *ptr
= mono_image_rva_map (m
, rva
);
680 override
= get_method_override (m
, token
, context
);
682 fprintf (output
, "\t.override %s\n", override
);
686 mh
= mono_metadata_parse_mh_full (m
, context
, ptr
);
687 if ((entry_point
= mono_image_get_entry_point (m
))){
688 loc
= mono_metadata_locate_token (m
, entry_point
);
689 if (rva
== read32 (loc
))
690 fprintf (output
, "\t.entrypoint\n");
693 fprintf (output
, "\t// Code size %d (0x%x)\n", mh
->code_size
, mh
->code_size
);
694 fprintf (output
, "\t.maxstack %d\n", mh
->max_stack
);
696 dis_locals (m
, mh
, ptr
);
697 dissasemble_cil (m
, mh
, context
);
700 hex_dump (mh->code, 0, mh->code_size);
701 printf ("\nAfter the code\n");
702 hex_dump (mh->code + mh->code_size, 0, 64);
704 mono_metadata_free_mh (mh
);
708 pinvoke_info (MonoImage
*m
, guint32 mindex
)
710 MonoTableInfo
*im
= &m
->tables
[MONO_TABLE_IMPLMAP
];
711 MonoTableInfo
*mr
= &m
->tables
[MONO_TABLE_MODULEREF
];
712 guint32 im_cols
[MONO_IMPLMAP_SIZE
];
713 guint32 mr_cols
[MONO_MODULEREF_SIZE
];
714 const char *import
, *scope
;
718 for (i
= 0; i
< im
->rows
; i
++) {
720 mono_metadata_decode_row (im
, i
, im_cols
, MONO_IMPLMAP_SIZE
);
722 if ((im_cols
[MONO_IMPLMAP_MEMBER
] >> 1) == mindex
+ 1) {
724 flags
= pinvoke_flags (im_cols
[MONO_IMPLMAP_FLAGS
]);
726 import
= mono_metadata_string_heap (m
, im_cols
[MONO_IMPLMAP_NAME
]);
728 mono_metadata_decode_row (mr
, im_cols
[MONO_IMPLMAP_SCOPE
] - 1,
729 mr_cols
, MONO_MODULEREF_SIZE
);
731 scope
= mono_metadata_string_heap (m
, mr_cols
[MONO_MODULEREF_NAME
]);
733 return g_strdup_printf ("(\"%s\" as \"%s\" %s)", scope
, import
,
743 * dump_cattrs_for_type_params
746 * @token: TypeOrMethodDef token, owner for GenericParam
748 * Dumps the custom attributes for @token's type parameters
751 dump_cattrs_for_type_params (MonoImage
*m
, guint32 token
, const char *indent
)
753 MonoTableInfo
*tdef
= &m
->tables
[MONO_TABLE_GENERICPARAM
];
754 guint32 cols
[MONO_GENERICPARAM_SIZE
];
755 guint32 owner
= 0, i
;
758 if (! (i
= mono_metadata_get_generic_param_row (m
, token
, &owner
)))
761 mono_metadata_decode_row (tdef
, i
- 1, cols
, MONO_GENERICPARAM_SIZE
);
763 list
= dis_get_custom_attrs (m
, mono_metadata_make_token (MONO_TABLE_GENERICPARAM
, i
));
765 fprintf (output
, "%s.param type %s\n", indent
, mono_metadata_string_heap (m
, cols
[MONO_GENERICPARAM_NAME
]));
766 dump_cattrs_list (list
, indent
);
769 if (++i
> tdef
->rows
)
771 mono_metadata_decode_row (tdef
, i
- 1, cols
, MONO_GENERICPARAM_SIZE
);
772 } while (cols
[MONO_GENERICPARAM_OWNER
] == owner
);
776 dump_cattrs_for_method_params (MonoImage
*m
, guint32 midx
, MonoMethodSignature
*sig
) {
777 MonoTableInfo
*methodt
;
778 MonoTableInfo
*paramt
;
779 guint param_index
, lastp
, i
;
781 methodt
= &m
->tables
[MONO_TABLE_METHOD
];
782 paramt
= &m
->tables
[MONO_TABLE_PARAM
];
783 param_index
= mono_metadata_decode_row_col (methodt
, midx
, MONO_METHOD_PARAMLIST
);
784 if (midx
+ 1 < methodt
->rows
)
785 lastp
= mono_metadata_decode_row_col (methodt
, midx
+ 1, MONO_METHOD_PARAMLIST
);
787 lastp
= paramt
->rows
+ 1;
788 for (i
= param_index
; i
< lastp
; ++i
) {
791 guint32 param_cols
[MONO_PARAM_SIZE
];
794 list
= dis_get_custom_attrs (m
, MONO_TOKEN_PARAM_DEF
| i
);
796 mono_metadata_decode_row (paramt
, i
-1, param_cols
, MONO_PARAM_SIZE
);
797 if (!(param_cols
[MONO_PARAM_FLAGS
] & PARAM_ATTRIBUTE_HAS_DEFAULT
)) {
799 fprintf (output
, "\t.param [%d]\n", param_cols
[MONO_PARAM_SEQUENCE
]);
801 fprintf (output
, "\t.param [%d] = ", param_cols
[MONO_PARAM_SEQUENCE
]);
803 if ((crow
= mono_metadata_get_constant_index(m
, MONO_TOKEN_PARAM_DEF
| i
, 0))) {
804 guint32 const_cols
[MONO_CONSTANT_SIZE
];
805 mono_metadata_decode_row( &m
->tables
[MONO_TABLE_CONSTANT
], crow
-1, const_cols
, MONO_CONSTANT_SIZE
);
806 lit
= get_constant(m
, const_cols
[MONO_CONSTANT_TYPE
], const_cols
[MONO_CONSTANT_VALUE
]);
809 lit
= g_strdup ("not found");
811 fprintf(output
, "%s\n", lit
);
814 dump_cattrs_list (list
, "\t");
820 * @m: metadata context
821 * @start: starting index into the Method Table.
822 * @end: ending index into Method table.
824 * This routine displays the methods in the Method Table from @start to @end
827 dis_method_list (const char *klass_name
, MonoImage
*m
, guint32 start
, guint32 end
, MonoGenericContext
*context
)
829 MonoTableInfo
*t
= &m
->tables
[MONO_TABLE_METHOD
];
830 guint32 cols
[MONO_METHOD_SIZE
];
834 fprintf (output
, "ERROR index out of range in methods");
839 for (i
= start
; i
< end
; i
++){
840 MonoMethodSignature
*ms
;
841 MonoGenericContainer
*container
;
842 MonoGenericContext
*method_context
= context
;
843 char *flags
, *impl_flags
;
848 if (!should_include_method (i
+ 1))
850 mono_metadata_decode_row (t
, i
, cols
, MONO_METHOD_SIZE
);
852 flags
= method_flags (cols
[MONO_METHOD_FLAGS
]);
853 impl_flags
= method_impl_flags (cols
[MONO_METHOD_IMPLFLAGS
]);
855 sig
= mono_metadata_blob_heap (m
, cols
[MONO_METHOD_SIGNATURE
]);
856 mono_metadata_decode_blob_size (sig
, &sig
);
858 container
= mono_metadata_load_generic_params (
859 m
, MONO_TOKEN_METHOD_DEF
| (i
+ 1), context
? context
->container
: NULL
);
861 mono_metadata_load_generic_param_constraints (
862 m
, MONO_TOKEN_METHOD_DEF
| (i
+ 1), container
);
863 method_context
= (MonoGenericContext
*) container
;
866 ms
= mono_metadata_parse_method_signature_full (m
, method_context
? method_context
->container
: NULL
, i
+ 1, sig
, &sig
);
867 sig_str
= dis_stringify_method_signature (m
, ms
, i
+ 1, method_context
, FALSE
);
869 fprintf (output
, " // method line %d\n", i
+ 1);
870 fprintf (output
, " .method %s", flags
);
872 if ((cols
[MONO_METHOD_FLAGS
] & METHOD_ATTRIBUTE_PINVOKE_IMPL
) && (cols
[MONO_METHOD_RVA
] == 0)) {
873 gchar
*pi
= pinvoke_info (m
, i
);
875 fprintf (output
, "%s", pi
);
880 fprintf (output
, "\n %s", sig_str
);
881 fprintf (output
, " %s\n", impl_flags
);
885 token
= MONO_TOKEN_METHOD_DEF
| (i
+ 1);
887 fprintf (output
, " {\n");
888 dump_cattrs (m
, token
, " ");
889 dump_cattrs_for_type_params (m
, MONO_TOKEN_METHOD_DEF
| (i
+ 1), " ");
890 dump_cattrs_for_method_params (m
, i
, ms
);
892 fprintf (output
, " // Method begins at RVA 0x%x\n", cols
[MONO_METHOD_RVA
]);
893 dump_declarative_security (m
, OBJECT_TYPE_METHODDEF
, i
+ 1, " ");
894 if (cols
[MONO_METHOD_IMPLFLAGS
] & METHOD_IMPL_ATTRIBUTE_NATIVE
)
895 fprintf (output
, " // Disassembly of native methods is not supported\n");
897 dis_code (m
, token
, cols
[MONO_METHOD_RVA
], method_context
);
898 fprintf (output
, " } // end of method %s::%s\n\n", klass_name
, sig_str
);
899 mono_metadata_free_method_signature (ms
);
912 table_locator (const void *a
, const void *b
)
914 plocator_t
*loc
= (plocator_t
*) a
;
915 const char *bb
= (const char *) b
;
916 guint32 table_index
= (bb
- loc
->t
->base
) / loc
->t
->row_size
;
919 col
= mono_metadata_decode_row_col (loc
->t
, table_index
, loc
->col_idx
);
921 if (loc
->idx
== col
) {
922 loc
->result
= table_index
;
932 dis_property_methods (MonoImage
*m
, guint32 prop
, MonoGenericContext
*context
)
935 MonoTableInfo
*msemt
= &m
->tables
[MONO_TABLE_METHODSEMANTICS
];
936 guint32 cols
[MONO_METHOD_SEMA_SIZE
];
938 const char *type
[] = {NULL
, ".set", ".get", NULL
, ".other"};
940 start
= mono_metadata_methods_from_property (m
, prop
, &end
);
941 for (; start
< end
; ++start
) {
942 mono_metadata_decode_row (msemt
, start
, cols
, MONO_METHOD_SEMA_SIZE
);
943 if (!should_include_method (cols
[MONO_METHOD_SEMA_METHOD
]))
945 sig
= dis_stringify_method_signature (m
, NULL
, cols
[MONO_METHOD_SEMA_METHOD
], context
, TRUE
);
946 fprintf (output
, "\t\t%s %s\n", type
[cols
[MONO_METHOD_SEMA_SEMANTICS
]], sig
);
951 dis_property_signature (MonoImage
*m
, guint32 prop_idx
, MonoGenericContext
*context
)
953 MonoTableInfo
*propt
= &m
->tables
[MONO_TABLE_PROPERTY
];
956 guint32 cols
[MONO_PROPERTY_SIZE
];
962 GString
*res
= g_string_new ("");
964 mono_metadata_decode_row (propt
, prop_idx
, cols
, MONO_PROPERTY_SIZE
);
965 name
= mono_metadata_string_heap (m
, cols
[MONO_PROPERTY_NAME
]);
966 prop_flags
= cols
[MONO_PROPERTY_FLAGS
];
967 ptr
= mono_metadata_blob_heap (m
, cols
[MONO_PROPERTY_TYPE
]);
968 mono_metadata_decode_blob_size (ptr
, &ptr
);
970 g_warning("incorrect signature in property blob: 0x%x", *ptr
);
972 g_string_append (res
, "instance ");
974 pcount
= mono_metadata_decode_value (ptr
, &ptr
);
975 type
= mono_metadata_parse_type_full (m
, context
, MONO_PARSE_TYPE
, 0, ptr
, &ptr
);
976 blurb
= dis_stringify_type (m
, type
, TRUE
);
977 if (prop_flags
& 0x0200)
978 g_string_append (res
, "specialname ");
979 if (prop_flags
& 0x0400)
980 g_string_append (res
, "rtspecialname ");
981 qk
= get_escaped_name (name
);
982 g_string_sprintfa (res
, "%s %s (", blurb
, qk
);
985 mono_metadata_free_type (type
);
986 for (i
= 0; i
< pcount
; i
++) {
988 g_string_append (res
, ", ");
989 param
= mono_metadata_parse_type_full (m
, context
, MONO_PARSE_PARAM
, 0, ptr
, &ptr
);
990 blurb
= dis_stringify_param (m
, param
);
991 g_string_append (res
, blurb
);
992 mono_metadata_free_type (param
);
995 g_string_append_c (res
, ')');
997 g_string_free (res
, FALSE
);
1003 dis_property_list (MonoImage
*m
, guint32 typedef_row
, MonoGenericContext
*context
)
1005 guint start
, end
, i
;
1006 start
= mono_metadata_properties_from_typedef (m
, typedef_row
, &end
);
1008 for (i
= start
; i
< end
; ++i
) {
1009 char *sig
= dis_property_signature (m
, i
, context
);
1010 fprintf (output
, "\t.property %s\n\t{\n", sig
);
1011 dump_cattrs (m
, MONO_TOKEN_PROPERTY
| (i
+ 1), "\t\t");
1012 dis_property_methods (m
, i
, context
);
1013 fprintf (output
, "\t}\n");
1019 dis_event_signature (MonoImage
*m
, guint32 event_idx
, MonoGenericContext
*context
)
1021 MonoTableInfo
*et
= &m
->tables
[MONO_TABLE_EVENT
];
1022 char *type
, *result
, *esname
;
1023 guint32 cols
[MONO_EVENT_SIZE
];
1025 GString
*res
= g_string_new ("");
1027 mono_metadata_decode_row (et
, event_idx
, cols
, MONO_EVENT_SIZE
);
1028 esname
= get_escaped_name (mono_metadata_string_heap (m
, cols
[MONO_EVENT_NAME
]));
1029 type
= get_typedef_or_ref (m
, cols
[MONO_EVENT_TYPE
], context
);
1030 event_flags
= cols
[MONO_EVENT_FLAGS
];
1032 if (event_flags
& 0x0200)
1033 g_string_append (res
, "specialname ");
1034 if (event_flags
& 0x0400)
1035 g_string_append (res
, "rtspecialname ");
1036 g_string_sprintfa (res
, "%s %s", type
, esname
);
1041 g_string_free (res
, FALSE
);
1046 dis_event_methods (MonoImage
*m
, guint32 event
, MonoGenericContext
*context
)
1049 MonoTableInfo
*msemt
= &m
->tables
[MONO_TABLE_METHODSEMANTICS
];
1050 guint32 cols
[MONO_METHOD_SEMA_SIZE
];
1052 const char *type
= "";
1054 start
= mono_metadata_methods_from_event (m
, event
, &end
);
1055 for (; start
< end
; ++start
) {
1056 mono_metadata_decode_row (msemt
, start
, cols
, MONO_METHOD_SEMA_SIZE
);
1057 if (!should_include_method (cols
[MONO_METHOD_SEMA_METHOD
]))
1059 sig
= dis_stringify_method_signature (m
, NULL
, cols
[MONO_METHOD_SEMA_METHOD
], context
, TRUE
);
1060 switch (cols
[MONO_METHOD_SEMA_SEMANTICS
]) {
1061 case METHOD_SEMANTIC_OTHER
:
1062 type
= ".other"; break;
1063 case METHOD_SEMANTIC_ADD_ON
:
1064 type
= ".addon"; break;
1065 case METHOD_SEMANTIC_REMOVE_ON
:
1066 type
= ".removeon"; break;
1067 case METHOD_SEMANTIC_FIRE
:
1068 type
= ".fire"; break;
1072 fprintf (output
, "\t\t%s %s\n", type
, sig
);
1078 dis_event_list (MonoImage
*m
, guint32 typedef_row
, MonoGenericContext
*context
)
1080 guint start
, end
, i
;
1081 start
= mono_metadata_events_from_typedef (m
, typedef_row
, &end
);
1083 for (i
= start
; i
< end
; ++i
) {
1084 char *sig
= dis_event_signature (m
, i
, context
);
1085 fprintf (output
, "\t.event %s\n\t{\n", sig
);
1086 dump_cattrs (m
, MONO_TOKEN_EVENT
| (i
+ 1), "\t\t");
1087 dis_event_methods (m
, i
, context
);
1088 fprintf (output
, "\t}\n");
1094 dis_interfaces (MonoImage
*m
, guint32 typedef_row
, MonoGenericContext
*context
)
1098 gboolean first_interface
= 1;
1099 guint32 cols
[MONO_INTERFACEIMPL_SIZE
];
1101 MonoTableInfo
*table
= &m
->tables
[MONO_TABLE_INTERFACEIMPL
];
1107 loc
.col_idx
= MONO_INTERFACEIMPL_CLASS
;
1108 loc
.idx
= typedef_row
;
1110 if (!bsearch (&loc
, table
->base
, table
->rows
, table
->row_size
, table_locator
))
1115 * We may end up in the middle of the rows...
1118 if (loc
.idx
== mono_metadata_decode_row_col (table
, start
- 1, MONO_INTERFACEIMPL_CLASS
))
1123 while (start
< table
->rows
) {
1124 mono_metadata_decode_row (table
, start
, cols
, MONO_INTERFACEIMPL_SIZE
);
1125 if (cols
[MONO_INTERFACEIMPL_CLASS
] != loc
.idx
)
1127 intf
= get_typedef_or_ref (m
, cols
[MONO_INTERFACEIMPL_INTERFACE
], context
);
1128 if (first_interface
) {
1129 fprintf (output
, " \timplements %s", intf
);
1130 first_interface
= 0;
1132 fprintf (output
, ", %s", intf
);
1141 * @m: metadata context
1142 * @n: index of type to disassemble
1143 * @is_nested: nested type ?
1144 * @forward: forward declarations?
1146 * Disassembles the type whose index in the TypeDef table is @n.
1149 dis_type (MonoImage
*m
, int n
, int is_nested
, int forward
)
1151 MonoTableInfo
*t
= &m
->tables
[MONO_TABLE_TYPEDEF
];
1152 guint32 cols
[MONO_TYPEDEF_SIZE
];
1153 guint32 cols_next
[MONO_TYPEDEF_SIZE
];
1154 const char *name
, *nspace
;
1155 char *esname
, *param
;
1156 MonoGenericContainer
*container
;
1157 guint32 packing_size
, class_size
;
1158 gboolean next_is_valid
, last
;
1161 if (!should_include_type (n
+ 1))
1163 mono_metadata_decode_row (t
, n
, cols
, MONO_TYPEDEF_SIZE
);
1165 if (t
->rows
> n
+ 1) {
1166 mono_metadata_decode_row (t
, n
+ 1, cols_next
, MONO_TYPEDEF_SIZE
);
1171 name
= mono_metadata_string_heap (m
, cols
[MONO_TYPEDEF_NAME
]);
1172 nspace
= mono_metadata_string_heap (m
, cols
[MONO_TYPEDEF_NAMESPACE
]);
1173 if (*nspace
&& !is_nested
)
1174 fprintf (output
, ".namespace %s\n{\n", nspace
);
1176 container
= mono_metadata_load_generic_params (m
, MONO_TOKEN_TYPE_DEF
| (n
+ 1), NULL
);
1178 mono_metadata_load_generic_param_constraints (m
, MONO_TOKEN_TYPE_DEF
| (n
+ 1), container
);
1180 esname
= get_escaped_name (name
);
1181 if ((cols
[MONO_TYPEDEF_FLAGS
] & TYPE_ATTRIBUTE_CLASS_SEMANTIC_MASK
) == TYPE_ATTRIBUTE_CLASS
){
1182 fprintf (output
, " .class %s%s", typedef_flags (cols
[MONO_TYPEDEF_FLAGS
]), esname
);
1184 param
= get_generic_param (m
, container
);
1186 fprintf (output
, param
);
1189 fprintf (output
, "\n");
1190 if (cols
[MONO_TYPEDEF_EXTENDS
]) {
1191 char *base
= get_typedef_or_ref (
1192 m
, cols
[MONO_TYPEDEF_EXTENDS
], (MonoGenericContext
*) container
);
1193 fprintf (output
, " \textends %s\n", base
);
1197 fprintf (output
, " .class interface %s%s", typedef_flags (cols
[MONO_TYPEDEF_FLAGS
]), esname
);
1199 param
= get_generic_param (m
, container
);
1201 fprintf (output
, param
);
1204 fprintf (output
, "\n");
1208 dis_interfaces (m
, n
+ 1, (MonoGenericContext
*) container
);
1209 fprintf (output
, " {\n");
1211 dump_cattrs_for_type_params (m
, MONO_TOKEN_TYPE_DEF
| (n
+ 1), " ");
1212 dump_cattrs (m
, MONO_TOKEN_TYPE_DEF
| (n
+ 1), " ");
1213 dump_declarative_security (m
, OBJECT_TYPE_TYPEDEF
, (n
+ 1), " ");
1215 if (mono_metadata_packing_from_typedef (m
, n
+ 1, &packing_size
, &class_size
)) {
1216 fprintf (output
, " .pack %d\n", packing_size
);
1217 fprintf (output
, " .size %d\n", class_size
);
1220 * The value in the table is always valid, we know we have fields
1221 * if the value stored is different than the next record.
1225 last
= cols_next
[MONO_TYPEDEF_FIELD_LIST
] - 1;
1227 last
= m
->tables
[MONO_TABLE_FIELD
].rows
;
1229 if (cols
[MONO_TYPEDEF_FIELD_LIST
] && cols
[MONO_TYPEDEF_FIELD_LIST
] <= m
->tables
[MONO_TABLE_FIELD
].rows
)
1230 dis_field_list (m
, cols
[MONO_TYPEDEF_FIELD_LIST
] - 1, last
, (MonoGenericContext
*) container
);
1231 fprintf (output
, "\n");
1234 last
= cols_next
[MONO_TYPEDEF_METHOD_LIST
] - 1;
1236 last
= m
->tables
[MONO_TABLE_METHOD
].rows
;
1238 if (cols
[MONO_TYPEDEF_METHOD_LIST
] && cols
[MONO_TYPEDEF_METHOD_LIST
] <= m
->tables
[MONO_TABLE_METHOD
].rows
)
1239 dis_method_list (name
, m
, cols
[MONO_TYPEDEF_METHOD_LIST
] - 1, last
, (MonoGenericContext
*) container
);
1241 dis_property_list (m
, n
, (MonoGenericContext
*) container
);
1242 dis_event_list (m
, n
, (MonoGenericContext
*) container
);
1245 t
= &m
->tables
[MONO_TABLE_NESTEDCLASS
];
1246 nested
= mono_metadata_nesting_typedef (m
, n
+ 1, 1);
1248 dis_type (m
, mono_metadata_decode_row_col (t
, nested
- 1, MONO_NESTED_CLASS_NESTED
) - 1, 1, forward
);
1249 nested
= mono_metadata_nesting_typedef (m
, n
+ 1, nested
+ 1);
1252 fprintf (output
, " } // end of class %s%s%s\n", nspace
, *nspace
? ".": "", name
);
1253 if (*nspace
&& !is_nested
)
1254 fprintf (output
, "}\n");
1255 fprintf (output
, "\n");
1261 * @m: metadata context
1263 * disassembles all the global fields and methods
1266 dis_globals (MonoImage
*m
)
1268 MonoTableInfo
*t
= &m
->tables
[MONO_TABLE_TYPEDEF
];
1269 guint32 cols
[MONO_TYPEDEF_SIZE
];
1270 guint32 cols_next
[MONO_TYPEDEF_SIZE
];
1271 gboolean next_is_valid
, last
;
1274 name
= g_strdup ("<Module>");
1276 mono_metadata_decode_row (t
, 0, cols
, MONO_TYPEDEF_SIZE
);
1279 mono_metadata_decode_row (t
, 1, cols_next
, MONO_TYPEDEF_SIZE
);
1285 * The value in the table is always valid, we know we have fields
1286 * if the value stored is different than the next record.
1290 last
= cols_next
[MONO_TYPEDEF_FIELD_LIST
] - 1;
1292 last
= m
->tables
[MONO_TABLE_FIELD
].rows
;
1294 if (cols
[MONO_TYPEDEF_FIELD_LIST
] && cols
[MONO_TYPEDEF_FIELD_LIST
] <= m
->tables
[MONO_TABLE_FIELD
].rows
)
1295 dis_field_list (m
, cols
[MONO_TYPEDEF_FIELD_LIST
] - 1, last
, NULL
);
1296 fprintf (output
, "\n");
1299 last
= cols_next
[MONO_TYPEDEF_METHOD_LIST
] - 1;
1301 last
= m
->tables
[MONO_TABLE_METHOD
].rows
;
1303 if (cols
[MONO_TYPEDEF_METHOD_LIST
] && cols
[MONO_TYPEDEF_METHOD_LIST
] <= m
->tables
[MONO_TABLE_METHOD
].rows
)
1304 dis_method_list (name
, m
, cols
[MONO_TYPEDEF_METHOD_LIST
] - 1, last
, NULL
);
1309 dis_mresource (MonoImage
*m
)
1311 MonoTableInfo
*t
= &m
->tables
[MONO_TABLE_MANIFESTRESOURCE
];
1314 for (i
= 0; i
< t
->rows
; i
++){
1315 guint32 cols
[MONO_MANIFEST_SIZE
];
1316 const char *name
, *res
;
1320 mono_metadata_decode_row (t
, i
, cols
, MONO_MANIFEST_SIZE
);
1321 name
= mono_metadata_string_heap (m
, cols
[MONO_MANIFEST_NAME
]);
1323 if (! (res
= mono_image_get_resource (m
, cols
[MONO_MANIFEST_OFFSET
], &size
)))
1326 if ( (fp
= fopen (name
, "ab")) ) {
1327 if (ftell (fp
) == 0)
1328 fwrite (res
, size
, 1, fp
);
1330 g_warning ("Error creating managed resource - %s : File already exists.", name
);
1334 g_warning ("Error creating managed resource - %s : %s", name
, g_strerror (errno
));
1340 * @m: metadata context
1342 * disassembles all types in the @m context
1345 dis_types (MonoImage
*m
, int forward
)
1347 MonoTableInfo
*t
= &m
->tables
[MONO_TABLE_TYPEDEF
];
1353 for (i
= 1; i
< t
->rows
; i
++) {
1354 flags
= mono_metadata_decode_row_col (t
, i
, MONO_TYPEDEF_FLAGS
);
1355 flags
&= TYPE_ATTRIBUTE_VISIBILITY_MASK
;
1356 if (flags
== TYPE_ATTRIBUTE_PUBLIC
|| flags
== TYPE_ATTRIBUTE_NOT_PUBLIC
)
1357 dis_type (m
, i
, 0, forward
);
1363 * @m: metadata context
1365 * disassembles all data blobs references in the FieldRVA table in the @m context
1368 dis_data (MonoImage
*m
)
1370 MonoTableInfo
*t
= &m
->tables
[MONO_TABLE_FIELDRVA
];
1371 MonoTableInfo
*ft
= &m
->tables
[MONO_TABLE_FIELD
];
1373 const char *rva
, *sig
;
1374 guint32 align
, size
;
1375 guint32 cols
[MONO_FIELD_RVA_SIZE
];
1378 for (i
= 0; i
< t
->rows
; i
++) {
1379 mono_metadata_decode_row (t
, i
, cols
, MONO_FIELD_RVA_SIZE
);
1380 rva
= mono_image_rva_map (m
, cols
[MONO_FIELD_RVA_RVA
]);
1381 sig
= mono_metadata_blob_heap (m
, mono_metadata_decode_row_col (ft
, cols
[MONO_FIELD_RVA_FIELD
] -1, MONO_FIELD_SIGNATURE
));
1382 mono_metadata_decode_value (sig
, &sig
);
1383 /* FIELD signature == 0x06 */
1384 g_assert (*sig
== 0x06);
1385 type
= mono_metadata_parse_field_type (m
, 0, sig
+ 1, &sig
);
1386 mono_class_init (mono_class_from_mono_type (type
));
1387 size
= mono_type_size (type
, &align
);
1388 fprintf (output
, ".data D_%08x = bytearray (", cols
[MONO_FIELD_RVA_RVA
]);
1389 for (b
= 0; b
< size
; ++b
) {
1391 fprintf (output
, "\n\t");
1392 fprintf (output
, " %02X", rva
[b
] & 0xff);
1394 fprintf (output
, ") // size: %d\n", size
);
1401 void (*dumper
) (MonoImage
*m
);
1403 { "--assembly", MONO_TABLE_ASSEMBLY
, dump_table_assembly
},
1404 { "--assemblyref", MONO_TABLE_ASSEMBLYREF
, dump_table_assemblyref
},
1405 { "--classlayout", MONO_TABLE_CLASSLAYOUT
, dump_table_class_layout
},
1406 { "--constant", MONO_TABLE_CONSTANT
, dump_table_constant
},
1407 { "--customattr", MONO_TABLE_CUSTOMATTRIBUTE
, dump_table_customattr
},
1408 { "--declsec", MONO_TABLE_DECLSECURITY
, dump_table_declsec
},
1409 { "--event", MONO_TABLE_EVENT
, dump_table_event
},
1410 { "--exported", MONO_TABLE_EXPORTEDTYPE
, dump_table_exported
},
1411 { "--fields", MONO_TABLE_FIELD
, dump_table_field
},
1412 { "--file", MONO_TABLE_FILE
, dump_table_file
},
1413 { "--genericpar", MONO_TABLE_GENERICPARAM
, dump_table_genericpar
},
1414 { "--interface", MONO_TABLE_INTERFACEIMPL
, dump_table_interfaceimpl
},
1415 { "--manifest", MONO_TABLE_MANIFESTRESOURCE
, dump_table_manifest
},
1416 { "--marshal", MONO_TABLE_FIELDMARSHAL
, dump_table_field_marshal
},
1417 { "--memberref", MONO_TABLE_MEMBERREF
, dump_table_memberref
},
1418 { "--method", MONO_TABLE_METHOD
, dump_table_method
},
1419 { "--methodimpl", MONO_TABLE_METHODIMPL
, dump_table_methodimpl
},
1420 { "--methodsem", MONO_TABLE_METHODSEMANTICS
, dump_table_methodsem
},
1421 { "--methodspec", MONO_TABLE_METHODSPEC
, dump_table_methodspec
},
1422 { "--moduleref", MONO_TABLE_MODULEREF
, dump_table_moduleref
},
1423 { "--module", MONO_TABLE_MODULE
, dump_table_module
},
1424 { "--mresources", 0, dis_mresource
},
1425 { "--nested", MONO_TABLE_NESTEDCLASS
, dump_table_nestedclass
},
1426 { "--param", MONO_TABLE_PARAM
, dump_table_param
},
1427 { "--parconst", MONO_TABLE_GENERICPARAMCONSTRAINT
, dump_table_parconstraint
},
1428 { "--property", MONO_TABLE_PROPERTY
, dump_table_property
},
1429 { "--propertymap", MONO_TABLE_PROPERTYMAP
, dump_table_property_map
},
1430 { "--typedef", MONO_TABLE_TYPEDEF
, dump_table_typedef
},
1431 { "--typeref", MONO_TABLE_TYPEREF
, dump_table_typeref
},
1432 { "--typespec", MONO_TABLE_TYPESPEC
, dump_table_typespec
},
1433 { "--implmap", MONO_TABLE_IMPLMAP
, dump_table_implmap
},
1434 { "--standalonesig", MONO_TABLE_STANDALONESIG
, dump_table_standalonesig
},
1435 { "--blob", 0, dump_stream_blob
},
1441 * @file: file containing CIL code.
1443 * Disassembles the @file file.
1446 disassemble_file (const char *file
)
1449 MonoImageOpenStatus status
;
1452 ass
= mono_assembly_open (file
, &status
);
1454 fprintf (stderr
, "Error while trying to process %s\n", file
);
1462 if (dump_table
!= -1){
1463 (*table_list
[dump_table
].dumper
) (img
);
1465 dump_header_data (img
);
1467 dis_directive_assemblyref (img
);
1468 dis_directive_assembly (img
);
1469 dis_directive_file (img
);
1470 dis_directive_mresource (img
);
1471 dis_directive_module (img
);
1472 dis_directive_moduleref (img
);
1473 dis_nt_header (img
);
1474 if (dump_managed_resources
)
1475 dis_mresource (img
);
1476 if (dump_forward_decls
) {
1477 fprintf (output
, "// *************** Forward Declarations for Classes ***************\n\n");
1479 fprintf (output
, "// *************** End-Of Forward Declarations for Classes ***************\n\n");
1485 mono_image_close (img
);
1499 TableFilter methods
;
1502 static GList
*filter_list
= NULL
;
1503 static ImageFilter
*cur_filter
= NULL
;
1506 setup_filter (MonoImage
*image
)
1508 ImageFilter
*ifilter
;
1510 const char *name
= mono_image_get_name (image
);
1512 for (item
= filter_list
; item
; item
= item
->next
) {
1513 ifilter
= item
->data
;
1514 if (strcmp (ifilter
->name
, name
) == 0) {
1515 cur_filter
= ifilter
;
1523 int_cmp (const void *e1
, const void *e2
)
1531 table_includes (TableFilter
*tf
, int idx
)
1535 return bsearch (&idx
, tf
->elems
, tf
->count
, sizeof (int), int_cmp
) != NULL
;
1539 should_include_type (int idx
)
1543 return table_includes (&cur_filter
->types
, idx
);
1547 should_include_method (int idx
)
1551 return table_includes (&cur_filter
->methods
, idx
);
1555 should_include_field (int idx
)
1559 return table_includes (&cur_filter
->fields
, idx
);
1563 add_filter (const char *name
)
1565 ImageFilter
*ifilter
;
1568 for (item
= filter_list
; item
; item
= item
->next
) {
1569 ifilter
= item
->data
;
1570 if (strcmp (ifilter
->name
, name
) == 0)
1573 ifilter
= g_new0 (ImageFilter
, 1);
1574 ifilter
->name
= g_strdup (name
);
1575 filter_list
= g_list_prepend (filter_list
, ifilter
);
1580 add_item (TableFilter
*tf
, int val
)
1582 if (tf
->count
>= tf
->size
) {
1585 tf
->elems
= g_malloc (sizeof (int) * tf
->size
);
1588 tf
->elems
= g_realloc (tf
->elems
, sizeof (int) * tf
->size
);
1591 tf
->elems
[tf
->count
++] = val
;
1595 sort_filter_elems (void)
1597 ImageFilter
*ifilter
;
1600 for (item
= filter_list
; item
; item
= item
->next
) {
1601 ifilter
= item
->data
;
1602 qsort (ifilter
->types
.elems
, ifilter
->types
.count
, sizeof (int), int_cmp
);
1603 qsort (ifilter
->fields
.elems
, ifilter
->fields
.count
, sizeof (int), int_cmp
);
1604 qsort (ifilter
->methods
.elems
, ifilter
->methods
.count
, sizeof (int), int_cmp
);
1609 load_filter (const char* filename
)
1613 char *p
, *s
, *endptr
;
1615 ImageFilter
*ifilter
= NULL
;
1618 if (!(file
= fopen (filename
, "r"))) {
1619 g_print ("Cannot open filter file '%s'\n", filename
);
1622 while (fgets (buf
, sizeof (buf
), file
) != NULL
) {
1625 while (*s
&& g_ascii_isspace (*s
)) ++s
;
1631 p
= strchr (s
, ']');
1633 g_error ("No matching ']' in filter at line %d\n", line
);
1635 ifilter
= add_filter (s
+ 1);
1639 g_error ("Invalid format in filter at line %d\n", line
);
1640 if ((s
[1] != ':') || !(value
= strtol (s
+ 2, &endptr
, 0)) || (endptr
== s
+ 2))
1641 g_error ("Invalid type number in filter at line %d\n", line
);
1642 add_item (&ifilter
->types
, value
);
1646 g_error ("Invalid format in filter at line %d\n", line
);
1647 if ((s
[1] != ':') || !(value
= strtol (s
+ 2, &endptr
, 0)) || (endptr
== s
+ 2))
1648 g_error ("Invalid method number in filter at line %d\n", line
);
1649 add_item (&ifilter
->methods
, value
);
1653 g_error ("Invalid format in filter at line %d\n", line
);
1654 if ((s
[1] != ':') || !(value
= strtol (s
+ 2, &endptr
, 0)) || (endptr
== s
+ 2))
1655 g_error ("Invalid field number in filter at line %d\n", line
);
1656 add_item (&ifilter
->fields
, value
);
1659 g_error ("Invalid format in filter at line %d\n", line
);
1663 sort_filter_elems ();
1668 try_load_from (MonoAssembly
**assembly
, const gchar
*path1
, const gchar
*path2
,
1669 const gchar
*path3
, const gchar
*path4
, gboolean refonly
)
1674 fullpath
= g_build_filename (path1
, path2
, path3
, path4
, NULL
);
1675 if (g_file_test (fullpath
, G_FILE_TEST_IS_REGULAR
))
1676 *assembly
= mono_assembly_open_full (fullpath
, NULL
, refonly
);
1679 return (*assembly
!= NULL
);
1682 static MonoAssembly
*
1683 real_load (gchar
**search_path
, const gchar
*culture
, const gchar
*name
, gboolean refonly
)
1685 MonoAssembly
*result
= NULL
;
1688 const gchar
*local_culture
;
1691 if (!culture
|| *culture
== '\0') {
1694 local_culture
= culture
;
1697 filename
= g_strconcat (name
, ".dll", NULL
);
1698 len
= strlen (filename
);
1700 for (path
= search_path
; *path
; path
++) {
1702 continue; /* Ignore empty ApplicationBase */
1704 /* See test cases in bug #58992 and bug #57710 */
1705 /* 1st try: [culture]/[name].dll (culture may be empty) */
1706 strcpy (filename
+ len
- 4, ".dll");
1707 if (try_load_from (&result
, *path
, local_culture
, "", filename
, refonly
))
1710 /* 2nd try: [culture]/[name].exe (culture may be empty) */
1711 strcpy (filename
+ len
- 4, ".exe");
1712 if (try_load_from (&result
, *path
, local_culture
, "", filename
, refonly
))
1715 /* 3rd try: [culture]/[name]/[name].dll (culture may be empty) */
1716 strcpy (filename
+ len
- 4, ".dll");
1717 if (try_load_from (&result
, *path
, local_culture
, name
, filename
, refonly
))
1720 /* 4th try: [culture]/[name]/[name].exe (culture may be empty) */
1721 strcpy (filename
+ len
- 4, ".exe");
1722 if (try_load_from (&result
, *path
, local_culture
, name
, filename
, refonly
))
1731 * Try to load referenced assemblies from assemblies_path.
1733 static MonoAssembly
*
1734 monodis_preload (MonoAssemblyName
*aname
,
1735 gchar
**assemblies_path
,
1738 MonoAssembly
*result
= NULL
;
1739 gboolean refonly
= GPOINTER_TO_UINT (user_data
);
1741 if (assemblies_path
&& assemblies_path
[0] != NULL
) {
1742 result
= real_load (assemblies_path
, aname
->culture
, aname
->name
, refonly
);
1752 GString
*args
= g_string_new ("[--output=filename] [--filter=filename] [--help] [--mscorlib]\n");
1755 for (i
= 0; table_list
[i
].name
!= NULL
; i
++){
1756 g_string_append (args
, "[");
1757 g_string_append (args
, table_list
[i
].name
);
1758 g_string_append (args
, "] ");
1759 if (((i
-2) % 5) == 0)
1760 g_string_append_c (args
, '\n');
1762 g_string_append (args
, "[--forward-decls]");
1764 "monodis -- Mono Common Intermediate Language Dissassembler\n"
1765 "Usage is: monodis %s file ..\n", args
->str
);
1770 main (int argc
, char *argv
[])
1772 GList
*input_files
= NULL
, *l
;
1777 for (i
= 1; i
< argc
; i
++){
1778 if (argv
[i
][0] == '-'){
1779 if (argv
[i
][1] == 'h')
1781 else if (argv
[i
][1] == 'd')
1782 dump_header_data_p
= TRUE
;
1783 else if (strcmp (argv
[i
], "--mscorlib") == 0) {
1784 substitute_with_mscorlib_p
= TRUE
;
1786 } else if (strcmp (argv
[i
], "--show-method-tokens") == 0) {
1787 show_method_tokens
= TRUE
;
1789 } else if (strcmp (argv
[i
], "--show-tokens") == 0) {
1792 } else if (strncmp (argv
[i
], "--output=", 9) == 0) {
1793 output
= fopen (argv
[i
]+9, "w");
1794 if (output
== NULL
) {
1795 fprintf (stderr
, "Can't open output file `%s': %s\n",
1796 argv
[i
]+9, strerror (errno
));
1799 dump_managed_resources
= TRUE
;
1801 } else if (strncmp (argv
[i
], "--filter=", 9) == 0) {
1802 load_filter (argv
[i
]+9);
1804 } else if (strcmp (argv
[i
], "--forward-decls") == 0) {
1805 dump_forward_decls
= TRUE
;
1807 } else if (strcmp (argv
[i
], "--help") == 0)
1809 for (j
= 0; table_list
[j
].name
!= NULL
; j
++) {
1810 if (strcmp (argv
[i
], table_list
[j
].name
) == 0)
1816 input_files
= g_list_append (input_files
, argv
[i
]);
1819 if (input_files
== NULL
)
1823 * If we just have one file, use the corlib version it requires.
1825 if (!input_files
->next
) {
1826 char *filename
= input_files
->data
;
1828 mono_init_from_assembly (argv
[0], filename
);
1830 mono_install_assembly_preload_hook (monodis_preload
, GUINT_TO_POINTER (FALSE
));
1832 disassemble_file (filename
);
1834 mono_init (argv
[0]);
1836 for (l
= input_files
; l
; l
= l
->next
)
1837 disassemble_file (l
->data
);