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