?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
[sre-save] Handle ConstructorBuilder custom attribute constructors.
[mono-project.git] / tools / pedump / pedump.c
blob4bbcc699335a9bc8bd75a9e8e5376de774b74580
1 /*
2 * pedump.c: Dumps the contents of an extended PE/COFF file
3 *
4 * Author:
5 * Miguel de Icaza (miguel@ximian.com)
6 *
7 * Copyright 2001-2003 Ximian, Inc (http://www.ximian.com)
8 * Copyright 2004-2009 Novell, Inc (http://www.novell.com)
9 * Licensed under the MIT license. See LICENSE file in the project root for full license information.
10 */
11 #include <config.h>
12 #include <stdio.h>
13 #include <stdlib.h>
14 #include <string.h>
15 #include <mono/metadata/image.h>
16 #include <glib.h>
17 #include <mono/metadata/cil-coff.h>
18 #include <mono/metadata/mono-endian.h>
19 #include <mono/metadata/verify.h>
20 #include <mono/metadata/class.h>
21 #include <mono/metadata/debug-helpers.h>
22 #include <mono/metadata/tokentype.h>
23 #include <mono/metadata/appdomain.h>
24 #include <mono/metadata/assembly.h>
25 #include <mono/metadata/metadata-internals.h>
26 #include <mono/metadata/class-internals.h>
27 #include <mono/metadata/verify-internals.h>
28 #include <mono/metadata/marshal.h>
29 #include "mono/utils/mono-digest.h"
30 #include <mono/utils/mono-mmap.h>
31 #include <mono/utils/mono-counters.h>
32 #include <sys/types.h>
33 #include <sys/stat.h>
34 #ifdef HAVE_UNISTD_H
35 #include <unistd.h>
36 #endif
37
38 gboolean dump_data = TRUE;
39 gboolean verify_pe = FALSE;
40 gboolean verify_metadata = FALSE;
41 gboolean verify_code = FALSE;
42 gboolean verify_partial_md = FALSE;
43
44 static MonoAssembly *pedump_preload (MonoAssemblyName *aname, gchar **assemblies_path, gpointer user_data);
45 static void pedump_assembly_load_hook (MonoAssembly *assembly, gpointer user_data);
46 static MonoAssembly *pedump_assembly_search_hook (MonoAssemblyName *aname, gpointer user_data);
47
48 /* unused
49 static void
50 hex_dump (const char *buffer, int base, int count)
51 {
52 int i;
53
54 for (i = 0; i < count; i++){
55 if ((i % 16) == 0)
56 printf ("\n0x%08x: ", (unsigned char) base + i);
57
58 printf ("%02x ", (unsigned char) (buffer [i]));
59 }
60 }
61 */
62
63 static void
64 hex8 (const char *label, unsigned char x)
65 {
66 printf ("\t%s: 0x%02x\n", label, (unsigned char) x);
67 }
68
69 static void
70 hex16 (const char *label, guint16 x)
71 {
72 printf ("\t%s: 0x%04x\n", label, x);
73 }
74
75 static void
76 hex32 (const char *label, guint32 x)
77 {
78 printf ("\t%s: 0x%08x\n", label, x);
79 }
80
81 static void
82 dump_coff_header (MonoCOFFHeader *coff)
83 {
84 printf ("\nCOFF Header:\n");
85 hex16 (" Machine", coff->coff_machine);
86 hex16 (" Sections", coff->coff_sections);
87 hex32 (" Time stamp", coff->coff_time);
88 hex32 ("Pointer to Symbol Table", coff->coff_symptr);
89 hex32 (" Symbol Count", coff->coff_symcount);
90 hex16 (" Optional Header Size", coff->coff_opt_header_size);
91 hex16 (" Characteristics", coff->coff_attributes);
92
93 }
94
95 static void
96 dump_pe_header (MonoPEHeader *pe)
97 {
98 printf ("\nPE Header:\n");
99 hex16 (" Magic (0x010b)", pe->pe_magic);
100 hex8 (" LMajor (6)", pe->pe_major);
101 hex8 (" LMinor (0)", pe->pe_minor);
102 hex32 (" Code Size", pe->pe_code_size);
103 hex32 (" Initialized Data Size", pe->pe_data_size);
104 hex32 ("Uninitialized Data Size", pe->pe_uninit_data_size);
105 hex32 (" Entry Point RVA", pe->pe_rva_entry_point);
106 hex32 (" Code Base RVA", pe->pe_rva_code_base);
107 hex32 (" Data Base RVA", pe->pe_rva_data_base);
108 printf ("\n");
109 }
110
111 static void
112 dump_nt_header (MonoPEHeaderNT *nt)
113 {
114 printf ("\nNT Header:\n");
115
116 hex32 (" Image Base (0x400000)", nt->pe_image_base);
117 hex32 ("Section Alignment (8192)", nt->pe_section_align);
118 hex32 (" File Align (512/4096)", nt->pe_file_alignment);
119 hex16 (" OS Major (4)", nt->pe_os_major);
120 hex16 (" OS Minor (0)", nt->pe_os_minor);
121 hex16 (" User Major (0)", nt->pe_user_major);
122 hex16 (" User Minor (0)", nt->pe_user_minor);
123 hex16 (" Subsys major (4)", nt->pe_subsys_major);
124 hex16 (" Subsys minor (0)", nt->pe_subsys_minor);
125 hex32 (" Reserverd", nt->pe_reserved_1);
126 hex32 (" Image Size", nt->pe_image_size);
127 hex32 (" Header Size", nt->pe_header_size);
128 hex32 (" Checksum (0)", nt->pe_checksum);
129 hex16 (" Subsystem", nt->pe_subsys_required);
130 hex16 (" DLL Flags (0)", nt->pe_dll_flags);
131 hex32 (" Stack Reserve Size (1M)", nt->pe_stack_reserve);
132 hex32 ("Stack commit Size (4096)", nt->pe_stack_commit);
133 hex32 (" Heap Reserve Size (1M)", nt->pe_heap_reserve);
134 hex32 (" Heap Commit Size (4096)", nt->pe_heap_commit);
135 hex32 (" Loader flags (0x1)", nt->pe_loader_flags);
136 hex32 (" Data Directories (16)", nt->pe_data_dir_count);
137 }
138
139 static void
140 dent (const char *label, MonoPEDirEntry de)
141 {
142 printf ("\t%s: 0x%08x [0x%08x]\n", label, de.rva, de.size);
143 }
144
145 static void
146 dump_blob (const char *desc, const char* p, guint32 size)
147 {
148 int i;
149
150 printf ("%s", desc);
151 if (!p) {
152 printf (" none\n");
153 return;
154 }
155
156 for (i = 0; i < size; ++i) {
157 if (!(i % 16))
158 printf ("\n\t");
159 printf (" %02X", p [i] & 0xFF);
160 }
161 printf ("\n");
162 }
163
164 static void
165 dump_public_key (MonoImage *m)
166 {
167 guint32 size;
168 const char *p;
169
170 p = mono_image_get_public_key (m, &size);
171 dump_blob ("\nPublic key:", p, size);
172 }
173
174 static void
175 dump_strong_name (MonoImage *m)
176 {
177 guint32 size;
178 const char *p;
179
180 p = mono_image_get_strong_name (m, &size);
181 dump_blob ("\nStrong name:", p, size);
182 }
183
184 static void
185 dump_datadir (MonoPEDatadir *dd)
186 {
187 printf ("\nData directories:\n");
188 dent (" Export Table", dd->pe_export_table);
189 dent (" Import Table", dd->pe_import_table);
190 dent (" Resource Table", dd->pe_resource_table);
191 dent (" Exception Table", dd->pe_exception_table);
192 dent ("Certificate Table", dd->pe_certificate_table);
193 dent (" Reloc Table", dd->pe_reloc_table);
194 dent (" Debug", dd->pe_debug);
195 dent (" Copyright", dd->pe_copyright);
196 dent (" Global Ptr", dd->pe_global_ptr);
197 dent (" TLS Table", dd->pe_tls_table);
198 dent ("Load Config Table", dd->pe_load_config_table);
199 dent (" Bound Import", dd->pe_bound_import);
200 dent (" IAT", dd->pe_iat);
201 dent ("Delay Import Desc", dd->pe_delay_import_desc);
202 dent (" CLI Header", dd->pe_cli_header);
203 }
204
205 static void
206 dump_dotnet_header (MonoDotNetHeader *header)
207 {
208 dump_coff_header (&header->coff);
209 dump_pe_header (&header->pe);
210 dump_nt_header (&header->nt);
211 dump_datadir (&header->datadir);
212 }
213
214 static void
215 dump_section_table (MonoSectionTable *st)
216 {
217 guint32 flags = st->st_flags;
218
219 printf ("\n\tName: %s\n", st->st_name);
220 hex32 (" Virtual Size", st->st_virtual_size);
221 hex32 ("Virtual Address", st->st_virtual_address);
222 hex32 (" Raw Data Size", st->st_raw_data_size);
223 hex32 (" Raw Data Ptr", st->st_raw_data_ptr);
224 hex32 (" Reloc Ptr", st->st_reloc_ptr);
225 hex32 (" LineNo Ptr", st->st_lineno_ptr);
226 hex16 (" Reloc Count", st->st_reloc_count);
227 hex16 (" Line Count", st->st_line_count);
228
229 printf ("\tFlags: %s%s%s%s%s%s%s%s%s%s\n",
230 (flags & SECT_FLAGS_HAS_CODE) ? "code, " : "",
231 (flags & SECT_FLAGS_HAS_INITIALIZED_DATA) ? "data, " : "",
232 (flags & SECT_FLAGS_HAS_UNINITIALIZED_DATA) ? "bss, " : "",
233 (flags & SECT_FLAGS_MEM_DISCARDABLE) ? "discard, " : "",
234 (flags & SECT_FLAGS_MEM_NOT_CACHED) ? "nocache, " : "",
235 (flags & SECT_FLAGS_MEM_NOT_PAGED) ? "nopage, " : "",
236 (flags & SECT_FLAGS_MEM_SHARED) ? "shared, " : "",
237 (flags & SECT_FLAGS_MEM_EXECUTE) ? "exec, " : "",
238 (flags & SECT_FLAGS_MEM_READ) ? "read, " : "",
239 (flags & SECT_FLAGS_MEM_WRITE) ? "write" : "");
240 }
241
242 static void
243 dump_sections (MonoCLIImageInfo *iinfo)
244 {
245 const int top = iinfo->cli_header.coff.coff_sections;
246 int i;
247
248 for (i = 0; i < top; i++)
249 dump_section_table (&iinfo->cli_section_tables [i]);
250 }
251
252 static void
253 dump_cli_header (MonoCLIHeader *ch)
254 {
255 printf ("\n");
256 printf (" CLI header size: %d\n", ch->ch_size);
257 printf (" Runtime required: %d.%d\n", ch->ch_runtime_major, ch->ch_runtime_minor);
258 printf (" Flags: %s, %s, %s, %s\n",
259 (ch->ch_flags & CLI_FLAGS_ILONLY ? "ilonly" : "contains native"),
260 (ch->ch_flags & CLI_FLAGS_32BITREQUIRED ? "32bits" : "32/64"),
261 (ch->ch_flags & CLI_FLAGS_TRACKDEBUGDATA ? "trackdebug" : "no-trackdebug"),
262 (ch->ch_flags & CLI_FLAGS_STRONGNAMESIGNED ? "strongnamesigned" : "notsigned"));
263 dent (" Metadata", ch->ch_metadata);
264 hex32 ("Entry Point Token", ch->ch_entry_point);
265 dent (" Resources at", ch->ch_resources);
266 dent (" Strong Name at", ch->ch_strong_name);
267 dent (" Code Manager at", ch->ch_code_manager_table);
268 dent (" VTableFixups at", ch->ch_vtable_fixups);
269 dent (" EAT jumps at", ch->ch_export_address_table_jumps);
270 }
271
272 static void
273 dsh (const char *label, MonoImage *meta, MonoStreamHeader *sh)
274 {
275 printf ("%s: 0x%08x - 0x%08x [%d == 0x%08x]\n",
276 label,
277 (int)(sh->data - meta->raw_metadata), (int)(sh->data + sh->size - meta->raw_metadata),
278 sh->size, sh->size);
279 }
280
281 static void
282 dump_metadata_header (MonoImage *meta)
283 {
284 printf ("\nMetadata header:\n");
285 printf (" Version: %d.%d\n", meta->md_version_major, meta->md_version_minor);
286 printf (" Version string: %s\n", meta->version);
287 }
288
289 static void
290 dump_metadata_ptrs (MonoImage *meta)
291 {
292 printf ("\nMetadata pointers:\n");
293 dsh ("\tTables (#~)", meta, &meta->heap_tables);
294 dsh ("\t Strings", meta, &meta->heap_strings);
295 dsh ("\t Blob", meta, &meta->heap_blob);
296 dsh ("\tUser string", meta, &meta->heap_us);
297 dsh ("\t GUID", meta, &meta->heap_guid);
298 }
299
300 static void
301 dump_metadata (MonoImage *meta)
302 {
303 int table;
304
305 dump_metadata_header (meta);
306
307 dump_metadata_ptrs (meta);
308
309 printf ("Rows:\n");
310 for (table = 0; table < MONO_TABLE_NUM; table++){
311 if (meta->tables [table].rows == 0)
312 continue;
313 printf ("Table %s: %d records (%d bytes, at %x)\n",
314 mono_meta_table_name (table),
315 meta->tables [table].rows,
316 meta->tables [table].row_size,
317 (unsigned int)(meta->tables [table].base - meta->raw_data)
318 );
319 }
320 }
321
322 static void
323 dump_methoddef (MonoImage *metadata, guint32 token)
324 {
325 const char *loc;
326
327 if (!token)
328 return;
329 loc = mono_metadata_locate_token (metadata, token);
330
331 printf ("RVA for Entry Point: 0x%08x\n", read32 (loc));
332 }
333
334 static void
335 dump_dotnet_iinfo (MonoImage *image)
336 {
337 MonoCLIImageInfo *iinfo = (MonoCLIImageInfo *)image->image_info;
338
339 dump_dotnet_header (&iinfo->cli_header);
340 dump_sections (iinfo);
341 dump_cli_header (&iinfo->cli_cli_header);
342 dump_strong_name (image);
343 dump_public_key (image);
344 dump_metadata (image);
345
346 dump_methoddef (image, iinfo->cli_cli_header.ch_entry_point);
347 }
348
349 static int
350 dump_verify_info (MonoImage *image, int flags)
351 {
352 GSList *errors, *tmp;
353 int count = 0, verifiable = 0;
354 const char* desc [] = {
355 "Ok", "Error", "Warning", NULL, "CLS", NULL, NULL, NULL, "Not Verifiable"
356 };
357
358 if (verify_code) { /* verify code */
359 int i;
360 MonoTableInfo *m = &image->tables [MONO_TABLE_METHOD];
361
362 for (i = 0; i < m->rows; ++i) {
363 MonoMethod *method;
364 MonoError error;
365
366 method = mono_get_method_checked (image, MONO_TOKEN_METHOD_DEF | (i+1), NULL, NULL, &error);
367 if (!method) {
368 g_print ("Warning: Cannot lookup method with token 0x%08x due to %s\n", i + 1, mono_error_get_message (&error));
369 mono_error_cleanup (&error);
370 continue;
371 }
372 errors = mono_method_verify (method, flags);
373 if (errors) {
374 MonoClass *klass = mono_method_get_class (method);
375 char *name = mono_type_full_name (&klass->byval_arg);
376 if (mono_method_signature (method) == NULL) {
377 g_print ("In method: %s::%s(ERROR)\n", name, mono_method_get_name (method));
378 } else {
379 char *sig;
380 sig = mono_signature_get_desc (mono_method_signature (method), FALSE);
381 g_print ("In method: %s::%s(%s)\n", name, mono_method_get_name (method), sig);
382 g_free (sig);
383 }
384 g_free (name);
385 }
386
387 for (tmp = errors; tmp; tmp = tmp->next) {
388 MonoVerifyInfo *info = (MonoVerifyInfo *)tmp->data;
389 g_print ("%s: %s\n", desc [info->status], info->message);
390 if (info->status == MONO_VERIFY_ERROR) {
391 count++;
392 verifiable = 3;
393 }
394 if(info->status == MONO_VERIFY_NOT_VERIFIABLE) {
395 if (verifiable < 2)
396 verifiable = 2;
397 }
398 }
399 mono_free_verify_list (errors);
400 }
401 }
402
403 if (count)
404 g_print ("Error count: %d\n", count);
405 return verifiable;
406 }
407
408 static void
409 usage (void)
410 {
411 printf ("Usage is: pedump [--verify error,warn,cls,all,code,fail-on-verifiable,non-strict,valid-only,metadata] file.exe\n");
412 exit (1);
413 }
414
415 static int
416 verify_image_file (const char *fname)
417 {
418 GSList *errors = NULL, *tmp;
419 MonoImage *image;
420 MonoTableInfo *table;
421 MonoAssembly *assembly;
422 MonoImageOpenStatus status;
423 int i, count = 0;
424 const char* desc [] = {
425 "Ok", "Error", "Warning", NULL, "CLS", NULL, NULL, NULL, "Not Verifiable"
426 };
427
428 image = mono_image_open_raw (fname, &status);
429 if (!image) {
430 printf ("Could not open %s\n", fname);
431 return 1;
432 }
433
434 if (!mono_verifier_verify_pe_data (image, &errors))
435 goto invalid_image;
436
437 if (!mono_image_load_pe_data (image)) {
438 printf ("Could not load pe data for assembly %s\n", fname);
439 return 1;
440 }
441
442 if (!mono_verifier_verify_cli_data (image, &errors))
443 goto invalid_image;
444
445 if (!mono_image_load_cli_data (image)) {
446 printf ("Could not load cli data for assembly %s\n", fname);
447 return 1;
448 }
449
450 if (!mono_verifier_verify_table_data (image, &errors))
451 goto invalid_image;
452
453 mono_image_load_names (image);
454
455 /*fake an assembly for class loading to work*/
456 assembly = g_new0 (MonoAssembly, 1);
457 assembly->in_gac = FALSE;
458 assembly->image = image;
459 image->assembly = assembly;
460 mono_assembly_fill_assembly_name (image, &assembly->aname);
461
462 /*Finish initializing the runtime*/
463 mono_install_assembly_load_hook (pedump_assembly_load_hook, NULL);
464 mono_install_assembly_search_hook (pedump_assembly_search_hook, NULL);
465
466 mono_init_version ("pedump", image->version);
467
468 mono_install_assembly_preload_hook (pedump_preload, GUINT_TO_POINTER (FALSE));
469
470 mono_icall_init ();
471 mono_marshal_init ();
472
473
474 if (!verify_partial_md && !mono_verifier_verify_full_table_data (image, &errors))
475 goto invalid_image;
476
477
478 table = &image->tables [MONO_TABLE_TYPEDEF];
479 for (i = 1; i <= table->rows; ++i) {
480 MonoError error;
481 guint32 token = i | MONO_TOKEN_TYPE_DEF;
482 MonoClass *klass = mono_class_get_checked (image, token, &error);
483 if (!klass) {
484 printf ("Could not load class with token %x due to %s\n", token, mono_error_get_message (&error));
485 mono_error_cleanup (&error);
486 continue;
487 }
488 mono_class_init (klass);
489 if (mono_class_has_failure (klass)) {
490 printf ("Error verifying class(0x%08x) %s.%s a type load error happened\n", token, klass->name_space, klass->name);
491 ++count;
492 }
493
494 mono_class_setup_vtable (klass);
495 if (mono_class_has_failure (klass)) {
496 printf ("Error verifying class(0x%08x) %s.%s a type load error happened\n", token, klass->name_space, klass->name);
497 ++count;
498 }
499 }
500 if (count)
501 return 5;
502 return 0;
503
504 invalid_image:
505 for (tmp = errors; tmp; tmp = tmp->next) {
506 MonoVerifyInfo *info = (MonoVerifyInfo *)tmp->data;
507 g_print ("%s: %s\n", desc [info->status], info->message);
508 if (info->status == MONO_VERIFY_ERROR)
509 count++;
510 }
511 mono_free_verify_list (errors);
512 if (count)
513 g_print ("Error count: %d\n", count);
514 return 1;
515 }
516
517 static gboolean
518 try_load_from (MonoAssembly **assembly, const gchar *path1, const gchar *path2,
519 const gchar *path3, const gchar *path4, gboolean refonly)
520 {
521 gchar *fullpath;
522
523 *assembly = NULL;
524 fullpath = g_build_filename (path1, path2, path3, path4, NULL);
525 if (g_file_test (fullpath, G_FILE_TEST_IS_REGULAR))
526 *assembly = mono_assembly_open_full (fullpath, NULL, refonly);
527
528 g_free (fullpath);
529 return (*assembly != NULL);
530 }
531
532 static MonoAssembly *
533 real_load (gchar **search_path, const gchar *culture, const gchar *name, gboolean refonly)
534 {
535 MonoAssembly *result = NULL;
536 gchar **path;
537 gchar *filename;
538 const gchar *local_culture;
539 gint len;
540
541 if (!culture || *culture == '\0') {
542 local_culture = "";
543 } else {
544 local_culture = culture;
545 }
546
547 filename = g_strconcat (name, ".dll", NULL);
548 len = strlen (filename);
549
550 for (path = search_path; *path; path++) {
551 if (**path == '\0')
552 continue; /* Ignore empty ApplicationBase */
553
554 /* See test cases in bug #58992 and bug #57710 */
555 /* 1st try: [culture]/[name].dll (culture may be empty) */
556 strcpy (filename + len - 4, ".dll");
557 if (try_load_from (&result, *path, local_culture, "", filename, refonly))
558 break;
559
560 /* 2nd try: [culture]/[name].exe (culture may be empty) */
561 strcpy (filename + len - 4, ".exe");
562 if (try_load_from (&result, *path, local_culture, "", filename, refonly))
563 break;
564
565 /* 3rd try: [culture]/[name]/[name].dll (culture may be empty) */
566 strcpy (filename + len - 4, ".dll");
567 if (try_load_from (&result, *path, local_culture, name, filename, refonly))
568 break;
569
570 /* 4th try: [culture]/[name]/[name].exe (culture may be empty) */
571 strcpy (filename + len - 4, ".exe");
572 if (try_load_from (&result, *path, local_culture, name, filename, refonly))
573 break;
574 }
575
576 g_free (filename);
577 return result;
578 }
579
580 /*
581 * Try to load referenced assemblies from assemblies_path.
582 */
583 static MonoAssembly *
584 pedump_preload (MonoAssemblyName *aname,
585 gchar **assemblies_path,
586 gpointer user_data)
587 {
588 MonoAssembly *result = NULL;
589 gboolean refonly = GPOINTER_TO_UINT (user_data);
590
591 if (assemblies_path && assemblies_path [0] != NULL) {
592 result = real_load (assemblies_path, aname->culture, aname->name, refonly);
593 }
594
595 return result;
596 }
597
598 static GList *loaded_assemblies = NULL;
599
600 static void
601 pedump_assembly_load_hook (MonoAssembly *assembly, gpointer user_data)
602 {
603 loaded_assemblies = g_list_prepend (loaded_assemblies, assembly);
604 }
605
606 static MonoAssembly *
607 pedump_assembly_search_hook (MonoAssemblyName *aname, gpointer user_data)
608 {
609 GList *tmp;
610
611 for (tmp = loaded_assemblies; tmp; tmp = tmp->next) {
612 MonoAssembly *ass = (MonoAssembly *)tmp->data;
613 if (mono_assembly_names_equal (aname, &ass->aname))
614 return ass;
615 }
616 return NULL;
617 }
618
619 #define VALID_ONLY_FLAG 0x08000000
620 #define VERIFY_CODE_ONLY MONO_VERIFY_ALL + 1
621 #define VERIFY_METADATA_ONLY VERIFY_CODE_ONLY + 1
622 #define VERIFY_PARTIAL_METADATA VERIFY_CODE_ONLY + 2
623
624 int
625 main (int argc, char *argv [])
626 {
627 int image_result = 0;
628 MonoImage *image;
629 char *file = NULL;
630 char *flags = NULL;
631 MiniVerifierMode verifier_mode = MONO_VERIFIER_MODE_VERIFIABLE;
632 const char *flag_desc [] = {"error", "warn", "cls", "all", "code", "fail-on-verifiable", "non-strict", "valid-only", "metadata", "partial-md", NULL};
633 guint flag_vals [] = {MONO_VERIFY_ERROR, MONO_VERIFY_WARNING, MONO_VERIFY_CLS, MONO_VERIFY_ALL, VERIFY_CODE_ONLY, MONO_VERIFY_FAIL_FAST, MONO_VERIFY_NON_STRICT, VALID_ONLY_FLAG, VERIFY_METADATA_ONLY, VERIFY_PARTIAL_METADATA, 0};
634 int i, verify_flags = MONO_VERIFY_REPORT_ALL_ERRORS, run_new_metadata_verifier = 0;
635
636 for (i = 1; i < argc; i++){
637 if (argv [i][0] != '-'){
638 file = argv [i];
639 continue;
640 }
641
642 if (strcmp (argv [i], "--help") == 0)
643 usage ();
644 else if (strcmp (argv [i], "--verify") == 0) {
645 verify_pe = 1;
646 dump_data = 0;
647 ++i;
648 flags = argv [i];
649 } else {
650 usage ();
651 }
652 }
653
654 if (!file)
655 usage ();
656
657 #ifndef DISABLE_PERFCOUNTERS
658 mono_perfcounters_init ();
659 #endif
660 mono_counters_init ();
661 mono_metadata_init ();
662 mono_images_init ();
663 mono_assemblies_init ();
664 mono_loader_init ();
665
666 if (verify_pe) {
667 char *tok = strtok (flags, ",");
668
669 verify_metadata = 1;
670 verify_code = 0;
671 while (tok) {
672 for (i = 0; flag_desc [i]; ++i) {
673 if (strcmp (tok, flag_desc [i]) == 0) {
674 if (flag_vals [i] == VERIFY_CODE_ONLY) {
675 verify_metadata = 0;
676 verify_code = 1;
677 } else if(flag_vals [i] == MONO_VERIFY_ALL) {
678 verify_code = 1;
679 } else if(flag_vals [i] == VERIFY_METADATA_ONLY) {
680 verify_metadata = 0;
681 run_new_metadata_verifier = 1;
682 } else if(flag_vals [i] == VERIFY_PARTIAL_METADATA) {
683 verify_partial_md = 1;
684 }
685 if (flag_vals [i] == VALID_ONLY_FLAG)
686 verifier_mode = MONO_VERIFIER_MODE_VALID;
687 else
688 verify_flags |= flag_vals [i];
689 break;
690 }
691 }
692 if (!flag_desc [i])
693 g_print ("Unknown verify flag %s\n", tok);
694 tok = strtok (NULL, ",");
695 }
696
697 mono_verifier_set_mode (verifier_mode);
698 /**/
699 }
700
701 if (verify_pe || run_new_metadata_verifier) {
702 run_new_metadata_verifier = 1;
703 }
704
705 if (run_new_metadata_verifier) {
706 mono_verifier_set_mode (verifier_mode);
707
708 image_result = verify_image_file (file);
709 if (image_result == 1 || !verify_code)
710 return image_result;
711 }
712
713 image = mono_image_open (file, NULL);
714 if (!image){
715 fprintf (stderr, "Cannot open image %s\n", file);
716 exit (1);
717 }
718
719 if (dump_data)
720 dump_dotnet_iinfo (image);
721 if (verify_pe) {
722 MonoAssembly *assembly;
723 MonoImage *image;
724 MonoImageOpenStatus status;
725 int code_result;
726
727 mono_verifier_set_mode (verifier_mode);
728
729 assembly = mono_assembly_open (file, NULL);
730 /*fake an assembly for netmodules so the verifier works*/
731 if (!assembly && (image = mono_image_open (file, &status)) && image->tables [MONO_TABLE_ASSEMBLY].rows == 0) {
732 assembly = g_new0 (MonoAssembly, 1);
733 assembly->in_gac = FALSE;
734 assembly->image = image;
735 image->assembly = assembly;
736 }
737
738 if (!assembly) {
739 g_print ("Could not open assembly %s\n", file);
740 return 4;
741 }
742
743 code_result = dump_verify_info (assembly->image, verify_flags);
744 return code_result ? code_result : image_result;
745 } else
746 mono_image_close (image);
747
748 return 0;
749 }
750
Mirror of the official Mono project git repository