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         gboolean first_interface = 1;
 706         guint32 cols [MONO_INTERFACEIMPL_SIZE];
 707         char *intf;
 708         MonoTableInfo *table = &m->tables [MONO_TABLE_INTERFACEIMPL];
 709
 710         if (!table->base)
 711                 return;
 712
 713         loc.t = table;
 714         loc.col_idx = MONO_INTERFACEIMPL_CLASS;
 715         loc.idx = typedef_row;
 716
 717         if (!bsearch (&loc, table->base, table->rows, table->row_size, table_locator))
 718                 return;
 719
 720         start = loc.result;
 721         /*
 722          * We may end up in the middle of the rows...
 723          */
 724         while (start > 0) {
 725                 if (loc.idx == mono_metadata_decode_row_col (table, start - 1, MONO_INTERFACEIMPL_CLASS))
 726                         start--;
 727                 else
 728                         break;
 729         }
 730         while (start < table->rows) {
 731                 mono_metadata_decode_row (table, start, cols, MONO_INTERFACEIMPL_SIZE);
 732                 if (cols [MONO_INTERFACEIMPL_CLASS] != loc.idx)
 733                         break;
 734                 intf = get_typedef_or_ref (m, cols [MONO_INTERFACEIMPL_INTERFACE]);
 735                 if (first_interface) {
 736                         fprintf (output, "  \timplements %s", intf);
 737                         first_interface = 0;
 738                 } else {
 739                         fprintf (output, ", %s", intf);
 740                 }
 741                 g_free (intf);
 742                 ++start;
 743         }
 744 }
 745
 746 /**
 747  * dis_type:
 748  * @m: metadata context
 749  * @n: index of type to disassemble
 750  *
 751  * Disassembles the type whose index in the TypeDef table is @n.
 752  */
 753 static void
 754 dis_type (MonoImage *m, int n)
 755 {
 756         MonoTableInfo *t = &m->tables [MONO_TABLE_TYPEDEF];
 757         guint32 cols [MONO_TYPEDEF_SIZE];
 758         guint32 cols_next [MONO_TYPEDEF_SIZE];
 759         const char *name, *nspace;
 760         guint32 packing_size, class_size;
 761         gboolean next_is_valid, last;
 762
 763         mono_metadata_decode_row (t, n, cols, MONO_TYPEDEF_SIZE);
 764
 765         if (t->rows > n + 1) {
 766                 mono_metadata_decode_row (t, n + 1, cols_next, MONO_TYPEDEF_SIZE);
 767                 next_is_valid = 1;
 768         } else
 769                 next_is_valid = 0;
 770
 771         nspace = mono_metadata_string_heap (m, cols [MONO_TYPEDEF_NAMESPACE]);
 772         if (*nspace)
 773                 fprintf (output, ".namespace %s\n{\n", nspace);
 774         name = mono_metadata_string_heap (m, cols [MONO_TYPEDEF_NAME]);
 775
 776         if ((cols [MONO_TYPEDEF_FLAGS] & TYPE_ATTRIBUTE_CLASS_SEMANTIC_MASK) == TYPE_ATTRIBUTE_CLASS){
 777                 fprintf (output, "  .class %s%s\n", typedef_flags (cols [MONO_TYPEDEF_FLAGS]), name);
 778                 if (cols [MONO_TYPEDEF_EXTENDS]) {
 779                         char *base = get_typedef_or_ref (m, cols [MONO_TYPEDEF_EXTENDS]);
 780                         fprintf (output, "  \textends %s\n", base);
 781                         g_free (base);
 782                 }
 783         } else
 784                 fprintf (output, "  .class interface %s%s\n", typedef_flags (cols [MONO_TYPEDEF_FLAGS]), name);
 785
 786         dis_interfaces (m, n + 1);
 787         fprintf (output, "  {\n");
 788         dump_cattrs (m, MONO_TOKEN_TYPE_DEF | (n + 1), "    ");
 789
 790         if (mono_metadata_packing_from_typedef (m, n + 1, &packing_size, &class_size)) {
 791                 fprintf (output, "    .pack %d\n", packing_size);
 792                 fprintf (output, "    .size %d\n", class_size);
 793         }
 794         /*
 795          * The value in the table is always valid, we know we have fields
 796          * if the value stored is different than the next record.
 797          */
 798
 799         if (next_is_valid)
 800                 last = cols_next [MONO_TYPEDEF_FIELD_LIST] - 1;
 801         else
 802                 last = m->tables [MONO_TABLE_FIELD].rows;
 803
 804         if (cols [MONO_TYPEDEF_FIELD_LIST] && cols [MONO_TYPEDEF_FIELD_LIST] <= m->tables [MONO_TABLE_FIELD].rows)
 805                 dis_field_list (m, cols [MONO_TYPEDEF_FIELD_LIST] - 1, last);
 806         fprintf (output, "\n");
 807
 808         if (next_is_valid)
 809                 last = cols_next [MONO_TYPEDEF_METHOD_LIST] - 1;
 810         else
 811                 last = m->tables [MONO_TABLE_METHOD].rows;
 812
 813         if (cols [MONO_TYPEDEF_METHOD_LIST] && cols [MONO_TYPEDEF_METHOD_LIST] <= m->tables [MONO_TABLE_METHOD].rows)
 814                 dis_method_list (m, cols [MONO_TYPEDEF_METHOD_LIST] - 1, last);
 815
 816         dis_property_list (m, n);
 817         dis_event_list (m, n);
 818
 819         fprintf (output, "  } // end of type %s%s%s\n", nspace, *nspace? ".": "", name);
 820         if (*nspace)
 821                 fprintf (output, "}\n");
 822         fprintf (output, "\n");
 823 }
 824
 825 /**
 826  * dis_types:
 827  * @m: metadata context
 828  *
 829  * disassembles all types in the @m context
 830  */
 831 static void
 832 dis_types (MonoImage *m)
 833 {
 834         MonoTableInfo *t = &m->tables [MONO_TABLE_TYPEDEF];
 835         int i;
 836
 837         for (i = 1; i < t->rows; i++)
 838                 dis_type (m, i);
 839 }
 840
 841 /**
 842  * dis_data:
 843  * @m: metadata context
 844  *
 845  * disassembles all data blobs references in the FieldRVA table in the @m context
 846  */
 847 static void
 848 dis_data (MonoImage *m)
 849 {
 850         MonoTableInfo *t = &m->tables [MONO_TABLE_FIELDRVA];
 851         MonoTableInfo *ft = &m->tables [MONO_TABLE_FIELD];
 852         int i, b;
 853         const char *rva, *sig;
 854         guint32 align, size;
 855         guint32 cols [MONO_FIELD_RVA_SIZE];
 856         MonoType *type;
 857
 858         for (i = 0; i < t->rows; i++) {
 859                 mono_metadata_decode_row (t, i, cols, MONO_FIELD_RVA_SIZE);
 860                 rva = mono_cli_rva_map (m->image_info, cols [MONO_FIELD_RVA_RVA]);
 861                 sig = mono_metadata_blob_heap (m, mono_metadata_decode_row_col (ft, cols [MONO_FIELD_RVA_FIELD] -1, MONO_FIELD_SIGNATURE));
 862                 mono_metadata_decode_value (sig, &sig);
 863                 /* FIELD signature == 0x06 */
 864                 g_assert (*sig == 0x06);
 865                 type = mono_metadata_parse_field_type (m, 0, sig + 1, &sig);
 866                 mono_class_init (mono_class_from_mono_type (type));
 867                 size = mono_type_size (type, &align);
 868                 fprintf (output, ".data D_%08x = bytearray (", cols [MONO_FIELD_RVA_RVA]);
 869                 for (b = 0; b < size; ++b) {
 870                         if (!(b % 16))
 871                                 fprintf (output, "\n\t");
 872                         fprintf (output, " %02x", rva [b] & 0xff);
 873                 }
 874                 fprintf (output, ") // size: %d\n", size);
 875         }
 876 }
 877
 878 struct {
 879         const char *name;
 880         int table;
 881         void (*dumper) (MonoImage *m);
 882 } table_list [] = {
 883         { "--assembly",    MONO_TABLE_ASSEMBLY,         dump_table_assembly },
 884         { "--assemblyref", MONO_TABLE_ASSEMBLYREF,      dump_table_assemblyref },
 885         { "--classlayout", MONO_TABLE_CLASSLAYOUT,      dump_table_class_layout },
 886         { "--constant",    MONO_TABLE_CONSTANT,         dump_table_constant },
 887         { "--customattr",  MONO_TABLE_CUSTOMATTRIBUTE,  dump_table_customattr },
 888         { "--declsec",     MONO_TABLE_DECLSECURITY,     dump_table_declsec },
 889         { "--event",       MONO_TABLE_EVENT,            dump_table_event },
 890         { "--exported",    MONO_TABLE_EXPORTEDTYPE,     dump_table_exported },
 891         { "--fields",      MONO_TABLE_FIELD,            dump_table_field },
 892         { "--file",        MONO_TABLE_FILE,             dump_table_file },
 893         { "--genericpar",  MONO_TABLE_GENERICPARAM,     dump_table_genericpar },
 894         { "--interface",   MONO_TABLE_INTERFACEIMPL,    dump_table_interfaceimpl },
 895         { "--manifest",    MONO_TABLE_MANIFESTRESOURCE, dump_table_manifest },
 896         { "--marshal",     MONO_TABLE_FIELDMARSHAL,     dump_table_field_marshal },
 897         { "--memberref",   MONO_TABLE_MEMBERREF,        dump_table_memberref },
 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         { "--methodspec",  MONO_TABLE_METHODSPEC,       dump_table_methodspec },
 902         { "--moduleref",   MONO_TABLE_MODULEREF,        dump_table_moduleref },
 903         { "--module",      MONO_TABLE_MODULE,           dump_table_module },
 904         { "--nested",      MONO_TABLE_NESTEDCLASS,      dump_table_nestedclass },
 905         { "--param",       MONO_TABLE_PARAM,            dump_table_param },
 906         { "--parconst",    MONO_TABLE_GENERICPARAMCONSTRAINT, dump_table_parconstraint },
 907         { "--property",    MONO_TABLE_PROPERTY,         dump_table_property },
 908         { "--propertymap", MONO_TABLE_PROPERTYMAP,      dump_table_property_map },
 909         { "--typedef",     MONO_TABLE_TYPEDEF,          dump_table_typedef },
 910         { "--typeref",     MONO_TABLE_TYPEREF,          dump_table_typeref },
 911         { NULL, -1 }
 912 };
 913
 914 /**
 915  * disassemble_file:
 916  * @file: file containing CIL code.
 917  *
 918  * Disassembles the @file file.
 919  */
 920 static void
 921 disassemble_file (const char *file)
 922 {
 923         MonoAssembly *ass;
 924         MonoImageOpenStatus status;
 925         MonoImage *img;
 926
 927         ass = mono_assembly_open (file, &status);
 928         if (ass == NULL){
 929                 fprintf (stderr, "Error while trying to process %s\n", file);
 930                 return;
 931         }
 932
 933         img = ass->image;
 934
 935         if (dump_table != -1){
 936                 (*table_list [dump_table].dumper) (img);
 937         } else {
 938                 dump_header_data (img);
 939
 940                 dis_directive_assemblyref (img);
 941                 dis_directive_assembly (img);
 942                 dis_types (img);
 943                 dis_data (img);
 944         }
 945
 946         mono_image_close (img);
 947 }
 948
 949 static void
 950 usage (void)
 951 {
 952         GString *args = g_string_new ("[--output=filename] [--help] [--mscorlib] ");
 953         int i;
 954
 955         for (i = 0; table_list [i].name != NULL; i++){
 956                 g_string_append (args, "[");
 957                 g_string_append (args, table_list [i].name);
 958                 g_string_append (args, "] ");
 959                 if (((i-2) % 5) == 0)
 960                         g_string_append_c (args, '\n');
 961         }
 962         fprintf (stderr,
 963                  "Usage is: monodis %s file ..\n", args->str);
 964         exit (1);
 965 }
 966
 967 int
 968 main (int argc, char *argv [])
 969 {
 970         GList *input_files = NULL, *l;
 971         int i, j;
 972
 973         output = stdout;
 974         for (i = 1; i < argc; i++){
 975                 if (argv [i][0] == '-'){
 976                         if (argv [i][1] == 'h')
 977                                 usage ();
 978                         else if (argv [i][1] == 'd')
 979                                 dump_header_data_p = TRUE;
 980                         else if (strcmp (argv [i], "--mscorlib") == 0) {
 981                                 substitute_with_mscorlib_p = TRUE;
 982                                 continue;
 983                         } else if (strncmp (argv [i], "--output=", 9) == 0) {
 984                                 output = fopen (argv [i]+9, "w");
 985                                 if (output == NULL) {
 986                                         fprintf (stderr, "Can't open output file `%s': %s\n",
 987                                                  argv [i]+9, strerror (errno));
 988                                         exit (1);
 989                                 }
 990                                 continue;
 991                         } else if (strcmp (argv [i], "--help") == 0)
 992                                 usage ();
 993                         for (j = 0; table_list [j].name != NULL; j++) {
 994                                 if (strcmp (argv [i], table_list [j].name) == 0)
 995                                         dump_table = j;
 996                         }
 997                         if (dump_table < 0)
 998                                 usage ();
 999                 } else
1000                         input_files = g_list_append (input_files, argv [i]);
1001         }
1002
1003         if (input_files == NULL)
1004                 usage ();
1005
1006         mono_init (argv [0]);
1007
1008         for (l = input_files; l; l = l->next)
1009                 disassemble_file (l->data);
1010
1011         return 0;
1012 }