2 * image.c: Routines for manipulating an image stored in an
3 * extended PE/COFF file.
6 * Miguel de Icaza (miguel@ximian.com)
8 * (C) 2001 Ximian, Inc. http://www.ximian.com
11 * Implement big-endian versions of the reading routines.
21 #include "rawbuffer.h"
22 #include "mono-endian.h"
24 #include "tabledefs.h"
26 #define INVALID_ADDRESS 0xffffffff
29 * Keeps track of the various assemblies loaded
31 static GHashTable *loaded_images_hash;
34 mono_cli_rva_image_map (MonoCLIImageInfo *iinfo, guint32 addr)
36 const int top = iinfo->cli_section_count;
37 MonoSectionTable *tables = iinfo->cli_section_tables;
40 for (i = 0; i < top; i++){
41 if ((addr >= tables->st_virtual_address) &&
42 (addr < tables->st_virtual_address + tables->st_raw_data_size)){
43 return addr - tables->st_virtual_address + tables->st_raw_data_ptr;
47 return INVALID_ADDRESS;
51 mono_cli_rva_map (MonoCLIImageInfo *iinfo, guint32 addr)
53 const int top = iinfo->cli_section_count;
54 MonoSectionTable *tables = iinfo->cli_section_tables;
57 for (i = 0; i < top; i++){
58 if ((addr >= tables->st_virtual_address) &&
59 (addr < tables->st_virtual_address + tables->st_raw_data_size)){
60 return (char*)iinfo->cli_sections [i] +
61 (addr - tables->st_virtual_address);
69 * mono_image_ensure_section_idx:
70 * @image: The image we are operating on
71 * @section: section number that we will load/map into memory
73 * This routine makes sure that we have an in-memory copy of
74 * an image section (.text, .rsrc, .data).
76 * Returns: TRUE on success
79 mono_image_ensure_section_idx (MonoImage *image, int section)
81 MonoCLIImageInfo *iinfo = image->image_info;
82 MonoSectionTable *sect;
85 g_return_val_if_fail (section < iinfo->cli_section_count, FALSE);
87 if (iinfo->cli_sections [section] != NULL)
90 sect = &iinfo->cli_section_tables [section];
92 writable = sect->st_flags & SECT_FLAGS_MEM_WRITE;
94 iinfo->cli_sections [section] = mono_raw_buffer_load (
95 fileno (image->f), writable,
96 sect->st_raw_data_ptr, sect->st_raw_data_size);
98 if (iinfo->cli_sections [section] == NULL)
105 * mono_image_ensure_section:
106 * @image: The image we are operating on
107 * @section: section name that we will load/map into memory
109 * This routine makes sure that we have an in-memory copy of
110 * an image section (.text, .rsrc, .data).
112 * Returns: TRUE on success
115 mono_image_ensure_section (MonoImage *image, const char *section)
117 MonoCLIImageInfo *ii = image->image_info;
120 for (i = 0; i < ii->cli_section_count; i++){
121 if (strncmp (ii->cli_section_tables [i].st_name, section, 8) != 0)
124 return mono_image_ensure_section_idx (image, i);
130 load_section_tables (MonoImage *image, MonoCLIImageInfo *iinfo)
132 const int top = iinfo->cli_header.coff.coff_sections;
135 iinfo->cli_section_count = top;
136 iinfo->cli_section_tables = g_new0 (MonoSectionTable, top);
137 iinfo->cli_sections = g_new0 (void *, top);
139 for (i = 0; i < top; i++){
140 MonoSectionTable *t = &iinfo->cli_section_tables [i];
142 if (fread (t, sizeof (MonoSectionTable), 1, image->f) != 1)
145 #if G_BYTE_ORDER != G_LITTLE_ENDIAN
146 t->st_virtual_size = GUINT32_FROM_LE (t->st_virtual_size);
147 t->st_virtual_address = GUINT32_FROM_LE (t->st_virtual_address);
148 t->st_raw_data_size = GUINT32_FROM_LE (t->st_raw_data_size);
149 t->st_raw_data_ptr = GUINT32_FROM_LE (t->st_raw_data_ptr);
150 t->st_reloc_ptr = GUINT32_FROM_LE (t->st_reloc_ptr);
151 t->st_lineno_ptr = GUINT32_FROM_LE (t->st_lineno_ptr);
152 t->st_reloc_count = GUINT16_FROM_LE (t->st_reloc_count);
153 t->st_line_count = GUINT16_FROM_LE (t->st_line_count);
154 t->st_flags = GUINT32_FROM_LE (t->st_flags);
156 /* consistency checks here */
159 for (i = 0; i < top; i++)
160 if (!mono_image_ensure_section_idx (image, i))
167 load_cli_header (MonoImage *image, MonoCLIImageInfo *iinfo)
172 offset = mono_cli_rva_image_map (iinfo, iinfo->cli_header.datadir.pe_cli_header.rva);
173 if (offset == INVALID_ADDRESS)
176 if (fseek (image->f, offset, SEEK_SET) != 0)
179 if ((n = fread (&iinfo->cli_cli_header, sizeof (MonoCLIHeader), 1, image->f)) != 1)
182 #if G_BYTE_ORDER != G_LITTLE_ENDIAN
183 #define SWAP32(x) (x) = GUINT32_FROM_LE ((x))
184 #define SWAP16(x) (x) = GUINT16_FROM_LE ((x))
185 #define SWAPPDE(x) do { (x).rva = GUINT32_FROM_LE ((x).rva); (x).size = GUINT32_FROM_LE ((x).size);} while (0)
186 SWAP32 (iinfo->cli_cli_header.ch_size);
187 SWAP32 (iinfo->cli_cli_header.ch_flags);
188 SWAP32 (iinfo->cli_cli_header.ch_entry_point);
189 SWAP16 (iinfo->cli_cli_header.ch_runtime_major);
190 SWAP16 (iinfo->cli_cli_header.ch_runtime_minor);
191 SWAPPDE (iinfo->cli_cli_header.ch_metadata);
192 SWAPPDE (iinfo->cli_cli_header.ch_resources);
193 SWAPPDE (iinfo->cli_cli_header.ch_strong_name);
194 SWAPPDE (iinfo->cli_cli_header.ch_code_manager_table);
195 SWAPPDE (iinfo->cli_cli_header.ch_vtable_fixups);
196 SWAPPDE (iinfo->cli_cli_header.ch_export_address_table_jumps);
197 SWAPPDE (iinfo->cli_cli_header.ch_eeinfo_table);
198 SWAPPDE (iinfo->cli_cli_header.ch_helper_table);
199 SWAPPDE (iinfo->cli_cli_header.ch_dynamic_info);
200 SWAPPDE (iinfo->cli_cli_header.ch_delay_load_info);
201 SWAPPDE (iinfo->cli_cli_header.ch_module_image);
202 SWAPPDE (iinfo->cli_cli_header.ch_external_fixups);
203 SWAPPDE (iinfo->cli_cli_header.ch_ridmap);
204 SWAPPDE (iinfo->cli_cli_header.ch_debug_map);
205 SWAPPDE (iinfo->cli_cli_header.ch_ip_map);
210 /* Catch new uses of the fields that are supposed to be zero */
212 if ((iinfo->cli_cli_header.ch_eeinfo_table.rva != 0) ||
213 (iinfo->cli_cli_header.ch_helper_table.rva != 0) ||
214 (iinfo->cli_cli_header.ch_dynamic_info.rva != 0) ||
215 (iinfo->cli_cli_header.ch_delay_load_info.rva != 0) ||
216 (iinfo->cli_cli_header.ch_module_image.rva != 0) ||
217 (iinfo->cli_cli_header.ch_external_fixups.rva != 0) ||
218 (iinfo->cli_cli_header.ch_ridmap.rva != 0) ||
219 (iinfo->cli_cli_header.ch_debug_map.rva != 0) ||
220 (iinfo->cli_cli_header.ch_ip_map.rva != 0)){
223 * No need to scare people who are testing this, I am just
224 * labelling this as a LAMESPEC
226 /* g_warning ("Some fields in the CLI header which should have been zero are not zero"); */
234 load_metadata_ptrs (MonoImage *image, MonoCLIImageInfo *iinfo)
236 guint32 offset, size;
241 offset = mono_cli_rva_image_map (iinfo, iinfo->cli_cli_header.ch_metadata.rva);
242 size = iinfo->cli_cli_header.ch_metadata.size;
244 image->raw_metadata = mono_raw_buffer_load (fileno (image->f), FALSE, offset, size);
245 if (image->raw_metadata == NULL)
248 ptr = image->raw_metadata;
250 if (strncmp (ptr, "BSJB", 4) == 0){
251 guint32 version_string_len;
254 version_string_len = read32 (ptr);
256 ptr += version_string_len;
257 if (((guint32) ptr) % 4)
258 ptr += 4 - (((guint32) ptr) %4);
262 /* skip over flags */
265 streams = read16 (ptr);
268 for (i = 0; i < streams; i++){
269 if (strncmp (ptr + 8, "#~", 3) == 0){
270 image->heap_tables.offset = read32 (ptr);
271 image->heap_tables.size = read32 (ptr + 4);
273 } else if (strncmp (ptr + 8, "#Strings", 9) == 0){
274 image->heap_strings.offset = read32 (ptr);
275 image->heap_strings.size = read32 (ptr + 4);
277 } else if (strncmp (ptr + 8, "#US", 4) == 0){
278 image->heap_us.offset = read32 (ptr);
279 image->heap_us.size = read32 (ptr + 4);
281 } else if (strncmp (ptr + 8, "#Blob", 6) == 0){
282 image->heap_blob.offset = read32 (ptr);
283 image->heap_blob.size = read32 (ptr + 4);
285 } else if (strncmp (ptr + 8, "#GUID", 6) == 0){
286 image->heap_guid.offset = read32 (ptr);
287 image->heap_guid.size = read32 (ptr + 4);
290 g_message ("Unknown heap type: %s\n", ptr + 8);
291 ptr += 8 + strlen (ptr) + 1;
293 if (((guint32)ptr) % 4){
294 ptr += 4 - (((guint32)ptr) % 4);
301 * Load representation of logical metadata tables, from the "#~" stream
304 load_tables (MonoImage *image)
306 char *heap_tables = image->raw_metadata + image->heap_tables.offset;
309 int valid = 0, table;
312 heap_sizes = heap_tables [6];
313 image->idx_string_wide = ((heap_sizes & 0x01) == 1);
314 image->idx_guid_wide = ((heap_sizes & 0x02) == 2);
315 image->idx_blob_wide = ((heap_sizes & 0x04) == 4);
317 valid_mask = read64 (heap_tables + 8);
318 rows = (guint32 *) (heap_tables + 24);
320 for (table = 0; table < 64; table++){
321 if ((valid_mask & ((guint64) 1 << table)) == 0){
322 image->tables [table].rows = 0;
326 g_warning("bits in valid must be zero above 0x2b (II - 23.1.6)");
328 image->tables [table].rows = read32 (rows);
333 image->tables_base = (heap_tables + 24) + (4 * valid);
335 /* They must be the same */
336 g_assert ((void *) image->tables_base == (void *) rows);
338 mono_metadata_compute_table_bases (image);
343 load_metadata (MonoImage *image, MonoCLIImageInfo *iinfo)
345 if (!load_metadata_ptrs (image, iinfo))
348 return load_tables (image);
352 load_class_names (MonoImage *image) {
353 MonoTableInfo *t = &image->tables [MONO_TABLE_TYPEDEF];
354 guint32 cols [MONO_TYPEDEF_SIZE];
357 GHashTable *nspace_table;
358 GHashTable *name_cache = image->name_cache;
361 for (i = 1; i <= t->rows; ++i) {
362 mono_metadata_decode_row (t, i - 1, cols, MONO_TYPEDEF_SIZE);
363 /* nested types are accessed from the nesting name */
364 visib = cols [MONO_TYPEDEF_FLAGS] & TYPE_ATTRIBUTE_VISIBILITY_MASK;
365 if (visib > TYPE_ATTRIBUTE_PUBLIC && visib < TYPE_ATTRIBUTE_NESTED_ASSEMBLY)
367 name = mono_metadata_string_heap (image, cols [MONO_TYPEDEF_NAME]);
368 nspace = mono_metadata_string_heap (image, cols [MONO_TYPEDEF_NAMESPACE]);
369 if (!(nspace_table = g_hash_table_lookup (name_cache, nspace))) {
370 nspace_table = g_hash_table_new (g_str_hash, g_str_equal);
371 g_hash_table_insert (name_cache, nspace, nspace_table);
373 g_hash_table_insert (nspace_table, name, GUINT_TO_POINTER (i));
378 do_mono_image_open (const char *fname, enum MonoImageOpenStatus *status)
380 MonoCLIImageInfo *iinfo;
381 MonoDotNetHeader *header;
382 MonoMSDOSHeader msdos;
386 image = g_new0 (MonoImage, 1);
387 image->f = fopen (fname, "rb");
388 image->name = g_strdup (fname);
389 iinfo = g_new0 (MonoCLIImageInfo, 1);
390 image->image_info = iinfo;
392 image->method_cache = g_hash_table_new (g_direct_hash, g_direct_equal);
393 image->class_cache = g_hash_table_new (g_direct_hash, g_direct_equal);
394 image->name_cache = g_hash_table_new (g_str_hash, g_str_equal);
395 image->array_cache = g_hash_table_new (g_direct_hash, g_direct_equal);
397 header = &iinfo->cli_header;
399 if (image->f == NULL){
401 *status = MONO_IMAGE_ERROR_ERRNO;
402 mono_image_close (image);
407 *status = MONO_IMAGE_IMAGE_INVALID;
409 if (fread (&msdos, sizeof (msdos), 1, image->f) != 1)
412 if (!(msdos.msdos_header [0] == 'M' && msdos.msdos_header [1] == 'Z'))
415 msdos.pe_offset = GUINT32_FROM_LE (msdos.pe_offset);
417 if (msdos.pe_offset != sizeof (msdos))
418 fseek (image->f, msdos.pe_offset, SEEK_SET);
420 if ((n = fread (header, sizeof (MonoDotNetHeader), 1, image->f)) != 1)
423 #if G_BYTE_ORDER != G_LITTLE_ENDIAN
424 #define SWAP32(x) (x) = GUINT32_FROM_LE ((x))
425 #define SWAP16(x) (x) = GUINT16_FROM_LE ((x))
426 #define SWAPPDE(x) do { (x).rva = GUINT32_FROM_LE ((x).rva); (x).size = GUINT32_FROM_LE ((x).size);} while (0)
427 SWAP32 (header->coff.coff_time);
428 SWAP32 (header->coff.coff_symptr);
429 SWAP32 (header->coff.coff_symcount);
430 SWAP16 (header->coff.coff_machine);
431 SWAP16 (header->coff.coff_sections);
432 SWAP16 (header->coff.coff_opt_header_size);
433 SWAP16 (header->coff.coff_attributes);
435 SWAP32 (header->pe.pe_code_size);
436 SWAP32 (header->pe.pe_data_size);
437 SWAP32 (header->pe.pe_uninit_data_size);
438 SWAP32 (header->pe.pe_rva_entry_point);
439 SWAP32 (header->pe.pe_rva_code_base);
440 SWAP32 (header->pe.pe_rva_data_base);
441 SWAP16 (header->pe.pe_magic);
443 /* MonoPEHeaderNT: not used yet */
444 SWAP32 (header->nt.pe_image_base); /* must be 0x400000 */
445 SWAP32 (header->nt.pe_section_align); /* must be 8192 */
446 SWAP32 (header->nt.pe_file_alignment); /* must be 512 or 4096 */
447 SWAP16 (header->nt.pe_os_major); /* must be 4 */
448 SWAP16 (header->nt.pe_os_minor); /* must be 0 */
449 SWAP16 (header->nt.pe_user_major);
450 SWAP16 (header->nt.pe_user_minor);
451 SWAP16 (header->nt.pe_subsys_major);
452 SWAP16 (header->nt.pe_subsys_minor);
453 SWAP32 (header->nt.pe_reserved_1);
454 SWAP32 (header->nt.pe_image_size);
455 SWAP32 (header->nt.pe_header_size);
456 SWAP32 (header->nt.pe_checksum);
457 SWAP16 (header->nt.pe_subsys_required);
458 SWAP16 (header->nt.pe_dll_flags);
459 SWAP32 (header->nt.pe_stack_reserve);
460 SWAP32 (header->nt.pe_stack_commit);
461 SWAP32 (header->nt.pe_heap_reserve);
462 SWAP32 (header->nt.pe_heap_commit);
463 SWAP32 (header->nt.pe_loader_flags);
464 SWAP32 (header->nt.pe_data_dir_count);
466 /* MonoDotNetHeader: mostly unused */
467 SWAPPDE (header->datadir.pe_export_table);
468 SWAPPDE (header->datadir.pe_import_table);
469 SWAPPDE (header->datadir.pe_resource_table);
470 SWAPPDE (header->datadir.pe_exception_table);
471 SWAPPDE (header->datadir.pe_certificate_table);
472 SWAPPDE (header->datadir.pe_reloc_table);
473 SWAPPDE (header->datadir.pe_debug);
474 SWAPPDE (header->datadir.pe_copyright);
475 SWAPPDE (header->datadir.pe_global_ptr);
476 SWAPPDE (header->datadir.pe_tls_table);
477 SWAPPDE (header->datadir.pe_load_config_table);
478 SWAPPDE (header->datadir.pe_bound_import);
479 SWAPPDE (header->datadir.pe_iat);
480 SWAPPDE (header->datadir.pe_delay_import_desc);
481 SWAPPDE (header->datadir.pe_cli_header);
482 SWAPPDE (header->datadir.pe_reserved);
489 if (header->coff.coff_machine != 0x14c)
492 if (header->coff.coff_opt_header_size != (sizeof (MonoDotNetHeader) - sizeof (MonoCOFFHeader) - 4))
495 if (header->pesig[0] != 'P' || header->pesig[1] != 'E' || header->pe.pe_magic != 0x10B)
498 if (header->pe.pe_major != 6 || header->pe.pe_minor != 0)
502 * FIXME: byte swap all addresses here for header.
505 if (!load_section_tables (image, iinfo))
508 /* Load the CLI header */
509 if (!load_cli_header (image, iinfo))
512 if (!load_metadata (image, iinfo))
515 load_class_names (image);
517 image->assembly_name = mono_metadata_string_heap (image,
518 mono_metadata_decode_row_col (&image->tables [MONO_TABLE_ASSEMBLY],
519 0, MONO_ASSEMBLY_NAME));
522 *status = MONO_IMAGE_OK;
527 mono_image_close (image);
533 * @fname: filename that points to the module we want to open
534 * @status: An error condition is returned in this field
536 * Retuns: An open image of type %MonoImage or NULL on error.
537 * if NULL, then check the value of @status for details on the error
540 mono_image_open (const char *fname, enum MonoImageOpenStatus *status)
544 g_return_val_if_fail (fname != NULL, NULL);
546 if (loaded_images_hash){
547 image = g_hash_table_lookup (loaded_images_hash, fname);
554 image = do_mono_image_open (fname, status);
558 if (!loaded_images_hash)
559 loaded_images_hash = g_hash_table_new (g_str_hash, g_str_equal);
560 g_hash_table_insert (loaded_images_hash, image->name, image);
566 free_hash_table(gpointer key, gpointer val, gpointer user_data)
568 g_hash_table_destroy ((GHashTable*)val);
573 * @image: The image file we wish to close
575 * Closes an image file, deallocates all memory consumed and
576 * unmaps all possible sections of the file
579 mono_image_close (MonoImage *image)
581 g_return_if_fail (image != NULL);
583 if (--image->ref_count)
586 g_hash_table_remove (loaded_images_hash, image->name);
591 g_free (image->name);
593 g_hash_table_destroy (image->method_cache);
594 g_hash_table_destroy (image->class_cache);
595 g_hash_table_destroy (image->array_cache);
596 g_hash_table_foreach (image->name_cache, free_hash_table, NULL);
597 g_hash_table_destroy (image->name_cache);
599 if (image->raw_metadata != NULL)
600 mono_raw_buffer_free (image->raw_metadata);
602 if (image->image_info){
603 MonoCLIImageInfo *ii = image->image_info;
606 for (i = 0; i < ii->cli_section_count; i++){
607 if (!ii->cli_sections [i])
609 mono_raw_buffer_free (ii->cli_sections [i]);
611 if (ii->cli_section_tables)
612 g_free (ii->cli_section_tables);
613 if (ii->cli_sections)
614 g_free (ii->cli_sections);
615 g_free (image->image_info);
622 * mono_image_strerror:
623 * @status: an code indicating the result from a recent operation
625 * Returns: a string describing the error
628 mono_image_strerror (enum MonoImageOpenStatus status)
633 case MONO_IMAGE_ERROR_ERRNO:
634 return strerror (errno);
635 case MONO_IMAGE_IMAGE_INVALID:
636 return "File does not contain a valid CIL image";
637 case MONO_IMAGE_MISSING_ASSEMBLYREF:
638 return "An assembly was referenced, but could not be found";
640 return "Internal error";