#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 */
}
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);
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)
{
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",
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]
);
+ 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);
}
}
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);
}
+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 " },
* 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];
for (i = start; i < end; i++){
char *sig, *flags, *attrs = 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_RVA) {
}
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 " },
{ 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 }
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 }
};
}
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);
}
}
static void
-dis_code (MonoImage *m, guint32 rva)
+dis_code (MonoImage *m, guint32 token, guint32 rva, MonoGenericContext *context)
{
MonoMethodHeader *mh;
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))
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);
}
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];
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");
}
}
* 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];
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]);
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);
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);
}
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];
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;
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 ("");
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);
}
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;
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)
}
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];
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;
}
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;
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;
}
}
-/**
- * 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
dis_type (MonoImage *m, int n)
{
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) {
if (*nspace)
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);
+ } else {
+ fprintf (output, " .class interface %s%s", typedef_flags (cols [MONO_TYPEDEF_FLAGS]), esname);
+
+ param = get_generic_param (m, container);
+ if (param) {
+ fprintf (output, param);
+ g_free (param);
+ }
+ fprintf (output, "\n");
+ }
+
g_free (esname);
- dis_interfaces (m, n + 1);
+ dis_interfaces (m, n + 1, (MonoGenericContext *) container);
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), " ");
+ 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);
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, (MonoGenericContext *) container);
fprintf (output, "\n");
if (next_is_valid)
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, (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);
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)
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);
}
{ "--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, }
};
/**
img = ass->image;
+ setup_filter (img);
+
if (dump_table != -1){
(*table_list [dump_table].dumper) (img);
} else {
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);
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 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++){
exit (1);
}
continue;
+ } else if (strncmp (argv [i], "--filter=", 9) == 0) {
+ load_filter (argv [i]+9);
+ continue;
} else if (strcmp (argv [i], "--help") == 0)
usage ();
for (j = 0; table_list [j].name != NULL; j++) {
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);
+ disassemble_file (filename);
+ } else {
+ mono_init (argv [0]);
+
+ for (l = input_files; l; l = l->next)
+ disassemble_file (l->data);
+ }
return 0;
}