2005-09-30 Gonzalo Paniagua Javier <gonzalo@ximian.com>
[mono.git] / mono / dis / main.c
index 99969547d906b998767036a4756e9b9a9b247056..8242bb9970b8f51f8fb0f8458abd215f8a2e4892 100644 (file)
 #include <glib.h>
 #include <stdlib.h>
 #include <errno.h>
+#include <fcntl.h>
 #include "meta.h"
 #include "util.h"
 #include "dump.h"
 #include "get.h"
 #include "dis-cil.h"
+#include <mono/metadata/class-internals.h>
+#include <mono/metadata/object-internals.h>
 #include <mono/metadata/loader.h>
 #include <mono/metadata/assembly.h>
 #include <mono/metadata/appdomain.h>
 
+static void     setup_filter          (MonoImage *image);
+static gboolean should_include_type   (int idx);
+static gboolean should_include_method (int idx);
+static gboolean should_include_field  (int idx);
+
 FILE *output;
 
 /* True if you want to get a dump of the header data */
 gboolean dump_header_data_p = FALSE;
 
+/* True if you want to get forward declarations */
+gboolean dump_forward_decls = FALSE;
+
+/* True if you want to dump managed resources as files */
+gboolean dump_managed_resources = FALSE;
+
 gboolean substitute_with_mscorlib_p = FALSE;
 
 int dump_table = -1;
@@ -48,11 +62,10 @@ dump_header_data (MonoImage *img)
 }
 
 static void
