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