mono/dis/main.c

   1 /*
   2  * main.c: Sample disassembler
   3  *
   4  * Author:
   5  *   Miguel de Icaza (miguel@ximian.com)
   6  *
   7  * (C) 2001 Ximian, Inc.
   8  *
   9  * TODO:
  10  *   Investigate how interface inheritance works and how it should be dumped.
  11  *   Structs are not being labeled as `valuetype' classes
  12  *
  13  *   How are fields with literals mapped to constants?
  14  */
  15 #include <config.h>
  16 #include <stdio.h>
  17 #include <string.h>
  18 #include <glib.h>
  19 #include <stdlib.h>
  20 #include <errno.h>
  21 #include "meta.h"
  22 #include "util.h"
  23 #include "dump.h"
  24 #include "get.h"
  25 #include "dis-cil.h"
  26 #include <mono/metadata/loader.h>
  27 #include <mono/metadata/assembly.h>
  28 #include <mono/metadata/appdomain.h>
  29
  30 FILE *output;
  31
  32 /* True if you want to get a dump of the header data */
  33 gboolean dump_header_data_p = FALSE;
  34
  35 gboolean substitute_with_mscorlib_p = FALSE;
  36
  37 int dump_table = -1;
  38
  39 static void
  40 dump_header_data (MonoImage *img)
  41 {
  42         if (!dump_header_data_p)
  43                 return;
  44
  45         fprintf (output,
  46                  "// Ximian's CIL disassembler, version 1.0\n"
  47                  "// Copyright (C) 2001 Ximian, Inc.\n\n");
  48 }
  49
  50 static void
  51 dump_cattrs (MonoImage *m, guint32 token, const char *indent)
  52 {
  53         GList *tmp, *list;
  54
  55         list = dis_get_custom_attrs (m, token);
  56         for (tmp = list; tmp; tmp = tmp->next) {
  57                 fprintf (output, "%s%s\n", indent, (char*)tmp->data);
  58                 g_free (tmp->data);
  59         }
  60         g_list_free (list);
  61 }
  62
  63 static void
  64 dis_directive_assembly (MonoImage *m)
  65 {
  66         MonoTableInfo *t  = &m->tables [MONO_TABLE_ASSEMBLY];
  67         guint32 cols [MONO_ASSEMBLY_SIZE];
  68
  69         if (t->base == NULL)
  70                 return;
  71
  72         mono_metadata_decode_row (t, 0, cols, MONO_ASSEMBLY_SIZE);
  73
  74         fprintf (output, ".assembly '%s'\n{\n",
  75                  mono_metadata_string_heap (m, cols [MONO_ASSEMBLY_NAME]));
  76         dump_cattrs (m, MONO_TOKEN_ASSEMBLY | 1, "  ");
  77         fprintf (output,
  78                  "  .hash algorithm 0x%08x\n"
  79                  "  .ver  %d:%d:%d:%d\n",
  80                  cols [MONO_ASSEMBLY_HASH_ALG],
  81                  cols [MONO_ASSEMBLY_MAJOR_VERSION], cols [MONO_ASSEMBLY_MINOR_VERSION],
  82                  cols [MONO_ASSEMBLY_BUILD_NUMBER], cols [MONO_ASSEMBLY_REV_NUMBER]);
  83         if (cols [MONO_ASSEMBLY_CULTURE])
  84                 fprintf (output, "  .locale %s\n", mono_metadata_string_heap (m, cols [MONO_ASSEMBLY_CULTURE]));
  85         if (cols [MONO_ASSEMBLY_PUBLIC_KEY]) {
  86                 const char* b = mono_metadata_blob_heap (m, cols [MONO_ASSEMBLY_PUBLIC_KEY]);
  87                 int len = mono_metadata_decode_blob_size (b, &b);
  88                 char *dump = data_dump (b, len, "\t\t");
  89                 fprintf (output, "  .publickey =%s", dump);
  90                 g_free (dump);
  91         }
  92         fprintf (output, "}\n");
  93 }
  94
  95 static void
  96 dis_directive_assemblyref (MonoImage *m)
  97 {
  98         MonoTableInfo *t = &m->tables [MONO_TABLE_ASSEMBLYREF];
  99         guint32 cols [MONO_ASSEMBLYREF_SIZE];
 100         int i;
 101
 102         if (t->base == NULL)
 103                 return;
 104
 105         for (i = 0; i < t->rows; i++){
 106                 mono_metadata_decode_row (t, i, cols, MONO_ASSEMBLYREF_SIZE);
 107
 108                 fprintf (output,
 109                          ".assembly extern %s\n"
 110                          "{\n"
 111                          "  .ver %d:%d:%d:%d\n"
 112                          "}\n",
 113                          mono_metadata_string_heap (m, cols [MONO_ASSEMBLYREF_NAME]),
 114                          cols [MONO_ASSEMBLYREF_MAJOR_VERSION], cols [MONO_ASSEMBLYREF_MINOR_VERSION],
 115                          cols [MONO_ASSEMBLYREF_BUILD_NUMBER], cols [MONO_ASSEMBLYREF_REV_NUMBER]
 116                         );
 117         }
 118 }
 119
 120 static map_t visibility_map [] = {
 121         { TYPE_ATTRIBUTE_NOT_PUBLIC,           "private " },
 122         { TYPE_ATTRIBUTE_PUBLIC,               "public " },
 123         { TYPE_ATTRIBUTE_NESTED_PUBLIC,        "nested-public " },
 124         { TYPE_ATTRIBUTE_NESTED_PRIVATE,       "nested-private " },
 125         { TYPE_ATTRIBUTE_NESTED_FAMILY,        "family " },
 126         { TYPE_ATTRIBUTE_NESTED_ASSEMBLY,      "nested-assembly" },
 127         { TYPE_ATTRIBUTE_NESTED_FAM_AND_ASSEM, "nested-fam-and-assembly" },
 128         { TYPE_ATTRIBUTE_NESTED_FAM_OR_ASSEM,  "nested-fam-or-assembly" },
 129         { 0, NULL }
 130 };
 131
 132 static map_t layout_map [] = {
 133         { TYPE_ATTRIBUTE_AUTO_LAYOUT,          "auto " },
 134         { TYPE_ATTRIBUTE_SEQUENTIAL_LAYOUT,    "sequential " },
 135         { TYPE_ATTRIBUTE_EXPLICIT_LAYOUT,      "explicit " },
 136         { 0, NULL }
 137 };
 138
 139 static map_t format_map [] = {
 140         { TYPE_ATTRIBUTE_ANSI_CLASS,           "ansi " },
 141         { TYPE_ATTRIBUTE_UNICODE_CLASS,        "unicode " },
 142         { TYPE_ATTRIBUTE_AUTO_CLASS,           "auto " },
 143         { 0, NULL }
 144 };
 145
 146 static char *
 147 typedef_flags (guint32 flags)
 148 {
 149         static char buffer [1024];
 150         int visibility = flags & TYPE_ATTRIBUTE_VISIBILITY_MASK;
 151         int layout = flags & TYPE_ATTRIBUTE_LAYOUT_MASK;
 152         int format = flags & TYPE_ATTRIBUTE_STRING_FORMAT_MASK;
 153
 154         buffer [0] = 0;
 155
 156         strcat (buffer, map (visibility, visibility_map));
 157         strcat (buffer, map (layout, layout_map));
 158         strcat (buffer, map (format, format_map));
 159
 160         if (flags & TYPE_ATTRIBUTE_ABSTRACT)
 161                 strcat (buffer, "abstract ");
 162         if (flags & TYPE_ATTRIBUTE_SEALED)
 163                 strcat (buffer, "sealed ");
 164         if (flags & TYPE_ATTRIBUTE_SPECIAL_NAME)
 165                 strcat (buffer, "special-name ");
 166         if (flags & TYPE_ATTRIBUTE_IMPORT)
 167                 strcat (buffer, "import ");
 168         if (flags & TYPE_ATTRIBUTE_SERIALIZABLE)
 169                 strcat (buffer, "serializable ");
 170         if (flags & TYPE_ATTRIBUTE_BEFORE_FIELD_INIT)
 171                 strcat (buffer, "beforefieldinit ");
 172
 173         return buffer;
 174 }
 175
 176 /**
 177  * dis_field_list:
 178  * @m: metadata context
 179  * @start: starting index into the Field Table.
 180  * @end: ending index into Field table.
 181  *
 182  * This routine displays all the decoded fields from @start to @end
 183  */
 184 static void
 185 dis_field_list (MonoImage *m, guint32 start, guint32 end)
 186 {
 187         MonoTableInfo *t = &m->tables [MONO_TABLE_FIELD];
 188         guint32 cols [MONO_FIELD_SIZE];
 189         char rva_desc [32];
 190         guint32 rva;
 191         int i;
 192
 193         if (end > t->rows + 1) {
 194                 g_warning ("ERROR index out of range in fields");
 195                 end = t->rows;
 196         }
 197
 198         for (i = start; i < end; i++){
 199                 char *sig, *flags, *attrs = NULL;
 200                 guint32 field_offset = -1;
 201
 202                 mono_metadata_decode_row (t, i, cols, MONO_FIELD_SIZE);
 203                 sig = get_field_signature (m, cols [MONO_FIELD_SIGNATURE]);
 204                 flags = field_flags (cols [MONO_FIELD_FLAGS]);
 205
 206                 if (cols [MONO_FIELD_FLAGS] & FIELD_ATTRIBUTE_HAS_FIELD_RVA) {
 207                         mono_metadata_field_info (m, i, NULL, &rva, NULL);
 208                         g_snprintf (rva_desc, sizeof (rva_desc), " at D_%08x", rva);
 209                 } else {
 210                         rva_desc [0] = 0;
 211                 }
 212
 213                 mono_metadata_field_info (m, i, &field_offset, NULL, NULL);
 214                 if (field_offset != -1)
 215                         attrs = g_strdup_printf ("[%d]", field_offset);
 216                 if (cols [MONO_FIELD_FLAGS] & FIELD_ATTRIBUTE_LITERAL){
 217                         char *lit;
 218                         guint32 const_cols [MONO_CONSTANT_SIZE];
 219                         guint32 crow;
 220
 221                         if ((crow = mono_metadata_get_constant_index (m, MONO_TOKEN_FIELD_DEF | (i+1)))) {
 222                                 mono_metadata_decode_row (&m->tables [MONO_TABLE_CONSTANT], crow-1, const_cols, MONO_CONSTANT_SIZE);
 223                                 lit = get_constant (m, const_cols [MONO_CONSTANT_TYPE], const_cols [MONO_CONSTANT_VALUE]);
 224                         } else {
 225                                 lit = g_strdup ("not found");
 226                         }
 227
 228                         fprintf (output, "    .field %s %s %s = ",
 229                                  flags, sig,
 230                                  mono_metadata_string_heap (m, cols [MONO_FIELD_NAME]));
 231                         fprintf (output, "%s\n", lit);
 232                         g_free (lit);
 233                 } else
 234                         fprintf (output, "    .field %s %s %s %s%s\n",
 235                                  attrs? attrs: "", flags, sig,
 236                                  mono_metadata_string_heap (m, cols [MONO_FIELD_NAME]), rva_desc);
 237                 g_free (attrs);
 238                 g_free (flags);
 239                 g_free (sig);
 240                 dump_cattrs (m, MONO_TOKEN_FIELD_DEF | (i + 1), "    ");
 241         }
 242 }
 243
 244 static map_t method_access_map [] = {
 245         { METHOD_ATTRIBUTE_COMPILER_CONTROLLED, "compilercontrolled " },
 246         { METHOD_ATTRIBUTE_PRIVATE,             "private" },
 247         { METHOD_ATTRIBUTE_FAM_AND_ASSEM,       "famandassem" },
 248         { METHOD_ATTRIBUTE_ASSEM,               "assembly " },
 249         { METHOD_ATTRIBUTE_FAMILY,              "family " },
 250         { METHOD_ATTRIBUTE_FAM_OR_ASSEM,        "famorassem " },
 251         { METHOD_ATTRIBUTE_PUBLIC,              "public " },
 252         { 0, NULL }
 253 };
 254
 255 static map_t method_flags_map [] = {
 256         { METHOD_ATTRIBUTE_STATIC,              "static " },
 257         { METHOD_ATTRIBUTE_FINAL,               "final " },
 258         { METHOD_ATTRIBUTE_VIRTUAL,             "virtual " },
 259         { METHOD_ATTRIBUTE_HIDE_BY_SIG,         "hidebysig " },
 260         { METHOD_ATTRIBUTE_VTABLE_LAYOUT_MASK,  "newslot " },
 261         { METHOD_ATTRIBUTE_ABSTRACT,            "abstract " },
 262         { METHOD_ATTRIBUTE_SPECIAL_NAME,        "specialname " },
 263         { METHOD_ATTRIBUTE_RT_SPECIAL_NAME,     "rtspecialname " },
 264         { METHOD_ATTRIBUTE_UNMANAGED_EXPORT,    "export " },
 265         { METHOD_ATTRIBUTE_HAS_SECURITY,        "hassecurity" },
 266         { METHOD_ATTRIBUTE_REQUIRE_SEC_OBJECT,  "requiresecobj" },
 267         { METHOD_ATTRIBUTE_PINVOKE_IMPL,        "pinvokeimpl " },
 268         { 0, NULL }
 269 };
 270
 271 /**
 272  * method_flags:
 273  *
 274  * Returns a stringified version of the Method's flags
 275  */
 276 static char *
 277 method_flags (guint32 f)
 278 {
 279         GString *str = g_string_new ("");
 280         int access = f & METHOD_ATTRIBUTE_MEMBER_ACCESS_MASK;
 281         char *s;
 282
 283         g_string_append (str, map (access, method_access_map));
 284         g_string_append (str, flags (f, method_flags_map));
 285
 286         s = str->str;
 287         g_string_free (str, FALSE);
 288
 289         return s;
 290 }
 291
 292 static map_t pinvoke_flags_map [] = {
 293         { PINVOKE_ATTRIBUTE_NO_MANGLE ,            "nomangle " },
 294         { PINVOKE_ATTRIBUTE_SUPPORTS_LAST_ERROR,   "lasterr " },
 295         { 0, NULL }
 296 };
 297
 298 static map_t pinvoke_call_conv_map [] = {
 299         { PINVOKE_ATTRIBUTE_CALL_CONV_WINAPI,      "winapi " },
 300         { PINVOKE_ATTRIBUTE_CALL_CONV_CDECL,       "cdecl " },
 301         { PINVOKE_ATTRIBUTE_CALL_CONV_STDCALL,     "stdcall " },
 302         { PINVOKE_ATTRIBUTE_CALL_CONV_THISCALL,    "thiscall " },
 303         { PINVOKE_ATTRIBUTE_CALL_CONV_FASTCALL,    "fastcall " },
 304         { 0, NULL }
 305 };
 306
 307 static map_t pinvoke_char_set_map [] = {
 308         { PINVOKE_ATTRIBUTE_CHAR_SET_NOT_SPEC,     "" },
 309         { PINVOKE_ATTRIBUTE_CHAR_SET_ANSI,         "ansi " },
 310         { PINVOKE_ATTRIBUTE_CHAR_SET_UNICODE ,     "unicode " },
 311         { PINVOKE_ATTRIBUTE_CHAR_SET_AUTO,         "autochar " },
 312         { 0, NULL }
 313 };
 314
 315 /**
 316  * pinvoke_flags:
 317  *
 318  * Returns a stringified version of the Method's pinvoke flags
 319  */
 320 static char *
 321 pinvoke_flags (guint32 f)
 322 {
 323         GString *str = g_string_new ("");
 324         int cset = f & PINVOKE_ATTRIBUTE_CHAR_SET_MASK;
 325         int cconv = f & PINVOKE_ATTRIBUTE_CALL_CONV_MASK;
 326         char *s;
 327
 328         g_string_append (str, map (cset, pinvoke_char_set_map));
 329         g_string_append (str, map (cconv, pinvoke_call_conv_map));
 330         g_string_append (str, flags (f, pinvoke_flags_map));
 331
 332         s = g_strdup(str->str);
 333         g_string_free (str, FALSE);
 334
 335         return s;
 336 }
 337
 338 static map_t method_impl_map [] = {
 339         { METHOD_IMPL_ATTRIBUTE_IL,              "cil " },
 340         { METHOD_IMPL_ATTRIBUTE_NATIVE,          "native " },
 341         { METHOD_IMPL_ATTRIBUTE_OPTIL,           "optil " },
 342         { METHOD_IMPL_ATTRIBUTE_RUNTIME,         "runtime " },
 343         { 0, NULL }
 344 };
 345
 346 static map_t managed_type_map [] = {
 347         { METHOD_IMPL_ATTRIBUTE_UNMANAGED,       "unmanaged " },
 348         { METHOD_IMPL_ATTRIBUTE_MANAGED,         "managed " },
 349         { 0, NULL }
 350 };
 351
 352 static map_t managed_impl_flags [] = {
 353         { METHOD_IMPL_ATTRIBUTE_FORWARD_REF,     "fwdref " },
 354         { METHOD_IMPL_ATTRIBUTE_PRESERVE_SIG,    "preservesig " },
 355         { METHOD_IMPL_ATTRIBUTE_INTERNAL_CALL,   "internalcall " },
 356         { METHOD_IMPL_ATTRIBUTE_SYNCHRONIZED,    "synchronized " },
 357         { METHOD_IMPL_ATTRIBUTE_NOINLINING,      "noinline " },
 358         { 0, NULL }
 359 };
 360
 361 static char *
 362 method_impl_flags (guint32 f)
 363 {
 364         GString *str = g_string_new ("");
 365         char *s;
 366         int code_type = f & METHOD_IMPL_ATTRIBUTE_CODE_TYPE_MASK;
 367         int managed_type = f & METHOD_IMPL_ATTRIBUTE_MANAGED_MASK;
 368
 369         g_string_append (str, map (code_type, method_impl_map));
 370         g_string_append (str, map (managed_type, managed_type_map));
 371         g_string_append (str, flags (f, managed_impl_flags));
 372
 373         s = str->str;
 374         g_string_free (str, FALSE);
 375         return s;
 376 }
 377
 378 static void
 379 dis_locals (MonoImage *m, MonoMethodHeader *mh)
 380 {
 381         int i;
 382
 383         fprintf(output, "\t.locals %s(\n", mh->init_locals ? "init " : "");
 384         for (i=0; i < mh->num_locals; ++i) {
 385                 char * desc;
 386                 if (i)
 387                         fprintf(output, ",\n");
 388                 /* print also byref and pinned attributes */
 389                 desc = dis_stringify_type (m, mh->locals[i]);
 390                 fprintf(output, "\t\t%s\tV_%d", desc, i);
 391                 g_free(desc);
 392         }
 393         fprintf(output, ")\n");
 394 }
 395
 396 static void
 397 dis_code (MonoImage *m, guint32 rva)
 398 {
 399         MonoMethodHeader *mh;
 400         MonoCLIImageInfo *ii = m->image_info;
 401         const char *ptr = mono_cli_rva_map (ii, rva);
 402         const char *loc;
 403         guint32 entry_point;
 404
 405         if (rva == 0)
 406                 return;
 407
 408         mh = mono_metadata_parse_mh (m, ptr);
 409         if ((entry_point = mono_image_get_entry_point (m))){
 410                 loc = mono_metadata_locate_token (m, entry_point);
 411                 if (rva == read32 (loc))
 412                         fprintf (output, "\t.entrypoint\n");
 413         }
 414
 415         fprintf (output, "\t// Code size %d (0x%x)\n", mh->code_size, mh->code_size);
 416         fprintf (output, "\t.maxstack %d\n", mh->max_stack);
 417         if (mh->num_locals)
 418                 dis_locals (m, mh);
 419         dissasemble_cil (m, mh);
 420
 421 /*
 422   hex_dump (mh->code, 0, mh->code_size);
 423   printf ("\nAfter the code\n");
 424   hex_dump (mh->code + mh->code_size, 0, 64);
 425 */
 426         mono_metadata_free_mh (mh);
 427 }
 428
 429 static char *
 430 pinvoke_info (MonoImage *m, guint32 mindex)
 431 {
 432         MonoTableInfo *im = &m->tables [MONO_TABLE_IMPLMAP];
 433         MonoTableInfo *mr = &m->tables [MONO_TABLE_MODULEREF];
 434         guint32 im_cols [MONO_IMPLMAP_SIZE];
 435         guint32 mr_cols [MONO_MODULEREF_SIZE];
 436         const char *import, *scope;
 437         char *flags;
 438         int i;
 439
 440         for (i = 0; i < im->rows; i++) {
 441
 442                 mono_metadata_decode_row (im, i, im_cols, MONO_IMPLMAP_SIZE);
 443
 444                 if ((im_cols [MONO_IMPLMAP_MEMBER] >> 1) == mindex + 1) {
 445
 446                         flags = pinvoke_flags (im_cols [MONO_IMPLMAP_FLAGS]);
 447
 448                         import = mono_metadata_string_heap (m, im_cols [MONO_IMPLMAP_NAME]);
 449
 450                         mono_metadata_decode_row (mr, im_cols [MONO_IMPLMAP_SCOPE] - 1,
 451                                                   mr_cols, MONO_MODULEREF_SIZE);
 452
 453                         scope = mono_metadata_string_heap (m, mr_cols [MONO_MODULEREF_NAME]);
 454
 455                         return g_strdup_printf ("(%s as %s %s)", scope, import,
 456                                                 flags);
 457                         g_free (flags);
 458                 }
 459         }
 460
 461         return NULL;
 462 }
 463
 464 /**
 465  * dis_method_list:
 466  * @m: metadata context
 467  * @start: starting index into the Method Table.
 468  * @end: ending index into Method table.
 469  *
 470  * This routine displays the methods in the Method Table from @start to @end
 471  */
 472 static void
 473 dis_method_list (MonoImage *m, guint32 start, guint32 end)
 474 {
 475         MonoTableInfo *t = &m->tables [MONO_TABLE_METHOD];
 476         guint32 cols [MONO_METHOD_SIZE];
 477         int i;
 478
 479         if (end > t->rows){
 480                 fprintf (output, "ERROR index out of range in methods");
 481                 /*exit (1);*/
 482                 end = t->rows;
 483         }
 484
 485         for (i = start; i < end; i++){
 486                 MonoMethodSignature *ms;
 487                 char *flags, *impl_flags;
 488                 const char *sig;
 489                 char *sig_str;
 490
 491                 mono_metadata_decode_row (t, i, cols, MONO_METHOD_SIZE);
 492
 493                 flags = method_flags (cols [MONO_METHOD_FLAGS]);
 494                 impl_flags = method_impl_flags (cols [MONO_METHOD_IMPLFLAGS]);
 495
 496                 sig = mono_metadata_blob_heap (m, cols [MONO_METHOD_SIGNATURE]);
 497                 mono_metadata_decode_blob_size (sig, &sig);
 498                 ms = mono_metadata_parse_method_signature (m, i + 1, sig, &sig);
 499                 sig_str = dis_stringify_method_signature (m, ms, i + 1);
 500
 501                 fprintf (output, "    // method line %d\n", i + 1);
 502                 fprintf (output, "    .method %s", flags);
 503
 504                 if (cols [MONO_METHOD_FLAGS] & METHOD_ATTRIBUTE_PINVOKE_IMPL)
 505                         fprintf (output, "%s", pinvoke_info (m, i));
 506
 507                 fprintf (output, "\n           %s", sig_str);
 508                 fprintf (output, " %s\n", impl_flags);
 509                 g_free (flags);
 510                 g_free (impl_flags);
 511
 512                 fprintf (output, "    {\n");
 513                 dump_cattrs (m, MONO_TOKEN_METHOD_DEF | (i + 1), "        ");
 514                 /* FIXME: need to sump also param custom attributes */
 515                 fprintf (output, "        // Method begins at RVA 0x%x\n", cols [MONO_METHOD_RVA]);
 516                 dis_code (m, cols [MONO_METHOD_RVA]);
 517                 fprintf (output, "    } // end of method %s\n\n", sig_str);
 518                 mono_metadata_free_method_signature (ms);
 519                 g_free (sig_str);
 520         }
 521 }
 522
 523 typedef struct {
 524         MonoTableInfo *t;
 525         guint32 col_idx;
 526         guint32 idx;
 527         guint32 result;
 528 } plocator_t;
 529
 530 static int
 531 table_locator (const void *a, const void *b)
 532 {
 533         plocator_t *loc = (plocator_t *) a;
 534         const char *bb = (const char *) b;
 535         guint32 table_index = (bb - loc->t->base) / loc->t->row_size;
 536         guint32 col;
 537
 538         col = mono_metadata_decode_row_col (loc->t, table_index, loc->col_idx);
 539
 540         if (loc->idx == col) {
 541                 loc->result = table_index;
 542                 return 0;
 543         }
 544         if (loc->idx < col)
 545                 return -1;
 546         else
 547                 return 1;
 548 }
 549
 550 static void
 551 dis_property_methods (MonoImage *m, guint32 prop)
 552 {
 553         guint start, end;
 554         MonoTableInfo *msemt = &m->tables [MONO_TABLE_METHODSEMANTICS];
 555         guint32 cols [MONO_METHOD_SEMA_SIZE];
 556         char *sig;
 557         const char *type[] = {NULL, ".set", ".get", NULL, ".other"};
 558
 559         start = mono_metadata_methods_from_property (m, prop, &end);
 560         while (start < end) {
 561                 mono_metadata_decode_row (msemt, start, cols, MONO_METHOD_SEMA_SIZE);
 562                 sig = dis_stringify_method_signature (m, NULL, cols [MONO_METHOD_SEMA_METHOD]);
 563                 fprintf (output, "\t\t%s %s\n", type [cols [MONO_METHOD_SEMA_SEMANTICS]], sig);
 564                 g_free (sig);
 565                 ++start;
 566         }
 567 }
 568
 569 static char*
 570 dis_property_signature (MonoImage *m, guint32 prop_idx)
 571 {
 572         MonoTableInfo *propt = &m->tables [MONO_TABLE_PROPERTY];
 573         const char *ptr;
 574         guint32 pcount, i;
 575         guint32 cols [MONO_PROPERTY_SIZE];
 576         MonoType *type;
 577         MonoType *param;
 578         char *blurb;
 579         const char *name;
 580         int prop_flags;
 581         GString *res = g_string_new ("");
 582
 583         mono_metadata_decode_row (propt, prop_idx, cols, MONO_PROPERTY_SIZE);
 584         name = mono_metadata_string_heap (m, cols [MONO_PROPERTY_NAME]);
 585         prop_flags = cols [MONO_PROPERTY_FLAGS];
 586         ptr = mono_metadata_blob_heap (m, cols [MONO_PROPERTY_TYPE]);
 587         mono_metadata_decode_blob_size (ptr, &ptr);
 588         /* ECMA claims 0x08 ... */
 589         if (*ptr != 0x28 && *ptr != 0x08)
 590                 g_warning("incorrect signature in propert blob: 0x%x", *ptr);
 591         ptr++;
 592         pcount = mono_metadata_decode_value (ptr, &ptr);
 593         type = mono_metadata_parse_type (m, MONO_PARSE_TYPE, 0, ptr, &ptr);
 594         blurb = dis_stringify_type (m, type);
 595         if (prop_flags & 0x0200)
 596                 g_string_append (res, "special ");
 597         if (prop_flags & 0x0400)
 598                 g_string_append (res, "runtime ");
 599         if (prop_flags & 0x1000)
 600                 g_string_append (res, "hasdefault ");
 601         g_string_sprintfa (res, "%s %s (", blurb, name);
 602         g_free (blurb);
 603         mono_metadata_free_type (type);
 604         for (i = 0; i < pcount; i++) {
 605                 if (i)
 606                         g_string_append (res, ", ");
 607                 param = mono_metadata_parse_param (m, ptr, &ptr);
 608                 blurb = dis_stringify_param (m, param);
 609                 g_string_append (res, blurb);
 610                 mono_metadata_free_type (param);
 611                 g_free (blurb);
 612         }
 613         g_string_append_c (res, ')');
 614         blurb = res->str;
 615         g_string_free (res, FALSE);
 616         return blurb;
 617
 618 }
 619
 620 static void
 621 dis_property_list (MonoImage *m, guint32 typedef_row)
 622 {
 623         guint start, end, i;
 624         start = mono_metadata_properties_from_typedef (m, typedef_row, &end);
 625
 626         for (i = start; i < end; ++i) {
 627                 char *sig = dis_property_signature (m, i);
 628                 fprintf (output, "\t.property %s\n\t{\n", sig);
 629                 dump_cattrs (m, MONO_TOKEN_PROPERTY | (i + 1), "\t\t");
 630                 dis_property_methods (m, i);
 631                 fprintf (output, "\t}\n");
 632                 g_free (sig);
 633         }
 634 }
 635
 636 static char*
 637 dis_event_signature (MonoImage *m, guint32 event_idx)
 638 {
 639         MonoTableInfo *et = &m->tables [MONO_TABLE_EVENT];
 640         const char *name;
 641         char *type, *res;
 642         guint32 cols [MONO_EVENT_SIZE];
 643
 644         mono_metadata_decode_row (et, event_idx, cols, MONO_EVENT_SIZE);
 645         name = mono_metadata_string_heap (m, cols [MONO_EVENT_NAME]);
 646         type = get_typedef_or_ref (m, cols [MONO_EVENT_TYPE]);
 647
 648         res = g_strdup_printf ("%s %s", type, name);
 649         g_free (type);
 650         return res;
 651 }
 652
 653 static void
 654 dis_event_methods (MonoImage *m, guint32 event)
 655 {
 656         guint start, end;
 657         MonoTableInfo *msemt = &m->tables [MONO_TABLE_METHODSEMANTICS];
 658         guint32 cols [MONO_METHOD_SEMA_SIZE];
 659         char *sig;
 660         const char *type;
 661
 662         start = mono_metadata_methods_from_event (m, event, &end);
 663         while (start < end) {
 664                 mono_metadata_decode_row (msemt, start, cols, MONO_METHOD_SEMA_SIZE);
 665                 sig = dis_stringify_method_signature (m, NULL, cols [MONO_METHOD_SEMA_METHOD]);
 666                 switch (cols [MONO_METHOD_SEMA_SEMANTICS]) {
 667                 case METHOD_SEMANTIC_OTHER:
 668                         type = ".other"; break;
 669                 case METHOD_SEMANTIC_ADD_ON:
 670                         type = ".addon"; break;
 671                 case METHOD_SEMANTIC_REMOVE_ON:
 672                         type = ".removeon"; break;
 673                 case METHOD_SEMANTIC_FIRE:
 674                         type = ".fire"; break;
 675                 default:
 676                         break;
 677                 }
 678                 fprintf (output, "\t\t%s %s\n", type, sig);
 679                 g_free (sig);
 680                 ++start;
 681         }
 682 }
 683
 684 static void
 685 dis_event_list (MonoImage *m, guint32 typedef_row)
 686 {
 687         guint start, end, i;
 688         start = mono_metadata_events_from_typedef (m, typedef_row, &end);
 689
 690         for (i = start; i < end; ++i) {
 691                 char *sig = dis_event_signature (m, i);
 692                 fprintf (output, "\t.event %s\n\t{\n", sig);
 693                 dump_cattrs (m, MONO_TOKEN_EVENT | (i + 1), "\t\t");
 694                 dis_event_methods (m, i);
 695                 fprintf (output, "\t}\n");
 696                 g_free (sig);
 697         }
 698 }
 699
 700 static void
 701 dis_interfaces (MonoImage *m, guint32 typedef_row)
 702 {
 703         plocator_t loc;
 704         guint start;
 705         guint32 cols [MONO_INTERFACEIMPL_SIZE];
 706         char *intf;
 707         MonoTableInfo *table = &m->tables [MONO_TABLE_INTERFACEIMPL];
 708
 709         if (!table->base)
 710                 return;
 711
 712         loc.t = table;
 713         loc.col_idx = MONO_INTERFACEIMPL_CLASS;
 714         loc.idx = typedef_row;
 715
 716         if (!bsearch (&loc, table->base, table->rows, table->row_size, table_locator))
 717                 return;
 718
 719         start = loc.result;
 720         /*
 721          * We may end up in the middle of the rows...
 722          */
 723         while (start > 0) {
 724                 if (loc.idx == mono_metadata_decode_row_col (table, start - 1, MONO_INTERFACEIMPL_CLASS))
 725                         start--;
 726                 else
 727                         break;
 728         }
 729         while (start < table->rows) {
 730                 mono_metadata_decode_row (table, start, cols, MONO_INTERFACEIMPL_SIZE);
 731                 if (cols [MONO_INTERFACEIMPL_CLASS] != loc.idx)
 732                         break;
 733                 intf = get_typedef_or_ref (m, cols [MONO_INTERFACEIMPL_INTERFACE]);
 734                 fprintf (output, "  \timplements %s\n", intf);
 735                 g_free (intf);
 736                 ++start;
 737         }
 738 }
 739
 740 /**
 741  * dis_type:
 742  * @m: metadata context
 743  * @n: index of type to disassemble
 744  *
 745  * Disassembles the type whose index in the TypeDef table is @n.
 746  */
 747 static void
 748 dis_type (MonoImage *m, int n)
 749 {
 750         MonoTableInfo *t = &m->tables [MONO_TABLE_TYPEDEF];
 751         guint32 cols [MONO_TYPEDEF_SIZE];
 752         guint32 cols_next [MONO_TYPEDEF_SIZE];
 753         const char *name, *nspace;
 754         guint32 packing_size, class_size;
 755         gboolean next_is_valid, last;
 756
 757         mono_metadata_decode_row (t, n, cols, MONO_TYPEDEF_SIZE);
 758
 759         if (t->rows > n + 1) {
 760                 mono_metadata_decode_row (t, n + 1, cols_next, MONO_TYPEDEF_SIZE);
 761                 next_is_valid = 1;
 762         } else
 763                 next_is_valid = 0;
 764
 765         nspace = mono_metadata_string_heap (m, cols [MONO_TYPEDEF_NAMESPACE]);
 766         if (*nspace)
 767                 fprintf (output, ".namespace %s\n{\n", nspace);
 768         name = mono_metadata_string_heap (m, cols [MONO_TYPEDEF_NAME]);
 769
 770         if ((cols [MONO_TYPEDEF_FLAGS] & TYPE_ATTRIBUTE_CLASS_SEMANTIC_MASK) == TYPE_ATTRIBUTE_CLASS){
 771                 fprintf (output, "  .class %s%s\n", typedef_flags (cols [MONO_TYPEDEF_FLAGS]), name);
 772                 if (cols [MONO_TYPEDEF_EXTENDS]) {
 773                         char *base = get_typedef_or_ref (m, cols [MONO_TYPEDEF_EXTENDS]);
 774                         fprintf (output, "  \textends %s\n", base);
 775                         g_free (base);
 776                 }
 777         } else
 778                 fprintf (output, "  .class interface %s%s\n", typedef_flags (cols [MONO_TYPEDEF_FLAGS]), name);
 779
 780         dis_interfaces (m, n + 1);
 781         fprintf (output, "  {\n");
 782         dump_cattrs (m, MONO_TOKEN_TYPE_DEF | (n + 1), "    ");
 783
 784         if (mono_metadata_packing_from_typedef (m, n + 1, &packing_size, &class_size)) {
 785                 fprintf (output, "    .pack %d\n", packing_size);
 786                 fprintf (output, "    .size %d\n", class_size);
 787         }
 788         /*
 789          * The value in the table is always valid, we know we have fields
 790          * if the value stored is different than the next record.
 791          */
 792
 793         if (next_is_valid)
 794                 last = cols_next [MONO_TYPEDEF_FIELD_LIST] - 1;
 795         else
 796                 last = m->tables [MONO_TABLE_FIELD].rows;
 797
 798         if (cols [MONO_TYPEDEF_FIELD_LIST] && cols [MONO_TYPEDEF_FIELD_LIST] <= m->tables [MONO_TABLE_FIELD].rows)
 799                 dis_field_list (m, cols [MONO_TYPEDEF_FIELD_LIST] - 1, last);
 800         fprintf (output, "\n");
 801
 802         if (next_is_valid)
 803                 last = cols_next [MONO_TYPEDEF_METHOD_LIST] - 1;
 804         else
 805                 last = m->tables [MONO_TABLE_METHOD].rows;
 806
 807         if (cols [MONO_TYPEDEF_METHOD_LIST] && cols [MONO_TYPEDEF_METHOD_LIST] <= m->tables [MONO_TABLE_METHOD].rows)
 808                 dis_method_list (m, cols [MONO_TYPEDEF_METHOD_LIST] - 1, last);
 809
 810         dis_property_list (m, n);
 811         dis_event_list (m, n);
 812
 813         fprintf (output, "  } // end of type %s%s%s\n", nspace, *nspace? ".": "", name);
 814         if (*nspace)
 815                 fprintf (output, "}\n");
 816         fprintf (output, "\n");
 817 }
 818
 819 /**
 820  * dis_types:
 821  * @m: metadata context
 822  *
 823  * disassembles all types in the @m context
 824  */
 825 static void
 826 dis_types (MonoImage *m)
 827 {
 828         MonoTableInfo *t = &m->tables [MONO_TABLE_TYPEDEF];
 829         int i;
 830
 831         for (i = 1; i < t->rows; i++)
 832                 dis_type (m, i);
 833 }
 834
 835 /**
 836  * dis_data:
 837  * @m: metadata context
 838  *
 839  * disassembles all data blobs references in the FieldRVA table in the @m context
 840  */
 841 static void
 842 dis_data (MonoImage *m)
 843 {
 844         MonoTableInfo *t = &m->tables [MONO_TABLE_FIELDRVA];
 845         MonoTableInfo *ft = &m->tables [MONO_TABLE_FIELD];
 846         int i, b;
 847         const char *rva, *sig;
 848         guint32 align, size;
 849         guint32 cols [MONO_FIELD_RVA_SIZE];
 850         MonoType *type;
 851
 852         for (i = 0; i < t->rows; i++) {
 853                 mono_metadata_decode_row (t, i, cols, MONO_FIELD_RVA_SIZE);
 854                 rva = mono_cli_rva_map (m->image_info, cols [MONO_FIELD_RVA_RVA]);
 855                 sig = mono_metadata_blob_heap (m, mono_metadata_decode_row_col (ft, cols [MONO_FIELD_RVA_FIELD] -1, MONO_FIELD_SIGNATURE));
 856                 mono_metadata_decode_value (sig, &sig);
 857                 /* FIELD signature == 0x06 */
 858                 g_assert (*sig == 0x06);
 859                 type = mono_metadata_parse_field_type (m, 0, sig + 1, &sig);
 860                 mono_class_init (mono_class_from_mono_type (type));
 861                 size = mono_type_size (type, &align);
 862                 fprintf (output, ".data D_%08x = bytearray (", cols [MONO_FIELD_RVA_RVA]);
 863                 for (b = 0; b < size; ++b) {
 864                         if (!(b % 16))
 865                                 fprintf (output, "\n\t");
 866                         fprintf (output, " %02x", rva [b] & 0xff);
 867                 }
 868                 fprintf (output, ") // size: %d\n", size);
 869         }
 870 }
 871
 872 struct {
 873         const char *name;
 874         int table;
 875         void (*dumper) (MonoImage *m);
 876 } table_list [] = {
 877         { "--assembly",    MONO_TABLE_ASSEMBLY,    dump_table_assembly },
 878         { "--assemblyref", MONO_TABLE_ASSEMBLYREF, dump_table_assemblyref },
 879         { "--fields",      MONO_TABLE_FIELD,       dump_table_field },
 880         { "--marshal",     MONO_TABLE_FIELDMARSHAL,     dump_table_field_marshal },
 881         { "--memberref",   MONO_TABLE_MEMBERREF,   dump_table_memberref },
 882         { "--param",       MONO_TABLE_PARAM,       dump_table_param },
 883         { "--typedef",     MONO_TABLE_TYPEDEF,     dump_table_typedef },
 884         { "--typeref",     MONO_TABLE_TYPEREF,     dump_table_typeref },
 885         { "--exported",    MONO_TABLE_EXPORTEDTYPE,     dump_table_exported },
 886         { "--nested",      MONO_TABLE_NESTEDCLASS, dump_table_nestedclass },
 887         { "--interface",   MONO_TABLE_INTERFACEIMPL,     dump_table_interfaceimpl },
 888         { "--classlayout", MONO_TABLE_CLASSLAYOUT, dump_table_class_layout },
 889         { "--constant",    MONO_TABLE_CONSTANT,    dump_table_constant },
 890         { "--customattr",  MONO_TABLE_CUSTOMATTRIBUTE,    dump_table_customattr },
 891         { "--declsec",     MONO_TABLE_DECLSECURITY, dump_table_declsec },
 892         { "--property",    MONO_TABLE_PROPERTY,    dump_table_property },
 893         { "--propertymap", MONO_TABLE_PROPERTYMAP, dump_table_property_map },
 894         { "--event",       MONO_TABLE_EVENT,       dump_table_event },
 895         { "--file",        MONO_TABLE_FILE,        dump_table_file },
 896         { "--moduleref",   MONO_TABLE_MODULEREF,   dump_table_moduleref },
 897         { "--module",      MONO_TABLE_MODULE,      dump_table_module },
 898         { "--method",      MONO_TABLE_METHOD,      dump_table_method },
 899         { "--methodimpl",  MONO_TABLE_METHODIMPL,  dump_table_methodimpl },
 900         { "--methodsem",   MONO_TABLE_METHODSEMANTICS,      dump_table_methodsem },
 901         { "--manifest",    MONO_TABLE_MANIFESTRESOURCE,     dump_table_manifest },
 902         { NULL, -1 }
 903 };
 904
 905 /**
 906  * disassemble_file:
 907  * @file: file containing CIL code.
 908  *
 909  * Disassembles the @file file.
 910  */
 911 static void
 912 disassemble_file (const char *file)
 913 {
 914         MonoAssembly *ass;
 915         MonoImageOpenStatus status;
 916         MonoImage *img;
 917
 918         ass = mono_assembly_open (file, &status);
 919         if (ass == NULL){
 920                 fprintf (stderr, "Error while trying to process %s\n", file);
 921                 return;
 922         }
 923
 924         img = ass->image;
 925
 926         if (dump_table != -1){
 927                 (*table_list [dump_table].dumper) (img);
 928         } else {
 929                 dump_header_data (img);
 930
 931                 dis_directive_assemblyref (img);
 932                 dis_directive_assembly (img);
 933                 dis_types (img);
 934                 dis_data (img);
 935         }
 936
 937         mono_image_close (img);
 938 }
 939
 940 static void
 941 usage (void)
 942 {
 943         GString *args = g_string_new ("[--output=filename] [--help] [--mscorlib] ");
 944         int i;
 945
 946         for (i = 0; table_list [i].name != NULL; i++){
 947                 g_string_append (args, "[");
 948                 g_string_append (args, table_list [i].name);
 949                 g_string_append (args, "] ");
 950                 if (((i-2) % 5) == 0)
 951                         g_string_append_c (args, '\n');
 952         }
 953         fprintf (stderr,
 954                  "Usage is: monodis %s file ..\n", args->str);
 955         exit (1);
 956 }
 957
 958 int
 959 main (int argc, char *argv [])
 960 {
 961         GList *input_files = NULL, *l;
 962         int i, j;
 963
 964         output = stdout;
 965         for (i = 1; i < argc; i++){
 966                 if (argv [i][0] == '-'){
 967                         if (argv [i][1] == 'h')
 968                                 usage ();
 969                         else if (argv [i][1] == 'd')
 970                                 dump_header_data_p = TRUE;
 971                         else if (strcmp (argv [i], "--mscorlib") == 0) {
 972                                 substitute_with_mscorlib_p = TRUE;
 973                                 continue;
 974                         } else if (strncmp (argv [i], "--output=", 9) == 0) {
 975                                 output = fopen (argv [i]+9, "w");
 976                                 if (output == NULL) {
 977                                         fprintf (stderr, "Can't open output file `%s': %s\n",
 978                                                  argv [i]+9, strerror (errno));
 979                                         exit (1);
 980                                 }
 981                                 continue;
 982                         } else if (strcmp (argv [i], "--help") == 0)
 983                                 usage ();
 984                         for (j = 0; table_list [j].name != NULL; j++) {
 985                                 if (strcmp (argv [i], table_list [j].name) == 0)
 986                                         dump_table = j;
 987                         }
 988                         if (dump_table < 0)
 989                                 usage ();
 990                 } else
 991                         input_files = g_list_append (input_files, argv [i]);
 992         }
 993
 994         if (input_files == NULL)
 995                 usage ();
 996
 997         mono_init (argv [0]);
 998
 999         for (l = input_files; l; l = l->next)
1000                 disassemble_file (l->data);
1001
1002         return 0;
1003 }