-dump_cattrs (MonoImage *m, guint32 token, const char *indent)
+dump_cattrs_list (GList *list,  const char *indent)
 {
-       GList *tmp, *list;
+       GList *tmp;
 
-       list = dis_get_custom_attrs (m, token);
        for (tmp = list; tmp; tmp = tmp->next) {
                fprintf (output, "%s%s\n", indent, (char*)tmp->data);
                g_free (tmp->data);
@@ -60,6 +73,86 @@ dump_cattrs (MonoImage *m, guint32 token, const char *indent)
        g_list_free (list);
 }
 
+static void
+dump_cattrs (MonoImage *m, guint32 token, const char *indent)
+{
+       GList *list;
+
+       list = dis_get_custom_attrs (m, token);
+       dump_cattrs_list (list, indent);
+}
+
+static const char*
+get_il_security_action (int val) 
+{
+       static char buf [32];
+
+       switch (val) {
+       case SECURITY_ACTION_DEMAND:
+               return "demand";
+       case SECURITY_ACTION_ASSERT:
+               return "assert";
+       case SECURITY_ACTION_DENY:
+               return "deny";
+       case SECURITY_ACTION_PERMITONLY:
+               return "permitonly";
+       case SECURITY_ACTION_LINKDEMAND:
+               return "linkcheck";
+       case SECURITY_ACTION_INHERITDEMAND:
+               return "inheritcheck";
+       case SECURITY_ACTION_REQMIN:
+               return "reqmin";
+       case SECURITY_ACTION_REQOPT:
+               return "reqopt";
+       case SECURITY_ACTION_REQREFUSE:
+               return "reqrefuse";
+       /* Special actions (for non CAS permissions) */
+       case SECURITY_ACTION_NONCASDEMAND:
+               return "noncasdemand";
+       case SECURITY_ACTION_NONCASLINKDEMAND:
+               return "noncaslinkdemand";
+       case SECURITY_ACTION_NONCASINHERITANCE:
+               return "noncasinheritance";
+       /* Fx 2.0 actions (for both CAS and non-CAS permissions) */
+       case SECURITY_ACTION_LINKDEMANDCHOICE:
+               return "linkdemandor";
+       case SECURITY_ACTION_INHERITDEMANDCHOICE:
+               return "inheritancedemandor";
+       case SECURITY_ACTION_DEMANDCHOICE:
+               return "demandor";
+       default:
+               g_snprintf (buf, sizeof (buf), "0x%04X", val);
+               return buf;
+       }
+}
+
+#define OBJECT_TYPE_TYPEDEF    0
+#define OBJECT_TYPE_METHODDEF  1
+#define OBJECT_TYPE_ASSEMBLYDEF        2
+
+static void
+dump_declarative_security (MonoImage *m, guint32 objectType, guint32 token, const char *indent)
+{
+       MonoTableInfo *t = &m->tables [MONO_TABLE_DECLSECURITY];
+       guint32 cols [MONO_DECL_SECURITY_SIZE];
+       int i, len;
+       guint32 idx;
+       const char *blob, *action;
+       
+       for (i = 1; i <= t->rows; i++) {
+               mono_metadata_decode_row (t, i - 1, cols, MONO_DECL_SECURITY_SIZE);
+               blob = mono_metadata_blob_heap (m, cols [MONO_DECL_SECURITY_PERMISSIONSET]);
+               len = mono_metadata_decode_blob_size (blob, &blob);
+               action = get_il_security_action (cols [MONO_DECL_SECURITY_ACTION]);
+               idx = cols [MONO_DECL_SECURITY_PARENT];
+               if (((idx & MONO_HAS_DECL_SECURITY_MASK) == objectType) && ((idx >> MONO_HAS_DECL_SECURITY_BITS) == token)) {
+                       char *dump = data_dump (blob, len, indent);
+                       fprintf (output, "%s.permissionset %s = %s", indent, action, dump);
+                       g_free (dump);
+               }
+       }
+}
+
 static void
 dis_directive_assembly (MonoImage *m)
 {
@@ -74,6 +167,7 @@ dis_directive_assembly (MonoImage *m)
        fprintf (output, ".assembly '%s'\n{\n",
                 mono_metadata_string_heap (m, cols [MONO_ASSEMBLY_NAME]));
        dump_cattrs (m, MONO_TOKEN_ASSEMBLY | 1, "  ");
+       dump_declarative_security (m, OBJECT_TYPE_ASSEMBLYDEF, 1, "  ");
        fprintf (output,
                 "  .hash algorithm 0x%08x\n"
                 "  .ver  %d:%d:%d:%d\n",
@@ -103,17 +197,33 @@ dis_directive_assemblyref (MonoImage *m)
                return;
 
        for (i = 0; i < t->rows; i++){
+               char *esc;
+
                mono_metadata_decode_row (t, i, cols, MONO_ASSEMBLYREF_SIZE);
 
+               esc = get_escaped_name (mono_metadata_string_heap (m, cols [MONO_ASSEMBLYREF_NAME]));
+               
                fprintf (output,
                         ".assembly extern %s\n"
                         "{\n"
-                        "  .ver %d:%d:%d:%d\n"
-                        "}\n",
-                        mono_metadata_string_heap (m, cols [MONO_ASSEMBLYREF_NAME]),
+                        "  .ver %d:%d:%d:%d\n",
+                        esc,
                         cols [MONO_ASSEMBLYREF_MAJOR_VERSION], cols [MONO_ASSEMBLYREF_MINOR_VERSION], 
                         cols [MONO_ASSEMBLYREF_BUILD_NUMBER], cols [MONO_ASSEMBLYREF_REV_NUMBER]
                        );
+               dump_cattrs (m, MONO_TOKEN_ASSEMBLY_REF | (i + 1), "  ");
+               if (cols [MONO_ASSEMBLYREF_CULTURE]){
+                       fprintf (output, "  .locale %s\n", mono_metadata_string_heap (m, cols [MONO_ASSEMBLYREF_CULTURE]));
+               }
+               if (cols [MONO_ASSEMBLYREF_PUBLIC_KEY]){
+                       const char* b = mono_metadata_blob_heap (m, cols [MONO_ASSEMBLYREF_PUBLIC_KEY]);
+                       int len = mono_metadata_decode_blob_size (b, &b);
+                       char *dump = data_dump (b, len, "\t\t");
+                       fprintf (output, "  .publickeytoken =%s", dump);
+                       g_free (dump);
+               }
+               fprintf (output, "}\n");
+               g_free (esc);
        }
 }
 
@@ -148,16 +258,22 @@ dis_directive_moduleref (MonoImage *m)
 
        for (i = 0; i < t->rows; i++){
                guint32 cols [MONO_MODULEREF_SIZE];
-               const char *name;
                
                mono_metadata_decode_row (t, i, cols, MONO_MODULEREF_SIZE);
 
-               name = mono_metadata_string_heap (m, cols [MONO_MODULEREF_NAME]);
-               fprintf (output, ".module extern %s\n", name);
+               fprintf (output, ".module extern '%s'\n", mono_metadata_string_heap (m, cols [MONO_MODULEREF_NAME]));
        }
        
 }
 
+static void
+dis_nt_header (MonoImage *m)
+{
+       MonoCLIImageInfo *image_info = m->image_info;
+       if (image_info && image_info->cli_header.nt.pe_stack_reserve != 0x100000)
+               fprintf (output, ".stackreserve 0x%x\n", image_info->cli_header.nt.pe_stack_reserve);
+}
+
 static void
 dis_directive_file (MonoImage *m)
 {
@@ -179,8 +295,8 @@ dis_directive_file (MonoImage *m)
                hash = mono_metadata_blob_heap (m, cols [MONO_FILE_HASH_VALUE]);
                len = mono_metadata_decode_blob_size (hash, &hash);
 
-               fprintf (output, ".file %s%s .hash = (", name,
-                               cols [MONO_FILE_FLAGS] & FILE_CONTAINS_NO_METADATA ? " nometadata" : "");
+               fprintf (output, ".file %s%s .hash = (",
+                               cols [MONO_FILE_FLAGS] & FILE_CONTAINS_NO_METADATA ? "nometadata " : "", name);
 
                for (j = 0; j < len; ++j)
                        fprintf (output, " %02X", hash [j] & 0xff);
@@ -191,15 +307,50 @@ dis_directive_file (MonoImage *m)
        
 }
 
+static void
+dis_directive_mresource (MonoImage *m)
+{
+       MonoTableInfo *t = &m->tables [MONO_TABLE_MANIFESTRESOURCE];
+       int i;
+
+       for (i = 0; i < t->rows; i++){
+               guint32 cols [MONO_MANIFEST_SIZE];
+               const char *name;
+               guint32 impl, idx, name_token;
+
+               mono_metadata_decode_row (t, i, cols, MONO_MANIFEST_SIZE);
+
+               name = mono_metadata_string_heap (m, cols [MONO_MANIFEST_NAME]);
+
+               fprintf (output, ".mresource %s '%s'\n", (cols [MONO_MANIFEST_FLAGS] & MANIFEST_RESOURCE_VISIBILITY_MASK) == (MANIFEST_RESOURCE_PUBLIC) ? "public" : "private", name);
+               fprintf (output, "{\n");
+               impl = cols [MONO_MANIFEST_IMPLEMENTATION];
+               if (impl) {
+                       idx = impl >> MONO_IMPLEMENTATION_BITS;
+                       if ((impl & MONO_IMPLEMENTATION_MASK) == MONO_IMPLEMENTATION_FILE) {
+                               name_token = mono_metadata_decode_row_col (&m->tables [MONO_TABLE_FILE], idx - 1, MONO_FILE_NAME);
+
+                               fprintf (output, "    .file '%s' at 0x0\n", mono_metadata_string_heap (m, name_token));
+                       }
+                       if ((impl & MONO_IMPLEMENTATION_MASK) == MONO_IMPLEMENTATION_ASSEMBLYREF) {
+                               name_token = mono_metadata_decode_row_col (&m->tables [MONO_TABLE_ASSEMBLYREF], idx - 1, MONO_ASSEMBLYREF_NAME);
+                               fprintf (output, "    .assembly extern '%s'\n", mono_metadata_string_heap (m, name_token));
+                       }
+               }                               
+               fprintf (output, "}\n");
+       }
+       
+}
+
 static dis_map_t visibility_map [] = {
        { TYPE_ATTRIBUTE_NOT_PUBLIC,           "private " },
        { TYPE_ATTRIBUTE_PUBLIC,               "public " },
        { TYPE_ATTRIBUTE_NESTED_PUBLIC,        "nested public " },
        { TYPE_ATTRIBUTE_NESTED_PRIVATE,       "nested private " },
        { TYPE_ATTRIBUTE_NESTED_FAMILY,        "nested family " },
-       { TYPE_ATTRIBUTE_NESTED_ASSEMBLY,      "nested assembly" },
-       { TYPE_ATTRIBUTE_NESTED_FAM_AND_ASSEM, "nested famandassem" },
-       { TYPE_ATTRIBUTE_NESTED_FAM_OR_ASSEM,  "nested famorassem" },
+       { TYPE_ATTRIBUTE_NESTED_ASSEMBLY,      "nested assembly " },
+       { TYPE_ATTRIBUTE_NESTED_FAM_AND_ASSEM, "nested famandassem " },
+       { TYPE_ATTRIBUTE_NESTED_FAM_OR_ASSEM,  "nested famorassem " },
        { 0, NULL }
 };
 
@@ -256,7 +407,7 @@ typedef_flags (guint32 flags)
  * This routine displays all the decoded fields from @start to @end
  */
 static void
-dis_field_list (MonoImage *m, guint32 start, guint32 end)
+dis_field_list (MonoImage *m, guint32 start, guint32 end, MonoGenericContext *context)
 {
        MonoTableInfo *t = &m->tables [MONO_TABLE_FIELD];
        guint32 cols [MONO_FIELD_SIZE];
@@ -272,11 +423,23 @@ dis_field_list (MonoImage *m, guint32 start, guint32 end)
                        
        for (i = start; i < end; i++){
                char *sig, *flags, *attrs = NULL;
+               char *marshal_str = NULL;
                guint32 field_offset = -1;
-               
+
+               if (!should_include_field (i + 1))
+                       continue;
                mono_metadata_decode_row (t, i, cols, MONO_FIELD_SIZE);
-               sig = get_field_signature (m, cols [MONO_FIELD_SIGNATURE]);
+               sig = get_field_signature (m, cols [MONO_FIELD_SIGNATURE], context);
                flags = field_flags (cols [MONO_FIELD_FLAGS]);
+               
+               if (cols [MONO_FIELD_FLAGS] & FIELD_ATTRIBUTE_HAS_FIELD_MARSHAL) {
+                       const char *tp;
+                       MonoMarshalSpec *spec;
+                       
+                       tp = mono_metadata_get_marshal_info (m, i, TRUE);
+                       spec = mono_metadata_parse_marshal_spec (m, tp);
+                       marshal_str = dis_stringify_marshal_spec (spec);
+               }
 
                if (cols [MONO_FIELD_FLAGS] & FIELD_ATTRIBUTE_HAS_FIELD_RVA) {
                        mono_metadata_field_info (m, i, NULL, &rva, NULL);
@@ -289,7 +452,7 @@ dis_field_list (MonoImage *m, guint32 start, guint32 end)
                if (field_offset != -1)
                        attrs = g_strdup_printf ("[%d]", field_offset);
                esname = get_escaped_name (mono_metadata_string_heap (m, cols [MONO_FIELD_NAME]));
-               if (cols [MONO_FIELD_FLAGS] & FIELD_ATTRIBUTE_LITERAL){
+               if (cols [MONO_FIELD_FLAGS] & FIELD_ATTRIBUTE_HAS_DEFAULT){
                        char *lit;
                        guint32 const_cols [MONO_CONSTANT_SIZE];
                        guint32 crow;
@@ -301,16 +464,16 @@ dis_field_list (MonoImage *m, guint32 start, guint32 end)
                                lit = g_strdup ("not found");
                        }
                        
-                       
-                       fprintf (output, "    .field %s %s %s = ",
-                                flags, sig, esname);
+                       fprintf (output, "    .field %s%s%s %s = ",
+                                flags, marshal_str ? marshal_str : " ", sig, esname);
                        fprintf (output, "%s\n", lit);
                        g_free (lit);
                } else
-                       fprintf (output, "    .field %s %s %s %s%s\n",
-                                attrs? attrs: "", flags, sig, esname, rva_desc);
+                       fprintf (output, "    .field %s %s%s%s %s%s\n",
+                                attrs? attrs: "", flags, marshal_str ? marshal_str : " ", sig, esname, rva_desc);
                g_free (attrs);
                g_free (flags);
+               g_free (marshal_str);
                g_free (sig);
                g_free (esname);
                dump_cattrs (m, MONO_TOKEN_FIELD_DEF | (i + 1), "    ");
@@ -318,7 +481,7 @@ dis_field_list (MonoImage *m, guint32 start, guint32 end)
 }
 
 static dis_map_t method_access_map [] = {
-       { METHOD_ATTRIBUTE_COMPILER_CONTROLLED, "compilercontrolled " },
+       { METHOD_ATTRIBUTE_COMPILER_CONTROLLED, "privatescope " },
        { METHOD_ATTRIBUTE_PRIVATE,             "private " },
        { METHOD_ATTRIBUTE_FAM_AND_ASSEM,       "famandassem " },
        { METHOD_ATTRIBUTE_ASSEM,               "assembly " },
@@ -338,7 +501,8 @@ static dis_map_t method_flags_map [] = {
        { METHOD_ATTRIBUTE_SPECIAL_NAME,        "specialname " },
        { METHOD_ATTRIBUTE_RT_SPECIAL_NAME,     "rtspecialname " },
        { METHOD_ATTRIBUTE_UNMANAGED_EXPORT,    "export " },
-       { METHOD_ATTRIBUTE_HAS_SECURITY,        "hassecurity" },
+/* MS ilasm doesn't compile this statement - is must be added automagically when permissionset are present */
+/*     { METHOD_ATTRIBUTE_HAS_SECURITY,        "hassecurity" }, */
        { METHOD_ATTRIBUTE_REQUIRE_SEC_OBJECT,  "requiresecobj" },
        { METHOD_ATTRIBUTE_PINVOKE_IMPL,        "pinvokeimpl " }, 
        { 0, NULL }
@@ -368,6 +532,10 @@ method_flags (guint32 f)
 static dis_map_t pinvoke_flags_map [] = {
        { PINVOKE_ATTRIBUTE_NO_MANGLE ,            "nomangle " },
        { PINVOKE_ATTRIBUTE_SUPPORTS_LAST_ERROR,   "lasterr " },
+       { PINVOKE_ATTRIBUTE_BEST_FIT_ENABLED,      "bestfit:on" },
+       { PINVOKE_ATTRIBUTE_BEST_FIT_DISABLED,      "bestfit:off" },
+       { PINVOKE_ATTRIBUTE_THROW_ON_UNMAPPABLE_ENABLED, "charmaperror:on" },
+       { PINVOKE_ATTRIBUTE_THROW_ON_UNMAPPABLE_DISABLED, "charmaperror:off" },
        { 0, NULL }
 };
 
@@ -377,7 +545,8 @@ static dis_map_t pinvoke_call_conv_map [] = {
        { PINVOKE_ATTRIBUTE_CALL_CONV_STDCALL,     "stdcall " },
        { PINVOKE_ATTRIBUTE_CALL_CONV_THISCALL,    "thiscall " },
        { PINVOKE_ATTRIBUTE_CALL_CONV_FASTCALL,    "fastcall " },
-       { 0, NULL }
+       { 0, "" },
+       { -1, NULL }
 };
 
 static dis_map_t pinvoke_char_set_map [] = {
@@ -400,7 +569,7 @@ pinvoke_flags (guint32 f)
        int cset = f & PINVOKE_ATTRIBUTE_CHAR_SET_MASK;
        int cconv = f & PINVOKE_ATTRIBUTE_CALL_CONV_MASK;
        char *s;
-       
+
        g_string_append (str, map (cset, pinvoke_char_set_map));
        g_string_append (str, map (cconv, pinvoke_call_conv_map));
        g_string_append (str, flags (f, pinvoke_flags_map));
@@ -430,7 +599,7 @@ static dis_map_t managed_impl_flags [] = {
        { METHOD_IMPL_ATTRIBUTE_PRESERVE_SIG,    "preservesig " },
        { METHOD_IMPL_ATTRIBUTE_INTERNAL_CALL,   "internalcall " },
        { METHOD_IMPL_ATTRIBUTE_SYNCHRONIZED,    "synchronized " },
-       { METHOD_IMPL_ATTRIBUTE_NOINLINING,      "noinline " },
+       { METHOD_IMPL_ATTRIBUTE_NOINLINING,      "noinlining " },
        { 0, NULL }
 };
 
@@ -452,17 +621,44 @@ method_impl_flags (guint32 f)
 }
 
 static void
-dis_locals (MonoImage *m, MonoMethodHeader *mh) 
+dis_locals (MonoImage *m, MonoMethodHeader *mh, const char *ptr
 {
        int i;
 
-       fprintf(output, "\t.locals %s(\n", mh->init_locals ? "init " : "");
+       if (show_tokens) {
+               unsigned char flags = *(const unsigned char *) ptr;
+               unsigned char format = flags & METHOD_HEADER_FORMAT_MASK;
+               guint16 fat_flags;
+               guint32 local_var_sig_tok, max_stack, code_size, init_locals;
+               int hsize;
+
+               g_assert (format == METHOD_HEADER_FAT_FORMAT);
+               fat_flags = read16 (ptr);
+               ptr += 2;
+               hsize = (fat_flags >> 12) & 0xf;
+               max_stack = read16 (ptr);
+               ptr += 2;
+               code_size = read32 (ptr);
+               ptr += 4;
+               local_var_sig_tok = read32 (ptr);
+               ptr += 4;
+
+               if (fat_flags & METHOD_HEADER_INIT_LOCALS)
+                       init_locals = 1;
+               else
+                       init_locals = 0;
+
+               fprintf(output, "\t.locals /*%08x*/ %s(\n",
+                       local_var_sig_tok, init_locals ? "init " : "");
+       } else
+               fprintf(output, "\t.locals %s(\n", mh->init_locals ? "init " : "");
+
        for (i=0; i < mh->num_locals; ++i) {
                char * desc;
                if (i)
                        fprintf(output, ",\n");
                /* print also byref and pinned attributes */
-               desc = dis_stringify_type (m, mh->locals[i]);
+               desc = dis_stringify_type (m, mh->locals[i], TRUE);
                fprintf(output, "\t\t%s\tV_%d", desc, i);
                g_free(desc);
        }
@@ -470,18 +666,24 @@ dis_locals (MonoImage *m, MonoMethodHeader *mh)
 }
 
 static void
-dis_code (MonoImage *m, guint32 rva)
+dis_code (MonoImage *m, guint32 token, guint32 rva, MonoGenericContext *context)
 {
        MonoMethodHeader *mh;
-       MonoCLIImageInfo *ii = m->image_info;
-       const char *ptr = mono_cli_rva_map (ii, rva);
+       const char *ptr = mono_image_rva_map (m, rva);
        const char *loc;
+       gchar *override;
        guint32 entry_point;
 
        if (rva == 0)
                return;
 
-       mh = mono_metadata_parse_mh (m, ptr);
+       override = get_method_override (m, token, context);
+       if (override) {
+               fprintf (output, "\t.override %s\n", override);
+               g_free (override);
+       }
+
+       mh = mono_metadata_parse_mh_full (m, context, ptr);
        if ((entry_point = mono_image_get_entry_point (m))){
                loc = mono_metadata_locate_token (m, entry_point);
                if (rva == read32 (loc))
@@ -491,8 +693,8 @@ dis_code (MonoImage *m, guint32 rva)
        fprintf (output, "\t// Code size %d (0x%x)\n", mh->code_size, mh->code_size);
        fprintf (output, "\t.maxstack %d\n", mh->max_stack);
        if (mh->num_locals)
-               dis_locals (m, mh);
-       dissasemble_cil (m, mh);
+               dis_locals (m, mh, ptr);
+       dissasemble_cil (m, mh, context);
        
 /*
   hex_dump (mh->code, 0, mh->code_size);
@@ -538,10 +740,10 @@ pinvoke_info (MonoImage *m, guint32 mindex)
 }
 
 static void
-cattrs_for_method (MonoImage *m, guint32 midx, MonoMethodSignature *sig) {
+dump_cattrs_for_method_params (MonoImage *m, guint32 midx, MonoMethodSignature *sig) {
        MonoTableInfo *methodt;
        MonoTableInfo *paramt;
-       guint param_index, lastp, i, pid;
+       guint param_index, lastp, i;
 
        methodt = &m->tables [MONO_TABLE_METHOD];
        paramt = &m->tables [MONO_TABLE_PARAM];
@@ -551,9 +753,32 @@ cattrs_for_method (MonoImage *m, guint32 midx, MonoMethodSignature *sig) {
        else
                lastp = paramt->rows + 1;
        for (i = param_index; i < lastp; ++i) {
-               pid = mono_metadata_decode_row_col (paramt, i - 1, MONO_PARAM_SEQUENCE);
-               fprintf (output, "\t.param [%d]\n", pid);
-               dump_cattrs (m, MONO_TOKEN_PARAM_DEF | i, "\t");
+               char *lit;
+               int crow;
+               guint32 param_cols [MONO_PARAM_SIZE];
+               GList *list;
+               
+               list = dis_get_custom_attrs (m, MONO_TOKEN_PARAM_DEF | i);
+
+               mono_metadata_decode_row (paramt, i-1, param_cols, MONO_PARAM_SIZE);
+               if (!(param_cols[MONO_PARAM_FLAGS] & PARAM_ATTRIBUTE_HAS_DEFAULT)) {
+                       if(list != NULL)
+                               fprintf (output, "\t.param [%d]\n", param_cols[MONO_PARAM_SEQUENCE]);
+               } else {
+                       fprintf (output, "\t.param [%d] = ", param_cols[MONO_PARAM_SEQUENCE]);
+                 
+                       if ((crow = mono_metadata_get_constant_index(m, MONO_TOKEN_PARAM_DEF | i, 0))) {
+                               guint32 const_cols [MONO_CONSTANT_SIZE];
+                               mono_metadata_decode_row( &m->tables[MONO_TABLE_CONSTANT], crow-1, const_cols, MONO_CONSTANT_SIZE);
+                               lit = get_constant(m, const_cols [MONO_CONSTANT_TYPE], const_cols [MONO_CONSTANT_VALUE]);
+                       }
+                       else {
+                               lit = g_strdup ("not found");
+                       }
+                 fprintf(output, "%s\n", lit);
+                 g_free(lit);
+               }
+               dump_cattrs_list (list, "\t");
        }
 }
 
@@ -566,7 +791,7 @@ cattrs_for_method (MonoImage *m, guint32 midx, MonoMethodSignature *sig) {
  * This routine displays the methods in the Method Table from @start to @end
  */
 static void
-dis_method_list (const char *klass_name, MonoImage *m, guint32 start, guint32 end)
+dis_method_list (const char *klass_name, MonoImage *m, guint32 start, guint32 end, MonoGenericContext *context)
 {
        MonoTableInfo *t = &m->tables [MONO_TABLE_METHOD];
        guint32 cols [MONO_METHOD_SIZE];
@@ -580,10 +805,15 @@ dis_method_list (const char *klass_name, MonoImage *m, guint32 start, guint32 en
 
        for (i = start; i < end; i++){
                MonoMethodSignature *ms;
+               MonoGenericContainer *container;
+               MonoGenericContext *method_context = context;
                char *flags, *impl_flags;
                const char *sig;
                char *sig_str;
-               
+               guint32 token;
+
+               if (!should_include_method (i + 1))
+                       continue;
                mono_metadata_decode_row (t, i, cols, MONO_METHOD_SIZE);
 
                flags = method_flags (cols [MONO_METHOD_FLAGS]);
@@ -591,8 +821,14 @@ dis_method_list (const char *klass_name, MonoImage *m, guint32 start, guint32 en
 
                sig = mono_metadata_blob_heap (m, cols [MONO_METHOD_SIGNATURE]);
                mono_metadata_decode_blob_size (sig, &sig);
-               ms = mono_metadata_parse_method_signature (m, i + 1, sig, &sig);
-               sig_str = dis_stringify_method_signature (m, ms, i + 1, FALSE);
+
+               container = mono_metadata_load_generic_params (
+                       m, MONO_TOKEN_METHOD_DEF | (i + 1), context ? context->container : NULL);
+               if (container)
+                       method_context = (MonoGenericContext *) container;
+
+               ms = mono_metadata_parse_method_signature_full (m, method_context, i + 1, sig, &sig);
+               sig_str = dis_stringify_method_signature (m, ms, i + 1, method_context, FALSE);
 
                fprintf (output, "    // method line %d\n", i + 1);
                fprintf (output, "    .method %s", flags);
@@ -609,16 +845,19 @@ dis_method_list (const char *klass_name, MonoImage *m, guint32 start, guint32 en
                fprintf (output, " %s\n", impl_flags);
                g_free (flags);
                g_free (impl_flags);
+
+               token = MONO_TOKEN_METHOD_DEF | (i + 1);
                
                fprintf (output, "    {\n");
-               dump_cattrs (m, MONO_TOKEN_METHOD_DEF | (i + 1), "        ");
-               cattrs_for_method (m, i, ms);
+               dump_cattrs (m, token, "        ");
+               dump_cattrs_for_method_params (m, i, ms);
                /* FIXME: need to sump also param custom attributes */
                fprintf (output, "        // Method begins at RVA 0x%x\n", cols [MONO_METHOD_RVA]);
+               dump_declarative_security (m, OBJECT_TYPE_METHODDEF, i + 1, "        ");
                if (cols [MONO_METHOD_IMPLFLAGS] & METHOD_IMPL_ATTRIBUTE_NATIVE)
                        fprintf (output, "          // Disassembly of native methods is not supported\n");
                else
-                       dis_code (m, cols [MONO_METHOD_RVA]);
+                       dis_code (m, token, cols [MONO_METHOD_RVA], method_context);
                fprintf (output, "    } // end of method %s::%s\n\n", klass_name, sig_str);
                mono_metadata_free_method_signature (ms);
                g_free (sig_str);
@@ -653,7 +892,7 @@ table_locator (const void *a, const void *b)
 }
 
 static void
-dis_property_methods (MonoImage *m, guint32 prop)
+dis_property_methods (MonoImage *m, guint32 prop, MonoGenericContext *context)
 {
        guint start, end;
        MonoTableInfo *msemt = &m->tables [MONO_TABLE_METHODSEMANTICS];
@@ -662,17 +901,17 @@ dis_property_methods (MonoImage *m, guint32 prop)
        const char *type[] = {NULL, ".set", ".get", NULL, ".other"};
 
        start = mono_metadata_methods_from_property (m, prop, &end);
-       while (start < end) {
+       for (; start < end; ++start) {
                mono_metadata_decode_row (msemt, start, cols, MONO_METHOD_SEMA_SIZE);
-               sig = dis_stringify_method_signature (m, NULL, cols [MONO_METHOD_SEMA_METHOD], TRUE);
+               if (!should_include_method (cols [MONO_METHOD_SEMA_METHOD]))
+                       continue;
+               sig = dis_stringify_method_signature (m, NULL, cols [MONO_METHOD_SEMA_METHOD], context, TRUE);
                fprintf (output, "\t\t%s %s\n", type [cols [MONO_METHOD_SEMA_SEMANTICS]], sig);
                g_free (sig);
-               ++start;
        }
 }
-
 static char*
-dis_property_signature (MonoImage *m, guint32 prop_idx)
+dis_property_signature (MonoImage *m, guint32 prop_idx, MonoGenericContext *context)
 {
        MonoTableInfo *propt = &m->tables [MONO_TABLE_PROPERTY];
        const char *ptr;
@@ -680,7 +919,7 @@ dis_property_signature (MonoImage *m, guint32 prop_idx)
        guint32 cols [MONO_PROPERTY_SIZE];
        MonoType *type;
        MonoType *param;
-       char *blurb;
+       char *blurb, *qk;
        const char *name;
        int prop_flags;
        GString *res = g_string_new ("");
@@ -695,19 +934,21 @@ dis_property_signature (MonoImage *m, guint32 prop_idx)
                g_warning("incorrect signature in propert blob: 0x%x", *ptr);
        ptr++;
        pcount = mono_metadata_decode_value (ptr, &ptr);
-       type = mono_metadata_parse_type (m, MONO_PARSE_TYPE, 0, ptr, &ptr);
-       blurb = dis_stringify_type (m, type);
+       type = mono_metadata_parse_type_full (m, context, MONO_PARSE_TYPE, 0, ptr, &ptr);
+       blurb = dis_stringify_type (m, type, TRUE);
        if (prop_flags & 0x0200)
                g_string_append (res, "specialname ");
        if (prop_flags & 0x0400)
                g_string_append (res, "rtspecialname ");
-       g_string_sprintfa (res, "%s %s (", blurb, name);
+       qk = get_escaped_name (name);
+       g_string_sprintfa (res, "%s %s (", blurb, qk);
+       g_free (qk);
        g_free (blurb);
        mono_metadata_free_type (type);
        for (i = 0; i < pcount; i++) {
                if (i)
                        g_string_append (res, ", ");
-               param = mono_metadata_parse_param (m, ptr, &ptr);
+               param = mono_metadata_parse_type_full (m, context, MONO_PARSE_PARAM, 0, ptr, &ptr);
                blurb = dis_stringify_param (m, param);
                g_string_append (res, blurb);
                mono_metadata_free_type (param);
@@ -721,23 +962,23 @@ dis_property_signature (MonoImage *m, guint32 prop_idx)
 }
 
 static void
-dis_property_list (MonoImage *m, guint32 typedef_row)
+dis_property_list (MonoImage *m, guint32 typedef_row, MonoGenericContext *context)
 {
        guint start, end, i;
        start = mono_metadata_properties_from_typedef (m, typedef_row, &end);
 
        for (i = start; i < end; ++i) {
-               char *sig = dis_property_signature (m, i);
+               char *sig = dis_property_signature (m, i, context);
                fprintf (output, "\t.property %s\n\t{\n", sig);
                dump_cattrs (m, MONO_TOKEN_PROPERTY | (i + 1), "\t\t");
-               dis_property_methods (m, i);
+               dis_property_methods (m, i, context);
                fprintf (output, "\t}\n");
                g_free (sig);
        }
 }
 
 static char*
-dis_event_signature (MonoImage *m, guint32 event_idx)
+dis_event_signature (MonoImage *m, guint32 event_idx, MonoGenericContext *context)
 {
        MonoTableInfo *et = &m->tables [MONO_TABLE_EVENT];
        char *type, *result, *esname;
@@ -747,7 +988,7 @@ dis_event_signature (MonoImage *m, guint32 event_idx)
        
        mono_metadata_decode_row (et, event_idx, cols, MONO_EVENT_SIZE);
        esname = get_escaped_name (mono_metadata_string_heap (m, cols [MONO_EVENT_NAME]));
-       type = get_typedef_or_ref (m, cols [MONO_EVENT_TYPE]);
+       type = get_typedef_or_ref (m, cols [MONO_EVENT_TYPE], context);
        event_flags = cols [MONO_EVENT_FLAGS];
 
        if (event_flags & 0x0200)
@@ -764,7 +1005,7 @@ dis_event_signature (MonoImage *m, guint32 event_idx)
 }
 
 static void
-dis_event_methods (MonoImage *m, guint32 event)
+dis_event_methods (MonoImage *m, guint32 event, MonoGenericContext *context)
 {
        guint start, end;
        MonoTableInfo *msemt = &m->tables [MONO_TABLE_METHODSEMANTICS];
@@ -773,9 +1014,11 @@ dis_event_methods (MonoImage *m, guint32 event)
        const char *type = "";
 
        start = mono_metadata_methods_from_event (m, event, &end);
-       while (start < end) {
+       for (; start < end; ++start) {
                mono_metadata_decode_row (msemt, start, cols, MONO_METHOD_SEMA_SIZE);
-               sig = dis_stringify_method_signature (m, NULL, cols [MONO_METHOD_SEMA_METHOD], TRUE);
+               if (!should_include_method (cols [MONO_METHOD_SEMA_METHOD]))
+                       continue;
+               sig = dis_stringify_method_signature (m, NULL, cols [MONO_METHOD_SEMA_METHOD], context, TRUE);
                switch (cols [MONO_METHOD_SEMA_SEMANTICS]) {
                case METHOD_SEMANTIC_OTHER:
                        type = ".other"; break;
@@ -790,28 +1033,27 @@ dis_event_methods (MonoImage *m, guint32 event)
                }
                fprintf (output, "\t\t%s %s\n", type, sig);
                g_free (sig);
-               ++start;
        }
 }
 
 static void
-dis_event_list (MonoImage *m, guint32 typedef_row)
+dis_event_list (MonoImage *m, guint32 typedef_row, MonoGenericContext *context)
 {
        guint start, end, i;
        start = mono_metadata_events_from_typedef (m, typedef_row, &end);
 
        for (i = start; i < end; ++i) {
-               char *sig = dis_event_signature (m, i);
+               char *sig = dis_event_signature (m, i, context);
                fprintf (output, "\t.event %s\n\t{\n", sig);
                dump_cattrs (m, MONO_TOKEN_EVENT | (i + 1), "\t\t");
-               dis_event_methods (m, i);
+               dis_event_methods (m, i, context);
                fprintf (output, "\t}\n");
                g_free (sig);
        }
 }
 
 static void
-dis_interfaces (MonoImage *m, guint32 typedef_row)
+dis_interfaces (MonoImage *m, guint32 typedef_row, MonoGenericContext *context)
 {
        plocator_t loc;
        guint start;
@@ -844,7 +1086,7 @@ dis_interfaces (MonoImage *m, guint32 typedef_row)
                mono_metadata_decode_row (table, start, cols, MONO_INTERFACEIMPL_SIZE);
                if (cols [MONO_INTERFACEIMPL_CLASS] != loc.idx)
                        break;
-               intf = get_typedef_or_ref (m, cols [MONO_INTERFACEIMPL_INTERFACE]);
+               intf = get_typedef_or_ref (m, cols [MONO_INTERFACEIMPL_INTERFACE], context);
                if (first_interface) {
                        fprintf (output, "  \timplements %s", intf);
                        first_interface = 0;
@@ -856,86 +1098,30 @@ dis_interfaces (MonoImage *m, guint32 typedef_row)
        }
 }
 
-/**
- * dis_generic_param_and_constraints:
- * @m: metadata context
- * @table_type: Type of table (0 for typedef, 1 for methoddef)
- * @row: Row in table
- *
- * Dissasembles the generic parameters for this type or method, also
- * returns an allocated GString containing the generic constraints NULL
- * if their are no generic constraints.
- */
-static GString*
-dis_generic_param_and_constraints (MonoImage *m, int table_type, guint32 typedef_row)
-{
-        MonoTableInfo *t = &m->tables [MONO_TABLE_GENERICPARAM];
-        MonoTableInfo *ct = &m->tables [MONO_TABLE_GENERICPARAMCONSTRAINT];
-        GString* cnst_block = NULL;
-       guint32 cols [MONO_GENERICPARAM_SIZE];
-        guint32 ccols [MONO_GENPARCONSTRAINT_SIZE];
-       int i, own_tok, table, idx, found_count, cnst_start, cnst_ind;
-
-        g_assert (table_type != MONO_TYPEORMETHOD_TYPE || table_type != MONO_TYPEORMETHOD_METHOD);
-        
-        found_count = cnst_start = 0;
-       for (i = 1; i <= t->rows; i++) {
-               mono_metadata_decode_row (t, i-1, cols, MONO_GENERICPARAM_SIZE);
-                own_tok = cols [MONO_GENERICPARAM_OWNER];
-                table = own_tok & MONO_TYPEORMETHOD_MASK;
-                idx = own_tok >> MONO_TYPEORMETHOD_BITS;
-                
-                if (table != table_type || idx != typedef_row)
-                        continue;
-
-                if (found_count == 0)
-                        fprintf (output, "<%s", mono_metadata_string_heap (m, cols [MONO_GENERICPARAM_NAME]));
-                else
-                        fprintf (output, ", %s", mono_metadata_string_heap (m, cols [MONO_GENERICPARAM_NAME]));
-
-                for (cnst_ind = cnst_start; cnst_ind < ct->rows; cnst_ind++) {
-                        char *sig;
-                        mono_metadata_decode_row (ct, cnst_ind, ccols, MONO_GENPARCONSTRAINT_SIZE);
-                        if (ccols [MONO_GENPARCONSTRAINT_GENERICPAR] != i)
-                                continue;
-                        if (cnst_block == NULL)
-                                cnst_block = g_string_new ("");
-                        sig = get_typedef_or_ref (m, ccols [MONO_GENPARCONSTRAINT_CONSTRAINT]);
-                        g_string_append_printf (cnst_block, "    .constraint !%d is %s\n",
-                                        cols [MONO_GENERICPARAM_NUMBER], sig);
-                        g_free (sig);
-                        cnst_start = cnst_ind;
-                }
-                
-                found_count++;
-       }
-
-        if (found_count)
-                fprintf (output, ">");
-
-        return cnst_block;
-}
-
 /**
  * dis_type:
  * @m: metadata context
  * @n: index of type to disassemble
+ * @is_nested: nested type ?
+ * @forward: forward declarations?
  *
  * Disassembles the type whose index in the TypeDef table is @n.
  */
 static void
-dis_type (MonoImage *m, int n)
+dis_type (MonoImage *m, int n, int is_nested, int forward)
 {
        MonoTableInfo *t = &m->tables [MONO_TABLE_TYPEDEF];
-        GString *cnst_block = NULL;
        guint32 cols [MONO_TYPEDEF_SIZE];
        guint32 cols_next [MONO_TYPEDEF_SIZE];
        const char *name, *nspace;
-       char *esname;
+       char *esname, *param;
+       MonoGenericContainer *container;
        guint32 packing_size, class_size;
        gboolean next_is_valid, last;
        guint32 nested;
 
+       if (!should_include_type (n + 1))
+               return;
        mono_metadata_decode_row (t, n, cols, MONO_TYPEDEF_SIZE);
 
        if (t->rows > n + 1) {
@@ -946,69 +1132,84 @@ dis_type (MonoImage *m, int n)
 
        name = mono_metadata_string_heap (m, cols [MONO_TYPEDEF_NAME]);
        nspace = mono_metadata_string_heap (m, cols [MONO_TYPEDEF_NAMESPACE]);
-       if (*nspace)
+       if (*nspace && !is_nested) 
                fprintf (output, ".namespace %s\n{\n", nspace);
 
+       container = mono_metadata_load_generic_params (m, MONO_TOKEN_TYPE_DEF | (n + 1), NULL);
+
        esname = get_escaped_name (name);
        if ((cols [MONO_TYPEDEF_FLAGS] & TYPE_ATTRIBUTE_CLASS_SEMANTIC_MASK) == TYPE_ATTRIBUTE_CLASS){
                fprintf (output, "  .class %s%s", typedef_flags (cols [MONO_TYPEDEF_FLAGS]), esname);
                
-                cnst_block = dis_generic_param_and_constraints (m, MONO_TYPEORMETHOD_TYPE, n+1);
+                param = get_generic_param (m, container);
+               if (param) {
+                       fprintf (output, param);
+                       g_free (param);
+               }
                 fprintf (output, "\n");
                if (cols [MONO_TYPEDEF_EXTENDS]) {
-                       char *base = get_typedef_or_ref (m, cols [MONO_TYPEDEF_EXTENDS]);
+                       char *base = get_typedef_or_ref (
+                               m, cols [MONO_TYPEDEF_EXTENDS], (MonoGenericContext *) container);
                        fprintf (output, "  \textends %s\n", base);
                        g_free (base);
                }
-       } else
-               fprintf (output, "  .class interface %s%s\n", typedef_flags (cols [MONO_TYPEDEF_FLAGS]), esname);
-       g_free (esname);
-       dis_interfaces (m, n + 1);
-       fprintf (output, "  {\n");
-        if (cnst_block) {
-                fprintf (output, "%s", cnst_block->str);
-                g_string_free (cnst_block, TRUE);
-        }
-       dump_cattrs (m, MONO_TOKEN_TYPE_DEF | (n + 1), "    ");
+       } else {
+               fprintf (output, "  .class interface %s%s", typedef_flags (cols [MONO_TYPEDEF_FLAGS]), esname);
 
-       if (mono_metadata_packing_from_typedef (m, n + 1, &packing_size, &class_size)) {
-               fprintf (output, "    .pack %d\n", packing_size);
-               fprintf (output, "    .size %d\n", class_size);
+                param = get_generic_param (m, container);
+               if (param) {
+                       fprintf (output, param);
+                       g_free (param);
+               }
+               fprintf (output, "\n");
        }
-       /*
-        * The value in the table is always valid, we know we have fields
-        * if the value stored is different than the next record.
-        */
 
-       if (next_is_valid)
-               last = cols_next [MONO_TYPEDEF_FIELD_LIST] - 1;
-       else
-               last = m->tables [MONO_TABLE_FIELD].rows;
+       g_free (esname);
+       dis_interfaces (m, n + 1, (MonoGenericContext *) container);
+       fprintf (output, "  {\n");
+        if (!forward) {
+               dump_cattrs (m, MONO_TOKEN_TYPE_DEF | (n + 1), "    ");
+               dump_declarative_security (m, OBJECT_TYPE_TYPEDEF, (n + 1), "    ");
+
+               if (mono_metadata_packing_from_typedef (m, n + 1, &packing_size, &class_size)) {
+                       fprintf (output, "    .pack %d\n", packing_size);
+                       fprintf (output, "    .size %d\n", class_size);
+               }
+               /*
+                * The value in the table is always valid, we know we have fields
+                * if the value stored is different than the next record.
+                */
+        
+               if (next_is_valid)
+                       last = cols_next [MONO_TYPEDEF_FIELD_LIST] - 1;
+               else
+                       last = m->tables [MONO_TABLE_FIELD].rows;
                        
-       if (cols [MONO_TYPEDEF_FIELD_LIST] && cols [MONO_TYPEDEF_FIELD_LIST] <= m->tables [MONO_TABLE_FIELD].rows)
-               dis_field_list (m, cols [MONO_TYPEDEF_FIELD_LIST] - 1, last);
-       fprintf (output, "\n");
-
-       if (next_is_valid)
-               last = cols_next [MONO_TYPEDEF_METHOD_LIST] - 1;
-       else
-               last = m->tables [MONO_TABLE_METHOD].rows;
+               if (cols [MONO_TYPEDEF_FIELD_LIST] && cols [MONO_TYPEDEF_FIELD_LIST] <= m->tables [MONO_TABLE_FIELD].rows)
+                       dis_field_list (m, cols [MONO_TYPEDEF_FIELD_LIST] - 1, last, (MonoGenericContext *) container);
+               fprintf (output, "\n");
+
+               if (next_is_valid)
+                       last = cols_next [MONO_TYPEDEF_METHOD_LIST] - 1;
+               else
+                       last = m->tables [MONO_TABLE_METHOD].rows;
        
-       if (cols [MONO_TYPEDEF_METHOD_LIST] && cols [MONO_TYPEDEF_METHOD_LIST] <= m->tables [MONO_TABLE_METHOD].rows)
-               dis_method_list (name, m, cols [MONO_TYPEDEF_METHOD_LIST] - 1, last);
+               if (cols [MONO_TYPEDEF_METHOD_LIST] && cols [MONO_TYPEDEF_METHOD_LIST] <= m->tables [MONO_TABLE_METHOD].rows)
+                       dis_method_list (name, m, cols [MONO_TYPEDEF_METHOD_LIST] - 1, last, (MonoGenericContext *) container);
 
-       dis_property_list (m, n);
-       dis_event_list (m, n);
+               dis_property_list (m, n, (MonoGenericContext *) container);
+               dis_event_list (m, n, (MonoGenericContext *) container);
+        }
 
        t = &m->tables [MONO_TABLE_NESTEDCLASS];
        nested = mono_metadata_nesting_typedef (m, n + 1, 1);
        while (nested) {
-               dis_type (m, mono_metadata_decode_row_col (t, nested - 1, MONO_NESTED_CLASS_NESTED) - 1);
+               dis_type (m, mono_metadata_decode_row_col (t, nested - 1, MONO_NESTED_CLASS_NESTED) - 1, 1, forward);
                nested = mono_metadata_nesting_typedef (m, n + 1, nested + 1);
        }
        
        fprintf (output, "  } // end of class %s%s%s\n", nspace, *nspace? ".": "", name);
-       if (*nspace)
+       if (*nspace && !is_nested)
                fprintf (output, "}\n");
        fprintf (output, "\n");
 }
@@ -1050,7 +1251,7 @@ dis_globals (MonoImage *m)
                last = m->tables [MONO_TABLE_FIELD].rows;
                        
        if (cols [MONO_TYPEDEF_FIELD_LIST] && cols [MONO_TYPEDEF_FIELD_LIST] <= m->tables [MONO_TABLE_FIELD].rows)
-               dis_field_list (m, cols [MONO_TYPEDEF_FIELD_LIST] - 1, last);
+               dis_field_list (m, cols [MONO_TYPEDEF_FIELD_LIST] - 1, last, NULL);
        fprintf (output, "\n");
 
        if (next_is_valid)
@@ -1059,8 +1260,38 @@ dis_globals (MonoImage *m)
                last = m->tables [MONO_TABLE_METHOD].rows;
        
        if (cols [MONO_TYPEDEF_METHOD_LIST] && cols [MONO_TYPEDEF_METHOD_LIST] <= m->tables [MONO_TABLE_METHOD].rows)
-               dis_method_list (name, m, cols [MONO_TYPEDEF_METHOD_LIST] - 1, last);
+               dis_method_list (name, m, cols [MONO_TYPEDEF_METHOD_LIST] - 1, last, NULL);
+
+}
+
+static void
+dis_mresource (MonoImage *m)
+{
+       MonoTableInfo *t = &m->tables [MONO_TABLE_MANIFESTRESOURCE];
+       int i;
+       
+       for (i = 0; i < t->rows; i++){
+               guint32 cols [MONO_MANIFEST_SIZE];
+               const char *name, *res;
+               guint32 size;
+               FILE* fp;
+
+               mono_metadata_decode_row (t, i, cols, MONO_MANIFEST_SIZE);
+               name = mono_metadata_string_heap (m, cols [MONO_MANIFEST_NAME]);
+               
+               if (! (res = mono_image_get_resource (m, cols [MONO_MANIFEST_OFFSET], &size)))
+                       continue;       
+
+               if ( (fp = fopen (name, "ab")) ) {
+                       if (ftell (fp) == 0)
+                               fwrite (res, size, 1, fp);
+                       else 
+                               g_warning ("Error creating managed resource - %s : File already exists.", name);
 
+                       fclose (fp);
+               } else
+                       g_warning ("Error creating managed resource - %s : %s", name, g_strerror (errno));
+       }               
 }
 
 /**
@@ -1070,7 +1301,7 @@ dis_globals (MonoImage *m)
  * disassembles all types in the @m context
  */
 static void
-dis_types (MonoImage *m)
+dis_types (MonoImage *m, int forward)
 {
        MonoTableInfo *t = &m->tables [MONO_TABLE_TYPEDEF];
        int i;
@@ -1082,7 +1313,7 @@ dis_types (MonoImage *m)
                flags = mono_metadata_decode_row_col (t, i, MONO_TYPEDEF_FLAGS);
                flags &= TYPE_ATTRIBUTE_VISIBILITY_MASK;
                if (flags == TYPE_ATTRIBUTE_PUBLIC || flags == TYPE_ATTRIBUTE_NOT_PUBLIC)
-                       dis_type (m, i);
+                       dis_type (m, i, 0, forward);
        }
 }
 
@@ -1105,7 +1336,7 @@ dis_data (MonoImage *m)
 
        for (i = 0; i < t->rows; i++) {
                mono_metadata_decode_row (t, i, cols, MONO_FIELD_RVA_SIZE);
-               rva = mono_cli_rva_map (m->image_info, cols [MONO_FIELD_RVA_RVA]);
+               rva = mono_image_rva_map (m, cols [MONO_FIELD_RVA_RVA]);
                sig = mono_metadata_blob_heap (m, mono_metadata_decode_row_col (ft, cols [MONO_FIELD_RVA_FIELD] -1, MONO_FIELD_SIGNATURE));
                mono_metadata_decode_value (sig, &sig);
                /* FIELD signature == 0x06 */
@@ -1149,6 +1380,7 @@ struct {
        { "--methodspec",  MONO_TABLE_METHODSPEC,       dump_table_methodspec },
        { "--moduleref",   MONO_TABLE_MODULEREF,        dump_table_moduleref },
        { "--module",      MONO_TABLE_MODULE,           dump_table_module },
+       { "--mresources",  0,   dis_mresource },
        { "--nested",      MONO_TABLE_NESTEDCLASS,      dump_table_nestedclass },
        { "--param",       MONO_TABLE_PARAM,            dump_table_param },
        { "--parconst",    MONO_TABLE_GENERICPARAMCONSTRAINT, dump_table_parconstraint },
@@ -1158,8 +1390,9 @@ struct {
        { "--typeref",     MONO_TABLE_TYPEREF,          dump_table_typeref },
        { "--typespec",    MONO_TABLE_TYPESPEC,         dump_table_typespec },
        { "--implmap",     MONO_TABLE_IMPLMAP,          dump_table_implmap },
-       { "--blob",        NULL,                        dump_stream_blob },
-       { NULL, -1 }
+       { "--standalonesig", MONO_TABLE_STANDALONESIG,  dump_table_standalonesig },
+       { "--blob",        0,                   dump_stream_blob },
+       { NULL, -1, }
 };
 
 /**
@@ -1183,6 +1416,8 @@ disassemble_file (const char *file)
 
        img = ass->image;
 
+       setup_filter (img);
+
        if (dump_table != -1){
                (*table_list [dump_table].dumper) (img);
        } else {
@@ -1191,19 +1426,289 @@ disassemble_file (const char *file)
                dis_directive_assemblyref (img);
                dis_directive_assembly (img);
                dis_directive_file (img);
+               dis_directive_mresource (img);
                dis_directive_module (img);
                dis_directive_moduleref (img);
-               dis_types (img);
+               dis_nt_header (img);
+                if (dump_managed_resources)
+                       dis_mresource (img);
+               if (dump_forward_decls) {
+                       fprintf (output, "// *************** Forward Declarations for Classes ***************\n\n"); 
+                       dis_types (img, 1);
+                       fprintf (output, "// *************** End-Of Forward Declarations for Classes ***************\n\n"); 
+               }       
+               dis_types (img, 0);
                dis_data (img);
        }
        
        mono_image_close (img);
 }
 
+typedef struct {
+       int size;
+       int count;
+       int *elems;
+} TableFilter;
+
+typedef struct {
+       char *name;
+       char *guid;
+       TableFilter types;
+       TableFilter fields;
+       TableFilter methods;
+} ImageFilter;
+
+static GList *filter_list = NULL;
+static ImageFilter *cur_filter = NULL;
+
+static void     
+setup_filter (MonoImage *image)
+{
+       ImageFilter *ifilter;
+       GList *item;
+       const char *name = mono_image_get_name (image);
+
+       for (item = filter_list; item; item = item->next) {
+               ifilter = item->data;
+               if (strcmp (ifilter->name, name) == 0) {
+                       cur_filter = ifilter;
+                       return;
+               }
+       }
+       cur_filter = NULL;
+}
+
+static int
+int_cmp (const void *e1, const void *e2)
+{
+       const int *i1 = e1;
+       const int *i2 = e2;
+       return *i1 - *i2;
+}
+
+static gboolean 
+table_includes (TableFilter *tf, int idx)
+{
+       if (!tf->count)
+               return FALSE;
+       return bsearch (&idx, tf->elems, tf->count, sizeof (int), int_cmp) != NULL;
+}
+
+static gboolean 
+should_include_type (int idx)
+{
+       if (!cur_filter)
+               return TRUE;
+       return table_includes (&cur_filter->types, idx);
+}
+
+static gboolean
+should_include_method (int idx)
+{
+       if (!cur_filter)
+               return TRUE;
+       return table_includes (&cur_filter->methods, idx);
+}
+
+static gboolean
+should_include_field (int idx)
+{
+       if (!cur_filter)
+               return TRUE;
+       return table_includes (&cur_filter->fields, idx);
+}
+
+static ImageFilter*
+add_filter (const char *name)
+{
+       ImageFilter *ifilter;
+       GList *item;
+
+       for (item = filter_list; item; item = item->next) {
+               ifilter = item->data;
+               if (strcmp (ifilter->name, name) == 0)
+                       return ifilter;
+       }
+       ifilter = g_new0 (ImageFilter, 1);
+       ifilter->name = g_strdup (name);
+       filter_list = g_list_prepend (filter_list, ifilter);
+       return ifilter;
+}
+
+static void
+add_item (TableFilter *tf, int val)
+{
+       if (tf->count >= tf->size) {
+               if (!tf->size) {
+                       tf->size = 8;
+                       tf->elems = g_malloc (sizeof (int) * tf->size);
+               } else {
+                       tf->size *= 2;
+                       tf->elems = g_realloc (tf->elems, sizeof (int) * tf->size);
+               }
+       }
+       tf->elems [tf->count++] = val;
+}
+
+static void
+sort_filter_elems (void)
+{
+       ImageFilter *ifilter;
+       GList *item;
+
+       for (item = filter_list; item; item = item->next) {
+               ifilter = item->data;
+               qsort (ifilter->types.elems, ifilter->types.count, sizeof (int), int_cmp);
+               qsort (ifilter->fields.elems, ifilter->fields.count, sizeof (int), int_cmp);
+               qsort (ifilter->methods.elems, ifilter->methods.count, sizeof (int), int_cmp);
+       }
+}
+
+static void
+load_filter (const char* filename)
+{
+       FILE *file;
+       char buf [1024];
+       char *p, *s, *endptr;
+       int line = 0;
+       ImageFilter *ifilter = NULL;
+       int value = 0;
+       
+       if (!(file = fopen (filename, "r"))) {
+               g_print ("Cannot open filter file '%s'\n", filename);
+               exit (1);
+       }
+       while (fgets (buf, sizeof (buf), file) != NULL) {
+               ++line;
+               s = buf;
+               while (*s && g_ascii_isspace (*s)) ++s;
+               switch (*s) {
+               case 0:
+               case '#':
+                       break;
+               case '[':
+                       p = strchr (s, ']');
+                       if (!p)
+                               g_error ("No matching ']' in filter at line %d\n", line);
+                       *p = 0;
+                       ifilter = add_filter (s + 1);
+                       break;
+               case 'T':
+                       if (!ifilter)
+                               g_error ("Invalid format in filter at line %d\n", line);
+                       if ((s [1] != ':') || !(value = strtol (s + 2, &endptr, 0)) || (endptr == s + 2))
+                               g_error ("Invalid type number in filter at line %d\n", line);
+                       add_item (&ifilter->types, value);
+                       break;
+               case 'M':
+                       if (!ifilter)
+                               g_error ("Invalid format in filter at line %d\n", line);
+                       if ((s [1] != ':') || !(value = strtol (s + 2, &endptr, 0)) || (endptr == s + 2))
+                               g_error ("Invalid method number in filter at line %d\n", line);
+                       add_item (&ifilter->methods, value);
+                       break;
+               case 'F':
+                       if (!ifilter)
+                               g_error ("Invalid format in filter at line %d\n", line);
+                       if ((s [1] != ':') || !(value = strtol (s + 2, &endptr, 0)) || (endptr == s + 2))
+                               g_error ("Invalid field number in filter at line %d\n", line);
+                       add_item (&ifilter->fields, value);
+                       break;
+               default:
+                       g_error ("Invalid format in filter at line %d\n", line);
+               }
+       }
+       fclose (file);
+       sort_filter_elems ();
+}
+
+
+static gboolean
+try_load_from (MonoAssembly **assembly, const gchar *path1, const gchar *path2,
+                                       const gchar *path3, const gchar *path4, gboolean refonly)
+{
+       gchar *fullpath;
+
+       *assembly = NULL;
+       fullpath = g_build_filename (path1, path2, path3, path4, NULL);
+       if (g_file_test (fullpath, G_FILE_TEST_IS_REGULAR))
+               *assembly = mono_assembly_open_full (fullpath, NULL, refonly);
+
+       g_free (fullpath);
+       return (*assembly != NULL);
+}
+
+static MonoAssembly *
+real_load (gchar **search_path, const gchar *culture, const gchar *name, gboolean refonly)
+{
+       MonoAssembly *result = NULL;
+       gchar **path;
+       gchar *filename;
+       const gchar *local_culture;
+       gint len;
+
+       if (!culture || *culture == '\0') {
+               local_culture = "";
+       } else {
+               local_culture = culture;
+       }
+
+       filename =  g_strconcat (name, ".dll", NULL);
+       len = strlen (filename);
+
+       for (path = search_path; *path; path++) {
+               if (**path == '\0')
+                       continue; /* Ignore empty ApplicationBase */
+
+               /* See test cases in bug #58992 and bug #57710 */
+               /* 1st try: [culture]/[name].dll (culture may be empty) */
+               strcpy (filename + len - 4, ".dll");
+               if (try_load_from (&result, *path, local_culture, "", filename, refonly))
+                       break;
+
+               /* 2nd try: [culture]/[name].exe (culture may be empty) */
+               strcpy (filename + len - 4, ".exe");
+               if (try_load_from (&result, *path, local_culture, "", filename, refonly))
+                       break;
+
+               /* 3rd try: [culture]/[name]/[name].dll (culture may be empty) */
+               strcpy (filename + len - 4, ".dll");
+               if (try_load_from (&result, *path, local_culture, name, filename, refonly))
+                       break;
+
+               /* 4th try: [culture]/[name]/[name].exe (culture may be empty) */
+               strcpy (filename + len - 4, ".exe");
+               if (try_load_from (&result, *path, local_culture, name, filename, refonly))
+                       break;
+       }
+
+       g_free (filename);
+       return result;
+}
+
+/*
+ * Try to load referenced assemblies from assemblies_path.
+ */
+static MonoAssembly *
+monodis_preload (MonoAssemblyName *aname,
+                                gchar **assemblies_path,
+                                gpointer user_data)
+{
+       MonoAssembly *result = NULL;
+       gboolean refonly = GPOINTER_TO_UINT (user_data);
+
+       if (assemblies_path && assemblies_path [0] != NULL) {
+               result = real_load (assemblies_path, aname->culture, aname->name, refonly);
+       }
+
+       return result;
+}
+
+
 static void
 usage (void)
 {
-       GString *args = g_string_new ("[--output=filename] [--help] [--mscorlib]\n");
+       GString *args = g_string_new ("[--output=filename] [--filter=filename] [--help] [--mscorlib]\n");
        int i;
        
        for (i = 0; table_list [i].name != NULL; i++){
@@ -1213,7 +1718,9 @@ usage (void)
                if (((i-2) % 5) == 0)
                        g_string_append_c (args, '\n');
        }
+       g_string_append (args, "[--forward-decls]");
        fprintf (stderr,
+                "monodis -- Mono Common Intermediate Language Dissassembler\n" 
                 "Usage is: monodis %s file ..\n", args->str);
        exit (1);
 }
@@ -1248,6 +1755,13 @@ main (int argc, char *argv [])
                                                 argv [i]+9, strerror (errno));
                                        exit (1);
                                }
+                               dump_managed_resources = TRUE;
+                               continue;
+                       } else if (strncmp (argv [i], "--filter=", 9) == 0) {
+                               load_filter (argv [i]+9);
+                               continue;
+                       } else if (strcmp (argv [i], "--forward-decls") == 0) {
+                               dump_forward_decls = TRUE;
                                continue;
                        } else if (strcmp (argv [i], "--help") == 0)
                                usage ();
@@ -1263,11 +1777,24 @@ main (int argc, char *argv [])
 
        if (input_files == NULL)
                usage ();
-       
-       mono_init (argv [0]);
 
-       for (l = input_files; l; l = l->next)
-               disassemble_file (l->data);
+       /*
+        * If we just have one file, use the corlib version it requires.
+        */
+       if (!input_files->next) {
+               char *filename = input_files->data;
+
+               mono_init_from_assembly (argv [0], filename);
+
+               mono_install_assembly_preload_hook (monodis_preload, GUINT_TO_POINTER (FALSE));
+
+               disassemble_file (filename);
+       } else {
+               mono_init (argv [0]);
+
+               for (l = input_files; l; l = l->next)
+                       disassemble_file (l->data);
+       }
 
        return 0;
 }