?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Add translations for various sub-directories
[binutils-gdb.git] / bfd / mach-o.c
blobfb5bde17cdb8867e1a7500bbadcbaef670dc4619
1 /* Mach-O support for BFD.
2 Copyright (C) 1999-2025 Free Software Foundation, Inc.
3
4 This file is part of BFD, the Binary File Descriptor library.
5
6 This program is free software; you can redistribute it and/or modify
7 it under the terms of the GNU General Public License as published by
8 the Free Software Foundation; either version 3 of the License, or
9 (at your option) any later version.
10
11 This program is distributed in the hope that it will be useful,
12 but WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 GNU General Public License for more details.
15
16 You should have received a copy of the GNU General Public License
17 along with this program; if not, write to the Free Software
18 Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
19 MA 02110-1301, USA. */
20
21 #include "sysdep.h"
22 #include <limits.h>
23 #include "bfd.h"
24 #include "libbfd.h"
25 #include "libiberty.h"
26 #include "mach-o.h"
27 #include "aout/stab_gnu.h"
28 #include "mach-o/reloc.h"
29 #include "mach-o/external.h"
30 #include <ctype.h>
31 #include <stdlib.h>
32 #include <string.h>
33
34 #define bfd_mach_o_object_p bfd_mach_o_gen_object_p
35 #define bfd_mach_o_core_p bfd_mach_o_gen_core_p
36 #define bfd_mach_o_mkobject bfd_mach_o_gen_mkobject
37
38 #define FILE_ALIGN(off, algn) \
39 (((off) + ((ufile_ptr) 1 << (algn)) - 1) & ((ufile_ptr) -1 << (algn)))
40
41 static bool
42 bfd_mach_o_read_dyld_content (bfd *abfd, bfd_mach_o_dyld_info_command *cmd);
43
44 unsigned int
45 bfd_mach_o_version (bfd *abfd)
46 {
47 bfd_mach_o_data_struct *mdata = NULL;
48
49 BFD_ASSERT (bfd_mach_o_valid (abfd));
50 mdata = bfd_mach_o_get_data (abfd);
51
52 return mdata->header.version;
53 }
54
55 bool
56 bfd_mach_o_valid (bfd *abfd)
57 {
58 if (abfd == NULL || abfd->xvec == NULL)
59 return false;
60
61 if (abfd->xvec->flavour != bfd_target_mach_o_flavour)
62 return false;
63
64 if (bfd_mach_o_get_data (abfd) == NULL)
65 return false;
66 return true;
67 }
68
69 static inline bool
70 mach_o_wide_p (bfd_mach_o_header *header)
71 {
72 switch (header->version)
73 {
74 case 1:
75 return false;
76 case 2:
77 return true;
78 default:
79 BFD_FAIL ();
80 return false;
81 }
82 }
83
84 static inline bool
85 bfd_mach_o_wide_p (bfd *abfd)
86 {
87 return mach_o_wide_p (&bfd_mach_o_get_data (abfd)->header);
88 }
89
90 /* Tables to translate well known Mach-O segment/section names to bfd
91 names. Use of canonical names (such as .text or .debug_frame) is required
92 by gdb. */
93
94 /* __TEXT Segment. */
95 static const mach_o_section_name_xlat text_section_names_xlat[] =
96 {
97 { ".text", "__text",
98 SEC_CODE | SEC_LOAD, BFD_MACH_O_S_REGULAR,
99 BFD_MACH_O_S_ATTR_PURE_INSTRUCTIONS, 0},
100 { ".const", "__const",
101 SEC_READONLY | SEC_DATA | SEC_LOAD, BFD_MACH_O_S_REGULAR,
102 BFD_MACH_O_S_ATTR_NONE, 0},
103 { ".static_const", "__static_const",
104 SEC_READONLY | SEC_DATA | SEC_LOAD, BFD_MACH_O_S_REGULAR,
105 BFD_MACH_O_S_ATTR_NONE, 0},
106 { ".cstring", "__cstring",
107 SEC_READONLY | SEC_DATA | SEC_LOAD | SEC_MERGE | SEC_STRINGS,
108 BFD_MACH_O_S_CSTRING_LITERALS,
109 BFD_MACH_O_S_ATTR_NONE, 0},
110 { ".literal4", "__literal4",
111 SEC_READONLY | SEC_DATA | SEC_LOAD, BFD_MACH_O_S_4BYTE_LITERALS,
112 BFD_MACH_O_S_ATTR_NONE, 2},
113 { ".literal8", "__literal8",
114 SEC_READONLY | SEC_DATA | SEC_LOAD, BFD_MACH_O_S_8BYTE_LITERALS,
115 BFD_MACH_O_S_ATTR_NONE, 3},
116 { ".literal16", "__literal16",
117 SEC_READONLY | SEC_DATA | SEC_LOAD, BFD_MACH_O_S_16BYTE_LITERALS,
118 BFD_MACH_O_S_ATTR_NONE, 4},
119 { ".constructor", "__constructor",
120 SEC_CODE | SEC_LOAD, BFD_MACH_O_S_REGULAR,
121 BFD_MACH_O_S_ATTR_NONE, 0},
122 { ".destructor", "__destructor",
123 SEC_CODE | SEC_LOAD, BFD_MACH_O_S_REGULAR,
124 BFD_MACH_O_S_ATTR_NONE, 0},
125 { ".eh_frame", "__eh_frame",
126 SEC_READONLY | SEC_DATA | SEC_LOAD, BFD_MACH_O_S_COALESCED,
127 BFD_MACH_O_S_ATTR_LIVE_SUPPORT
128 | BFD_MACH_O_S_ATTR_STRIP_STATIC_SYMS
129 | BFD_MACH_O_S_ATTR_NO_TOC, 2},
130 { NULL, NULL, 0, 0, 0, 0}
131 };
132
133 /* __DATA Segment. */
134 static const mach_o_section_name_xlat data_section_names_xlat[] =
135 {
136 { ".data", "__data",
137 SEC_DATA | SEC_LOAD, BFD_MACH_O_S_REGULAR,
138 BFD_MACH_O_S_ATTR_NONE, 0},
139 { ".bss", "__bss",
140 SEC_NO_FLAGS, BFD_MACH_O_S_ZEROFILL,
141 BFD_MACH_O_S_ATTR_NONE, 0},
142 { ".const_data", "__const",
143 SEC_DATA | SEC_LOAD, BFD_MACH_O_S_REGULAR,
144 BFD_MACH_O_S_ATTR_NONE, 0},
145 { ".static_data", "__static_data",
146 SEC_DATA | SEC_LOAD, BFD_MACH_O_S_REGULAR,
147 BFD_MACH_O_S_ATTR_NONE, 0},
148 { ".mod_init_func", "__mod_init_func",
149 SEC_DATA | SEC_LOAD, BFD_MACH_O_S_MOD_INIT_FUNC_POINTERS,
150 BFD_MACH_O_S_ATTR_NONE, 2},
151 { ".mod_term_func", "__mod_term_func",
152 SEC_DATA | SEC_LOAD, BFD_MACH_O_S_MOD_FINI_FUNC_POINTERS,
153 BFD_MACH_O_S_ATTR_NONE, 2},
154 { ".dyld", "__dyld",
155 SEC_DATA | SEC_LOAD, BFD_MACH_O_S_REGULAR,
156 BFD_MACH_O_S_ATTR_NONE, 0},
157 { ".cfstring", "__cfstring",
158 SEC_DATA | SEC_LOAD, BFD_MACH_O_S_REGULAR,
159 BFD_MACH_O_S_ATTR_NONE, 2},
160 { NULL, NULL, 0, 0, 0, 0}
161 };
162
163 /* __DWARF Segment. */
164 static const mach_o_section_name_xlat dwarf_section_names_xlat[] =
165 {
166 { ".debug_frame", "__debug_frame",
167 SEC_DEBUGGING, BFD_MACH_O_S_REGULAR,
168 BFD_MACH_O_S_ATTR_DEBUG, 0},
169 { ".debug_info", "__debug_info",
170 SEC_DEBUGGING, BFD_MACH_O_S_REGULAR,
171 BFD_MACH_O_S_ATTR_DEBUG, 0},
172 { ".debug_abbrev", "__debug_abbrev",
173 SEC_DEBUGGING, BFD_MACH_O_S_REGULAR,
174 BFD_MACH_O_S_ATTR_DEBUG, 0},
175 { ".debug_aranges", "__debug_aranges",
176 SEC_DEBUGGING, BFD_MACH_O_S_REGULAR,
177 BFD_MACH_O_S_ATTR_DEBUG, 0},
178 { ".debug_macinfo", "__debug_macinfo",
179 SEC_DEBUGGING, BFD_MACH_O_S_REGULAR,
180 BFD_MACH_O_S_ATTR_DEBUG, 0},
181 { ".debug_line", "__debug_line",
182 SEC_DEBUGGING, BFD_MACH_O_S_REGULAR,
183 BFD_MACH_O_S_ATTR_DEBUG, 0},
184 { ".debug_loc", "__debug_loc",
185 SEC_DEBUGGING, BFD_MACH_O_S_REGULAR,
186 BFD_MACH_O_S_ATTR_DEBUG, 0},
187 { ".debug_pubnames", "__debug_pubnames",
188 SEC_DEBUGGING, BFD_MACH_O_S_REGULAR,
189 BFD_MACH_O_S_ATTR_DEBUG, 0},
190 { ".debug_pubtypes", "__debug_pubtypes",
191 SEC_DEBUGGING, BFD_MACH_O_S_REGULAR,
192 BFD_MACH_O_S_ATTR_DEBUG, 0},
193 { ".debug_str", "__debug_str",
194 SEC_DEBUGGING, BFD_MACH_O_S_REGULAR,
195 BFD_MACH_O_S_ATTR_DEBUG, 0},
196 { ".debug_ranges", "__debug_ranges",
197 SEC_DEBUGGING, BFD_MACH_O_S_REGULAR,
198 BFD_MACH_O_S_ATTR_DEBUG, 0},
199 { ".debug_macro", "__debug_macro",
200 SEC_DEBUGGING, BFD_MACH_O_S_REGULAR,
201 BFD_MACH_O_S_ATTR_DEBUG, 0},
202 { ".debug_gdb_scripts", "__debug_gdb_scri",
203 SEC_DEBUGGING, BFD_MACH_O_S_REGULAR,
204 BFD_MACH_O_S_ATTR_DEBUG, 0},
205 { NULL, NULL, 0, 0, 0, 0}
206 };
207
208 /* __OBJC Segment. */
209 static const mach_o_section_name_xlat objc_section_names_xlat[] =
210 {
211 { ".objc_class", "__class",
212 SEC_DATA | SEC_LOAD, BFD_MACH_O_S_REGULAR,
213 BFD_MACH_O_S_ATTR_NO_DEAD_STRIP, 0},
214 { ".objc_meta_class", "__meta_class",
215 SEC_DATA | SEC_LOAD, BFD_MACH_O_S_REGULAR,
216 BFD_MACH_O_S_ATTR_NO_DEAD_STRIP, 0},
217 { ".objc_cat_cls_meth", "__cat_cls_meth",
218 SEC_DATA | SEC_LOAD, BFD_MACH_O_S_REGULAR,
219 BFD_MACH_O_S_ATTR_NO_DEAD_STRIP, 0},
220 { ".objc_cat_inst_meth", "__cat_inst_meth",
221 SEC_DATA | SEC_LOAD, BFD_MACH_O_S_REGULAR,
222 BFD_MACH_O_S_ATTR_NO_DEAD_STRIP, 0},
223 { ".objc_protocol", "__protocol",
224 SEC_DATA | SEC_LOAD, BFD_MACH_O_S_REGULAR,
225 BFD_MACH_O_S_ATTR_NO_DEAD_STRIP, 0},
226 { ".objc_string_object", "__string_object",
227 SEC_DATA | SEC_LOAD, BFD_MACH_O_S_REGULAR,
228 BFD_MACH_O_S_ATTR_NO_DEAD_STRIP, 0},
229 { ".objc_cls_meth", "__cls_meth",
230 SEC_DATA | SEC_LOAD, BFD_MACH_O_S_REGULAR,
231 BFD_MACH_O_S_ATTR_NO_DEAD_STRIP, 0},
232 { ".objc_inst_meth", "__inst_meth",
233 SEC_DATA | SEC_LOAD, BFD_MACH_O_S_REGULAR,
234 BFD_MACH_O_S_ATTR_NO_DEAD_STRIP, 0},
235 { ".objc_cls_refs", "__cls_refs",
236 SEC_DATA | SEC_LOAD, BFD_MACH_O_S_LITERAL_POINTERS,
237 BFD_MACH_O_S_ATTR_NO_DEAD_STRIP, 0},
238 { ".objc_message_refs", "__message_refs",
239 SEC_DATA | SEC_LOAD, BFD_MACH_O_S_LITERAL_POINTERS,
240 BFD_MACH_O_S_ATTR_NO_DEAD_STRIP, 0},
241 { ".objc_symbols", "__symbols",
242 SEC_DATA | SEC_LOAD, BFD_MACH_O_S_REGULAR,
243 BFD_MACH_O_S_ATTR_NO_DEAD_STRIP, 0},
244 { ".objc_category", "__category",
245 SEC_DATA | SEC_LOAD, BFD_MACH_O_S_REGULAR,
246 BFD_MACH_O_S_ATTR_NO_DEAD_STRIP, 0},
247 { ".objc_class_vars", "__class_vars",
248 SEC_DATA | SEC_LOAD, BFD_MACH_O_S_REGULAR,
249 BFD_MACH_O_S_ATTR_NO_DEAD_STRIP, 0},
250 { ".objc_instance_vars", "__instance_vars",
251 SEC_DATA | SEC_LOAD, BFD_MACH_O_S_REGULAR,
252 BFD_MACH_O_S_ATTR_NO_DEAD_STRIP, 0},
253 { ".objc_module_info", "__module_info",
254 SEC_DATA | SEC_LOAD, BFD_MACH_O_S_REGULAR,
255 BFD_MACH_O_S_ATTR_NO_DEAD_STRIP, 0},
256 { ".objc_selector_strs", "__selector_strs",
257 SEC_DATA | SEC_LOAD, BFD_MACH_O_S_CSTRING_LITERALS,
258 BFD_MACH_O_S_ATTR_NO_DEAD_STRIP, 0},
259 { ".objc_image_info", "__image_info",
260 SEC_DATA | SEC_LOAD, BFD_MACH_O_S_REGULAR,
261 BFD_MACH_O_S_ATTR_NO_DEAD_STRIP, 0},
262 { ".objc_selector_fixup", "__sel_fixup",
263 SEC_DATA | SEC_LOAD, BFD_MACH_O_S_REGULAR,
264 BFD_MACH_O_S_ATTR_NO_DEAD_STRIP, 0},
265 /* Objc V1 */
266 { ".objc1_class_ext", "__class_ext",
267 SEC_DATA | SEC_LOAD, BFD_MACH_O_S_REGULAR,
268 BFD_MACH_O_S_ATTR_NO_DEAD_STRIP, 0},
269 { ".objc1_property_list", "__property",
270 SEC_DATA | SEC_LOAD, BFD_MACH_O_S_REGULAR,
271 BFD_MACH_O_S_ATTR_NO_DEAD_STRIP, 0},
272 { ".objc1_protocol_ext", "__protocol_ext",
273 SEC_DATA | SEC_LOAD, BFD_MACH_O_S_REGULAR,
274 BFD_MACH_O_S_ATTR_NO_DEAD_STRIP, 0},
275 { NULL, NULL, 0, 0, 0, 0}
276 };
277
278 static const mach_o_segment_name_xlat segsec_names_xlat[] =
279 {
280 { "__TEXT", text_section_names_xlat },
281 { "__DATA", data_section_names_xlat },
282 { "__DWARF", dwarf_section_names_xlat },
283 { "__OBJC", objc_section_names_xlat },
284 { NULL, NULL }
285 };
286
287 static const char dsym_subdir[] = ".dSYM/Contents/Resources/DWARF";
288
289 /* For both cases bfd-name => mach-o name and vice versa, the specific target
290 is checked before the generic. This allows a target (e.g. ppc for cstring)
291 to override the generic definition with a more specific one. */
292
293 /* Fetch the translation from a Mach-O section designation (segment, section)
294 as a bfd short name, if one exists. Otherwise return NULL.
295
296 Allow the segment and section names to be unterminated 16 byte arrays. */
297
298 const mach_o_section_name_xlat *
299 bfd_mach_o_section_data_for_mach_sect (bfd *abfd, const char *segname,
300 const char *sectname)
301 {
302 const struct mach_o_segment_name_xlat *seg;
303 const mach_o_section_name_xlat *sec;
304 bfd_mach_o_backend_data *bed = bfd_mach_o_get_backend_data (abfd);
305
306 /* First try any target-specific translations defined... */
307 if (bed->segsec_names_xlat)
308 for (seg = bed->segsec_names_xlat; seg->segname; seg++)
309 if (strncmp (seg->segname, segname, BFD_MACH_O_SEGNAME_SIZE) == 0)
310 for (sec = seg->sections; sec->mach_o_name; sec++)
311 if (strncmp (sec->mach_o_name, sectname,
312 BFD_MACH_O_SECTNAME_SIZE) == 0)
313 return sec;
314
315 /* ... and then the Mach-O generic ones. */
316 for (seg = segsec_names_xlat; seg->segname; seg++)
317 if (strncmp (seg->segname, segname, BFD_MACH_O_SEGNAME_SIZE) == 0)
318 for (sec = seg->sections; sec->mach_o_name; sec++)
319 if (strncmp (sec->mach_o_name, sectname,
320 BFD_MACH_O_SECTNAME_SIZE) == 0)
321 return sec;
322
323 return NULL;
324 }
325
326 /* If the bfd_name for this section is a 'canonical' form for which we
327 know the Mach-O data, return the segment name and the data for the
328 Mach-O equivalent. Otherwise return NULL. */
329
330 const mach_o_section_name_xlat *
331 bfd_mach_o_section_data_for_bfd_name (bfd *abfd, const char *bfd_name,
332 const char **segname)
333 {
334 const struct mach_o_segment_name_xlat *seg;
335 const mach_o_section_name_xlat *sec;
336 bfd_mach_o_backend_data *bed = bfd_mach_o_get_backend_data (abfd);
337 *segname = NULL;
338
339 if (bfd_name[0] != '.')
340 return NULL;
341
342 /* First try any target-specific translations defined... */
343 if (bed->segsec_names_xlat)
344 for (seg = bed->segsec_names_xlat; seg->segname; seg++)
345 for (sec = seg->sections; sec->bfd_name; sec++)
346 if (strcmp (bfd_name, sec->bfd_name) == 0)
347 {
348 *segname = seg->segname;
349 return sec;
350 }
351
352 /* ... and then the Mach-O generic ones. */
353 for (seg = segsec_names_xlat; seg->segname; seg++)
354 for (sec = seg->sections; sec->bfd_name; sec++)
355 if (strcmp (bfd_name, sec->bfd_name) == 0)
356 {
357 *segname = seg->segname;
358 return sec;
359 }
360
361 return NULL;
362 }
363
364 /* Convert Mach-O section name to BFD.
365
366 Try to use standard/canonical names, for which we have tables including
367 default flag settings - which are returned. Otherwise forge a new name
368 in the form "<segmentname>.<sectionname>" this will be prefixed with
369 LC_SEGMENT. if the segment name does not begin with an underscore.
370
371 SEGNAME and SECTNAME are 16 byte arrays (they do not need to be NUL-
372 terminated if the name length is exactly 16 bytes - but must be if the name
373 length is less than 16 characters). */
374
375 void
376 bfd_mach_o_convert_section_name_to_bfd (bfd *abfd, const char *segname,
377 const char *secname, const char **name,
378 flagword *flags)
379 {
380 const mach_o_section_name_xlat *xlat;
381 char *res;
382 size_t len;
383 const char *pfx = "";
384
385 *name = NULL;
386 *flags = SEC_NO_FLAGS;
387
388 /* First search for a canonical name...
389 xlat will be non-null if there is an entry for segname, secname. */
390 xlat = bfd_mach_o_section_data_for_mach_sect (abfd, segname, secname);
391 if (xlat)
392 {
393 len = strlen (xlat->bfd_name);
394 res = bfd_alloc (abfd, len + 1);
395 if (res == NULL)
396 return;
397 memcpy (res, xlat->bfd_name, len + 1);
398 *name = res;
399 *flags = xlat->bfd_flags;
400 return;
401 }
402
403 /* ... else we make up a bfd name from the segment concatenated with the
404 section. */
405
406 len = 16 + 1 + 16 + 1;
407
408 /* Put "LC_SEGMENT." prefix if the segment name is weird (ie doesn't start
409 with an underscore. */
410 if (segname[0] != '_')
411 {
412 static const char seg_pfx[] = "LC_SEGMENT.";
413
414 pfx = seg_pfx;
415 len += sizeof (seg_pfx) - 1;
416 }
417
418 res = bfd_alloc (abfd, len);
419 if (res == NULL)
420 return;
421 snprintf (res, len, "%s%.16s.%.16s", pfx, segname, secname);
422 *name = res;
423 }
424
425 /* Convert a bfd section name to a Mach-O segment + section name.
426
427 If the name is a canonical one for which we have a Darwin match
428 return the translation table - which contains defaults for flags,
429 type, attribute and default alignment data.
430
431 Otherwise, expand the bfd_name (assumed to be in the form
432 "[LC_SEGMENT.]<segmentname>.<sectionname>") and return NULL. */
433
434 static const mach_o_section_name_xlat *
435 bfd_mach_o_convert_section_name_to_mach_o (bfd *abfd ATTRIBUTE_UNUSED,
436 asection *sect,
437 bfd_mach_o_section *section)
438 {
439 const mach_o_section_name_xlat *xlat;
440 const char *name = bfd_section_name (sect);
441 const char *segname;
442 const char *dot;
443 size_t len;
444 size_t seglen;
445 size_t seclen;
446
447 memset (section->segname, 0, BFD_MACH_O_SEGNAME_SIZE + 1);
448 memset (section->sectname, 0, BFD_MACH_O_SECTNAME_SIZE + 1);
449
450 /* See if is a canonical name ... */
451 xlat = bfd_mach_o_section_data_for_bfd_name (abfd, name, &segname);
452 if (xlat)
453 {
454 strcpy (section->segname, segname);
455 strcpy (section->sectname, xlat->mach_o_name);
456 return xlat;
457 }
458
459 /* .. else we convert our constructed one back to Mach-O.
460 Strip LC_SEGMENT. prefix, if present. */
461 if (strncmp (name, "LC_SEGMENT.", 11) == 0)
462 name += 11;
463
464 /* Find a dot. */
465 dot = strchr (name, '.');
466 len = strlen (name);
467
468 /* Try to split name into segment and section names. */
469 if (dot && dot != name)
470 {
471 seglen = dot - name;
472 seclen = len - (dot + 1 - name);
473
474 if (seglen <= BFD_MACH_O_SEGNAME_SIZE
475 && seclen <= BFD_MACH_O_SECTNAME_SIZE)
476 {
477 memcpy (section->segname, name, seglen);
478 section->segname[seglen] = 0;
479 memcpy (section->sectname, dot + 1, seclen);
480 section->sectname[seclen] = 0;
481 return NULL;
482 }
483 }
484
485 /* The segment and section names are both missing - don't make them
486 into dots. */
487 if (dot && dot == name)
488 return NULL;
489
490 /* Just duplicate the name into both segment and section. */
491 if (len > 16)
492 len = 16;
493 memcpy (section->segname, name, len);
494 section->segname[len] = 0;
495 memcpy (section->sectname, name, len);
496 section->sectname[len] = 0;
497 return NULL;
498 }
499
500 /* Return the size of an entry for section SEC.
501 Must be called only for symbol pointer section and symbol stubs
502 sections. */
503
504 unsigned int
505 bfd_mach_o_section_get_entry_size (bfd *abfd, bfd_mach_o_section *sec)
506 {
507 switch (sec->flags & BFD_MACH_O_SECTION_TYPE_MASK)
508 {
509 case BFD_MACH_O_S_NON_LAZY_SYMBOL_POINTERS:
510 case BFD_MACH_O_S_LAZY_SYMBOL_POINTERS:
511 return bfd_mach_o_wide_p (abfd) ? 8 : 4;
512 case BFD_MACH_O_S_SYMBOL_STUBS:
513 return sec->reserved2;
514 default:
515 BFD_FAIL ();
516 return 0;
517 }
518 }
519
520 /* Return the number of indirect symbols for a section.
521 Must be called only for symbol pointer section and symbol stubs
522 sections. */
523
524 unsigned int
525 bfd_mach_o_section_get_nbr_indirect (bfd *abfd, bfd_mach_o_section *sec)
526 {
527 unsigned int elsz;
528
529 /* FIXME: This array is set by the assembler but does not seem to be
530 set anywhere for objcopy. Since bfd_mach_o_build_dysymtab will
531 not fill in output bfd_mach_o_dysymtab_command indirect_syms when
532 this array is NULL we may as well return zero for the size.
533 This is enough to stop objcopy allocating huge amounts of memory
534 for indirect symbols in fuzzed object files. */
535 if (sec->indirect_syms == NULL)
536 return 0;
537
538 elsz = bfd_mach_o_section_get_entry_size (abfd, sec);
539 if (elsz == 0)
540 return 0;
541 else
542 return sec->size / elsz;
543 }
544
545 /* Append command CMD to ABFD. Note that header.ncmds is not updated. */
546
547 static void
548 bfd_mach_o_append_command (bfd *abfd, bfd_mach_o_load_command *cmd)
549 {
550 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
551
552 if (mdata->last_command != NULL)
553 mdata->last_command->next = cmd;
554 else
555 mdata->first_command = cmd;
556 mdata->last_command = cmd;
557 cmd->next = NULL;
558 }
559
560 /* Copy any private info we understand from the input symbol
561 to the output symbol. */
562
563 bool
564 bfd_mach_o_bfd_copy_private_symbol_data (bfd *ibfd ATTRIBUTE_UNUSED,
565 asymbol *isymbol,
566 bfd *obfd ATTRIBUTE_UNUSED,
567 asymbol *osymbol)
568 {
569 bfd_mach_o_asymbol *os, *is;
570
571 os = (bfd_mach_o_asymbol *)osymbol;
572 is = (bfd_mach_o_asymbol *)isymbol;
573 os->n_type = is->n_type;
574 os->n_sect = is->n_sect;
575 os->n_desc = is->n_desc;
576 os->symbol.udata.i = is->symbol.udata.i;
577
578 return true;
579 }
580
581 /* Copy any private info we understand from the input section
582 to the output section. */
583
584 bool
585 bfd_mach_o_bfd_copy_private_section_data (bfd *ibfd, asection *isection,
586 bfd *obfd, asection *osection)
587 {
588 bfd_mach_o_section *os = bfd_mach_o_get_mach_o_section (osection);
589 bfd_mach_o_section *is = bfd_mach_o_get_mach_o_section (isection);
590
591 if (ibfd->xvec->flavour != bfd_target_mach_o_flavour
592 || obfd->xvec->flavour != bfd_target_mach_o_flavour)
593 return true;
594
595 BFD_ASSERT (is != NULL && os != NULL);
596
597 os->flags = is->flags;
598 os->reserved1 = is->reserved1;
599 os->reserved2 = is->reserved2;
600 os->reserved3 = is->reserved3;
601
602 return true;
603 }
604
605 static const char *
606 cputype (unsigned long value)
607 {
608 switch (value)
609 {
610 case BFD_MACH_O_CPU_TYPE_VAX: return "VAX";
611 case BFD_MACH_O_CPU_TYPE_MC680x0: return "MC68k";
612 case BFD_MACH_O_CPU_TYPE_I386: return "I386";
613 case BFD_MACH_O_CPU_TYPE_MIPS: return "MIPS";
614 case BFD_MACH_O_CPU_TYPE_MC98000: return "MC98k";
615 case BFD_MACH_O_CPU_TYPE_HPPA: return "HPPA";
616 case BFD_MACH_O_CPU_TYPE_ARM: return "ARM";
617 case BFD_MACH_O_CPU_TYPE_MC88000: return "MC88K";
618 case BFD_MACH_O_CPU_TYPE_SPARC: return "SPARC";
619 case BFD_MACH_O_CPU_TYPE_I860: return "I860";
620 case BFD_MACH_O_CPU_TYPE_ALPHA: return "ALPHA";
621 case BFD_MACH_O_CPU_TYPE_POWERPC: return "PPC";
622 case BFD_MACH_O_CPU_TYPE_POWERPC_64: return "PPC64";
623 case BFD_MACH_O_CPU_TYPE_X86_64: return "X86_64";
624 case BFD_MACH_O_CPU_TYPE_ARM64: return "ARM64";
625 default: return _("<unknown>");
626 }
627 }
628
629 static const char *
630 cpusubtype (unsigned long cpu_type, unsigned long cpu_subtype, char *buffer)
631 {
632 buffer[0] = 0;
633 switch (cpu_subtype & BFD_MACH_O_CPU_SUBTYPE_MASK)
634 {
635 case 0:
636 break;
637 case BFD_MACH_O_CPU_SUBTYPE_LIB64:
638 sprintf (buffer, " (LIB64)"); break;
639 default:
640 sprintf (buffer, _("<unknown mask flags>")); break;
641 }
642
643 cpu_subtype &= ~ BFD_MACH_O_CPU_SUBTYPE_MASK;
644
645 switch (cpu_type)
646 {
647 case BFD_MACH_O_CPU_TYPE_X86_64:
648 case BFD_MACH_O_CPU_TYPE_I386:
649 switch (cpu_subtype)
650 {
651 case BFD_MACH_O_CPU_SUBTYPE_X86_ALL:
652 return strcat (buffer, " (X86_ALL)");
653 default:
654 break;
655 }
656 break;
657
658 case BFD_MACH_O_CPU_TYPE_ARM:
659 switch (cpu_subtype)
660 {
661 case BFD_MACH_O_CPU_SUBTYPE_ARM_ALL:
662 return strcat (buffer, " (ARM_ALL)");
663 case BFD_MACH_O_CPU_SUBTYPE_ARM_V4T:
664 return strcat (buffer, " (ARM_V4T)");
665 case BFD_MACH_O_CPU_SUBTYPE_ARM_V6:
666 return strcat (buffer, " (ARM_V6)");
667 case BFD_MACH_O_CPU_SUBTYPE_ARM_V5TEJ:
668 return strcat (buffer, " (ARM_V5TEJ)");
669 case BFD_MACH_O_CPU_SUBTYPE_ARM_XSCALE:
670 return strcat (buffer, " (ARM_XSCALE)");
671 case BFD_MACH_O_CPU_SUBTYPE_ARM_V7:
672 return strcat (buffer, " (ARM_V7)");
673 default:
674 break;
675 }
676 break;
677
678 case BFD_MACH_O_CPU_TYPE_ARM64:
679 switch (cpu_subtype)
680 {
681 case BFD_MACH_O_CPU_SUBTYPE_ARM64_ALL:
682 return strcat (buffer, " (ARM64_ALL)");
683 case BFD_MACH_O_CPU_SUBTYPE_ARM64_V8:
684 return strcat (buffer, " (ARM64_V8)");
685 default:
686 break;
687 }
688 break;
689
690 default:
691 break;
692 }
693
694 if (cpu_subtype != 0)
695 return strcat (buffer, _(" (<unknown>)"));
696
697 return buffer;
698 }
699
700 bool
701 bfd_mach_o_bfd_print_private_bfd_data (bfd *abfd, void *ptr)
702 {
703 FILE * file = (FILE *) ptr;
704 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
705 char buff[128];
706
707 fprintf (file, _(" MACH-O header:\n"));
708 fprintf (file, _(" magic: %#lx\n"), (long) mdata->header.magic);
709 fprintf (file, _(" cputype: %#lx (%s)\n"), (long) mdata->header.cputype,
710 cputype (mdata->header.cputype));
711 fprintf (file, _(" cpusubtype: %#lx%s\n"), (long) mdata->header.cpusubtype,
712 cpusubtype (mdata->header.cputype, mdata->header.cpusubtype, buff));
713 fprintf (file, _(" filetype: %#lx\n"), (long) mdata->header.filetype);
714 fprintf (file, _(" ncmds: %#lx\n"), (long) mdata->header.ncmds);
715 fprintf (file, _(" sizeocmds: %#lx\n"), (long) mdata->header.sizeofcmds);
716 fprintf (file, _(" flags: %#lx\n"), (long) mdata->header.flags);
717 fprintf (file, _(" version: %x\n"), mdata->header.version);
718
719 return true;
720 }
721
722 /* Copy any private info we understand from the input bfd
723 to the output bfd. */
724
725 bool
726 bfd_mach_o_bfd_copy_private_header_data (bfd *ibfd, bfd *obfd)
727 {
728 bfd_mach_o_data_struct *imdata;
729 bfd_mach_o_data_struct *omdata;
730 bfd_mach_o_load_command *icmd;
731
732 if (bfd_get_flavour (ibfd) != bfd_target_mach_o_flavour
733 || bfd_get_flavour (obfd) != bfd_target_mach_o_flavour)
734 return true;
735
736 BFD_ASSERT (bfd_mach_o_valid (ibfd));
737 BFD_ASSERT (bfd_mach_o_valid (obfd));
738
739 imdata = bfd_mach_o_get_data (ibfd);
740 omdata = bfd_mach_o_get_data (obfd);
741
742 /* Copy header flags. */
743 omdata->header.flags = imdata->header.flags;
744
745 /* PR 23299. Copy the cputype. */
746 if (imdata->header.cputype != omdata->header.cputype)
747 {
748 if (omdata->header.cputype == 0)
749 omdata->header.cputype = imdata->header.cputype;
750 else if (imdata->header.cputype != 0)
751 /* Urg - what has happened ? */
752 _bfd_error_handler (_("incompatible cputypes in mach-o files: %ld vs %ld"),
753 (long) imdata->header.cputype,
754 (long) omdata->header.cputype);
755 }
756
757 /* Copy the cpusubtype. */
758 omdata->header.cpusubtype = imdata->header.cpusubtype;
759
760 /* Copy commands. */
761 for (icmd = imdata->first_command; icmd != NULL; icmd = icmd->next)
762 {
763 bfd_mach_o_load_command *ocmd;
764
765 switch (icmd->type)
766 {
767 case BFD_MACH_O_LC_LOAD_DYLIB:
768 case BFD_MACH_O_LC_LOAD_DYLINKER:
769 case BFD_MACH_O_LC_DYLD_INFO:
770 /* Command is copied. */
771 ocmd = bfd_alloc (obfd, sizeof (bfd_mach_o_load_command));
772 if (ocmd == NULL)
773 return false;
774
775 /* Copy common fields. */
776 ocmd->type = icmd->type;
777 ocmd->type_required = icmd->type_required;
778 ocmd->offset = 0;
779 ocmd->len = icmd->len;
780 break;
781
782 default:
783 /* Command is not copied. */
784 continue;
785 break;
786 }
787
788 switch (icmd->type)
789 {
790 case BFD_MACH_O_LC_LOAD_DYLIB:
791 {
792 bfd_mach_o_dylib_command *idy = &icmd->command.dylib;
793 bfd_mach_o_dylib_command *ody = &ocmd->command.dylib;
794
795 ody->name_offset = idy->name_offset;
796 ody->timestamp = idy->timestamp;
797 ody->current_version = idy->current_version;
798 ody->compatibility_version = idy->compatibility_version;
799 ody->name_str = idy->name_str;
800 }
801 break;
802
803 case BFD_MACH_O_LC_LOAD_DYLINKER:
804 {
805 bfd_mach_o_dylinker_command *idy = &icmd->command.dylinker;
806 bfd_mach_o_dylinker_command *ody = &ocmd->command.dylinker;
807
808 ody->name_offset = idy->name_offset;
809 ody->name_str = idy->name_str;
810 }
811 break;
812
813 case BFD_MACH_O_LC_DYLD_INFO:
814 {
815 bfd_mach_o_dyld_info_command *idy = &icmd->command.dyld_info;
816 bfd_mach_o_dyld_info_command *ody = &ocmd->command.dyld_info;
817
818 if (bfd_mach_o_read_dyld_content (ibfd, idy))
819 {
820 ody->rebase_size = idy->rebase_size;
821 ody->rebase_content = idy->rebase_content;
822
823 ody->bind_size = idy->bind_size;
824 ody->bind_content = idy->bind_content;
825
826 ody->weak_bind_size = idy->weak_bind_size;
827 ody->weak_bind_content = idy->weak_bind_content;
828
829 ody->lazy_bind_size = idy->lazy_bind_size;
830 ody->lazy_bind_content = idy->lazy_bind_content;
831
832 ody->export_size = idy->export_size;
833 ody->export_content = idy->export_content;
834 }
835 /* PR 17512L: file: 730e492d. */
836 else
837 {
838 ody->rebase_size =
839 ody->bind_size =
840 ody->weak_bind_size =
841 ody->lazy_bind_size =
842 ody->export_size = 0;
843 ody->rebase_content =
844 ody->bind_content =
845 ody->weak_bind_content =
846 ody->lazy_bind_content =
847 ody->export_content = NULL;
848 }
849 }
850 break;
851
852 default:
853 /* That command should be handled. */
854 abort ();
855 }
856
857 /* Insert command. */
858 bfd_mach_o_append_command (obfd, ocmd);
859 }
860
861 return true;
862 }
863
864 /* This allows us to set up to 32 bits of flags (unless we invent some
865 fiendish scheme to subdivide). For now, we'll just set the file flags
866 without error checking - just overwrite. */
867
868 bool
869 bfd_mach_o_bfd_set_private_flags (bfd *abfd, flagword flags)
870 {
871 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
872
873 if (!mdata)
874 return false;
875
876 mdata->header.flags = flags;
877 return true;
878 }
879
880 /* Count the total number of symbols. */
881
882 static long
883 bfd_mach_o_count_symbols (bfd *abfd)
884 {
885 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
886
887 if (mdata->symtab == NULL)
888 return 0;
889 return mdata->symtab->nsyms;
890 }
891
892 long
893 bfd_mach_o_get_symtab_upper_bound (bfd *abfd)
894 {
895 long nsyms = bfd_mach_o_count_symbols (abfd);
896
897 return ((nsyms + 1) * sizeof (asymbol *));
898 }
899
900 long
901 bfd_mach_o_canonicalize_symtab (bfd *abfd, asymbol **alocation)
902 {
903 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
904 long nsyms = bfd_mach_o_count_symbols (abfd);
905 bfd_mach_o_symtab_command *sym = mdata->symtab;
906 unsigned long j;
907
908 if (nsyms < 0)
909 return nsyms;
910
911 if (nsyms == 0)
912 {
913 /* Do not try to read symbols if there are none. */
914 alocation[0] = NULL;
915 return 0;
916 }
917
918 if (!bfd_mach_o_read_symtab_symbols (abfd))
919 {
920 _bfd_error_handler
921 (_("bfd_mach_o_canonicalize_symtab: unable to load symbols"));
922 return -1;
923 }
924
925 BFD_ASSERT (sym->symbols != NULL);
926
927 for (j = 0; j < sym->nsyms; j++)
928 alocation[j] = &sym->symbols[j].symbol;
929
930 alocation[j] = NULL;
931
932 return nsyms;
933 }
934
935 /* Create synthetic symbols for indirect symbols. */
936
937 long
938 bfd_mach_o_get_synthetic_symtab (bfd *abfd,
939 long symcount ATTRIBUTE_UNUSED,
940 asymbol **syms ATTRIBUTE_UNUSED,
941 long dynsymcount ATTRIBUTE_UNUSED,
942 asymbol **dynsyms ATTRIBUTE_UNUSED,
943 asymbol **ret)
944 {
945 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
946 bfd_mach_o_dysymtab_command *dysymtab = mdata->dysymtab;
947 bfd_mach_o_symtab_command *symtab = mdata->symtab;
948 asymbol *s;
949 char * s_start;
950 unsigned long count, i, j, n;
951 size_t size;
952 char *names;
953 const char stub [] = "$stub";
954
955 *ret = NULL;
956
957 /* Stop now if no symbols or no indirect symbols. */
958 if (dysymtab == NULL || dysymtab->nindirectsyms == 0
959 || symtab == NULL || symtab->symbols == NULL)
960 return 0;
961
962 /* We need to allocate a bfd symbol for every indirect symbol and to
963 allocate the memory for its name. */
964 count = dysymtab->nindirectsyms;
965 size = 0;
966 for (j = 0; j < count; j++)
967 {
968 unsigned int isym = dysymtab->indirect_syms[j];
969 const char *str;
970
971 /* Some indirect symbols are anonymous. */
972 if (isym < symtab->nsyms
973 && (str = symtab->symbols[isym].symbol.name) != NULL)
974 {
975 /* PR 17512: file: f5b8eeba. */
976 size += strnlen (str, symtab->strsize - (str - symtab->strtab));
977 size += sizeof (stub);
978 }
979 }
980
981 s_start = bfd_malloc (size + count * sizeof (asymbol));
982 s = *ret = (asymbol *) s_start;
983 if (s == NULL)
984 return -1;
985 names = (char *) (s + count);
986
987 n = 0;
988 for (i = 0; i < mdata->nsects; i++)
989 {
990 bfd_mach_o_section *sec = mdata->sections[i];
991 unsigned int first, last;
992 bfd_vma addr;
993 unsigned int entry_size;
994
995 switch (sec->flags & BFD_MACH_O_SECTION_TYPE_MASK)
996 {
997 case BFD_MACH_O_S_NON_LAZY_SYMBOL_POINTERS:
998 case BFD_MACH_O_S_LAZY_SYMBOL_POINTERS:
999 case BFD_MACH_O_S_SYMBOL_STUBS:
1000 /* Only these sections have indirect symbols. */
1001 first = sec->reserved1;
1002 last = first + bfd_mach_o_section_get_nbr_indirect (abfd, sec);
1003 addr = sec->addr;
1004 entry_size = bfd_mach_o_section_get_entry_size (abfd, sec);
1005
1006 /* PR 17512: file: 08e15eec. */
1007 if (first >= count || last > count || first > last)
1008 goto fail;
1009
1010 for (j = first; j < last; j++)
1011 {
1012 unsigned int isym = dysymtab->indirect_syms[j];
1013 const char *str;
1014 size_t len;
1015
1016 if (isym < symtab->nsyms
1017 && (str = symtab->symbols[isym].symbol.name) != NULL)
1018 {
1019 /* PR 17512: file: 04d64d9b. */
1020 if (n >= count)
1021 goto fail;
1022 len = strnlen (str, symtab->strsize - (str - symtab->strtab));
1023 /* PR 17512: file: 47dfd4d2, 18f340a4. */
1024 if (size < len + sizeof (stub))
1025 goto fail;
1026 memcpy (names, str, len);
1027 memcpy (names + len, stub, sizeof (stub));
1028 s->name = names;
1029 names += len + sizeof (stub);
1030 size -= len + sizeof (stub);
1031 s->the_bfd = symtab->symbols[isym].symbol.the_bfd;
1032 s->flags = BSF_GLOBAL | BSF_SYNTHETIC;
1033 s->section = sec->bfdsection;
1034 s->value = addr - sec->addr;
1035 s->udata.p = NULL;
1036 s++;
1037 n++;
1038 }
1039 addr += entry_size;
1040 }
1041 break;
1042 default:
1043 break;
1044 }
1045 }
1046
1047 return n;
1048
1049 fail:
1050 free (s_start);
1051 * ret = NULL;
1052 return -1;
1053 }
1054
1055 void
1056 bfd_mach_o_get_symbol_info (bfd *abfd ATTRIBUTE_UNUSED,
1057 asymbol *symbol,
1058 symbol_info *ret)
1059 {
1060 bfd_symbol_info (symbol, ret);
1061 }
1062
1063 void
1064 bfd_mach_o_print_symbol (bfd *abfd,
1065 void * afile,
1066 asymbol *symbol,
1067 bfd_print_symbol_type how)
1068 {
1069 FILE *file = (FILE *) afile;
1070 const char *name;
1071 bfd_mach_o_asymbol *asym = (bfd_mach_o_asymbol *)symbol;
1072
1073 switch (how)
1074 {
1075 case bfd_print_symbol_name:
1076 fprintf (file, "%s", symbol->name);
1077 break;
1078 default:
1079 bfd_print_symbol_vandf (abfd, (void *) file, symbol);
1080 if (asym->n_type & BFD_MACH_O_N_STAB)
1081 name = bfd_get_stab_name (asym->n_type);
1082 else
1083 switch (asym->n_type & BFD_MACH_O_N_TYPE)
1084 {
1085 case BFD_MACH_O_N_UNDF:
1086 if (symbol->value == 0)
1087 name = "UND";
1088 else
1089 name = "COM";
1090 break;
1091 case BFD_MACH_O_N_ABS:
1092 name = "ABS";
1093 break;
1094 case BFD_MACH_O_N_INDR:
1095 name = "INDR";
1096 break;
1097 case BFD_MACH_O_N_PBUD:
1098 name = "PBUD";
1099 break;
1100 case BFD_MACH_O_N_SECT:
1101 name = "SECT";
1102 break;
1103 default:
1104 name = "???";
1105 break;
1106 }
1107 if (name == NULL)
1108 name = "";
1109 fprintf (file, " %02x %-6s %02x %04x",
1110 asym->n_type, name, asym->n_sect, asym->n_desc);
1111 if ((asym->n_type & BFD_MACH_O_N_STAB) == 0
1112 && (asym->n_type & BFD_MACH_O_N_TYPE) == BFD_MACH_O_N_SECT)
1113 fprintf (file, " [%s]", symbol->section->name);
1114 fprintf (file, " %s", symbol->name);
1115 }
1116 }
1117
1118 static void
1119 bfd_mach_o_convert_architecture (bfd_mach_o_cpu_type mtype,
1120 bfd_mach_o_cpu_subtype msubtype,
1121 enum bfd_architecture *type,
1122 unsigned long *subtype)
1123 {
1124 *subtype = bfd_arch_unknown;
1125
1126 switch (mtype)
1127 {
1128 case BFD_MACH_O_CPU_TYPE_VAX:
1129 *type = bfd_arch_vax;
1130 break;
1131 case BFD_MACH_O_CPU_TYPE_MC680x0:
1132 *type = bfd_arch_m68k;
1133 break;
1134 case BFD_MACH_O_CPU_TYPE_I386:
1135 *type = bfd_arch_i386;
1136 *subtype = bfd_mach_i386_i386;
1137 break;
1138 case BFD_MACH_O_CPU_TYPE_X86_64:
1139 *type = bfd_arch_i386;
1140 *subtype = bfd_mach_x86_64;
1141 break;
1142 case BFD_MACH_O_CPU_TYPE_MIPS:
1143 *type = bfd_arch_mips;
1144 break;
1145 case BFD_MACH_O_CPU_TYPE_MC98000:
1146 *type = bfd_arch_m98k;
1147 break;
1148 case BFD_MACH_O_CPU_TYPE_HPPA:
1149 *type = bfd_arch_hppa;
1150 break;
1151 case BFD_MACH_O_CPU_TYPE_ARM:
1152 *type = bfd_arch_arm;
1153 switch (msubtype)
1154 {
1155 case BFD_MACH_O_CPU_SUBTYPE_ARM_V4T:
1156 *subtype = bfd_mach_arm_4T;
1157 break;
1158 case BFD_MACH_O_CPU_SUBTYPE_ARM_V6:
1159 *subtype = bfd_mach_arm_4T; /* Best fit ? */
1160 break;
1161 case BFD_MACH_O_CPU_SUBTYPE_ARM_V5TEJ:
1162 *subtype = bfd_mach_arm_5TE;
1163 break;
1164 case BFD_MACH_O_CPU_SUBTYPE_ARM_XSCALE:
1165 *subtype = bfd_mach_arm_XScale;
1166 break;
1167 case BFD_MACH_O_CPU_SUBTYPE_ARM_V7:
1168 *subtype = bfd_mach_arm_5TE; /* Best fit ? */
1169 break;
1170 case BFD_MACH_O_CPU_SUBTYPE_ARM_ALL:
1171 default:
1172 break;
1173 }
1174 break;
1175 case BFD_MACH_O_CPU_TYPE_SPARC:
1176 *type = bfd_arch_sparc;
1177 *subtype = bfd_mach_sparc;
1178 break;
1179 case BFD_MACH_O_CPU_TYPE_ALPHA:
1180 *type = bfd_arch_alpha;
1181 break;
1182 case BFD_MACH_O_CPU_TYPE_POWERPC:
1183 *type = bfd_arch_powerpc;
1184 *subtype = bfd_mach_ppc;
1185 break;
1186 case BFD_MACH_O_CPU_TYPE_POWERPC_64:
1187 *type = bfd_arch_powerpc;
1188 *subtype = bfd_mach_ppc64;
1189 break;
1190 case BFD_MACH_O_CPU_TYPE_ARM64:
1191 *type = bfd_arch_aarch64;
1192 *subtype = bfd_mach_aarch64;
1193 break;
1194 default:
1195 *type = bfd_arch_unknown;
1196 break;
1197 }
1198 }
1199
1200 /* Write n NUL bytes to ABFD so that LEN + n is a multiple of 4. Return the
1201 number of bytes written or -1 in case of error. */
1202
1203 static int
1204 bfd_mach_o_pad4 (bfd *abfd, size_t len)
1205 {
1206 if (len % 4 != 0)
1207 {
1208 char pad[4] = {0,0,0,0};
1209 unsigned int padlen = 4 - (len % 4);
1210
1211 if (bfd_write (pad, padlen, abfd) != padlen)
1212 return -1;
1213
1214 return padlen;
1215 }
1216 else
1217 return 0;
1218 }
1219
1220 /* Likewise, but for a command. */
1221
1222 static int
1223 bfd_mach_o_pad_command (bfd *abfd, size_t len)
1224 {
1225 size_t align = bfd_mach_o_wide_p (abfd) ? 8 : 4;
1226
1227 if (len % align != 0)
1228 {
1229 char pad[8] = {0};
1230 size_t padlen = align - (len % align);
1231
1232 if (bfd_write (pad, padlen, abfd) != padlen)
1233 return -1;
1234
1235 return padlen;
1236 }
1237 else
1238 return 0;
1239 }
1240
1241 static bool
1242 bfd_mach_o_write_header (bfd *abfd, bfd_mach_o_header *header)
1243 {
1244 struct mach_o_header_external raw;
1245 size_t size;
1246
1247 size = mach_o_wide_p (header) ?
1248 BFD_MACH_O_HEADER_64_SIZE : BFD_MACH_O_HEADER_SIZE;
1249
1250 bfd_h_put_32 (abfd, header->magic, raw.magic);
1251 bfd_h_put_32 (abfd, header->cputype, raw.cputype);
1252 bfd_h_put_32 (abfd, header->cpusubtype, raw.cpusubtype);
1253 bfd_h_put_32 (abfd, header->filetype, raw.filetype);
1254 bfd_h_put_32 (abfd, header->ncmds, raw.ncmds);
1255 bfd_h_put_32 (abfd, header->sizeofcmds, raw.sizeofcmds);
1256 bfd_h_put_32 (abfd, header->flags, raw.flags);
1257
1258 if (mach_o_wide_p (header))
1259 bfd_h_put_32 (abfd, header->reserved, raw.reserved);
1260
1261 if (bfd_seek (abfd, 0, SEEK_SET) != 0
1262 || bfd_write (&raw, size, abfd) != size)
1263 return false;
1264
1265 return true;
1266 }
1267
1268 static bool
1269 bfd_mach_o_write_thread (bfd *abfd, bfd_mach_o_load_command *command)
1270 {
1271 bfd_mach_o_thread_command *cmd = &command->command.thread;
1272 unsigned int i;
1273 struct mach_o_thread_command_external raw;
1274 size_t offset;
1275
1276 BFD_ASSERT ((command->type == BFD_MACH_O_LC_THREAD)
1277 || (command->type == BFD_MACH_O_LC_UNIXTHREAD));
1278
1279 offset = BFD_MACH_O_LC_SIZE;
1280 for (i = 0; i < cmd->nflavours; i++)
1281 {
1282 BFD_ASSERT ((cmd->flavours[i].size % 4) == 0);
1283 BFD_ASSERT (cmd->flavours[i].offset
1284 == command->offset + offset + BFD_MACH_O_LC_SIZE);
1285
1286 bfd_h_put_32 (abfd, cmd->flavours[i].flavour, raw.flavour);
1287 bfd_h_put_32 (abfd, (cmd->flavours[i].size / 4), raw.count);
1288
1289 if (bfd_seek (abfd, command->offset + offset, SEEK_SET) != 0
1290 || bfd_write (&raw, sizeof (raw), abfd) != sizeof (raw))
1291 return false;
1292
1293 offset += cmd->flavours[i].size + sizeof (raw);
1294 }
1295
1296 return true;
1297 }
1298
1299 static bool
1300 bfd_mach_o_write_dylinker (bfd *abfd, bfd_mach_o_load_command *command)
1301 {
1302 bfd_mach_o_dylinker_command *cmd = &command->command.dylinker;
1303 struct mach_o_str_command_external raw;
1304 size_t namelen;
1305
1306 bfd_h_put_32 (abfd, cmd->name_offset, raw.str);
1307
1308 if (bfd_seek (abfd, command->offset + BFD_MACH_O_LC_SIZE, SEEK_SET) != 0
1309 || bfd_write (&raw, sizeof (raw), abfd) != sizeof (raw))
1310 return false;
1311
1312 namelen = strlen (cmd->name_str) + 1;
1313 if (bfd_write (cmd->name_str, namelen, abfd) != namelen)
1314 return false;
1315
1316 if (bfd_mach_o_pad_command (abfd, namelen) < 0)
1317 return false;
1318
1319 return true;
1320 }
1321
1322 static bool
1323 bfd_mach_o_write_dylib (bfd *abfd, bfd_mach_o_load_command *command)
1324 {
1325 bfd_mach_o_dylib_command *cmd = &command->command.dylib;
1326 struct mach_o_dylib_command_external raw;
1327 size_t namelen;
1328
1329 bfd_h_put_32 (abfd, cmd->name_offset, raw.name);
1330 bfd_h_put_32 (abfd, cmd->timestamp, raw.timestamp);
1331 bfd_h_put_32 (abfd, cmd->current_version, raw.current_version);
1332 bfd_h_put_32 (abfd, cmd->compatibility_version, raw.compatibility_version);
1333
1334 if (bfd_seek (abfd, command->offset + BFD_MACH_O_LC_SIZE, SEEK_SET) != 0
1335 || bfd_write (&raw, sizeof (raw), abfd) != sizeof (raw))
1336 return false;
1337
1338 namelen = strlen (cmd->name_str) + 1;
1339 if (bfd_write (cmd->name_str, namelen, abfd) != namelen)
1340 return false;
1341
1342 if (bfd_mach_o_pad_command (abfd, namelen) < 0)
1343 return false;
1344
1345 return true;
1346 }
1347
1348 static bool
1349 bfd_mach_o_write_main (bfd *abfd, bfd_mach_o_load_command *command)
1350 {
1351 bfd_mach_o_main_command *cmd = &command->command.main;
1352 struct mach_o_entry_point_command_external raw;
1353
1354 bfd_h_put_64 (abfd, cmd->entryoff, raw.entryoff);
1355 bfd_h_put_64 (abfd, cmd->stacksize, raw.stacksize);
1356
1357 if (bfd_seek (abfd, command->offset + BFD_MACH_O_LC_SIZE, SEEK_SET) != 0
1358 || bfd_write (&raw, sizeof (raw), abfd) != sizeof (raw))
1359 return false;
1360
1361 return true;
1362 }
1363
1364 static bool
1365 bfd_mach_o_write_dyld_info (bfd *abfd, bfd_mach_o_load_command *command)
1366 {
1367 bfd_mach_o_dyld_info_command *cmd = &command->command.dyld_info;
1368 struct mach_o_dyld_info_command_external raw;
1369
1370 bfd_h_put_32 (abfd, cmd->rebase_off, raw.rebase_off);
1371 bfd_h_put_32 (abfd, cmd->rebase_size, raw.rebase_size);
1372 bfd_h_put_32 (abfd, cmd->bind_off, raw.bind_off);
1373 bfd_h_put_32 (abfd, cmd->bind_size, raw.bind_size);
1374 bfd_h_put_32 (abfd, cmd->weak_bind_off, raw.weak_bind_off);
1375 bfd_h_put_32 (abfd, cmd->weak_bind_size, raw.weak_bind_size);
1376 bfd_h_put_32 (abfd, cmd->lazy_bind_off, raw.lazy_bind_off);
1377 bfd_h_put_32 (abfd, cmd->lazy_bind_size, raw.lazy_bind_size);
1378 bfd_h_put_32 (abfd, cmd->export_off, raw.export_off);
1379 bfd_h_put_32 (abfd, cmd->export_size, raw.export_size);
1380
1381 if (bfd_seek (abfd, command->offset + BFD_MACH_O_LC_SIZE, SEEK_SET) != 0
1382 || bfd_write (&raw, sizeof (raw), abfd) != sizeof (raw))
1383 return false;
1384
1385 if (cmd->rebase_size != 0)
1386 if (bfd_seek (abfd, cmd->rebase_off, SEEK_SET) != 0
1387 || (bfd_write (cmd->rebase_content, cmd->rebase_size, abfd) !=
1388 cmd->rebase_size))
1389 return false;
1390
1391 if (cmd->bind_size != 0)
1392 if (bfd_seek (abfd, cmd->bind_off, SEEK_SET) != 0
1393 || (bfd_write (cmd->bind_content, cmd->bind_size, abfd) !=
1394 cmd->bind_size))
1395 return false;
1396
1397 if (cmd->weak_bind_size != 0)
1398 if (bfd_seek (abfd, cmd->weak_bind_off, SEEK_SET) != 0
1399 || (bfd_write (cmd->weak_bind_content, cmd->weak_bind_size, abfd) !=
1400 cmd->weak_bind_size))
1401 return false;
1402
1403 if (cmd->lazy_bind_size != 0)
1404 if (bfd_seek (abfd, cmd->lazy_bind_off, SEEK_SET) != 0
1405 || (bfd_write (cmd->lazy_bind_content, cmd->lazy_bind_size, abfd) !=
1406 cmd->lazy_bind_size))
1407 return false;
1408
1409 if (cmd->export_size != 0)
1410 if (bfd_seek (abfd, cmd->export_off, SEEK_SET) != 0
1411 || (bfd_write (cmd->export_content, cmd->export_size, abfd) !=
1412 cmd->export_size))
1413 return false;
1414
1415 return true;
1416 }
1417
1418 long
1419 bfd_mach_o_get_reloc_upper_bound (bfd *abfd, asection *asect)
1420 {
1421 size_t count, raw;
1422
1423 count = asect->reloc_count;
1424 if (count >= LONG_MAX / sizeof (arelent *)
1425 || _bfd_mul_overflow (count, BFD_MACH_O_RELENT_SIZE, &raw))
1426 {
1427 bfd_set_error (bfd_error_file_too_big);
1428 return -1;
1429 }
1430 if (!bfd_write_p (abfd))
1431 {
1432 ufile_ptr filesize = bfd_get_file_size (abfd);
1433 if (filesize != 0 && raw > filesize)
1434 {
1435 bfd_set_error (bfd_error_file_truncated);
1436 return -1;
1437 }
1438 }
1439 return (count + 1) * sizeof (arelent *);
1440 }
1441
1442 /* In addition to the need to byte-swap the symbol number, the bit positions
1443 of the fields in the relocation information vary per target endian-ness. */
1444
1445 void
1446 bfd_mach_o_swap_in_non_scattered_reloc (bfd *abfd, bfd_mach_o_reloc_info *rel,
1447 unsigned char *fields)
1448 {
1449 unsigned char info = fields[3];
1450
1451 if (bfd_big_endian (abfd))
1452 {
1453 rel->r_value = (fields[0] << 16) | (fields[1] << 8) | fields[2];
1454 rel->r_type = (info >> BFD_MACH_O_BE_TYPE_SHIFT) & BFD_MACH_O_TYPE_MASK;
1455 rel->r_pcrel = (info & BFD_MACH_O_BE_PCREL) ? 1 : 0;
1456 rel->r_length = (info >> BFD_MACH_O_BE_LENGTH_SHIFT)
1457 & BFD_MACH_O_LENGTH_MASK;
1458 rel->r_extern = (info & BFD_MACH_O_BE_EXTERN) ? 1 : 0;
1459 }
1460 else
1461 {
1462 rel->r_value = (fields[2] << 16) | (fields[1] << 8) | fields[0];
1463 rel->r_type = (info >> BFD_MACH_O_LE_TYPE_SHIFT) & BFD_MACH_O_TYPE_MASK;
1464 rel->r_pcrel = (info & BFD_MACH_O_LE_PCREL) ? 1 : 0;
1465 rel->r_length = (info >> BFD_MACH_O_LE_LENGTH_SHIFT)
1466 & BFD_MACH_O_LENGTH_MASK;
1467 rel->r_extern = (info & BFD_MACH_O_LE_EXTERN) ? 1 : 0;
1468 }
1469 }
1470
1471 /* Set syms_ptr_ptr and addend of RES. */
1472
1473 bool
1474 bfd_mach_o_canonicalize_non_scattered_reloc (bfd *abfd,
1475 bfd_mach_o_reloc_info *reloc,
1476 arelent *res, asymbol **syms)
1477 {
1478 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
1479 unsigned int num;
1480 asymbol **sym;
1481
1482 /* Non-scattered relocation. */
1483 reloc->r_scattered = 0;
1484 res->addend = 0;
1485
1486 num = reloc->r_value;
1487
1488 if (reloc->r_extern)
1489 {
1490 /* PR 17512: file: 8396-1185-0.004. */
1491 if (num >= (unsigned) bfd_mach_o_count_symbols (abfd))
1492 sym = &bfd_und_section_ptr->symbol;
1493 else if (syms == NULL)
1494 sym = &bfd_und_section_ptr->symbol;
1495 else
1496 /* An external symbol number. */
1497 sym = syms + num;
1498 }
1499 else if (num == 0x00ffffff || num == 0)
1500 {
1501 /* The 'symnum' in a non-scattered PAIR is 0x00ffffff. But as this
1502 is generic code, we don't know wether this is really a PAIR.
1503 This value is almost certainly not a valid section number, hence
1504 this specific case to avoid an assertion failure.
1505 Target specific swap_reloc_in routine should adjust that. */
1506 sym = &bfd_abs_section_ptr->symbol;
1507 }
1508 else
1509 {
1510 /* PR 17512: file: 006-2964-0.004. */
1511 if (num > mdata->nsects)
1512 {
1513 _bfd_error_handler (_("\
1514 malformed mach-o reloc: section index is greater than the number of sections"));
1515 return false;
1516 }
1517
1518 /* A section number. */
1519 sym = &mdata->sections[num - 1]->bfdsection->symbol;
1520 /* For a symbol defined in section S, the addend (stored in the
1521 binary) contains the address of the section. To comply with
1522 bfd convention, subtract the section address.
1523 Use the address from the header, so that the user can modify
1524 the vma of the section. */
1525 res->addend = -mdata->sections[num - 1]->addr;
1526 }
1527
1528 /* Note: Pairs for PPC LO/HI/HA are not scattered, but contain the offset
1529 in the lower 16bits of the address value. So we have to find the
1530 'symbol' from the preceding reloc. We do this even though the
1531 section symbol is probably not needed here, because NULL symbol
1532 values cause an assert in generic BFD code. This must be done in
1533 the PPC swap_reloc_in routine. */
1534 res->sym_ptr_ptr = sym;
1535
1536 return true;
1537 }
1538
1539 /* Do most of the work for canonicalize_relocs on RAW: create internal
1540 representation RELOC and set most fields of RES using symbol table SYMS.
1541 Each target still has to set the howto of RES and possibly adjust other
1542 fields.
1543 Previously the Mach-O hook point was simply swap_in, but some targets
1544 (like arm64) don't follow the generic rules (symnum is a value for the
1545 non-scattered relocation ADDEND). */
1546
1547 bool
1548 bfd_mach_o_pre_canonicalize_one_reloc (bfd *abfd,
1549 struct mach_o_reloc_info_external *raw,
1550 bfd_mach_o_reloc_info *reloc,
1551 arelent *res, asymbol **syms)
1552 {
1553 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
1554 bfd_vma addr;
1555
1556 addr = bfd_get_32 (abfd, raw->r_address);
1557 res->sym_ptr_ptr = &bfd_und_section_ptr->symbol;
1558 res->addend = 0;
1559
1560 if (addr & BFD_MACH_O_SR_SCATTERED)
1561 {
1562 unsigned int j;
1563 bfd_vma symnum = bfd_get_32 (abfd, raw->r_symbolnum);
1564
1565 /* Scattered relocation, can't be extern. */
1566 reloc->r_scattered = 1;
1567 reloc->r_extern = 0;
1568
1569 /* Extract section and offset from r_value (symnum). */
1570 reloc->r_value = symnum;
1571 /* FIXME: This breaks when a symbol in a reloc exactly follows the
1572 end of the data for the section (e.g. in a calculation of section
1573 data length). At present, the symbol will end up associated with
1574 the following section or, if it falls within alignment padding, as
1575 the undefined section symbol. */
1576 for (j = 0; j < mdata->nsects; j++)
1577 {
1578 bfd_mach_o_section *sect = mdata->sections[j];
1579 if (symnum >= sect->addr && symnum < sect->addr + sect->size)
1580 {
1581 res->sym_ptr_ptr = &sect->bfdsection->symbol;
1582 res->addend = symnum - sect->addr;
1583 break;
1584 }
1585 }
1586
1587 /* Extract the info and address fields from r_address. */
1588 reloc->r_type = BFD_MACH_O_GET_SR_TYPE (addr);
1589 reloc->r_length = BFD_MACH_O_GET_SR_LENGTH (addr);
1590 reloc->r_pcrel = addr & BFD_MACH_O_SR_PCREL;
1591 reloc->r_address = BFD_MACH_O_GET_SR_TYPE (addr);
1592 res->address = BFD_MACH_O_GET_SR_ADDRESS (addr);
1593 }
1594 else
1595 {
1596 /* Non-scattered relocation. */
1597 reloc->r_scattered = 0;
1598 reloc->r_address = addr;
1599 res->address = addr;
1600
1601 /* The value and info fields have to be extracted dependent on target
1602 endian-ness. */
1603 bfd_mach_o_swap_in_non_scattered_reloc (abfd, reloc, raw->r_symbolnum);
1604
1605 if (!bfd_mach_o_canonicalize_non_scattered_reloc (abfd, reloc,
1606 res, syms))
1607 return false;
1608 }
1609
1610 /* We have set up a reloc with all the information present, so the swapper
1611 can modify address, value and addend fields, if necessary, to convey
1612 information in the generic BFD reloc that is mach-o specific. */
1613
1614 return true;
1615 }
1616
1617 static int
1618 bfd_mach_o_canonicalize_relocs (bfd *abfd, unsigned long filepos,
1619 unsigned long count,
1620 arelent *res, asymbol **syms)
1621 {
1622 bfd_mach_o_backend_data *bed = bfd_mach_o_get_backend_data (abfd);
1623 unsigned long i;
1624 struct mach_o_reloc_info_external *native_relocs = NULL;
1625 size_t native_size;
1626
1627 /* Allocate and read relocs. */
1628 if (_bfd_mul_overflow (count, BFD_MACH_O_RELENT_SIZE, &native_size))
1629 /* PR 17512: file: 09477b57. */
1630 goto err;
1631
1632 if (bfd_seek (abfd, filepos, SEEK_SET) != 0)
1633 return -1;
1634 native_relocs = (struct mach_o_reloc_info_external *)
1635 _bfd_malloc_and_read (abfd, native_size, native_size);
1636 if (native_relocs == NULL)
1637 return -1;
1638
1639 for (i = 0; i < count; i++)
1640 {
1641 if (!(*bed->_bfd_mach_o_canonicalize_one_reloc)(abfd, &native_relocs[i],
1642 &res[i], syms, res))
1643 goto err;
1644 }
1645 free (native_relocs);
1646 return i;
1647
1648 err:
1649 free (native_relocs);
1650 if (bfd_get_error () == bfd_error_no_error)
1651 bfd_set_error (bfd_error_invalid_operation);
1652 return -1;
1653 }
1654
1655 long
1656 bfd_mach_o_canonicalize_reloc (bfd *abfd, asection *asect,
1657 arelent **rels, asymbol **syms)
1658 {
1659 bfd_mach_o_backend_data *bed = bfd_mach_o_get_backend_data (abfd);
1660 unsigned long i;
1661 arelent *res;
1662
1663 if (asect->reloc_count == 0)
1664 return 0;
1665
1666 /* No need to go further if we don't know how to read relocs. */
1667 if (bed->_bfd_mach_o_canonicalize_one_reloc == NULL)
1668 return 0;
1669
1670 if (asect->relocation == NULL)
1671 {
1672 size_t amt;
1673
1674 if (_bfd_mul_overflow (asect->reloc_count, sizeof (arelent), &amt))
1675 {
1676 bfd_set_error (bfd_error_file_too_big);
1677 return -1;
1678 }
1679 res = bfd_malloc (amt);
1680 if (res == NULL)
1681 return -1;
1682
1683 if (bfd_mach_o_canonicalize_relocs (abfd, asect->rel_filepos,
1684 asect->reloc_count, res, syms) < 0)
1685 {
1686 free (res);
1687 return -1;
1688 }
1689 asect->relocation = res;
1690 }
1691
1692 res = asect->relocation;
1693 for (i = 0; i < asect->reloc_count; i++)
1694 rels[i] = &res[i];
1695 rels[i] = NULL;
1696
1697 return i;
1698 }
1699
1700 long
1701 bfd_mach_o_get_dynamic_reloc_upper_bound (bfd *abfd)
1702 {
1703 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
1704 bfd_mach_o_dysymtab_command *dysymtab = mdata->dysymtab;
1705
1706 if (dysymtab == NULL)
1707 return 1;
1708
1709 ufile_ptr filesize = bfd_get_file_size (abfd);
1710 size_t amt;
1711
1712 if (filesize != 0)
1713 {
1714 if (dysymtab->extreloff > filesize
1715 || dysymtab->nextrel > ((filesize - dysymtab->extreloff)
1716 / BFD_MACH_O_RELENT_SIZE)
1717 || dysymtab->locreloff > filesize
1718 || dysymtab->nlocrel > ((filesize - dysymtab->locreloff)
1719 / BFD_MACH_O_RELENT_SIZE))
1720 {
1721 bfd_set_error (bfd_error_file_truncated);
1722 return -1;
1723 }
1724 }
1725 if (dysymtab->nextrel + dysymtab->nlocrel < dysymtab->nextrel
1726 || _bfd_mul_overflow (dysymtab->nextrel + dysymtab->nlocrel,
1727 sizeof (arelent), &amt))
1728 {
1729 bfd_set_error (bfd_error_file_too_big);
1730 return -1;
1731 }
1732
1733 return (dysymtab->nextrel + dysymtab->nlocrel + 1) * sizeof (arelent *);
1734 }
1735
1736 long
1737 bfd_mach_o_canonicalize_dynamic_reloc (bfd *abfd, arelent **rels,
1738 struct bfd_symbol **syms)
1739 {
1740 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
1741 bfd_mach_o_dysymtab_command *dysymtab = mdata->dysymtab;
1742 bfd_mach_o_backend_data *bed = bfd_mach_o_get_backend_data (abfd);
1743 unsigned long i;
1744 arelent *res;
1745
1746 if (dysymtab == NULL)
1747 return 0;
1748 if (dysymtab->nextrel == 0 && dysymtab->nlocrel == 0)
1749 return 0;
1750
1751 /* No need to go further if we don't know how to read relocs. */
1752 if (bed->_bfd_mach_o_canonicalize_one_reloc == NULL)
1753 return 0;
1754
1755 if (mdata->dyn_reloc_cache == NULL)
1756 {
1757 size_t amt = (dysymtab->nextrel + dysymtab->nlocrel) * sizeof (arelent);
1758 res = bfd_malloc (amt);
1759 if (res == NULL)
1760 return -1;
1761
1762 if (bfd_mach_o_canonicalize_relocs (abfd, dysymtab->extreloff,
1763 dysymtab->nextrel, res, syms) < 0)
1764 {
1765 free (res);
1766 return -1;
1767 }
1768
1769 if (bfd_mach_o_canonicalize_relocs (abfd, dysymtab->locreloff,
1770 dysymtab->nlocrel,
1771 res + dysymtab->nextrel, syms) < 0)
1772 {
1773 free (res);
1774 return -1;
1775 }
1776
1777 mdata->dyn_reloc_cache = res;
1778 }
1779
1780 res = mdata->dyn_reloc_cache;
1781 for (i = 0; i < dysymtab->nextrel + dysymtab->nlocrel; i++)
1782 rels[i] = &res[i];
1783 rels[i] = NULL;
1784 return i;
1785 }
1786
1787 /* In addition to the need to byte-swap the symbol number, the bit positions
1788 of the fields in the relocation information vary per target endian-ness. */
1789
1790 static void
1791 bfd_mach_o_swap_out_non_scattered_reloc (bfd *abfd, unsigned char *fields,
1792 bfd_mach_o_reloc_info *rel)
1793 {
1794 unsigned char info = 0;
1795
1796 BFD_ASSERT (rel->r_type <= 15);
1797 BFD_ASSERT (rel->r_length <= 3);
1798
1799 if (bfd_big_endian (abfd))
1800 {
1801 fields[0] = (rel->r_value >> 16) & 0xff;
1802 fields[1] = (rel->r_value >> 8) & 0xff;
1803 fields[2] = rel->r_value & 0xff;
1804 info |= rel->r_type << BFD_MACH_O_BE_TYPE_SHIFT;
1805 info |= rel->r_pcrel ? BFD_MACH_O_BE_PCREL : 0;
1806 info |= rel->r_length << BFD_MACH_O_BE_LENGTH_SHIFT;
1807 info |= rel->r_extern ? BFD_MACH_O_BE_EXTERN : 0;
1808 }
1809 else
1810 {
1811 fields[2] = (rel->r_value >> 16) & 0xff;
1812 fields[1] = (rel->r_value >> 8) & 0xff;
1813 fields[0] = rel->r_value & 0xff;
1814 info |= rel->r_type << BFD_MACH_O_LE_TYPE_SHIFT;
1815 info |= rel->r_pcrel ? BFD_MACH_O_LE_PCREL : 0;
1816 info |= rel->r_length << BFD_MACH_O_LE_LENGTH_SHIFT;
1817 info |= rel->r_extern ? BFD_MACH_O_LE_EXTERN : 0;
1818 }
1819 fields[3] = info;
1820 }
1821
1822 static bool
1823 bfd_mach_o_write_relocs (bfd *abfd, bfd_mach_o_section *section)
1824 {
1825 unsigned int i;
1826 arelent **entries;
1827 asection *sec;
1828 bfd_mach_o_backend_data *bed = bfd_mach_o_get_backend_data (abfd);
1829
1830 sec = section->bfdsection;
1831 if (sec->reloc_count == 0)
1832 return true;
1833
1834 if (bed->_bfd_mach_o_swap_reloc_out == NULL)
1835 return true;
1836
1837 if (bfd_seek (abfd, section->reloff, SEEK_SET) != 0)
1838 return false;
1839
1840 /* Convert and write. */
1841 entries = section->bfdsection->orelocation;
1842 for (i = 0; i < section->nreloc; i++)
1843 {
1844 arelent *rel = entries[i];
1845 struct mach_o_reloc_info_external raw;
1846 bfd_mach_o_reloc_info info, *pinfo = &info;
1847
1848 /* Convert relocation to an intermediate representation. */
1849 if (!(*bed->_bfd_mach_o_swap_reloc_out) (rel, pinfo))
1850 return false;
1851
1852 /* Lower the relocation info. */
1853 if (pinfo->r_scattered)
1854 {
1855 unsigned long v;
1856
1857 v = BFD_MACH_O_SR_SCATTERED
1858 | (pinfo->r_pcrel ? BFD_MACH_O_SR_PCREL : 0)
1859 | BFD_MACH_O_SET_SR_LENGTH (pinfo->r_length)
1860 | BFD_MACH_O_SET_SR_TYPE (pinfo->r_type)
1861 | BFD_MACH_O_SET_SR_ADDRESS (pinfo->r_address);
1862 /* Note: scattered relocs have field in reverse order... */
1863 bfd_put_32 (abfd, v, raw.r_address);
1864 bfd_put_32 (abfd, pinfo->r_value, raw.r_symbolnum);
1865 }
1866 else
1867 {
1868 bfd_put_32 (abfd, pinfo->r_address, raw.r_address);
1869 bfd_mach_o_swap_out_non_scattered_reloc (abfd, raw.r_symbolnum,
1870 pinfo);
1871 }
1872
1873 if (bfd_write (&raw, BFD_MACH_O_RELENT_SIZE, abfd)
1874 != BFD_MACH_O_RELENT_SIZE)
1875 return false;
1876 }
1877 return true;
1878 }
1879
1880 static bool
1881 bfd_mach_o_write_section_32 (bfd *abfd, bfd_mach_o_section *section)
1882 {
1883 struct mach_o_section_32_external raw;
1884
1885 memcpy (raw.sectname, section->sectname, 16);
1886 memcpy (raw.segname, section->segname, 16);
1887 bfd_h_put_32 (abfd, section->addr, raw.addr);
1888 bfd_h_put_32 (abfd, section->size, raw.size);
1889 bfd_h_put_32 (abfd, section->offset, raw.offset);
1890 bfd_h_put_32 (abfd, section->align, raw.align);
1891 bfd_h_put_32 (abfd, section->reloff, raw.reloff);
1892 bfd_h_put_32 (abfd, section->nreloc, raw.nreloc);
1893 bfd_h_put_32 (abfd, section->flags, raw.flags);
1894 bfd_h_put_32 (abfd, section->reserved1, raw.reserved1);
1895 bfd_h_put_32 (abfd, section->reserved2, raw.reserved2);
1896
1897 if (bfd_write (&raw, BFD_MACH_O_SECTION_SIZE, abfd)
1898 != BFD_MACH_O_SECTION_SIZE)
1899 return false;
1900
1901 return true;
1902 }
1903
1904 static bool
1905 bfd_mach_o_write_section_64 (bfd *abfd, bfd_mach_o_section *section)
1906 {
1907 struct mach_o_section_64_external raw;
1908
1909 memcpy (raw.sectname, section->sectname, 16);
1910 memcpy (raw.segname, section->segname, 16);
1911 bfd_h_put_64 (abfd, section->addr, raw.addr);
1912 bfd_h_put_64 (abfd, section->size, raw.size);
1913 bfd_h_put_32 (abfd, section->offset, raw.offset);
1914 bfd_h_put_32 (abfd, section->align, raw.align);
1915 bfd_h_put_32 (abfd, section->reloff, raw.reloff);
1916 bfd_h_put_32 (abfd, section->nreloc, raw.nreloc);
1917 bfd_h_put_32 (abfd, section->flags, raw.flags);
1918 bfd_h_put_32 (abfd, section->reserved1, raw.reserved1);
1919 bfd_h_put_32 (abfd, section->reserved2, raw.reserved2);
1920 bfd_h_put_32 (abfd, section->reserved3, raw.reserved3);
1921
1922 if (bfd_write (&raw, BFD_MACH_O_SECTION_64_SIZE, abfd)
1923 != BFD_MACH_O_SECTION_64_SIZE)
1924 return false;
1925
1926 return true;
1927 }
1928
1929 static bool
1930 bfd_mach_o_write_segment_32 (bfd *abfd, bfd_mach_o_load_command *command)
1931 {
1932 struct mach_o_segment_command_32_external raw;
1933 bfd_mach_o_segment_command *seg = &command->command.segment;
1934 bfd_mach_o_section *sec;
1935
1936 BFD_ASSERT (command->type == BFD_MACH_O_LC_SEGMENT);
1937
1938 for (sec = seg->sect_head; sec != NULL; sec = sec->next)
1939 if (!bfd_mach_o_write_relocs (abfd, sec))
1940 return false;
1941
1942 memcpy (raw.segname, seg->segname, 16);
1943 bfd_h_put_32 (abfd, seg->vmaddr, raw.vmaddr);
1944 bfd_h_put_32 (abfd, seg->vmsize, raw.vmsize);
1945 bfd_h_put_32 (abfd, seg->fileoff, raw.fileoff);
1946 bfd_h_put_32 (abfd, seg->filesize, raw.filesize);
1947 bfd_h_put_32 (abfd, seg->maxprot, raw.maxprot);
1948 bfd_h_put_32 (abfd, seg->initprot, raw.initprot);
1949 bfd_h_put_32 (abfd, seg->nsects, raw.nsects);
1950 bfd_h_put_32 (abfd, seg->flags, raw.flags);
1951
1952 if (bfd_seek (abfd, command->offset + BFD_MACH_O_LC_SIZE, SEEK_SET) != 0
1953 || bfd_write (&raw, sizeof (raw), abfd) != sizeof (raw))
1954 return false;
1955
1956 for (sec = seg->sect_head; sec != NULL; sec = sec->next)
1957 if (!bfd_mach_o_write_section_32 (abfd, sec))
1958 return false;
1959
1960 return true;
1961 }
1962
1963 static bool
1964 bfd_mach_o_write_segment_64 (bfd *abfd, bfd_mach_o_load_command *command)
1965 {
1966 struct mach_o_segment_command_64_external raw;
1967 bfd_mach_o_segment_command *seg = &command->command.segment;
1968 bfd_mach_o_section *sec;
1969
1970 BFD_ASSERT (command->type == BFD_MACH_O_LC_SEGMENT_64);
1971
1972 for (sec = seg->sect_head; sec != NULL; sec = sec->next)
1973 if (!bfd_mach_o_write_relocs (abfd, sec))
1974 return false;
1975
1976 memcpy (raw.segname, seg->segname, 16);
1977 bfd_h_put_64 (abfd, seg->vmaddr, raw.vmaddr);
1978 bfd_h_put_64 (abfd, seg->vmsize, raw.vmsize);
1979 bfd_h_put_64 (abfd, seg->fileoff, raw.fileoff);
1980 bfd_h_put_64 (abfd, seg->filesize, raw.filesize);
1981 bfd_h_put_32 (abfd, seg->maxprot, raw.maxprot);
1982 bfd_h_put_32 (abfd, seg->initprot, raw.initprot);
1983 bfd_h_put_32 (abfd, seg->nsects, raw.nsects);
1984 bfd_h_put_32 (abfd, seg->flags, raw.flags);
1985
1986 if (bfd_seek (abfd, command->offset + BFD_MACH_O_LC_SIZE, SEEK_SET) != 0
1987 || bfd_write (&raw, sizeof (raw), abfd) != sizeof (raw))
1988 return false;
1989
1990 for (sec = seg->sect_head; sec != NULL; sec = sec->next)
1991 if (!bfd_mach_o_write_section_64 (abfd, sec))
1992 return false;
1993
1994 return true;
1995 }
1996
1997 static bool
1998 bfd_mach_o_write_symtab_content (bfd *abfd, bfd_mach_o_symtab_command *sym)
1999 {
2000 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
2001 unsigned long i;
2002 unsigned int wide = bfd_mach_o_wide_p (abfd);
2003 struct bfd_strtab_hash *strtab;
2004 asymbol **symbols = bfd_get_outsymbols (abfd);
2005 int padlen;
2006
2007 /* Write the symbols first. */
2008 if (bfd_seek (abfd, sym->symoff, SEEK_SET) != 0)
2009 return false;
2010
2011 strtab = _bfd_stringtab_init ();
2012 if (strtab == NULL)
2013 return false;
2014
2015 if (sym->nsyms > 0)
2016 /* Although we don't strictly need to do this, for compatibility with
2017 Darwin system tools, actually output an empty string for the index
2018 0 entry. */
2019 _bfd_stringtab_add (strtab, "", true, false);
2020
2021 for (i = 0; i < sym->nsyms; i++)
2022 {
2023 bfd_size_type str_index;
2024 bfd_mach_o_asymbol *s = (bfd_mach_o_asymbol *)symbols[i];
2025
2026 if (s->symbol.name == 0 || s->symbol.name[0] == '\0')
2027 /* An index of 0 always means the empty string. */
2028 str_index = 0;
2029 else
2030 {
2031 str_index = _bfd_stringtab_add (strtab, s->symbol.name, true, false);
2032
2033 if (str_index == (bfd_size_type) -1)
2034 goto err;
2035 }
2036
2037 if (wide)
2038 {
2039 struct mach_o_nlist_64_external raw;
2040
2041 bfd_h_put_32 (abfd, str_index, raw.n_strx);
2042 bfd_h_put_8 (abfd, s->n_type, raw.n_type);
2043 bfd_h_put_8 (abfd, s->n_sect, raw.n_sect);
2044 bfd_h_put_16 (abfd, s->n_desc, raw.n_desc);
2045 bfd_h_put_64 (abfd, s->symbol.section->vma + s->symbol.value,
2046 raw.n_value);
2047
2048 if (bfd_write (&raw, sizeof (raw), abfd) != sizeof (raw))
2049 goto err;
2050 }
2051 else
2052 {
2053 struct mach_o_nlist_external raw;
2054
2055 bfd_h_put_32 (abfd, str_index, raw.n_strx);
2056 bfd_h_put_8 (abfd, s->n_type, raw.n_type);
2057 bfd_h_put_8 (abfd, s->n_sect, raw.n_sect);
2058 bfd_h_put_16 (abfd, s->n_desc, raw.n_desc);
2059 bfd_h_put_32 (abfd, s->symbol.section->vma + s->symbol.value,
2060 raw.n_value);
2061
2062 if (bfd_write (&raw, sizeof (raw), abfd) != sizeof (raw))
2063 goto err;
2064 }
2065 }
2066 sym->strsize = _bfd_stringtab_size (strtab);
2067 sym->stroff = mdata->filelen;
2068 mdata->filelen += sym->strsize;
2069
2070 if (bfd_seek (abfd, sym->stroff, SEEK_SET) != 0)
2071 goto err;
2072
2073 if (!_bfd_stringtab_emit (abfd, strtab))
2074 goto err;
2075
2076 _bfd_stringtab_free (strtab);
2077
2078 /* Pad string table. */
2079 padlen = bfd_mach_o_pad4 (abfd, sym->strsize);
2080 if (padlen < 0)
2081 return false;
2082 mdata->filelen += padlen;
2083 sym->strsize += padlen;
2084
2085 return true;
2086
2087 err:
2088 _bfd_stringtab_free (strtab);
2089 sym->strsize = 0;
2090 return false;
2091 }
2092
2093 static bool
2094 bfd_mach_o_write_symtab (bfd *abfd, bfd_mach_o_load_command *command)
2095 {
2096 bfd_mach_o_symtab_command *sym = &command->command.symtab;
2097 struct mach_o_symtab_command_external raw;
2098
2099 BFD_ASSERT (command->type == BFD_MACH_O_LC_SYMTAB);
2100
2101 /* The command. */
2102 bfd_h_put_32 (abfd, sym->symoff, raw.symoff);
2103 bfd_h_put_32 (abfd, sym->nsyms, raw.nsyms);
2104 bfd_h_put_32 (abfd, sym->stroff, raw.stroff);
2105 bfd_h_put_32 (abfd, sym->strsize, raw.strsize);
2106
2107 if (bfd_seek (abfd, command->offset + BFD_MACH_O_LC_SIZE, SEEK_SET) != 0
2108 || bfd_write (&raw, sizeof (raw), abfd) != sizeof (raw))
2109 return false;
2110
2111 return true;
2112 }
2113
2114 /* Count the number of indirect symbols in the image.
2115 Requires that the sections are in their final order. */
2116
2117 static unsigned int
2118 bfd_mach_o_count_indirect_symbols (bfd *abfd, bfd_mach_o_data_struct *mdata)
2119 {
2120 unsigned int i;
2121 unsigned int nisyms = 0;
2122
2123 for (i = 0; i < mdata->nsects; ++i)
2124 {
2125 bfd_mach_o_section *sec = mdata->sections[i];
2126
2127 switch (sec->flags & BFD_MACH_O_SECTION_TYPE_MASK)
2128 {
2129 case BFD_MACH_O_S_NON_LAZY_SYMBOL_POINTERS:
2130 case BFD_MACH_O_S_LAZY_SYMBOL_POINTERS:
2131 case BFD_MACH_O_S_SYMBOL_STUBS:
2132 nisyms += bfd_mach_o_section_get_nbr_indirect (abfd, sec);
2133 break;
2134 default:
2135 break;
2136 }
2137 }
2138 return nisyms;
2139 }
2140
2141 /* Create the dysymtab. */
2142
2143 static bool
2144 bfd_mach_o_build_dysymtab (bfd *abfd, bfd_mach_o_dysymtab_command *cmd)
2145 {
2146 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
2147
2148 /* TODO:
2149 We are not going to try and fill these in yet and, moreover, we are
2150 going to bail if they are already set. */
2151 if (cmd->nmodtab != 0
2152 || cmd->ntoc != 0
2153 || cmd->nextrefsyms != 0)
2154 {
2155 _bfd_error_handler (_("sorry: modtab, toc and extrefsyms are not yet"
2156 " implemented for dysymtab commands."));
2157 return false;
2158 }
2159
2160 cmd->ilocalsym = 0;
2161
2162 if (bfd_get_symcount (abfd) > 0)
2163 {
2164 asymbol **symbols = bfd_get_outsymbols (abfd);
2165 unsigned long i;
2166
2167 /* Count the number of each kind of symbol. */
2168 for (i = 0; i < bfd_get_symcount (abfd); ++i)
2169 {
2170 bfd_mach_o_asymbol *s = (bfd_mach_o_asymbol *)symbols[i];
2171 if (s->n_type & (BFD_MACH_O_N_EXT | BFD_MACH_O_N_PEXT))
2172 break;
2173 }
2174 cmd->nlocalsym = i;
2175 cmd->iextdefsym = i;
2176 for (; i < bfd_get_symcount (abfd); ++i)
2177 {
2178 bfd_mach_o_asymbol *s = (bfd_mach_o_asymbol *)symbols[i];
2179 if ((s->n_type & BFD_MACH_O_N_TYPE) == BFD_MACH_O_N_UNDF)
2180 break;
2181 }
2182 cmd->nextdefsym = i - cmd->nlocalsym;
2183 cmd->iundefsym = cmd->nextdefsym + cmd->iextdefsym;
2184 cmd->nundefsym = bfd_get_symcount (abfd)
2185 - cmd->nlocalsym
2186 - cmd->nextdefsym;
2187 }
2188 else
2189 {
2190 cmd->nlocalsym = 0;
2191 cmd->iextdefsym = 0;
2192 cmd->nextdefsym = 0;
2193 cmd->iundefsym = 0;
2194 cmd->nundefsym = 0;
2195 }
2196
2197 cmd->nindirectsyms = bfd_mach_o_count_indirect_symbols (abfd, mdata);
2198 if (cmd->nindirectsyms > 0)
2199 {
2200 unsigned i;
2201 unsigned n;
2202 size_t amt;
2203
2204 mdata->filelen = FILE_ALIGN (mdata->filelen, 2);
2205 cmd->indirectsymoff = mdata->filelen;
2206 if (_bfd_mul_overflow (cmd->nindirectsyms, 4, &amt))
2207 return false;
2208 mdata->filelen += amt;
2209
2210 cmd->indirect_syms = bfd_zalloc (abfd, amt);
2211 if (cmd->indirect_syms == NULL)
2212 return false;
2213
2214 n = 0;
2215 for (i = 0; i < mdata->nsects; ++i)
2216 {
2217 bfd_mach_o_section *sec = mdata->sections[i];
2218
2219 switch (sec->flags & BFD_MACH_O_SECTION_TYPE_MASK)
2220 {
2221 case BFD_MACH_O_S_NON_LAZY_SYMBOL_POINTERS:
2222 case BFD_MACH_O_S_LAZY_SYMBOL_POINTERS:
2223 case BFD_MACH_O_S_SYMBOL_STUBS:
2224 {
2225 unsigned j, num;
2226 bfd_mach_o_asymbol **isyms = sec->indirect_syms;
2227
2228 num = bfd_mach_o_section_get_nbr_indirect (abfd, sec);
2229 if (isyms == NULL || num == 0)
2230 break;
2231 /* Record the starting index in the reserved1 field. */
2232 sec->reserved1 = n;
2233 for (j = 0; j < num; j++, n++)
2234 {
2235 if (isyms[j] == NULL)
2236 cmd->indirect_syms[n] = BFD_MACH_O_INDIRECT_SYM_LOCAL;
2237 else if (isyms[j]->symbol.section == bfd_abs_section_ptr
2238 && ! (isyms[j]->n_type & BFD_MACH_O_N_EXT))
2239 cmd->indirect_syms[n] = BFD_MACH_O_INDIRECT_SYM_LOCAL
2240 | BFD_MACH_O_INDIRECT_SYM_ABS;
2241 else
2242 cmd->indirect_syms[n] = isyms[j]->symbol.udata.i;
2243 }
2244 }
2245 break;
2246 default:
2247 break;
2248 }
2249 }
2250 }
2251
2252 return true;
2253 }
2254
2255 /* Write a dysymtab command.
2256 TODO: Possibly coalesce writes of smaller objects. */
2257
2258 static bool
2259 bfd_mach_o_write_dysymtab (bfd *abfd, bfd_mach_o_load_command *command)
2260 {
2261 bfd_mach_o_dysymtab_command *cmd = &command->command.dysymtab;
2262
2263 BFD_ASSERT (command->type == BFD_MACH_O_LC_DYSYMTAB);
2264
2265 if (cmd->nmodtab != 0)
2266 {
2267 unsigned int i;
2268
2269 if (bfd_seek (abfd, cmd->modtaboff, SEEK_SET) != 0)
2270 return false;
2271
2272 for (i = 0; i < cmd->nmodtab; i++)
2273 {
2274 bfd_mach_o_dylib_module *module = &cmd->dylib_module[i];
2275 unsigned int iinit;
2276 unsigned int ninit;
2277
2278 iinit = module->iinit & 0xffff;
2279 iinit |= ((module->iterm & 0xffff) << 16);
2280
2281 ninit = module->ninit & 0xffff;
2282 ninit |= ((module->nterm & 0xffff) << 16);
2283
2284 if (bfd_mach_o_wide_p (abfd))
2285 {
2286 struct mach_o_dylib_module_64_external w;
2287
2288 bfd_h_put_32 (abfd, module->module_name_idx, &w.module_name);
2289 bfd_h_put_32 (abfd, module->iextdefsym, &w.iextdefsym);
2290 bfd_h_put_32 (abfd, module->nextdefsym, &w.nextdefsym);
2291 bfd_h_put_32 (abfd, module->irefsym, &w.irefsym);
2292 bfd_h_put_32 (abfd, module->nrefsym, &w.nrefsym);
2293 bfd_h_put_32 (abfd, module->ilocalsym, &w.ilocalsym);
2294 bfd_h_put_32 (abfd, module->nlocalsym, &w.nlocalsym);
2295 bfd_h_put_32 (abfd, module->iextrel, &w.iextrel);
2296 bfd_h_put_32 (abfd, module->nextrel, &w.nextrel);
2297 bfd_h_put_32 (abfd, iinit, &w.iinit_iterm);
2298 bfd_h_put_32 (abfd, ninit, &w.ninit_nterm);
2299 bfd_h_put_64 (abfd, module->objc_module_info_addr,
2300 &w.objc_module_info_addr);
2301 bfd_h_put_32 (abfd, module->objc_module_info_size,
2302 &w.objc_module_info_size);
2303
2304 if (bfd_write (&w, sizeof (w), abfd) != sizeof (w))
2305 return false;
2306 }
2307 else
2308 {
2309 struct mach_o_dylib_module_external n;
2310
2311 bfd_h_put_32 (abfd, module->module_name_idx, &n.module_name);
2312 bfd_h_put_32 (abfd, module->iextdefsym, &n.iextdefsym);
2313 bfd_h_put_32 (abfd, module->nextdefsym, &n.nextdefsym);
2314 bfd_h_put_32 (abfd, module->irefsym, &n.irefsym);
2315 bfd_h_put_32 (abfd, module->nrefsym, &n.nrefsym);
2316 bfd_h_put_32 (abfd, module->ilocalsym, &n.ilocalsym);
2317 bfd_h_put_32 (abfd, module->nlocalsym, &n.nlocalsym);
2318 bfd_h_put_32 (abfd, module->iextrel, &n.iextrel);
2319 bfd_h_put_32 (abfd, module->nextrel, &n.nextrel);
2320 bfd_h_put_32 (abfd, iinit, &n.iinit_iterm);
2321 bfd_h_put_32 (abfd, ninit, &n.ninit_nterm);
2322 bfd_h_put_32 (abfd, module->objc_module_info_addr,
2323 &n.objc_module_info_addr);
2324 bfd_h_put_32 (abfd, module->objc_module_info_size,
2325 &n.objc_module_info_size);
2326
2327 if (bfd_write (&n, sizeof (n), abfd) != sizeof (n))
2328 return false;
2329 }
2330 }
2331 }
2332
2333 if (cmd->ntoc != 0)
2334 {
2335 unsigned int i;
2336
2337 if (bfd_seek (abfd, cmd->tocoff, SEEK_SET) != 0)
2338 return false;
2339
2340 for (i = 0; i < cmd->ntoc; i++)
2341 {
2342 struct mach_o_dylib_table_of_contents_external raw;
2343 bfd_mach_o_dylib_table_of_content *toc = &cmd->dylib_toc[i];
2344
2345 bfd_h_put_32 (abfd, toc->symbol_index, &raw.symbol_index);
2346 bfd_h_put_32 (abfd, toc->module_index, &raw.module_index);
2347
2348 if (bfd_write (&raw, sizeof (raw), abfd) != sizeof (raw))
2349 return false;
2350 }
2351 }
2352
2353 if (cmd->nindirectsyms > 0)
2354 {
2355 unsigned int i;
2356
2357 if (bfd_seek (abfd, cmd->indirectsymoff, SEEK_SET) != 0)
2358 return false;
2359
2360 for (i = 0; i < cmd->nindirectsyms; ++i)
2361 {
2362 unsigned char raw[4];
2363
2364 bfd_h_put_32 (abfd, cmd->indirect_syms[i], &raw);
2365 if (bfd_write (raw, sizeof (raw), abfd) != sizeof (raw))
2366 return false;
2367 }
2368 }
2369
2370 if (cmd->nextrefsyms != 0)
2371 {
2372 unsigned int i;
2373
2374 if (bfd_seek (abfd, cmd->extrefsymoff, SEEK_SET) != 0)
2375 return false;
2376
2377 for (i = 0; i < cmd->nextrefsyms; i++)
2378 {
2379 unsigned long v;
2380 unsigned char raw[4];
2381 bfd_mach_o_dylib_reference *ref = &cmd->ext_refs[i];
2382
2383 /* Fields isym and flags are written as bit-fields, thus we need
2384 a specific processing for endianness. */
2385
2386 if (bfd_big_endian (abfd))
2387 {
2388 v = ((ref->isym & 0xffffff) << 8);
2389 v |= ref->flags & 0xff;
2390 }
2391 else
2392 {
2393 v = ref->isym & 0xffffff;
2394 v |= ((ref->flags & 0xff) << 24);
2395 }
2396
2397 bfd_h_put_32 (abfd, v, raw);
2398 if (bfd_write (raw, sizeof (raw), abfd) != sizeof (raw))
2399 return false;
2400 }
2401 }
2402
2403 /* The command. */
2404 if (bfd_seek (abfd, command->offset + BFD_MACH_O_LC_SIZE, SEEK_SET) != 0)
2405 return false;
2406 else
2407 {
2408 struct mach_o_dysymtab_command_external raw;
2409
2410 bfd_h_put_32 (abfd, cmd->ilocalsym, &raw.ilocalsym);
2411 bfd_h_put_32 (abfd, cmd->nlocalsym, &raw.nlocalsym);
2412 bfd_h_put_32 (abfd, cmd->iextdefsym, &raw.iextdefsym);
2413 bfd_h_put_32 (abfd, cmd->nextdefsym, &raw.nextdefsym);
2414 bfd_h_put_32 (abfd, cmd->iundefsym, &raw.iundefsym);
2415 bfd_h_put_32 (abfd, cmd->nundefsym, &raw.nundefsym);
2416 bfd_h_put_32 (abfd, cmd->tocoff, &raw.tocoff);
2417 bfd_h_put_32 (abfd, cmd->ntoc, &raw.ntoc);
2418 bfd_h_put_32 (abfd, cmd->modtaboff, &raw.modtaboff);
2419 bfd_h_put_32 (abfd, cmd->nmodtab, &raw.nmodtab);
2420 bfd_h_put_32 (abfd, cmd->extrefsymoff, &raw.extrefsymoff);
2421 bfd_h_put_32 (abfd, cmd->nextrefsyms, &raw.nextrefsyms);
2422 bfd_h_put_32 (abfd, cmd->indirectsymoff, &raw.indirectsymoff);
2423 bfd_h_put_32 (abfd, cmd->nindirectsyms, &raw.nindirectsyms);
2424 bfd_h_put_32 (abfd, cmd->extreloff, &raw.extreloff);
2425 bfd_h_put_32 (abfd, cmd->nextrel, &raw.nextrel);
2426 bfd_h_put_32 (abfd, cmd->locreloff, &raw.locreloff);
2427 bfd_h_put_32 (abfd, cmd->nlocrel, &raw.nlocrel);
2428
2429 if (bfd_write (&raw, sizeof (raw), abfd) != sizeof (raw))
2430 return false;
2431 }
2432
2433 return true;
2434 }
2435
2436 static unsigned
2437 bfd_mach_o_primary_symbol_sort_key (bfd_mach_o_asymbol *s)
2438 {
2439 unsigned mtyp = s->n_type & BFD_MACH_O_N_TYPE;
2440
2441 /* Just leave debug symbols where they are (pretend they are local, and
2442 then they will just be sorted on position). */
2443 if (s->n_type & BFD_MACH_O_N_STAB)
2444 return 0;
2445
2446 /* Local (we should never see an undefined local AFAICT). */
2447 if (! (s->n_type & (BFD_MACH_O_N_EXT | BFD_MACH_O_N_PEXT)))
2448 return 0;
2449
2450 /* Common symbols look like undefined externs. */
2451 if (mtyp == BFD_MACH_O_N_UNDF)
2452 return 2;
2453
2454 /* A defined non-local, non-debug symbol. */
2455 return 1;
2456 }
2457
2458 static int
2459 bfd_mach_o_cf_symbols (const void *a, const void *b)
2460 {
2461 bfd_mach_o_asymbol *sa = *(bfd_mach_o_asymbol **) a;
2462 bfd_mach_o_asymbol *sb = *(bfd_mach_o_asymbol **) b;
2463 unsigned int soa, sob;
2464
2465 soa = bfd_mach_o_primary_symbol_sort_key (sa);
2466 sob = bfd_mach_o_primary_symbol_sort_key (sb);
2467 if (soa < sob)
2468 return -1;
2469
2470 if (soa > sob)
2471 return 1;
2472
2473 /* If it's local or stab, just preserve the input order. */
2474 if (soa == 0)
2475 {
2476 if (sa->symbol.udata.i < sb->symbol.udata.i)
2477 return -1;
2478 if (sa->symbol.udata.i > sb->symbol.udata.i)
2479 return 1;
2480
2481 /* This is probably an error. */
2482 return 0;
2483 }
2484
2485 /* The second sort key is name. */
2486 return strcmp (sa->symbol.name, sb->symbol.name);
2487 }
2488
2489 /* Process the symbols.
2490
2491 This should be OK for single-module files - but it is not likely to work
2492 for multi-module shared libraries.
2493
2494 (a) If the application has not filled in the relevant mach-o fields, make
2495 an estimate.
2496
2497 (b) Order them, like this:
2498 ( i) local.
2499 (unsorted)
2500 ( ii) external defined
2501 (by name)
2502 (iii) external undefined/common
2503 (by name)
2504 ( iv) common
2505 (by name)
2506 */
2507
2508 static bool
2509 bfd_mach_o_mangle_symbols (bfd *abfd)
2510 {
2511 unsigned long i;
2512 asymbol **symbols = bfd_get_outsymbols (abfd);
2513
2514 if (symbols == NULL || bfd_get_symcount (abfd) == 0)
2515 return true;
2516
2517 for (i = 0; i < bfd_get_symcount (abfd); i++)
2518 {
2519 bfd_mach_o_asymbol *s = (bfd_mach_o_asymbol *)symbols[i];
2520
2521 /* We use this value, which is out-of-range as a symbol index, to signal
2522 that the mach-o-specific data are not filled in and need to be created
2523 from the bfd values. It is much preferable for the application to do
2524 this, since more meaningful diagnostics can be made that way. */
2525
2526 if (s->symbol.udata.i == SYM_MACHO_FIELDS_UNSET)
2527 {
2528 /* No symbol information has been set - therefore determine
2529 it from the bfd symbol flags/info. */
2530 if (s->symbol.section == bfd_abs_section_ptr)
2531 s->n_type = BFD_MACH_O_N_ABS;
2532 else if (s->symbol.section == bfd_und_section_ptr)
2533 {
2534 s->n_type = BFD_MACH_O_N_UNDF;
2535 if (s->symbol.flags & BSF_WEAK)
2536 s->n_desc |= BFD_MACH_O_N_WEAK_REF;
2537 /* mach-o automatically makes undefined symbols extern. */
2538 s->n_type |= BFD_MACH_O_N_EXT;
2539 s->symbol.flags |= BSF_GLOBAL;
2540 }
2541 else if (s->symbol.section == bfd_com_section_ptr)
2542 {
2543 s->n_type = BFD_MACH_O_N_UNDF | BFD_MACH_O_N_EXT;
2544 s->symbol.flags |= BSF_GLOBAL;
2545 }
2546 else
2547 s->n_type = BFD_MACH_O_N_SECT;
2548 }
2549
2550 /* Update external symbol bit in case objcopy changed it. */
2551 if (s->symbol.flags & BSF_GLOBAL)
2552 s->n_type |= BFD_MACH_O_N_EXT;
2553 else
2554 s->n_type &= ~BFD_MACH_O_N_EXT;
2555
2556 /* Put the section index in, where required. */
2557 if ((s->symbol.section != bfd_abs_section_ptr
2558 && s->symbol.section != bfd_und_section_ptr
2559 && s->symbol.section != bfd_com_section_ptr)
2560 || ((s->n_type & BFD_MACH_O_N_STAB) != 0
2561 && s->symbol.name == NULL))
2562 s->n_sect = s->symbol.section->output_section->target_index;
2563
2564 /* Number to preserve order for local and debug syms. */
2565 s->symbol.udata.i = i;
2566 }
2567
2568 /* Sort the symbols. */
2569 qsort ((void *) symbols, (size_t) bfd_get_symcount (abfd),
2570 sizeof (asymbol *), bfd_mach_o_cf_symbols);
2571
2572 for (i = 0; i < bfd_get_symcount (abfd); ++i)
2573 {
2574 bfd_mach_o_asymbol *s = (bfd_mach_o_asymbol *)symbols[i];
2575 s->symbol.udata.i = i; /* renumber. */
2576 }
2577
2578 return true;
2579 }
2580
2581 /* We build a flat table of sections, which can be re-ordered if necessary.
2582 Fill in the section number and other mach-o-specific data. */
2583
2584 static bool
2585 bfd_mach_o_mangle_sections (bfd *abfd, bfd_mach_o_data_struct *mdata)
2586 {
2587 asection *sec;
2588 unsigned target_index;
2589 unsigned nsect;
2590 size_t amt;
2591
2592 nsect = bfd_count_sections (abfd);
2593
2594 /* Don't do it if it's already set - assume the application knows what it's
2595 doing. */
2596 if (mdata->nsects == nsect
2597 && (mdata->nsects == 0 || mdata->sections != NULL))
2598 return true;
2599
2600 /* We need to check that this can be done... */
2601 if (nsect > 255)
2602 {
2603 _bfd_error_handler (_("mach-o: there are too many sections (%u)"
2604 " maximum is 255,\n"), nsect);
2605 return false;
2606 }
2607
2608 mdata->nsects = nsect;
2609 amt = mdata->nsects * sizeof (bfd_mach_o_section *);
2610 mdata->sections = bfd_alloc (abfd, amt);
2611 if (mdata->sections == NULL)
2612 return false;
2613
2614 /* Create Mach-O sections.
2615 Section type, attribute and align should have been set when the
2616 section was created - either read in or specified. */
2617 target_index = 0;
2618 for (sec = abfd->sections; sec; sec = sec->next)
2619 {
2620 unsigned bfd_align = bfd_section_alignment (sec);
2621 bfd_mach_o_section *msect = bfd_mach_o_get_mach_o_section (sec);
2622
2623 mdata->sections[target_index] = msect;
2624
2625 msect->addr = bfd_section_vma (sec);
2626 msect->size = bfd_section_size (sec);
2627
2628 /* Use the largest alignment set, in case it was bumped after the
2629 section was created. */
2630 msect->align = msect->align > bfd_align ? msect->align : bfd_align;
2631
2632 msect->offset = 0;
2633 sec->target_index = ++target_index;
2634 }
2635
2636 return true;
2637 }
2638
2639 bool
2640 bfd_mach_o_write_contents (bfd *abfd)
2641 {
2642 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
2643 bfd_mach_o_load_command *cmd;
2644 bfd_mach_o_symtab_command *symtab = NULL;
2645 bfd_mach_o_dysymtab_command *dysymtab = NULL;
2646 bfd_mach_o_segment_command *linkedit = NULL;
2647
2648 /* Make the commands, if not already present. */
2649 if (!abfd->output_has_begun && !bfd_mach_o_build_commands (abfd))
2650 return false;
2651 abfd->output_has_begun = true;
2652
2653 /* Write the header. */
2654 if (!bfd_mach_o_write_header (abfd, &mdata->header))
2655 return false;
2656
2657 /* First pass: allocate the linkedit segment. */
2658 for (cmd = mdata->first_command; cmd != NULL; cmd = cmd->next)
2659 switch (cmd->type)
2660 {
2661 case BFD_MACH_O_LC_SEGMENT_64:
2662 case BFD_MACH_O_LC_SEGMENT:
2663 if (strcmp (cmd->command.segment.segname, "__LINKEDIT") == 0)
2664 linkedit = &cmd->command.segment;
2665 break;
2666 case BFD_MACH_O_LC_SYMTAB:
2667 symtab = &cmd->command.symtab;
2668 break;
2669 case BFD_MACH_O_LC_DYSYMTAB:
2670 dysymtab = &cmd->command.dysymtab;
2671 break;
2672 case BFD_MACH_O_LC_DYLD_INFO:
2673 {
2674 bfd_mach_o_dyld_info_command *di = &cmd->command.dyld_info;
2675
2676 di->rebase_off = di->rebase_size != 0 ? mdata->filelen : 0;
2677 mdata->filelen += di->rebase_size;
2678 di->bind_off = di->bind_size != 0 ? mdata->filelen : 0;
2679 mdata->filelen += di->bind_size;
2680 di->weak_bind_off = di->weak_bind_size != 0 ? mdata->filelen : 0;
2681 mdata->filelen += di->weak_bind_size;
2682 di->lazy_bind_off = di->lazy_bind_size != 0 ? mdata->filelen : 0;
2683 mdata->filelen += di->lazy_bind_size;
2684 di->export_off = di->export_size != 0 ? mdata->filelen : 0;
2685 mdata->filelen += di->export_size;
2686 }
2687 break;
2688 case BFD_MACH_O_LC_LOAD_DYLIB:
2689 case BFD_MACH_O_LC_LOAD_DYLINKER:
2690 case BFD_MACH_O_LC_MAIN:
2691 /* Nothing to do. */
2692 break;
2693 default:
2694 _bfd_error_handler
2695 (_("unable to allocate data for load command %#x"),
2696 cmd->type);
2697 break;
2698 }
2699
2700 /* Specially handle symtab and dysymtab. */
2701
2702 /* Pre-allocate the symbol table (but not the string table). The reason
2703 is that the dysymtab is after the symbol table but before the string
2704 table (required by the native strip tool). */
2705 if (symtab != NULL)
2706 {
2707 unsigned int symlen;
2708 unsigned int wide = bfd_mach_o_wide_p (abfd);
2709
2710 symlen = wide ? BFD_MACH_O_NLIST_64_SIZE : BFD_MACH_O_NLIST_SIZE;
2711
2712 /* Align for symbols. */
2713 mdata->filelen = FILE_ALIGN (mdata->filelen, wide ? 3 : 2);
2714 symtab->symoff = mdata->filelen;
2715
2716 symtab->nsyms = bfd_get_symcount (abfd);
2717 mdata->filelen += symtab->nsyms * symlen;
2718 }
2719
2720 /* Build the dysymtab. */
2721 if (dysymtab != NULL)
2722 if (!bfd_mach_o_build_dysymtab (abfd, dysymtab))
2723 return false;
2724
2725 /* Write symtab and strtab. */
2726 if (symtab != NULL)
2727 if (!bfd_mach_o_write_symtab_content (abfd, symtab))
2728 return false;
2729
2730 /* Adjust linkedit size. */
2731 if (linkedit != NULL)
2732 {
2733 /* bfd_vma pagemask = bfd_mach_o_get_backend_data (abfd)->page_size - 1; */
2734
2735 linkedit->vmsize = mdata->filelen - linkedit->fileoff;
2736 /* linkedit->vmsize = (linkedit->vmsize + pagemask) & ~pagemask; */
2737 linkedit->filesize = mdata->filelen - linkedit->fileoff;
2738
2739 linkedit->initprot = BFD_MACH_O_PROT_READ;
2740 linkedit->maxprot = BFD_MACH_O_PROT_READ | BFD_MACH_O_PROT_WRITE
2741 | BFD_MACH_O_PROT_EXECUTE;
2742 }
2743
2744 /* Second pass: write commands. */
2745 for (cmd = mdata->first_command; cmd != NULL; cmd = cmd->next)
2746 {
2747 struct mach_o_load_command_external raw;
2748 unsigned long typeflag;
2749
2750 typeflag = cmd->type | (cmd->type_required ? BFD_MACH_O_LC_REQ_DYLD : 0);
2751
2752 bfd_h_put_32 (abfd, typeflag, raw.cmd);
2753 bfd_h_put_32 (abfd, cmd->len, raw.cmdsize);
2754
2755 if (bfd_seek (abfd, cmd->offset, SEEK_SET) != 0
2756 || bfd_write (&raw, BFD_MACH_O_LC_SIZE, abfd) != 8)
2757 return false;
2758
2759 switch (cmd->type)
2760 {
2761 case BFD_MACH_O_LC_SEGMENT:
2762 if (!bfd_mach_o_write_segment_32 (abfd, cmd))
2763 return false;
2764 break;
2765 case BFD_MACH_O_LC_SEGMENT_64:
2766 if (!bfd_mach_o_write_segment_64 (abfd, cmd))
2767 return false;
2768 break;
2769 case BFD_MACH_O_LC_SYMTAB:
2770 if (!bfd_mach_o_write_symtab (abfd, cmd))
2771 return false;
2772 break;
2773 case BFD_MACH_O_LC_DYSYMTAB:
2774 if (!bfd_mach_o_write_dysymtab (abfd, cmd))
2775 return false;
2776 break;
2777 case BFD_MACH_O_LC_THREAD:
2778 case BFD_MACH_O_LC_UNIXTHREAD:
2779 if (!bfd_mach_o_write_thread (abfd, cmd))
2780 return false;
2781 break;
2782 case BFD_MACH_O_LC_LOAD_DYLIB:
2783 if (!bfd_mach_o_write_dylib (abfd, cmd))
2784 return false;
2785 break;
2786 case BFD_MACH_O_LC_LOAD_DYLINKER:
2787 if (!bfd_mach_o_write_dylinker (abfd, cmd))
2788 return false;
2789 break;
2790 case BFD_MACH_O_LC_MAIN:
2791 if (!bfd_mach_o_write_main (abfd, cmd))
2792 return false;
2793 break;
2794 case BFD_MACH_O_LC_DYLD_INFO:
2795 if (!bfd_mach_o_write_dyld_info (abfd, cmd))
2796 return false;
2797 break;
2798 default:
2799 _bfd_error_handler
2800 (_("unable to write unknown load command %#x"),
2801 cmd->type);
2802 return false;
2803 }
2804 }
2805
2806 return true;
2807 }
2808
2809 static void
2810 bfd_mach_o_append_section_to_segment (bfd_mach_o_segment_command *seg,
2811 bfd_mach_o_section *s)
2812 {
2813 if (seg->sect_head == NULL)
2814 seg->sect_head = s;
2815 else
2816 seg->sect_tail->next = s;
2817 seg->sect_tail = s;
2818 }
2819
2820 /* Create section Mach-O flags from BFD flags. */
2821
2822 static void
2823 bfd_mach_o_set_section_flags_from_bfd (bfd *abfd ATTRIBUTE_UNUSED,
2824 asection *sec)
2825 {
2826 flagword bfd_flags;
2827 bfd_mach_o_section *s = bfd_mach_o_get_mach_o_section (sec);
2828
2829 /* Create default flags. */
2830 bfd_flags = bfd_section_flags (sec);
2831 if ((bfd_flags & SEC_CODE) == SEC_CODE)
2832 s->flags = BFD_MACH_O_S_ATTR_PURE_INSTRUCTIONS
2833 | BFD_MACH_O_S_ATTR_SOME_INSTRUCTIONS
2834 | BFD_MACH_O_S_REGULAR;
2835 else if ((bfd_flags & (SEC_ALLOC | SEC_LOAD)) == SEC_ALLOC)
2836 s->flags = BFD_MACH_O_S_ZEROFILL;
2837 else if (bfd_flags & SEC_DEBUGGING)
2838 s->flags = BFD_MACH_O_S_REGULAR | BFD_MACH_O_S_ATTR_DEBUG;
2839 else
2840 s->flags = BFD_MACH_O_S_REGULAR;
2841 }
2842
2843 static bool
2844 bfd_mach_o_build_obj_seg_command (bfd *abfd, bfd_mach_o_segment_command *seg)
2845 {
2846 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
2847 unsigned int i, j;
2848
2849 seg->vmaddr = 0;
2850 seg->fileoff = mdata->filelen;
2851 seg->initprot = BFD_MACH_O_PROT_READ | BFD_MACH_O_PROT_WRITE
2852 | BFD_MACH_O_PROT_EXECUTE;
2853 seg->maxprot = seg->initprot;
2854
2855 /* Append sections to the segment.
2856
2857 This is a little tedious, we have to honor the need to account zerofill
2858 sections after all the rest. This forces us to do the calculation of
2859 total vmsize in three passes so that any alignment increments are
2860 properly accounted. */
2861 for (i = 0; i < mdata->nsects; ++i)
2862 {
2863 bfd_mach_o_section *s = mdata->sections[i];
2864 asection *sec = s->bfdsection;
2865
2866 /* Although we account for zerofill section sizes in vm order, they are
2867 placed in the file in source sequence. */
2868 bfd_mach_o_append_section_to_segment (seg, s);
2869 s->offset = 0;
2870
2871 /* Zerofill sections have zero file size & offset, the only content
2872 written to the file is the symbols. */
2873 if ((s->flags & BFD_MACH_O_SECTION_TYPE_MASK) == BFD_MACH_O_S_ZEROFILL
2874 || ((s->flags & BFD_MACH_O_SECTION_TYPE_MASK)
2875 == BFD_MACH_O_S_GB_ZEROFILL))
2876 continue;
2877
2878 /* The Darwin system tools (in MH_OBJECT files, at least) always account
2879 sections, even those with zero size. */
2880 if (s->size > 0)
2881 {
2882 seg->vmsize = FILE_ALIGN (seg->vmsize, s->align);
2883 seg->vmsize += s->size;
2884
2885 /* MH_OBJECT files have unaligned content. */
2886 if (1)
2887 {
2888 seg->filesize = FILE_ALIGN (seg->filesize, s->align);
2889 mdata->filelen = FILE_ALIGN (mdata->filelen, s->align);
2890 }
2891 seg->filesize += s->size;
2892
2893 /* The system tools write even zero-sized sections with an offset
2894 field set to the current file position. */
2895 s->offset = mdata->filelen;
2896 }
2897
2898 sec->filepos = s->offset;
2899 mdata->filelen += s->size;
2900 }
2901
2902 /* Now pass through again, for zerofill, only now we just update the
2903 vmsize, and then for zerofill_GB. */
2904 for (j = 0; j < 2; j++)
2905 {
2906 unsigned int stype;
2907
2908 if (j == 0)
2909 stype = BFD_MACH_O_S_ZEROFILL;
2910 else
2911 stype = BFD_MACH_O_S_GB_ZEROFILL;
2912
2913 for (i = 0; i < mdata->nsects; ++i)
2914 {
2915 bfd_mach_o_section *s = mdata->sections[i];
2916
2917 if ((s->flags & BFD_MACH_O_SECTION_TYPE_MASK) != stype)
2918 continue;
2919
2920 if (s->size > 0)
2921 {
2922 seg->vmsize = FILE_ALIGN (seg->vmsize, s->align);
2923 seg->vmsize += s->size;
2924 }
2925 }
2926 }
2927
2928 /* Allocate space for the relocations. */
2929 mdata->filelen = FILE_ALIGN (mdata->filelen, 2);
2930
2931 for (i = 0; i < mdata->nsects; ++i)
2932 {
2933 bfd_mach_o_section *ms = mdata->sections[i];
2934 asection *sec = ms->bfdsection;
2935
2936 ms->nreloc = sec->reloc_count;
2937 if (ms->nreloc == 0)
2938 {
2939 /* Clear nreloc and reloff if there is no relocs. */
2940 ms->reloff = 0;
2941 continue;
2942 }
2943 sec->rel_filepos = mdata->filelen;
2944 ms->reloff = sec->rel_filepos;
2945 mdata->filelen += sec->reloc_count * BFD_MACH_O_RELENT_SIZE;
2946 }
2947
2948 return true;
2949 }
2950
2951 static bool
2952 bfd_mach_o_build_exec_seg_command (bfd *abfd, bfd_mach_o_segment_command *seg)
2953 {
2954 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
2955 unsigned int i;
2956 bfd_vma pagemask = bfd_mach_o_get_backend_data (abfd)->page_size - 1;
2957 bfd_vma vma;
2958 bfd_mach_o_section *s;
2959
2960 seg->vmsize = 0;
2961
2962 seg->fileoff = mdata->filelen;
2963 seg->maxprot = 0;
2964 seg->initprot = 0;
2965 seg->flags = 0;
2966
2967 /* Append sections to the segment. We assume they are properly ordered
2968 by vma (but we check that). */
2969 vma = 0;
2970 for (i = 0; i < mdata->nsects; ++i)
2971 {
2972 s = mdata->sections[i];
2973
2974 /* Consider only sections for this segment. */
2975 if (strcmp (seg->segname, s->segname) != 0)
2976 continue;
2977
2978 bfd_mach_o_append_section_to_segment (seg, s);
2979
2980 if (s->addr < vma)
2981 {
2982 _bfd_error_handler
2983 /* xgettext:c-format */
2984 (_("section address (%#" PRIx64 ") "
2985 "below start of segment (%#" PRIx64 ")"),
2986 (uint64_t) s->addr, (uint64_t) vma);
2987 return false;
2988 }
2989
2990 vma = s->addr + s->size;
2991 }
2992
2993 /* Set segment file offset: make it page aligned. */
2994 vma = seg->sect_head->addr;
2995 seg->vmaddr = vma & ~pagemask;
2996 if ((mdata->filelen & pagemask) > (vma & pagemask))
2997 mdata->filelen += pagemask + 1;
2998 seg->fileoff = mdata->filelen & ~pagemask;
2999 mdata->filelen = seg->fileoff + (vma & pagemask);
3000
3001 /* Set section file offset. */
3002 for (s = seg->sect_head; s != NULL; s = s->next)
3003 {
3004 asection *sec = s->bfdsection;
3005 flagword flags = bfd_section_flags (sec);
3006
3007 /* Adjust segment size. */
3008 seg->vmsize = FILE_ALIGN (seg->vmsize, s->align);
3009 seg->vmsize += s->size;
3010
3011 /* File offset and length. */
3012 seg->filesize = FILE_ALIGN (seg->filesize, s->align);
3013
3014 if ((s->flags & BFD_MACH_O_SECTION_TYPE_MASK) != BFD_MACH_O_S_ZEROFILL
3015 && ((s->flags & BFD_MACH_O_SECTION_TYPE_MASK)
3016 != BFD_MACH_O_S_GB_ZEROFILL))
3017 {
3018 mdata->filelen = FILE_ALIGN (mdata->filelen, s->align);
3019
3020 s->offset = mdata->filelen;
3021 s->bfdsection->filepos = s->offset;
3022
3023 seg->filesize += s->size;
3024 mdata->filelen += s->size;
3025 }
3026 else
3027 {
3028 s->offset = 0;
3029 s->bfdsection->filepos = 0;
3030 }
3031
3032 /* Set protection. */
3033 if (flags & SEC_LOAD)
3034 {
3035 if (flags & SEC_CODE)
3036 seg->initprot |= BFD_MACH_O_PROT_READ | BFD_MACH_O_PROT_EXECUTE;
3037 if ((flags & (SEC_DATA | SEC_READONLY)) == SEC_DATA)
3038 seg->initprot |= BFD_MACH_O_PROT_WRITE | BFD_MACH_O_PROT_READ;
3039 }
3040
3041 /* Relocs shouldn't appear in non-object files. */
3042 if (s->bfdsection->reloc_count != 0)
3043 return false;
3044 }
3045
3046 /* Set maxprot. */
3047 if (seg->initprot != 0)
3048 seg->maxprot = BFD_MACH_O_PROT_READ | BFD_MACH_O_PROT_WRITE
3049 | BFD_MACH_O_PROT_EXECUTE;
3050 else
3051 seg->maxprot = 0;
3052
3053 /* Round segment size (and file size). */
3054 seg->vmsize = (seg->vmsize + pagemask) & ~pagemask;
3055 seg->filesize = (seg->filesize + pagemask) & ~pagemask;
3056 mdata->filelen = (mdata->filelen + pagemask) & ~pagemask;
3057
3058 return true;
3059 }
3060
3061 /* Layout the commands: set commands size and offset, set ncmds and sizeofcmds
3062 fields in header. */
3063
3064 static bool
3065 bfd_mach_o_layout_commands (bfd_mach_o_data_struct *mdata)
3066 {
3067 unsigned wide = mach_o_wide_p (&mdata->header);
3068 unsigned int hdrlen;
3069 ufile_ptr offset;
3070 bfd_mach_o_load_command *cmd;
3071 unsigned int align;
3072 bool ret = true;
3073
3074 hdrlen = wide ? BFD_MACH_O_HEADER_64_SIZE : BFD_MACH_O_HEADER_SIZE;
3075 align = wide ? 8 - 1 : 4 - 1;
3076 offset = hdrlen;
3077 mdata->header.ncmds = 0;
3078
3079 for (cmd = mdata->first_command; cmd; cmd = cmd->next)
3080 {
3081 mdata->header.ncmds++;
3082 cmd->offset = offset;
3083
3084 switch (cmd->type)
3085 {
3086 case BFD_MACH_O_LC_SEGMENT_64:
3087 cmd->len = BFD_MACH_O_LC_SEGMENT_64_SIZE
3088 + BFD_MACH_O_SECTION_64_SIZE * cmd->command.segment.nsects;
3089 break;
3090 case BFD_MACH_O_LC_SEGMENT:
3091 cmd->len = BFD_MACH_O_LC_SEGMENT_SIZE
3092 + BFD_MACH_O_SECTION_SIZE * cmd->command.segment.nsects;
3093 break;
3094 case BFD_MACH_O_LC_SYMTAB:
3095 cmd->len = sizeof (struct mach_o_symtab_command_external)
3096 + BFD_MACH_O_LC_SIZE;
3097 break;
3098 case BFD_MACH_O_LC_DYSYMTAB:
3099 cmd->len = sizeof (struct mach_o_dysymtab_command_external)
3100 + BFD_MACH_O_LC_SIZE;
3101 break;
3102 case BFD_MACH_O_LC_LOAD_DYLIB:
3103 cmd->len = sizeof (struct mach_o_dylib_command_external)
3104 + BFD_MACH_O_LC_SIZE;
3105 cmd->command.dylib.name_offset = cmd->len;
3106 cmd->len += strlen (cmd->command.dylib.name_str);
3107 cmd->len = (cmd->len + align) & ~align;
3108 break;
3109 case BFD_MACH_O_LC_LOAD_DYLINKER:
3110 cmd->len = sizeof (struct mach_o_str_command_external)
3111 + BFD_MACH_O_LC_SIZE;
3112 cmd->command.dylinker.name_offset = cmd->len;
3113 cmd->len += strlen (cmd->command.dylinker.name_str);
3114 cmd->len = (cmd->len + align) & ~align;
3115 break;
3116 case BFD_MACH_O_LC_MAIN:
3117 cmd->len = sizeof (struct mach_o_entry_point_command_external)
3118 + BFD_MACH_O_LC_SIZE;
3119 break;
3120 case BFD_MACH_O_LC_DYLD_INFO:
3121 cmd->len = sizeof (struct mach_o_dyld_info_command_external)
3122 + BFD_MACH_O_LC_SIZE;
3123 break;
3124 default:
3125 _bfd_error_handler
3126 (_("unable to layout unknown load command %#x"),
3127 cmd->type);
3128 ret = false;
3129 break;
3130 }
3131
3132 BFD_ASSERT (cmd->len % (align + 1) == 0);
3133 offset += cmd->len;
3134 }
3135 mdata->header.sizeofcmds = offset - hdrlen;
3136 mdata->filelen = offset;
3137
3138 return ret;
3139 }
3140
3141 /* Subroutine of bfd_mach_o_build_commands: set type, name and nsects of a
3142 segment. */
3143
3144 static void
3145 bfd_mach_o_init_segment (bfd_mach_o_data_struct *mdata,
3146 bfd_mach_o_load_command *cmd,
3147 const char *segname, unsigned int nbr_sect)
3148 {
3149 bfd_mach_o_segment_command *seg = &cmd->command.segment;
3150 unsigned wide = mach_o_wide_p (&mdata->header);
3151
3152 /* Init segment command. */
3153 cmd->type = wide ? BFD_MACH_O_LC_SEGMENT_64 : BFD_MACH_O_LC_SEGMENT;
3154 cmd->type_required = false;
3155
3156 strcpy (seg->segname, segname);
3157 seg->nsects = nbr_sect;
3158
3159 seg->vmaddr = 0;
3160 seg->vmsize = 0;
3161
3162 seg->fileoff = 0;
3163 seg->filesize = 0;
3164 seg->maxprot = 0;
3165 seg->initprot = 0;
3166 seg->flags = 0;
3167 seg->sect_head = NULL;
3168 seg->sect_tail = NULL;
3169 }
3170
3171 /* Build Mach-O load commands (currently assuming an MH_OBJECT file).
3172 TODO: Other file formats, rebuilding symtab/dysymtab commands for strip
3173 and copy functionality. */
3174
3175 bool
3176 bfd_mach_o_build_commands (bfd *abfd)
3177 {
3178 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
3179 unsigned wide = mach_o_wide_p (&mdata->header);
3180 unsigned int nbr_segcmd = 0;
3181 bfd_mach_o_load_command *commands;
3182 unsigned int nbr_commands;
3183 int symtab_idx = -1;
3184 int dysymtab_idx = -1;
3185 int main_idx = -1;
3186 unsigned int i;
3187
3188 /* Return now if already built. */
3189 if (mdata->header.ncmds != 0)
3190 return true;
3191
3192 /* Fill in the file type, if not already set. */
3193 if (mdata->header.filetype == 0)
3194 {
3195 if (abfd->flags & EXEC_P)
3196 mdata->header.filetype = BFD_MACH_O_MH_EXECUTE;
3197 else if (abfd->flags & DYNAMIC)
3198 mdata->header.filetype = BFD_MACH_O_MH_DYLIB;
3199 else
3200 mdata->header.filetype = BFD_MACH_O_MH_OBJECT;
3201 }
3202
3203 /* If hasn't already been done, flatten sections list, and sort
3204 if/when required. Must be done before the symbol table is adjusted,
3205 since that depends on properly numbered sections. */
3206 if (mdata->nsects == 0 || mdata->sections == NULL)
3207 if (! bfd_mach_o_mangle_sections (abfd, mdata))
3208 return false;
3209
3210 /* Order the symbol table, fill-in/check mach-o specific fields and
3211 partition out any indirect symbols. */
3212 if (!bfd_mach_o_mangle_symbols (abfd))
3213 return false;
3214
3215 /* Segment commands. */
3216 if (mdata->header.filetype == BFD_MACH_O_MH_OBJECT)
3217 {
3218 /* Only one segment for all the sections. But the segment is
3219 optional if there is no sections. */
3220 nbr_segcmd = (mdata->nsects > 0) ? 1 : 0;
3221 }
3222 else
3223 {
3224 bfd_mach_o_section *prev_sect = NULL;
3225
3226 /* One pagezero segment and one linkedit segment. */
3227 nbr_segcmd = 2;
3228
3229 /* Create one segment for associated segment name in sections.
3230 Assume that sections with the same segment name are consecutive. */
3231 for (i = 0; i < mdata->nsects; i++)
3232 {
3233 bfd_mach_o_section *this_sect = mdata->sections[i];
3234
3235 if (prev_sect == NULL
3236 || strcmp (prev_sect->segname, this_sect->segname) != 0)
3237 {
3238 nbr_segcmd++;
3239 prev_sect = this_sect;
3240 }
3241 }
3242 }
3243
3244 nbr_commands = nbr_segcmd;
3245
3246 /* One command for the symbol table (only if there are symbols. */
3247 if (bfd_get_symcount (abfd) > 0)
3248 symtab_idx = nbr_commands++;
3249
3250 /* FIXME:
3251 This is a rather crude test for whether we should build a dysymtab. */
3252 if (bfd_mach_o_should_emit_dysymtab ()
3253 && bfd_get_symcount (abfd))
3254 {
3255 /* If there should be a case where a dysymtab could be emitted without
3256 a symtab (seems improbable), this would need amending. */
3257 dysymtab_idx = nbr_commands++;
3258 }
3259
3260 /* Add an entry point command. */
3261 if (mdata->header.filetype == BFD_MACH_O_MH_EXECUTE
3262 && bfd_get_start_address (abfd) != 0)
3263 main_idx = nbr_commands++;
3264
3265 /* Well, we must have a header, at least. */
3266 mdata->filelen = wide ? BFD_MACH_O_HEADER_64_SIZE : BFD_MACH_O_HEADER_SIZE;
3267
3268 /* A bit unusual, but no content is valid;
3269 as -n empty.s -o empty.o */
3270 if (nbr_commands == 0)
3271 {
3272 /* Layout commands (well none...) and set headers command fields. */
3273 return bfd_mach_o_layout_commands (mdata);
3274 }
3275
3276 /* Create commands for segments (and symtabs), prepend them. */
3277 commands = bfd_zalloc (abfd, nbr_commands * sizeof (bfd_mach_o_load_command));
3278 if (commands == NULL)
3279 return false;
3280 for (i = 0; i < nbr_commands - 1; i++)
3281 commands[i].next = &commands[i + 1];
3282 commands[nbr_commands - 1].next = mdata->first_command;
3283 if (mdata->first_command == NULL)
3284 mdata->last_command = &commands[nbr_commands - 1];
3285 mdata->first_command = &commands[0];
3286
3287 if (mdata->header.filetype == BFD_MACH_O_MH_OBJECT && nbr_segcmd != 0)
3288 {
3289 /* For object file, there is only one segment. */
3290 bfd_mach_o_init_segment (mdata, &commands[0], "", mdata->nsects);
3291 }
3292 else if (nbr_segcmd != 0)
3293 {
3294 bfd_mach_o_load_command *cmd;
3295
3296 BFD_ASSERT (nbr_segcmd >= 2);
3297
3298 /* The pagezero. */
3299 cmd = &commands[0];
3300 bfd_mach_o_init_segment (mdata, cmd, "__PAGEZERO", 0);
3301
3302 /* Segments from sections. */
3303 cmd++;
3304 for (i = 0; i < mdata->nsects;)
3305 {
3306 const char *segname = mdata->sections[i]->segname;
3307 unsigned int nbr_sect = 1;
3308
3309 /* Count number of sections for this segment. */
3310 for (i++; i < mdata->nsects; i++)
3311 if (strcmp (mdata->sections[i]->segname, segname) == 0)
3312 nbr_sect++;
3313 else
3314 break;
3315
3316 bfd_mach_o_init_segment (mdata, cmd, segname, nbr_sect);
3317 cmd++;
3318 }
3319
3320 /* The linkedit. */
3321 bfd_mach_o_init_segment (mdata, cmd, "__LINKEDIT", 0);
3322 }
3323
3324 if (symtab_idx >= 0)
3325 {
3326 /* Init symtab command. */
3327 bfd_mach_o_load_command *cmd = &commands[symtab_idx];
3328
3329 cmd->type = BFD_MACH_O_LC_SYMTAB;
3330 cmd->type_required = false;
3331 }
3332
3333 /* If required, setup symtab command, see comment above about the quality
3334 of this test. */
3335 if (dysymtab_idx >= 0)
3336 {
3337 bfd_mach_o_load_command *cmd = &commands[dysymtab_idx];
3338
3339 cmd->type = BFD_MACH_O_LC_DYSYMTAB;
3340 cmd->type_required = false;
3341 }
3342
3343 /* Create the main command. */
3344 if (main_idx >= 0)
3345 {
3346 bfd_mach_o_load_command *cmd = &commands[main_idx];
3347
3348 cmd->type = BFD_MACH_O_LC_MAIN;
3349 cmd->type_required = true;
3350
3351 cmd->command.main.entryoff = 0;
3352 cmd->command.main.stacksize = 0;
3353 }
3354
3355 /* Layout commands. */
3356 if (! bfd_mach_o_layout_commands (mdata))
3357 return false;
3358
3359 /* So, now we have sized the commands and the filelen set to that.
3360 Now we can build the segment command and set the section file offsets. */
3361 if (mdata->header.filetype == BFD_MACH_O_MH_OBJECT)
3362 {
3363 for (i = 0; i < nbr_segcmd; i++)
3364 if (!bfd_mach_o_build_obj_seg_command
3365 (abfd, &commands[i].command.segment))
3366 return false;
3367 }
3368 else
3369 {
3370 bfd_vma maxvma = 0;
3371
3372 /* Skip pagezero and linkedit segments. */
3373 for (i = 1; i < nbr_segcmd - 1; i++)
3374 {
3375 bfd_mach_o_segment_command *seg = &commands[i].command.segment;
3376
3377 if (!bfd_mach_o_build_exec_seg_command (abfd, seg))
3378 return false;
3379
3380 if (seg->vmaddr + seg->vmsize > maxvma)
3381 maxvma = seg->vmaddr + seg->vmsize;
3382 }
3383
3384 /* Set the size of __PAGEZERO. */
3385 commands[0].command.segment.vmsize =
3386 commands[1].command.segment.vmaddr;
3387
3388 /* Set the vma and fileoff of __LINKEDIT. */
3389 commands[nbr_segcmd - 1].command.segment.vmaddr = maxvma;
3390 commands[nbr_segcmd - 1].command.segment.fileoff = mdata->filelen;
3391
3392 /* Set entry point (once segments have been laid out). */
3393 if (main_idx >= 0)
3394 commands[main_idx].command.main.entryoff =
3395 bfd_get_start_address (abfd) - commands[1].command.segment.vmaddr;
3396 }
3397
3398 return true;
3399 }
3400
3401 /* Set the contents of a section. */
3402
3403 bool
3404 bfd_mach_o_set_section_contents (bfd *abfd,
3405 asection *section,
3406 const void * location,
3407 file_ptr offset,
3408 bfd_size_type count)
3409 {
3410 file_ptr pos;
3411
3412 /* Trying to write the first section contents will trigger the creation of
3413 the load commands if they are not already present. */
3414 if (!abfd->output_has_begun && !bfd_mach_o_build_commands (abfd))
3415 return false;
3416
3417 if (count == 0)
3418 return true;
3419
3420 pos = section->filepos + offset;
3421 if (bfd_seek (abfd, pos, SEEK_SET) != 0
3422 || bfd_write (location, count, abfd) != count)
3423 return false;
3424
3425 return true;
3426 }
3427
3428 int
3429 bfd_mach_o_sizeof_headers (bfd *a ATTRIBUTE_UNUSED,
3430 struct bfd_link_info *info ATTRIBUTE_UNUSED)
3431 {
3432 return 0;
3433 }
3434
3435 /* Make an empty symbol. This is required only because
3436 bfd_make_section_anyway wants to create a symbol for the section. */
3437
3438 asymbol *
3439 bfd_mach_o_make_empty_symbol (bfd *abfd)
3440 {
3441 asymbol *new_symbol;
3442
3443 new_symbol = bfd_zalloc (abfd, sizeof (bfd_mach_o_asymbol));
3444 if (new_symbol == NULL)
3445 return new_symbol;
3446 new_symbol->the_bfd = abfd;
3447 new_symbol->udata.i = SYM_MACHO_FIELDS_UNSET;
3448 return new_symbol;
3449 }
3450
3451 static bool
3452 bfd_mach_o_read_header (bfd *abfd, file_ptr hdr_off, bfd_mach_o_header *header)
3453 {
3454 struct mach_o_header_external raw;
3455 unsigned int size;
3456 bfd_vma (*get32) (const void *) = NULL;
3457
3458 /* Just read the magic number. */
3459 if (bfd_seek (abfd, hdr_off, SEEK_SET) != 0
3460 || bfd_read (raw.magic, sizeof (raw.magic), abfd) != 4)
3461 return false;
3462
3463 if (bfd_getb32 (raw.magic) == BFD_MACH_O_MH_MAGIC)
3464 {
3465 header->byteorder = BFD_ENDIAN_BIG;
3466 header->magic = BFD_MACH_O_MH_MAGIC;
3467 header->version = 1;
3468 get32 = bfd_getb32;
3469 }
3470 else if (bfd_getl32 (raw.magic) == BFD_MACH_O_MH_MAGIC)
3471 {
3472 header->byteorder = BFD_ENDIAN_LITTLE;
3473 header->magic = BFD_MACH_O_MH_MAGIC;
3474 header->version = 1;
3475 get32 = bfd_getl32;
3476 }
3477 else if (bfd_getb32 (raw.magic) == BFD_MACH_O_MH_MAGIC_64)
3478 {
3479 header->byteorder = BFD_ENDIAN_BIG;
3480 header->magic = BFD_MACH_O_MH_MAGIC_64;
3481 header->version = 2;
3482 get32 = bfd_getb32;
3483 }
3484 else if (bfd_getl32 (raw.magic) == BFD_MACH_O_MH_MAGIC_64)
3485 {
3486 header->byteorder = BFD_ENDIAN_LITTLE;
3487 header->magic = BFD_MACH_O_MH_MAGIC_64;
3488 header->version = 2;
3489 get32 = bfd_getl32;
3490 }
3491 else
3492 {
3493 header->byteorder = BFD_ENDIAN_UNKNOWN;
3494 return false;
3495 }
3496
3497 /* Once the size of the header is known, read the full header. */
3498 size = mach_o_wide_p (header) ?
3499 BFD_MACH_O_HEADER_64_SIZE : BFD_MACH_O_HEADER_SIZE;
3500
3501 if (bfd_seek (abfd, hdr_off, SEEK_SET) != 0
3502 || bfd_read (&raw, size, abfd) != size)
3503 return false;
3504
3505 header->cputype = (*get32) (raw.cputype);
3506 header->cpusubtype = (*get32) (raw.cpusubtype);
3507 header->filetype = (*get32) (raw.filetype);
3508 header->ncmds = (*get32) (raw.ncmds);
3509 header->sizeofcmds = (*get32) (raw.sizeofcmds);
3510 header->flags = (*get32) (raw.flags);
3511
3512 if (mach_o_wide_p (header))
3513 header->reserved = (*get32) (raw.reserved);
3514 else
3515 header->reserved = 0;
3516
3517 return true;
3518 }
3519
3520 bool
3521 bfd_mach_o_new_section_hook (bfd *abfd, asection *sec)
3522 {
3523 bfd_mach_o_section *s = bfd_zalloc (abfd, sizeof (*s));
3524 if (s == NULL)
3525 return false;
3526 sec->used_by_bfd = s;
3527 s->bfdsection = sec;
3528
3529 /* Create the Darwin seg/sect name pair from the bfd name.
3530 If this is a canonical name for which a specific paiting exists
3531 there will also be defined flags, type, attribute and alignment
3532 values. */
3533 const mach_o_section_name_xlat *xlat
3534 = bfd_mach_o_convert_section_name_to_mach_o (abfd, sec, s);
3535 if (xlat != NULL)
3536 {
3537 s->flags = xlat->macho_sectype | xlat->macho_secattr;
3538 unsigned bfdalign = bfd_section_alignment (sec);
3539 s->align = xlat->sectalign > bfdalign ? xlat->sectalign : bfdalign;
3540 bfd_set_section_alignment (sec, s->align);
3541 flagword bfd_flags = bfd_section_flags (sec);
3542 if (bfd_flags == SEC_NO_FLAGS)
3543 bfd_set_section_flags (sec, xlat->bfd_flags);
3544 }
3545 else
3546 /* Create default flags. */
3547 bfd_mach_o_set_section_flags_from_bfd (abfd, sec);
3548
3549 return _bfd_generic_new_section_hook (abfd, sec);
3550 }
3551
3552 static void
3553 bfd_mach_o_init_section_from_mach_o (asection *sec, unsigned long prot)
3554 {
3555 flagword flags;
3556 bfd_mach_o_section *section;
3557
3558 flags = bfd_section_flags (sec);
3559 section = bfd_mach_o_get_mach_o_section (sec);
3560
3561 /* TODO: see if we should use the xlat system for doing this by
3562 preference and fall back to this for unknown sections. */
3563
3564 if (flags == SEC_NO_FLAGS)
3565 {
3566 /* Try to guess flags. */
3567 if (section->flags & BFD_MACH_O_S_ATTR_DEBUG)
3568 flags = SEC_DEBUGGING;
3569 else
3570 {
3571 flags = SEC_ALLOC;
3572 if ((section->flags & BFD_MACH_O_SECTION_TYPE_MASK)
3573 != BFD_MACH_O_S_ZEROFILL)
3574 {
3575 flags |= SEC_LOAD;
3576 if (prot & BFD_MACH_O_PROT_EXECUTE)
3577 flags |= SEC_CODE;
3578 if (prot & BFD_MACH_O_PROT_WRITE)
3579 flags |= SEC_DATA;
3580 else if (prot & BFD_MACH_O_PROT_READ)
3581 flags |= SEC_READONLY;
3582 }
3583 }
3584 }
3585 else
3586 {
3587 if ((flags & SEC_DEBUGGING) == 0)
3588 flags |= SEC_ALLOC;
3589 }
3590
3591 if (section->offset != 0)
3592 flags |= SEC_HAS_CONTENTS;
3593 if (section->nreloc != 0)
3594 flags |= SEC_RELOC;
3595
3596 bfd_set_section_flags (sec, flags);
3597
3598 sec->vma = section->addr;
3599 sec->lma = section->addr;
3600 sec->size = section->size;
3601 sec->filepos = section->offset;
3602 sec->alignment_power = section->align;
3603 sec->segment_mark = 0;
3604 sec->reloc_count = section->nreloc;
3605 sec->rel_filepos = section->reloff;
3606 }
3607
3608 static asection *
3609 bfd_mach_o_make_bfd_section (bfd *abfd,
3610 const unsigned char *segname,
3611 const unsigned char *sectname)
3612 {
3613 const char *sname;
3614 flagword flags;
3615
3616 bfd_mach_o_convert_section_name_to_bfd
3617 (abfd, (const char *)segname, (const char *)sectname, &sname, &flags);
3618 if (sname == NULL)
3619 return NULL;
3620
3621 return bfd_make_section_anyway_with_flags (abfd, sname, flags);
3622 }
3623
3624 static asection *
3625 bfd_mach_o_read_section_32 (bfd *abfd, unsigned long prot)
3626 {
3627 struct mach_o_section_32_external raw;
3628 asection *sec;
3629 bfd_mach_o_section *section;
3630
3631 if (bfd_read (&raw, BFD_MACH_O_SECTION_SIZE, abfd)
3632 != BFD_MACH_O_SECTION_SIZE)
3633 return NULL;
3634
3635 sec = bfd_mach_o_make_bfd_section (abfd, raw.segname, raw.sectname);
3636 if (sec == NULL)
3637 return NULL;
3638
3639 section = bfd_mach_o_get_mach_o_section (sec);
3640 memcpy (section->segname, raw.segname, sizeof (raw.segname));
3641 section->segname[BFD_MACH_O_SEGNAME_SIZE] = 0;
3642 memcpy (section->sectname, raw.sectname, sizeof (raw.sectname));
3643 section->sectname[BFD_MACH_O_SECTNAME_SIZE] = 0;
3644 section->addr = bfd_h_get_32 (abfd, raw.addr);
3645 section->size = bfd_h_get_32 (abfd, raw.size);
3646 section->offset = bfd_h_get_32 (abfd, raw.offset);
3647 section->align = bfd_h_get_32 (abfd, raw.align);
3648 /* PR 17512: file: 0017eb76. */
3649 if (section->align >= 31)
3650 {
3651 _bfd_error_handler
3652 (_("bfd_mach_o_read_section_32: overlarge alignment value: %#lx"),
3653 section->align);
3654 section->align = 30;
3655 }
3656 section->reloff = bfd_h_get_32 (abfd, raw.reloff);
3657 section->nreloc = bfd_h_get_32 (abfd, raw.nreloc);
3658 section->flags = bfd_h_get_32 (abfd, raw.flags);
3659 section->reserved1 = bfd_h_get_32 (abfd, raw.reserved1);
3660 section->reserved2 = bfd_h_get_32 (abfd, raw.reserved2);
3661 section->reserved3 = 0;
3662
3663 bfd_mach_o_init_section_from_mach_o (sec, prot);
3664
3665 return sec;
3666 }
3667
3668 static asection *
3669 bfd_mach_o_read_section_64 (bfd *abfd, unsigned long prot)
3670 {
3671 struct mach_o_section_64_external raw;
3672 asection *sec;
3673 bfd_mach_o_section *section;
3674
3675 if (bfd_read (&raw, BFD_MACH_O_SECTION_64_SIZE, abfd)
3676 != BFD_MACH_O_SECTION_64_SIZE)
3677 return NULL;
3678
3679 sec = bfd_mach_o_make_bfd_section (abfd, raw.segname, raw.sectname);
3680 if (sec == NULL)
3681 return NULL;
3682
3683 section = bfd_mach_o_get_mach_o_section (sec);
3684 memcpy (section->segname, raw.segname, sizeof (raw.segname));
3685 section->segname[BFD_MACH_O_SEGNAME_SIZE] = 0;
3686 memcpy (section->sectname, raw.sectname, sizeof (raw.sectname));
3687 section->sectname[BFD_MACH_O_SECTNAME_SIZE] = 0;
3688 section->addr = bfd_h_get_64 (abfd, raw.addr);
3689 section->size = bfd_h_get_64 (abfd, raw.size);
3690 section->offset = bfd_h_get_32 (abfd, raw.offset);
3691 section->align = bfd_h_get_32 (abfd, raw.align);
3692 if (section->align >= 63)
3693 {
3694 _bfd_error_handler
3695 (_("bfd_mach_o_read_section_64: overlarge alignment value: %#lx"),
3696 section->align);
3697 section->align = 62;
3698 }
3699 section->reloff = bfd_h_get_32 (abfd, raw.reloff);
3700 section->nreloc = bfd_h_get_32 (abfd, raw.nreloc);
3701 section->flags = bfd_h_get_32 (abfd, raw.flags);
3702 section->reserved1 = bfd_h_get_32 (abfd, raw.reserved1);
3703 section->reserved2 = bfd_h_get_32 (abfd, raw.reserved2);
3704 section->reserved3 = bfd_h_get_32 (abfd, raw.reserved3);
3705
3706 bfd_mach_o_init_section_from_mach_o (sec, prot);
3707
3708 return sec;
3709 }
3710
3711 static asection *
3712 bfd_mach_o_read_section (bfd *abfd, unsigned long prot, unsigned int wide)
3713 {
3714 if (wide)
3715 return bfd_mach_o_read_section_64 (abfd, prot);
3716 else
3717 return bfd_mach_o_read_section_32 (abfd, prot);
3718 }
3719
3720 static bool
3721 bfd_mach_o_read_symtab_symbol (bfd *abfd,
3722 bfd_mach_o_symtab_command *sym,
3723 bfd_mach_o_asymbol *s,
3724 unsigned long i)
3725 {
3726 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
3727 unsigned int wide = mach_o_wide_p (&mdata->header);
3728 unsigned int symwidth =
3729 wide ? BFD_MACH_O_NLIST_64_SIZE : BFD_MACH_O_NLIST_SIZE;
3730 unsigned int symoff = sym->symoff + (i * symwidth);
3731 struct mach_o_nlist_64_external raw;
3732 unsigned char type = -1;
3733 unsigned char section = -1;
3734 short desc = -1;
3735 symvalue value = -1;
3736 unsigned long stroff = -1;
3737 unsigned int symtype = -1;
3738
3739 BFD_ASSERT (sym->strtab != NULL);
3740
3741 if (bfd_seek (abfd, symoff, SEEK_SET) != 0
3742 || bfd_read (&raw, symwidth, abfd) != symwidth)
3743 {
3744 _bfd_error_handler
3745 /* xgettext:c-format */
3746 (_("bfd_mach_o_read_symtab_symbol: unable to read %d bytes at %u"),
3747 symwidth, symoff);
3748 return false;
3749 }
3750
3751 stroff = bfd_h_get_32 (abfd, raw.n_strx);
3752 type = bfd_h_get_8 (abfd, raw.n_type);
3753 symtype = type & BFD_MACH_O_N_TYPE;
3754 section = bfd_h_get_8 (abfd, raw.n_sect);
3755 desc = bfd_h_get_16 (abfd, raw.n_desc);
3756 if (wide)
3757 value = bfd_h_get_64 (abfd, raw.n_value);
3758 else
3759 value = bfd_h_get_32 (abfd, raw.n_value);
3760
3761 if (stroff >= sym->strsize)
3762 {
3763 _bfd_error_handler
3764 /* xgettext:c-format */
3765 (_("bfd_mach_o_read_symtab_symbol: name out of range (%lu >= %u)"),
3766 stroff,
3767 sym->strsize);
3768 return false;
3769 }
3770
3771 s->symbol.the_bfd = abfd;
3772 s->symbol.name = sym->strtab + stroff;
3773 s->symbol.value = value;
3774 s->symbol.flags = 0x0;
3775 s->symbol.udata.i = i;
3776 s->n_type = type;
3777 s->n_sect = section;
3778 s->n_desc = desc;
3779
3780 if (type & BFD_MACH_O_N_STAB)
3781 {
3782 s->symbol.flags |= BSF_DEBUGGING;
3783 s->symbol.section = bfd_und_section_ptr;
3784 switch (type)
3785 {
3786 case N_FUN:
3787 case N_STSYM:
3788 case N_LCSYM:
3789 case N_BNSYM:
3790 case N_SLINE:
3791 case N_ENSYM:
3792 case N_ECOMM:
3793 case N_ECOML:
3794 case N_GSYM:
3795 if ((section > 0) && (section <= mdata->nsects))
3796 {
3797 s->symbol.section = mdata->sections[section - 1]->bfdsection;
3798 s->symbol.value =
3799 s->symbol.value - mdata->sections[section - 1]->addr;
3800 }
3801 break;
3802 }
3803 }
3804 else
3805 {
3806 if (type & (BFD_MACH_O_N_PEXT | BFD_MACH_O_N_EXT))
3807 s->symbol.flags |= BSF_GLOBAL;
3808 else
3809 s->symbol.flags |= BSF_LOCAL;
3810
3811 switch (symtype)
3812 {
3813 case BFD_MACH_O_N_UNDF:
3814 if (type == (BFD_MACH_O_N_UNDF | BFD_MACH_O_N_EXT)
3815 && s->symbol.value != 0)
3816 {
3817 /* A common symbol. */
3818 s->symbol.section = bfd_com_section_ptr;
3819 s->symbol.flags = BSF_NO_FLAGS;
3820 }
3821 else
3822 {
3823 s->symbol.section = bfd_und_section_ptr;
3824 if (s->n_desc & BFD_MACH_O_N_WEAK_REF)
3825 s->symbol.flags |= BSF_WEAK;
3826 }
3827 break;
3828 case BFD_MACH_O_N_PBUD:
3829 s->symbol.section = bfd_und_section_ptr;
3830 break;
3831 case BFD_MACH_O_N_ABS:
3832 s->symbol.section = bfd_abs_section_ptr;
3833 break;
3834 case BFD_MACH_O_N_SECT:
3835 if ((section > 0) && (section <= mdata->nsects))
3836 {
3837 s->symbol.section = mdata->sections[section - 1]->bfdsection;
3838 s->symbol.value =
3839 s->symbol.value - mdata->sections[section - 1]->addr;
3840 }
3841 else
3842 {
3843 /* Mach-O uses 0 to mean "no section"; not an error. */
3844 if (section != 0)
3845 {
3846 _bfd_error_handler
3847 /* xgettext:c-format */
3848 (_("bfd_mach_o_read_symtab_symbol: "
3849 "symbol \"%s\" specified invalid section %d (max %lu): "
3850 "setting to undefined"),
3851 s->symbol.name, section, mdata->nsects);
3852 }
3853 s->symbol.section = bfd_und_section_ptr;
3854 }
3855 break;
3856 case BFD_MACH_O_N_INDR:
3857 /* FIXME: we don't follow the BFD convention as this indirect symbol
3858 won't be followed by the referenced one. This looks harmless
3859 unless we start using the linker. */
3860 s->symbol.flags |= BSF_INDIRECT;
3861 s->symbol.section = bfd_ind_section_ptr;
3862 s->symbol.value = 0;
3863 break;
3864 default:
3865 _bfd_error_handler
3866 /* xgettext:c-format */
3867 (_("bfd_mach_o_read_symtab_symbol: "
3868 "symbol \"%s\" specified invalid type field 0x%x: "
3869 "setting to undefined"), s->symbol.name, symtype);
3870 s->symbol.section = bfd_und_section_ptr;
3871 break;
3872 }
3873 }
3874
3875 return true;
3876 }
3877
3878 bool
3879 bfd_mach_o_read_symtab_strtab (bfd *abfd)
3880 {
3881 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
3882 bfd_mach_o_symtab_command *sym = mdata->symtab;
3883
3884 /* Fail if there is no symtab. */
3885 if (sym == NULL)
3886 return false;
3887
3888 /* Success if already loaded. */
3889 if (sym->strtab)
3890 return true;
3891
3892 if (abfd->flags & BFD_IN_MEMORY)
3893 {
3894 struct bfd_in_memory *b;
3895
3896 b = (struct bfd_in_memory *) abfd->iostream;
3897
3898 if ((sym->stroff + sym->strsize) > b->size)
3899 {
3900 bfd_set_error (bfd_error_file_truncated);
3901 return false;
3902 }
3903 sym->strtab = (char *) b->buffer + sym->stroff;
3904 }
3905 else
3906 {
3907 /* See PR 21840 for a reproducer. */
3908 if ((sym->strsize + 1) == 0)
3909 return false;
3910 if (bfd_seek (abfd, sym->stroff, SEEK_SET) != 0)
3911 return false;
3912 sym->strtab = (char *) _bfd_alloc_and_read (abfd, sym->strsize + 1,
3913 sym->strsize);
3914 if (sym->strtab == NULL)
3915 return false;
3916
3917 /* Zero terminate the string table. */
3918 sym->strtab[sym->strsize] = 0;
3919 }
3920
3921 return true;
3922 }
3923
3924 bool
3925 bfd_mach_o_read_symtab_symbols (bfd *abfd)
3926 {
3927 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
3928 bfd_mach_o_symtab_command *sym = mdata->symtab;
3929 unsigned long i;
3930 size_t amt;
3931 ufile_ptr filesize;
3932
3933 if (sym == NULL || sym->nsyms == 0 || sym->symbols)
3934 /* Return now if there are no symbols or if already loaded. */
3935 return true;
3936
3937 filesize = bfd_get_file_size (abfd);
3938 if (filesize != 0)
3939 {
3940 unsigned int wide = mach_o_wide_p (&mdata->header);
3941 unsigned int symwidth
3942 = wide ? BFD_MACH_O_NLIST_64_SIZE : BFD_MACH_O_NLIST_SIZE;
3943
3944 if (sym->symoff > filesize
3945 || sym->nsyms > (filesize - sym->symoff) / symwidth)
3946 {
3947 bfd_set_error (bfd_error_file_truncated);
3948 sym->nsyms = 0;
3949 return false;
3950 }
3951 }
3952 if (_bfd_mul_overflow (sym->nsyms, sizeof (bfd_mach_o_asymbol), &amt)
3953 || (sym->symbols = bfd_alloc (abfd, amt)) == NULL)
3954 {
3955 bfd_set_error (bfd_error_no_memory);
3956 sym->nsyms = 0;
3957 return false;
3958 }
3959
3960 if (!bfd_mach_o_read_symtab_strtab (abfd))
3961 goto fail;
3962
3963 for (i = 0; i < sym->nsyms; i++)
3964 if (!bfd_mach_o_read_symtab_symbol (abfd, sym, &sym->symbols[i], i))
3965 goto fail;
3966
3967 return true;
3968
3969 fail:
3970 bfd_release (abfd, sym->symbols);
3971 sym->symbols = NULL;
3972 sym->nsyms = 0;
3973 return false;
3974 }
3975
3976 static const char *
3977 bfd_mach_o_i386_flavour_string (unsigned int flavour)
3978 {
3979 switch ((int) flavour)
3980 {
3981 case BFD_MACH_O_x86_THREAD_STATE32: return "x86_THREAD_STATE32";
3982 case BFD_MACH_O_x86_FLOAT_STATE32: return "x86_FLOAT_STATE32";
3983 case BFD_MACH_O_x86_EXCEPTION_STATE32: return "x86_EXCEPTION_STATE32";
3984 case BFD_MACH_O_x86_THREAD_STATE64: return "x86_THREAD_STATE64";
3985 case BFD_MACH_O_x86_FLOAT_STATE64: return "x86_FLOAT_STATE64";
3986 case BFD_MACH_O_x86_EXCEPTION_STATE64: return "x86_EXCEPTION_STATE64";
3987 case BFD_MACH_O_x86_THREAD_STATE: return "x86_THREAD_STATE";
3988 case BFD_MACH_O_x86_FLOAT_STATE: return "x86_FLOAT_STATE";
3989 case BFD_MACH_O_x86_EXCEPTION_STATE: return "x86_EXCEPTION_STATE";
3990 case BFD_MACH_O_x86_DEBUG_STATE32: return "x86_DEBUG_STATE32";
3991 case BFD_MACH_O_x86_DEBUG_STATE64: return "x86_DEBUG_STATE64";
3992 case BFD_MACH_O_x86_DEBUG_STATE: return "x86_DEBUG_STATE";
3993 case BFD_MACH_O_x86_THREAD_STATE_NONE: return "x86_THREAD_STATE_NONE";
3994 default: return "UNKNOWN";
3995 }
3996 }
3997
3998 static const char *
3999 bfd_mach_o_ppc_flavour_string (unsigned int flavour)
4000 {
4001 switch ((int) flavour)
4002 {
4003 case BFD_MACH_O_PPC_THREAD_STATE: return "PPC_THREAD_STATE";
4004 case BFD_MACH_O_PPC_FLOAT_STATE: return "PPC_FLOAT_STATE";
4005 case BFD_MACH_O_PPC_EXCEPTION_STATE: return "PPC_EXCEPTION_STATE";
4006 case BFD_MACH_O_PPC_VECTOR_STATE: return "PPC_VECTOR_STATE";
4007 case BFD_MACH_O_PPC_THREAD_STATE64: return "PPC_THREAD_STATE64";
4008 case BFD_MACH_O_PPC_EXCEPTION_STATE64: return "PPC_EXCEPTION_STATE64";
4009 default: return "UNKNOWN";
4010 }
4011 }
4012
4013 static unsigned char *
4014 bfd_mach_o_alloc_and_read (bfd *abfd, file_ptr filepos,
4015 size_t size, size_t extra)
4016 {
4017 if (bfd_seek (abfd, filepos, SEEK_SET) != 0)
4018 return NULL;
4019 unsigned char *ret = _bfd_alloc_and_read (abfd, size + extra, size);
4020 if (ret && extra != 0)
4021 memset (ret + size, 0, extra);
4022 return ret;
4023 }
4024
4025 static bool
4026 bfd_mach_o_read_dylinker (bfd *abfd, bfd_mach_o_load_command *command)
4027 {
4028 bfd_mach_o_dylinker_command *cmd = &command->command.dylinker;
4029 struct mach_o_str_command_external raw;
4030 unsigned int nameoff;
4031 size_t namelen;
4032
4033 if (command->len < sizeof (raw) + 8)
4034 return false;
4035 if (bfd_read (&raw, sizeof (raw), abfd) != sizeof (raw))
4036 return false;
4037
4038 nameoff = bfd_h_get_32 (abfd, raw.str);
4039 if (nameoff > command->len)
4040 return false;
4041
4042 cmd->name_offset = nameoff;
4043 namelen = command->len - nameoff;
4044 nameoff += command->offset;
4045 cmd->name_str = (char *) bfd_mach_o_alloc_and_read (abfd, nameoff,
4046 namelen, 1);
4047 return cmd->name_str != NULL;
4048 }
4049
4050 static bool
4051 bfd_mach_o_read_dylib (bfd *abfd, bfd_mach_o_load_command *command)
4052 {
4053 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
4054 bfd_mach_o_dylib_command *cmd = &command->command.dylib;
4055 struct mach_o_dylib_command_external raw;
4056 unsigned int nameoff;
4057 size_t namelen;
4058 file_ptr pos;
4059
4060 if (command->len < sizeof (raw) + 8)
4061 return false;
4062 switch (command->type)
4063 {
4064 case BFD_MACH_O_LC_LOAD_DYLIB:
4065 case BFD_MACH_O_LC_LAZY_LOAD_DYLIB:
4066 case BFD_MACH_O_LC_LOAD_WEAK_DYLIB:
4067 case BFD_MACH_O_LC_ID_DYLIB:
4068 case BFD_MACH_O_LC_REEXPORT_DYLIB:
4069 case BFD_MACH_O_LC_LOAD_UPWARD_DYLIB:
4070 break;
4071 default:
4072 BFD_FAIL ();
4073 return false;
4074 }
4075
4076 if (bfd_read (&raw, sizeof (raw), abfd) != sizeof (raw))
4077 return false;
4078
4079 nameoff = bfd_h_get_32 (abfd, raw.name);
4080 if (nameoff > command->len)
4081 return false;
4082 cmd->timestamp = bfd_h_get_32 (abfd, raw.timestamp);
4083 cmd->current_version = bfd_h_get_32 (abfd, raw.current_version);
4084 cmd->compatibility_version = bfd_h_get_32 (abfd, raw.compatibility_version);
4085
4086 cmd->name_offset = command->offset + nameoff;
4087 namelen = command->len - nameoff;
4088 pos = mdata->hdr_offset + cmd->name_offset;
4089 cmd->name_str = (char *) bfd_mach_o_alloc_and_read (abfd, pos, namelen, 1);
4090 return cmd->name_str != NULL;
4091 }
4092
4093 static bool
4094 bfd_mach_o_read_prebound_dylib (bfd *abfd,
4095 bfd_mach_o_load_command *command)
4096 {
4097 bfd_mach_o_prebound_dylib_command *cmd = &command->command.prebound_dylib;
4098 struct mach_o_prebound_dylib_command_external raw;
4099 unsigned int nameoff;
4100 unsigned int modoff;
4101 unsigned int str_len;
4102 unsigned char *str;
4103
4104 if (command->len < sizeof (raw) + 8)
4105 return false;
4106 if (bfd_read (&raw, sizeof (raw), abfd) != sizeof (raw))
4107 return false;
4108
4109 nameoff = bfd_h_get_32 (abfd, raw.name);
4110 modoff = bfd_h_get_32 (abfd, raw.linked_modules);
4111 if (nameoff > command->len || modoff > command->len)
4112 return false;
4113
4114 str_len = command->len - sizeof (raw);
4115 str = _bfd_alloc_and_read (abfd, str_len, str_len);
4116 if (str == NULL)
4117 return false;
4118
4119 cmd->name_offset = command->offset + nameoff;
4120 cmd->nmodules = bfd_h_get_32 (abfd, raw.nmodules);
4121 cmd->linked_modules_offset = command->offset + modoff;
4122
4123 cmd->name_str = (char *)str + nameoff - (sizeof (raw) + BFD_MACH_O_LC_SIZE);
4124 cmd->linked_modules = str + modoff - (sizeof (raw) + BFD_MACH_O_LC_SIZE);
4125 return true;
4126 }
4127
4128 static bool
4129 bfd_mach_o_read_prebind_cksum (bfd *abfd,
4130 bfd_mach_o_load_command *command)
4131 {
4132 bfd_mach_o_prebind_cksum_command *cmd = &command->command.prebind_cksum;
4133 struct mach_o_prebind_cksum_command_external raw;
4134
4135 if (command->len < sizeof (raw) + 8)
4136 return false;
4137 if (bfd_read (&raw, sizeof (raw), abfd) != sizeof (raw))
4138 return false;
4139
4140 cmd->cksum = bfd_get_32 (abfd, raw.cksum);
4141 return true;
4142 }
4143
4144 static bool
4145 bfd_mach_o_read_twolevel_hints (bfd *abfd,
4146 bfd_mach_o_load_command *command)
4147 {
4148 bfd_mach_o_twolevel_hints_command *cmd = &command->command.twolevel_hints;
4149 struct mach_o_twolevel_hints_command_external raw;
4150
4151 if (command->len < sizeof (raw) + 8)
4152 return false;
4153 if (bfd_read (&raw, sizeof (raw), abfd) != sizeof (raw))
4154 return false;
4155
4156 cmd->offset = bfd_get_32 (abfd, raw.offset);
4157 cmd->nhints = bfd_get_32 (abfd, raw.nhints);
4158 return true;
4159 }
4160
4161 static bool
4162 bfd_mach_o_read_fvmlib (bfd *abfd, bfd_mach_o_load_command *command)
4163 {
4164 bfd_mach_o_fvmlib_command *fvm = &command->command.fvmlib;
4165 struct mach_o_fvmlib_command_external raw;
4166 unsigned int nameoff;
4167 size_t namelen;
4168
4169 if (command->len < sizeof (raw) + 8)
4170 return false;
4171 if (bfd_read (&raw, sizeof (raw), abfd) != sizeof (raw))
4172 return false;
4173
4174 nameoff = bfd_h_get_32 (abfd, raw.name);
4175 if (nameoff > command->len)
4176 return false;
4177 fvm->minor_version = bfd_h_get_32 (abfd, raw.minor_version);
4178 fvm->header_addr = bfd_h_get_32 (abfd, raw.header_addr);
4179
4180 fvm->name_offset = command->offset + nameoff;
4181 namelen = command->len - nameoff;
4182 fvm->name_str = (char *) bfd_mach_o_alloc_and_read (abfd, fvm->name_offset,
4183 namelen, 1);
4184 return fvm->name_str != NULL;
4185 }
4186
4187 static bool
4188 bfd_mach_o_read_thread (bfd *abfd, bfd_mach_o_load_command *command)
4189 {
4190 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
4191 bfd_mach_o_thread_command *cmd = &command->command.thread;
4192 unsigned int offset;
4193 unsigned int nflavours;
4194 unsigned int i;
4195 struct mach_o_thread_command_external raw;
4196 size_t amt;
4197
4198 BFD_ASSERT ((command->type == BFD_MACH_O_LC_THREAD)
4199 || (command->type == BFD_MACH_O_LC_UNIXTHREAD));
4200
4201 /* Count the number of threads. */
4202 offset = 8;
4203 nflavours = 0;
4204 while (offset + sizeof (raw) <= command->len)
4205 {
4206 unsigned int count;
4207
4208 if (bfd_seek (abfd, command->offset + offset, SEEK_SET) != 0
4209 || bfd_read (&raw, sizeof (raw), abfd) != sizeof (raw))
4210 return false;
4211
4212 count = bfd_h_get_32 (abfd, raw.count);
4213 if (count > (unsigned) -1 / 4
4214 || command->len - (offset + sizeof (raw)) < count * 4)
4215 return false;
4216 offset += sizeof (raw) + count * 4;
4217 nflavours++;
4218 }
4219 if (nflavours == 0 || offset != command->len)
4220 return false;
4221
4222 /* Allocate threads. */
4223 if (_bfd_mul_overflow (nflavours, sizeof (bfd_mach_o_thread_flavour), &amt))
4224 {
4225 bfd_set_error (bfd_error_file_too_big);
4226 return false;
4227 }
4228 cmd->flavours = bfd_alloc (abfd, amt);
4229 if (cmd->flavours == NULL)
4230 return false;
4231 cmd->nflavours = nflavours;
4232
4233 offset = 8;
4234 nflavours = 0;
4235 while (offset != command->len)
4236 {
4237 if (bfd_seek (abfd, command->offset + offset, SEEK_SET) != 0
4238 || bfd_read (&raw, sizeof (raw), abfd) != sizeof (raw))
4239 return false;
4240
4241 cmd->flavours[nflavours].flavour = bfd_h_get_32 (abfd, raw.flavour);
4242 cmd->flavours[nflavours].offset = command->offset + offset + sizeof (raw);
4243 cmd->flavours[nflavours].size = bfd_h_get_32 (abfd, raw.count) * 4;
4244 offset += cmd->flavours[nflavours].size + sizeof (raw);
4245 nflavours++;
4246 }
4247
4248 for (i = 0; i < nflavours; i++)
4249 {
4250 asection *bfdsec;
4251 size_t snamelen;
4252 char *sname;
4253 const char *flavourstr;
4254 const char *prefix = "LC_THREAD";
4255 unsigned int j = 0;
4256
4257 switch (mdata->header.cputype)
4258 {
4259 case BFD_MACH_O_CPU_TYPE_POWERPC:
4260 case BFD_MACH_O_CPU_TYPE_POWERPC_64:
4261 flavourstr =
4262 bfd_mach_o_ppc_flavour_string (cmd->flavours[i].flavour);
4263 break;
4264 case BFD_MACH_O_CPU_TYPE_I386:
4265 case BFD_MACH_O_CPU_TYPE_X86_64:
4266 flavourstr =
4267 bfd_mach_o_i386_flavour_string (cmd->flavours[i].flavour);
4268 break;
4269 default:
4270 flavourstr = "UNKNOWN_ARCHITECTURE";
4271 break;
4272 }
4273
4274 snamelen = strlen (prefix) + 1 + 20 + 1 + strlen (flavourstr) + 1;
4275 sname = bfd_alloc (abfd, snamelen);
4276 if (sname == NULL)
4277 return false;
4278
4279 for (;;)
4280 {
4281 sprintf (sname, "%s.%s.%u", prefix, flavourstr, j);
4282 if (bfd_get_section_by_name (abfd, sname) == NULL)
4283 break;
4284 j++;
4285 }
4286
4287 bfdsec = bfd_make_section_with_flags (abfd, sname, SEC_HAS_CONTENTS);
4288
4289 bfdsec->vma = 0;
4290 bfdsec->lma = 0;
4291 bfdsec->size = cmd->flavours[i].size;
4292 bfdsec->filepos = cmd->flavours[i].offset;
4293 bfdsec->alignment_power = 0x0;
4294
4295 cmd->section = bfdsec;
4296 }
4297
4298 return true;
4299 }
4300
4301 static bool
4302 bfd_mach_o_read_dysymtab (bfd *abfd, bfd_mach_o_load_command *command,
4303 ufile_ptr filesize)
4304 {
4305 bfd_mach_o_dysymtab_command *cmd = &command->command.dysymtab;
4306 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
4307
4308 BFD_ASSERT (command->type == BFD_MACH_O_LC_DYSYMTAB);
4309
4310 {
4311 struct mach_o_dysymtab_command_external raw;
4312
4313 if (command->len < sizeof (raw) + 8)
4314 return false;
4315 if (bfd_read (&raw, sizeof (raw), abfd) != sizeof (raw))
4316 return false;
4317
4318 cmd->ilocalsym = bfd_h_get_32 (abfd, raw.ilocalsym);
4319 cmd->nlocalsym = bfd_h_get_32 (abfd, raw.nlocalsym);
4320 cmd->iextdefsym = bfd_h_get_32 (abfd, raw.iextdefsym);
4321 cmd->nextdefsym = bfd_h_get_32 (abfd, raw.nextdefsym);
4322 cmd->iundefsym = bfd_h_get_32 (abfd, raw.iundefsym);
4323 cmd->nundefsym = bfd_h_get_32 (abfd, raw.nundefsym);
4324 cmd->tocoff = bfd_h_get_32 (abfd, raw.tocoff);
4325 cmd->ntoc = bfd_h_get_32 (abfd, raw.ntoc);
4326 cmd->modtaboff = bfd_h_get_32 (abfd, raw.modtaboff);
4327 cmd->nmodtab = bfd_h_get_32 (abfd, raw.nmodtab);
4328 cmd->extrefsymoff = bfd_h_get_32 (abfd, raw.extrefsymoff);
4329 cmd->nextrefsyms = bfd_h_get_32 (abfd, raw.nextrefsyms);
4330 cmd->indirectsymoff = bfd_h_get_32 (abfd, raw.indirectsymoff);
4331 cmd->nindirectsyms = bfd_h_get_32 (abfd, raw.nindirectsyms);
4332 cmd->extreloff = bfd_h_get_32 (abfd, raw.extreloff);
4333 cmd->nextrel = bfd_h_get_32 (abfd, raw.nextrel);
4334 cmd->locreloff = bfd_h_get_32 (abfd, raw.locreloff);
4335 cmd->nlocrel = bfd_h_get_32 (abfd, raw.nlocrel);
4336 }
4337
4338 if (cmd->nmodtab != 0)
4339 {
4340 unsigned int i;
4341 int wide = bfd_mach_o_wide_p (abfd);
4342 unsigned int module_len = wide ? 56 : 52;
4343 size_t amt;
4344
4345 if (cmd->modtaboff > filesize
4346 || cmd->nmodtab > (filesize - cmd->modtaboff) / module_len)
4347 {
4348 bfd_set_error (bfd_error_file_truncated);
4349 return false;
4350 }
4351 if (_bfd_mul_overflow (cmd->nmodtab,
4352 sizeof (bfd_mach_o_dylib_module), &amt))
4353 {
4354 bfd_set_error (bfd_error_file_too_big);
4355 return false;
4356 }
4357 cmd->dylib_module = bfd_alloc (abfd, amt);
4358 if (cmd->dylib_module == NULL)
4359 return false;
4360
4361 if (bfd_seek (abfd, cmd->modtaboff, SEEK_SET) != 0)
4362 return false;
4363
4364 for (i = 0; i < cmd->nmodtab; i++)
4365 {
4366 bfd_mach_o_dylib_module *module = &cmd->dylib_module[i];
4367 unsigned long v;
4368 unsigned char buf[56];
4369
4370 if (bfd_read (buf, module_len, abfd) != module_len)
4371 return false;
4372
4373 module->module_name_idx = bfd_h_get_32 (abfd, buf + 0);
4374 module->iextdefsym = bfd_h_get_32 (abfd, buf + 4);
4375 module->nextdefsym = bfd_h_get_32 (abfd, buf + 8);
4376 module->irefsym = bfd_h_get_32 (abfd, buf + 12);
4377 module->nrefsym = bfd_h_get_32 (abfd, buf + 16);
4378 module->ilocalsym = bfd_h_get_32 (abfd, buf + 20);
4379 module->nlocalsym = bfd_h_get_32 (abfd, buf + 24);
4380 module->iextrel = bfd_h_get_32 (abfd, buf + 28);
4381 module->nextrel = bfd_h_get_32 (abfd, buf + 32);
4382 v = bfd_h_get_32 (abfd, buf +36);
4383 module->iinit = v & 0xffff;
4384 module->iterm = (v >> 16) & 0xffff;
4385 v = bfd_h_get_32 (abfd, buf + 40);
4386 module->ninit = v & 0xffff;
4387 module->nterm = (v >> 16) & 0xffff;
4388 if (wide)
4389 {
4390 module->objc_module_info_size = bfd_h_get_32 (abfd, buf + 44);
4391 module->objc_module_info_addr = bfd_h_get_64 (abfd, buf + 48);
4392 }
4393 else
4394 {
4395 module->objc_module_info_addr = bfd_h_get_32 (abfd, buf + 44);
4396 module->objc_module_info_size = bfd_h_get_32 (abfd, buf + 48);
4397 }
4398 }
4399 }
4400
4401 if (cmd->ntoc != 0)
4402 {
4403 unsigned long i;
4404 size_t amt;
4405 struct mach_o_dylib_table_of_contents_external raw;
4406
4407 if (cmd->tocoff > filesize
4408 || cmd->ntoc > (filesize - cmd->tocoff) / sizeof (raw))
4409 {
4410 bfd_set_error (bfd_error_file_truncated);
4411 return false;
4412 }
4413 if (_bfd_mul_overflow (cmd->ntoc,
4414 sizeof (bfd_mach_o_dylib_table_of_content), &amt))
4415 {
4416 bfd_set_error (bfd_error_file_too_big);
4417 return false;
4418 }
4419 cmd->dylib_toc = bfd_alloc (abfd, amt);
4420 if (cmd->dylib_toc == NULL)
4421 return false;
4422
4423 if (bfd_seek (abfd, cmd->tocoff, SEEK_SET) != 0)
4424 return false;
4425
4426 for (i = 0; i < cmd->ntoc; i++)
4427 {
4428 bfd_mach_o_dylib_table_of_content *toc = &cmd->dylib_toc[i];
4429
4430 if (bfd_read (&raw, sizeof (raw), abfd) != sizeof (raw))
4431 return false;
4432
4433 toc->symbol_index = bfd_h_get_32 (abfd, raw.symbol_index);
4434 toc->module_index = bfd_h_get_32 (abfd, raw.module_index);
4435 }
4436 }
4437
4438 if (cmd->nindirectsyms != 0)
4439 {
4440 unsigned int i;
4441 size_t amt;
4442
4443 if (cmd->indirectsymoff > filesize
4444 || cmd->nindirectsyms > (filesize - cmd->indirectsymoff) / 4)
4445 {
4446 bfd_set_error (bfd_error_file_truncated);
4447 return false;
4448 }
4449 if (_bfd_mul_overflow (cmd->nindirectsyms, sizeof (unsigned int), &amt))
4450 {
4451 bfd_set_error (bfd_error_file_too_big);
4452 return false;
4453 }
4454 cmd->indirect_syms = bfd_alloc (abfd, amt);
4455 if (cmd->indirect_syms == NULL)
4456 return false;
4457
4458 if (bfd_seek (abfd, cmd->indirectsymoff, SEEK_SET) != 0)
4459 return false;
4460
4461 for (i = 0; i < cmd->nindirectsyms; i++)
4462 {
4463 unsigned char raw[4];
4464 unsigned int *is = &cmd->indirect_syms[i];
4465
4466 if (bfd_read (raw, sizeof (raw), abfd) != sizeof (raw))
4467 return false;
4468
4469 *is = bfd_h_get_32 (abfd, raw);
4470 }
4471 }
4472
4473 if (cmd->nextrefsyms != 0)
4474 {
4475 unsigned long v;
4476 unsigned int i;
4477 size_t amt;
4478
4479 if (cmd->extrefsymoff > filesize
4480 || cmd->nextrefsyms > (filesize - cmd->extrefsymoff) / 4)
4481 {
4482 bfd_set_error (bfd_error_file_truncated);
4483 return false;
4484 }
4485 if (_bfd_mul_overflow (cmd->nextrefsyms,
4486 sizeof (bfd_mach_o_dylib_reference), &amt))
4487 {
4488 bfd_set_error (bfd_error_file_too_big);
4489 return false;
4490 }
4491 cmd->ext_refs = bfd_alloc (abfd, amt);
4492 if (cmd->ext_refs == NULL)
4493 return false;
4494
4495 if (bfd_seek (abfd, cmd->extrefsymoff, SEEK_SET) != 0)
4496 return false;
4497
4498 for (i = 0; i < cmd->nextrefsyms; i++)
4499 {
4500 unsigned char raw[4];
4501 bfd_mach_o_dylib_reference *ref = &cmd->ext_refs[i];
4502
4503 if (bfd_read (raw, sizeof (raw), abfd) != sizeof (raw))
4504 return false;
4505
4506 /* Fields isym and flags are written as bit-fields, thus we need
4507 a specific processing for endianness. */
4508 v = bfd_h_get_32 (abfd, raw);
4509 if (bfd_big_endian (abfd))
4510 {
4511 ref->isym = (v >> 8) & 0xffffff;
4512 ref->flags = v & 0xff;
4513 }
4514 else
4515 {
4516 ref->isym = v & 0xffffff;
4517 ref->flags = (v >> 24) & 0xff;
4518 }
4519 }
4520 }
4521
4522 if (mdata->dysymtab)
4523 return false;
4524 mdata->dysymtab = cmd;
4525
4526 return true;
4527 }
4528
4529 static bool
4530 bfd_mach_o_read_symtab (bfd *abfd, bfd_mach_o_load_command *command,
4531 ufile_ptr filesize)
4532 {
4533 bfd_mach_o_symtab_command *symtab = &command->command.symtab;
4534 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
4535 struct mach_o_symtab_command_external raw;
4536
4537 BFD_ASSERT (command->type == BFD_MACH_O_LC_SYMTAB);
4538
4539 if (command->len < sizeof (raw) + 8)
4540 return false;
4541 if (bfd_read (&raw, sizeof (raw), abfd) != sizeof (raw))
4542 return false;
4543
4544 symtab->symoff = bfd_h_get_32 (abfd, raw.symoff);
4545 symtab->nsyms = bfd_h_get_32 (abfd, raw.nsyms);
4546 symtab->stroff = bfd_h_get_32 (abfd, raw.stroff);
4547 symtab->strsize = bfd_h_get_32 (abfd, raw.strsize);
4548 symtab->symbols = NULL;
4549 symtab->strtab = NULL;
4550
4551 if (symtab->symoff > filesize
4552 || symtab->nsyms > (filesize - symtab->symoff) / BFD_MACH_O_NLIST_SIZE
4553 || symtab->stroff > filesize
4554 || symtab->strsize > filesize - symtab->stroff)
4555 {
4556 bfd_set_error (bfd_error_file_truncated);
4557 return false;
4558 }
4559
4560 if (symtab->nsyms != 0)
4561 abfd->flags |= HAS_SYMS;
4562
4563 if (mdata->symtab)
4564 return false;
4565 mdata->symtab = symtab;
4566 return true;
4567 }
4568
4569 static bool
4570 bfd_mach_o_read_uuid (bfd *abfd, bfd_mach_o_load_command *command)
4571 {
4572 bfd_mach_o_uuid_command *cmd = &command->command.uuid;
4573
4574 BFD_ASSERT (command->type == BFD_MACH_O_LC_UUID);
4575
4576 if (command->len < 16 + 8)
4577 return false;
4578 if (bfd_read (cmd->uuid, 16, abfd) != 16)
4579 return false;
4580
4581 return true;
4582 }
4583
4584 static bool
4585 bfd_mach_o_read_linkedit (bfd *abfd, bfd_mach_o_load_command *command)
4586 {
4587 bfd_mach_o_linkedit_command *cmd = &command->command.linkedit;
4588 struct mach_o_linkedit_data_command_external raw;
4589
4590 if (command->len < sizeof (raw) + 8)
4591 return false;
4592 if (bfd_read (&raw, sizeof (raw), abfd) != sizeof (raw))
4593 return false;
4594
4595 cmd->dataoff = bfd_get_32 (abfd, raw.dataoff);
4596 cmd->datasize = bfd_get_32 (abfd, raw.datasize);
4597 return true;
4598 }
4599
4600 static bool
4601 bfd_mach_o_read_str (bfd *abfd, bfd_mach_o_load_command *command)
4602 {
4603 bfd_mach_o_str_command *cmd = &command->command.str;
4604 struct mach_o_str_command_external raw;
4605 unsigned long off;
4606
4607 if (command->len < sizeof (raw) + 8)
4608 return false;
4609 if (bfd_read (&raw, sizeof (raw), abfd) != sizeof (raw))
4610 return false;
4611
4612 off = bfd_get_32 (abfd, raw.str);
4613 if (off > command->len)
4614 return false;
4615
4616 cmd->stroff = command->offset + off;
4617 cmd->str_len = command->len - off;
4618 cmd->str = (char *) bfd_mach_o_alloc_and_read (abfd, cmd->stroff,
4619 cmd->str_len, 1);
4620 return cmd->str != NULL;
4621 }
4622
4623 static bool
4624 bfd_mach_o_read_dyld_content (bfd *abfd, bfd_mach_o_dyld_info_command *cmd)
4625 {
4626 /* Read rebase content. */
4627 if (cmd->rebase_content == NULL && cmd->rebase_size != 0)
4628 {
4629 cmd->rebase_content
4630 = bfd_mach_o_alloc_and_read (abfd, cmd->rebase_off,
4631 cmd->rebase_size, 0);
4632 if (cmd->rebase_content == NULL)
4633 return false;
4634 }
4635
4636 /* Read bind content. */
4637 if (cmd->bind_content == NULL && cmd->bind_size != 0)
4638 {
4639 cmd->bind_content
4640 = bfd_mach_o_alloc_and_read (abfd, cmd->bind_off,
4641 cmd->bind_size, 0);
4642 if (cmd->bind_content == NULL)
4643 return false;
4644 }
4645
4646 /* Read weak bind content. */
4647 if (cmd->weak_bind_content == NULL && cmd->weak_bind_size != 0)
4648 {
4649 cmd->weak_bind_content
4650 = bfd_mach_o_alloc_and_read (abfd, cmd->weak_bind_off,
4651 cmd->weak_bind_size, 0);
4652 if (cmd->weak_bind_content == NULL)
4653 return false;
4654 }
4655
4656 /* Read lazy bind content. */
4657 if (cmd->lazy_bind_content == NULL && cmd->lazy_bind_size != 0)
4658 {
4659 cmd->lazy_bind_content
4660 = bfd_mach_o_alloc_and_read (abfd, cmd->lazy_bind_off,
4661 cmd->lazy_bind_size, 0);
4662 if (cmd->lazy_bind_content == NULL)
4663 return false;
4664 }
4665
4666 /* Read export content. */
4667 if (cmd->export_content == NULL && cmd->export_size != 0)
4668 {
4669 cmd->export_content
4670 = bfd_mach_o_alloc_and_read (abfd, cmd->export_off,
4671 cmd->export_size, 0);
4672 if (cmd->export_content == NULL)
4673 return false;
4674 }
4675
4676 return true;
4677 }
4678
4679 static bool
4680 bfd_mach_o_read_dyld_info (bfd *abfd, bfd_mach_o_load_command *command)
4681 {
4682 bfd_mach_o_dyld_info_command *cmd = &command->command.dyld_info;
4683 struct mach_o_dyld_info_command_external raw;
4684
4685 if (command->len < sizeof (raw) + 8)
4686 return false;
4687 if (bfd_read (&raw, sizeof (raw), abfd) != sizeof (raw))
4688 return false;
4689
4690 cmd->rebase_off = bfd_get_32 (abfd, raw.rebase_off);
4691 cmd->rebase_size = bfd_get_32 (abfd, raw.rebase_size);
4692 cmd->rebase_content = NULL;
4693 cmd->bind_off = bfd_get_32 (abfd, raw.bind_off);
4694 cmd->bind_size = bfd_get_32 (abfd, raw.bind_size);
4695 cmd->bind_content = NULL;
4696 cmd->weak_bind_off = bfd_get_32 (abfd, raw.weak_bind_off);
4697 cmd->weak_bind_size = bfd_get_32 (abfd, raw.weak_bind_size);
4698 cmd->weak_bind_content = NULL;
4699 cmd->lazy_bind_off = bfd_get_32 (abfd, raw.lazy_bind_off);
4700 cmd->lazy_bind_size = bfd_get_32 (abfd, raw.lazy_bind_size);
4701 cmd->lazy_bind_content = NULL;
4702 cmd->export_off = bfd_get_32 (abfd, raw.export_off);
4703 cmd->export_size = bfd_get_32 (abfd, raw.export_size);
4704 cmd->export_content = NULL;
4705 return true;
4706 }
4707
4708 static bool
4709 bfd_mach_o_read_version_min (bfd *abfd, bfd_mach_o_load_command *command)
4710 {
4711 bfd_mach_o_version_min_command *cmd = &command->command.version_min;
4712 struct mach_o_version_min_command_external raw;
4713
4714 if (command->len < sizeof (raw) + 8)
4715 return false;
4716 if (bfd_read (&raw, sizeof (raw), abfd) != sizeof (raw))
4717 return false;
4718
4719 cmd->version = bfd_get_32 (abfd, raw.version);
4720 cmd->sdk = bfd_get_32 (abfd, raw.sdk);
4721 return true;
4722 }
4723
4724 static bool
4725 bfd_mach_o_read_encryption_info (bfd *abfd, bfd_mach_o_load_command *command)
4726 {
4727 bfd_mach_o_encryption_info_command *cmd = &command->command.encryption_info;
4728 struct mach_o_encryption_info_command_external raw;
4729
4730 if (command->len < sizeof (raw) + 8)
4731 return false;
4732 if (bfd_read (&raw, sizeof (raw), abfd) != sizeof (raw))
4733 return false;
4734
4735 cmd->cryptoff = bfd_get_32 (abfd, raw.cryptoff);
4736 cmd->cryptsize = bfd_get_32 (abfd, raw.cryptsize);
4737 cmd->cryptid = bfd_get_32 (abfd, raw.cryptid);
4738 return true;
4739 }
4740
4741 static bool
4742 bfd_mach_o_read_encryption_info_64 (bfd *abfd, bfd_mach_o_load_command *command)
4743 {
4744 bfd_mach_o_encryption_info_command *cmd = &command->command.encryption_info;
4745 struct mach_o_encryption_info_64_command_external raw;
4746
4747 if (command->len < sizeof (raw) + 8)
4748 return false;
4749 if (bfd_read (&raw, sizeof (raw), abfd) != sizeof (raw))
4750 return false;
4751
4752 cmd->cryptoff = bfd_get_32 (abfd, raw.cryptoff);
4753 cmd->cryptsize = bfd_get_32 (abfd, raw.cryptsize);
4754 cmd->cryptid = bfd_get_32 (abfd, raw.cryptid);
4755 return true;
4756 }
4757
4758 static bool
4759 bfd_mach_o_read_main (bfd *abfd, bfd_mach_o_load_command *command)
4760 {
4761 bfd_mach_o_main_command *cmd = &command->command.main;
4762 struct mach_o_entry_point_command_external raw;
4763
4764 if (command->len < sizeof (raw) + 8)
4765 return false;
4766 if (bfd_read (&raw, sizeof (raw), abfd) != sizeof (raw))
4767 return false;
4768
4769 cmd->entryoff = bfd_get_64 (abfd, raw.entryoff);
4770 cmd->stacksize = bfd_get_64 (abfd, raw.stacksize);
4771 return true;
4772 }
4773
4774 static bool
4775 bfd_mach_o_read_source_version (bfd *abfd, bfd_mach_o_load_command *command)
4776 {
4777 bfd_mach_o_source_version_command *cmd = &command->command.source_version;
4778 struct mach_o_source_version_command_external raw;
4779 uint64_t ver;
4780
4781 if (command->len < sizeof (raw) + 8)
4782 return false;
4783 if (bfd_read (&raw, sizeof (raw), abfd) != sizeof (raw))
4784 return false;
4785
4786 ver = bfd_get_64 (abfd, raw.version);
4787 /* Note: we use a serie of shift to avoid shift > 32 (for which gcc
4788 generates warnings) in case of the host doesn't support 64 bit
4789 integers. */
4790 cmd->e = ver & 0x3ff;
4791 ver >>= 10;
4792 cmd->d = ver & 0x3ff;
4793 ver >>= 10;
4794 cmd->c = ver & 0x3ff;
4795 ver >>= 10;
4796 cmd->b = ver & 0x3ff;
4797 ver >>= 10;
4798 cmd->a = ver & 0xffffff;
4799 return true;
4800 }
4801
4802 static bool
4803 bfd_mach_o_read_note (bfd *abfd, bfd_mach_o_load_command *command)
4804 {
4805 bfd_mach_o_note_command *cmd = &command->command.note;
4806 struct mach_o_note_command_external raw;
4807
4808 if (command->len < sizeof (raw) + 8)
4809 return false;
4810 if (bfd_read (&raw, sizeof (raw), abfd) != sizeof (raw))
4811 return false;
4812
4813 memcpy (cmd->data_owner, raw.data_owner, 16);
4814 cmd->offset = bfd_get_64 (abfd, raw.offset);
4815 cmd->size = bfd_get_64 (abfd, raw.size);
4816 return true;
4817 }
4818
4819 static bool
4820 bfd_mach_o_read_build_version (bfd *abfd, bfd_mach_o_load_command *command)
4821 {
4822 bfd_mach_o_build_version_command *cmd = &command->command.build_version;
4823 struct mach_o_build_version_command_external raw;
4824
4825 if (command->len < sizeof (raw) + 8)
4826 return false;
4827 if (bfd_read (&raw, sizeof (raw), abfd) != sizeof (raw))
4828 return false;
4829
4830 cmd->platform = bfd_get_32 (abfd, raw.platform);
4831 cmd->minos = bfd_get_32 (abfd, raw.minos);
4832 cmd->sdk = bfd_get_32 (abfd, raw.sdk);
4833 cmd->ntools = bfd_get_32 (abfd, raw.ntools);
4834 return true;
4835 }
4836
4837 static bool
4838 bfd_mach_o_read_segment (bfd *abfd,
4839 bfd_mach_o_load_command *command,
4840 unsigned int wide)
4841 {
4842 bfd_mach_o_segment_command *seg = &command->command.segment;
4843 unsigned long i;
4844
4845 if (wide)
4846 {
4847 struct mach_o_segment_command_64_external raw;
4848
4849 BFD_ASSERT (command->type == BFD_MACH_O_LC_SEGMENT_64);
4850
4851 if (command->len < sizeof (raw) + 8)
4852 return false;
4853 if (bfd_read (&raw, sizeof (raw), abfd) != sizeof (raw))
4854 return false;
4855
4856 memcpy (seg->segname, raw.segname, 16);
4857 seg->segname[16] = '\0';
4858
4859 seg->vmaddr = bfd_h_get_64 (abfd, raw.vmaddr);
4860 seg->vmsize = bfd_h_get_64 (abfd, raw.vmsize);
4861 seg->fileoff = bfd_h_get_64 (abfd, raw.fileoff);
4862 seg->filesize = bfd_h_get_64 (abfd, raw.filesize);
4863 seg->maxprot = bfd_h_get_32 (abfd, raw.maxprot);
4864 seg->initprot = bfd_h_get_32 (abfd, raw.initprot);
4865 seg->nsects = bfd_h_get_32 (abfd, raw.nsects);
4866 seg->flags = bfd_h_get_32 (abfd, raw.flags);
4867 }
4868 else
4869 {
4870 struct mach_o_segment_command_32_external raw;
4871
4872 BFD_ASSERT (command->type == BFD_MACH_O_LC_SEGMENT);
4873
4874 if (command->len < sizeof (raw) + 8)
4875 return false;
4876 if (bfd_read (&raw, sizeof (raw), abfd) != sizeof (raw))
4877 return false;
4878
4879 memcpy (seg->segname, raw.segname, 16);
4880 seg->segname[16] = '\0';
4881
4882 seg->vmaddr = bfd_h_get_32 (abfd, raw.vmaddr);
4883 seg->vmsize = bfd_h_get_32 (abfd, raw.vmsize);
4884 seg->fileoff = bfd_h_get_32 (abfd, raw.fileoff);
4885 seg->filesize = bfd_h_get_32 (abfd, raw.filesize);
4886 seg->maxprot = bfd_h_get_32 (abfd, raw.maxprot);
4887 seg->initprot = bfd_h_get_32 (abfd, raw.initprot);
4888 seg->nsects = bfd_h_get_32 (abfd, raw.nsects);
4889 seg->flags = bfd_h_get_32 (abfd, raw.flags);
4890 }
4891 seg->sect_head = NULL;
4892 seg->sect_tail = NULL;
4893
4894 for (i = 0; i < seg->nsects; i++)
4895 {
4896 asection *sec;
4897
4898 sec = bfd_mach_o_read_section (abfd, seg->initprot, wide);
4899 if (sec == NULL)
4900 return false;
4901
4902 bfd_mach_o_append_section_to_segment
4903 (seg, bfd_mach_o_get_mach_o_section (sec));
4904 }
4905
4906 return true;
4907 }
4908
4909 static bool
4910 bfd_mach_o_read_segment_32 (bfd *abfd, bfd_mach_o_load_command *command)
4911 {
4912 return bfd_mach_o_read_segment (abfd, command, 0);
4913 }
4914
4915 static bool
4916 bfd_mach_o_read_segment_64 (bfd *abfd, bfd_mach_o_load_command *command)
4917 {
4918 return bfd_mach_o_read_segment (abfd, command, 1);
4919 }
4920
4921 static bool
4922 bfd_mach_o_read_command (bfd *abfd, bfd_mach_o_load_command *command,
4923 ufile_ptr filesize)
4924 {
4925 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
4926 struct mach_o_load_command_external raw;
4927 unsigned int cmd;
4928
4929 /* Read command type and length. */
4930 if (bfd_seek (abfd, mdata->hdr_offset + command->offset, SEEK_SET) != 0
4931 || bfd_read (&raw, BFD_MACH_O_LC_SIZE, abfd) != BFD_MACH_O_LC_SIZE)
4932 return false;
4933
4934 cmd = bfd_h_get_32 (abfd, raw.cmd);
4935 command->type = cmd & ~BFD_MACH_O_LC_REQ_DYLD;
4936 command->type_required = (cmd & BFD_MACH_O_LC_REQ_DYLD) != 0;
4937 command->len = bfd_h_get_32 (abfd, raw.cmdsize);
4938 if (command->len < 8 || command->len % 4 != 0)
4939 return false;
4940
4941 switch (command->type)
4942 {
4943 case BFD_MACH_O_LC_SEGMENT:
4944 if (!bfd_mach_o_read_segment_32 (abfd, command))
4945 return false;
4946 break;
4947 case BFD_MACH_O_LC_SEGMENT_64:
4948 if (!bfd_mach_o_read_segment_64 (abfd, command))
4949 return false;
4950 break;
4951 case BFD_MACH_O_LC_SYMTAB:
4952 if (!bfd_mach_o_read_symtab (abfd, command, filesize))
4953 return false;
4954 break;
4955 case BFD_MACH_O_LC_SYMSEG:
4956 break;
4957 case BFD_MACH_O_LC_THREAD:
4958 case BFD_MACH_O_LC_UNIXTHREAD:
4959 if (!bfd_mach_o_read_thread (abfd, command))
4960 return false;
4961 break;
4962 case BFD_MACH_O_LC_LOAD_DYLINKER:
4963 case BFD_MACH_O_LC_ID_DYLINKER:
4964 case BFD_MACH_O_LC_DYLD_ENVIRONMENT:
4965 if (!bfd_mach_o_read_dylinker (abfd, command))
4966 return false;
4967 break;
4968 case BFD_MACH_O_LC_LOAD_DYLIB:
4969 case BFD_MACH_O_LC_LAZY_LOAD_DYLIB:
4970 case BFD_MACH_O_LC_ID_DYLIB:
4971 case BFD_MACH_O_LC_LOAD_WEAK_DYLIB:
4972 case BFD_MACH_O_LC_REEXPORT_DYLIB:
4973 case BFD_MACH_O_LC_LOAD_UPWARD_DYLIB:
4974 if (!bfd_mach_o_read_dylib (abfd, command))
4975 return false;
4976 break;
4977 case BFD_MACH_O_LC_PREBOUND_DYLIB:
4978 if (!bfd_mach_o_read_prebound_dylib (abfd, command))
4979 return false;
4980 break;
4981 case BFD_MACH_O_LC_LOADFVMLIB:
4982 case BFD_MACH_O_LC_IDFVMLIB:
4983 if (!bfd_mach_o_read_fvmlib (abfd, command))
4984 return false;
4985 break;
4986 case BFD_MACH_O_LC_IDENT:
4987 case BFD_MACH_O_LC_FVMFILE:
4988 case BFD_MACH_O_LC_PREPAGE:
4989 case BFD_MACH_O_LC_ROUTINES:
4990 case BFD_MACH_O_LC_ROUTINES_64:
4991 break;
4992 case BFD_MACH_O_LC_SUB_FRAMEWORK:
4993 case BFD_MACH_O_LC_SUB_UMBRELLA:
4994 case BFD_MACH_O_LC_SUB_LIBRARY:
4995 case BFD_MACH_O_LC_SUB_CLIENT:
4996 case BFD_MACH_O_LC_RPATH:
4997 if (!bfd_mach_o_read_str (abfd, command))
4998 return false;
4999 break;
5000 case BFD_MACH_O_LC_DYSYMTAB:
5001 if (!bfd_mach_o_read_dysymtab (abfd, command, filesize))
5002 return false;
5003 break;
5004 case BFD_MACH_O_LC_PREBIND_CKSUM:
5005 if (!bfd_mach_o_read_prebind_cksum (abfd, command))
5006 return false;
5007 break;
5008 case BFD_MACH_O_LC_TWOLEVEL_HINTS:
5009 if (!bfd_mach_o_read_twolevel_hints (abfd, command))
5010 return false;
5011 break;
5012 case BFD_MACH_O_LC_UUID:
5013 if (!bfd_mach_o_read_uuid (abfd, command))
5014 return false;
5015 break;
5016 case BFD_MACH_O_LC_CODE_SIGNATURE:
5017 case BFD_MACH_O_LC_SEGMENT_SPLIT_INFO:
5018 case BFD_MACH_O_LC_FUNCTION_STARTS:
5019 case BFD_MACH_O_LC_DATA_IN_CODE:
5020 case BFD_MACH_O_LC_DYLIB_CODE_SIGN_DRS:
5021 case BFD_MACH_O_LC_LINKER_OPTIMIZATION_HINT:
5022 case BFD_MACH_O_LC_DYLD_EXPORTS_TRIE:
5023 case BFD_MACH_O_LC_DYLD_CHAINED_FIXUPS:
5024 if (!bfd_mach_o_read_linkedit (abfd, command))
5025 return false;
5026 break;
5027 case BFD_MACH_O_LC_ENCRYPTION_INFO:
5028 if (!bfd_mach_o_read_encryption_info (abfd, command))
5029 return false;
5030 break;
5031 case BFD_MACH_O_LC_ENCRYPTION_INFO_64:
5032 if (!bfd_mach_o_read_encryption_info_64 (abfd, command))
5033 return false;
5034 break;
5035 case BFD_MACH_O_LC_DYLD_INFO:
5036 if (!bfd_mach_o_read_dyld_info (abfd, command))
5037 return false;
5038 break;
5039 case BFD_MACH_O_LC_VERSION_MIN_MACOSX:
5040 case BFD_MACH_O_LC_VERSION_MIN_IPHONEOS:
5041 case BFD_MACH_O_LC_VERSION_MIN_WATCHOS:
5042 case BFD_MACH_O_LC_VERSION_MIN_TVOS:
5043 if (!bfd_mach_o_read_version_min (abfd, command))
5044 return false;
5045 break;
5046 case BFD_MACH_O_LC_MAIN:
5047 if (!bfd_mach_o_read_main (abfd, command))
5048 return false;
5049 break;
5050 case BFD_MACH_O_LC_SOURCE_VERSION:
5051 if (!bfd_mach_o_read_source_version (abfd, command))
5052 return false;
5053 break;
5054 case BFD_MACH_O_LC_LINKER_OPTIONS:
5055 break;
5056 case BFD_MACH_O_LC_NOTE:
5057 if (!bfd_mach_o_read_note (abfd, command))
5058 return false;
5059 break;
5060 case BFD_MACH_O_LC_BUILD_VERSION:
5061 if (!bfd_mach_o_read_build_version (abfd, command))
5062 return false;
5063 break;
5064 default:
5065 command->len = 0;
5066 _bfd_error_handler (_("%pB: unknown load command %#x"),
5067 abfd, command->type);
5068 return false;
5069 }
5070
5071 return true;
5072 }
5073
5074 static bool
5075 bfd_mach_o_flatten_sections (bfd *abfd)
5076 {
5077 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
5078 bfd_mach_o_load_command *cmd;
5079 unsigned long csect;
5080 size_t amt;
5081
5082 /* Count total number of sections. */
5083 mdata->nsects = 0;
5084
5085 for (cmd = mdata->first_command; cmd != NULL; cmd = cmd->next)
5086 {
5087 if (cmd->type == BFD_MACH_O_LC_SEGMENT
5088 || cmd->type == BFD_MACH_O_LC_SEGMENT_64)
5089 {
5090 bfd_mach_o_segment_command *seg = &cmd->command.segment;
5091
5092 mdata->nsects += seg->nsects;
5093 }
5094 }
5095
5096 /* Allocate sections array. */
5097 if (_bfd_mul_overflow (mdata->nsects, sizeof (bfd_mach_o_section *), &amt))
5098 {
5099 bfd_set_error (bfd_error_file_too_big);
5100 return false;
5101 }
5102 mdata->sections = bfd_alloc (abfd, amt);
5103 if (mdata->sections == NULL && mdata->nsects != 0)
5104 return false;
5105
5106 /* Fill the array. */
5107 csect = 0;
5108
5109 for (cmd = mdata->first_command; cmd != NULL; cmd = cmd->next)
5110 {
5111 if (cmd->type == BFD_MACH_O_LC_SEGMENT
5112 || cmd->type == BFD_MACH_O_LC_SEGMENT_64)
5113 {
5114 bfd_mach_o_segment_command *seg = &cmd->command.segment;
5115 bfd_mach_o_section *sec;
5116
5117 BFD_ASSERT (csect + seg->nsects <= mdata->nsects);
5118
5119 for (sec = seg->sect_head; sec != NULL; sec = sec->next)
5120 mdata->sections[csect++] = sec;
5121 }
5122 }
5123 BFD_ASSERT (mdata->nsects == csect);
5124 return true;
5125 }
5126
5127 static bool
5128 bfd_mach_o_scan_start_address (bfd *abfd)
5129 {
5130 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
5131 bfd_mach_o_thread_command *thr = NULL;
5132 bfd_mach_o_load_command *cmd;
5133 unsigned long i;
5134
5135 for (cmd = mdata->first_command; cmd != NULL; cmd = cmd->next)
5136 if (cmd->type == BFD_MACH_O_LC_THREAD
5137 || cmd->type == BFD_MACH_O_LC_UNIXTHREAD)
5138 {
5139 thr = &cmd->command.thread;
5140 break;
5141 }
5142 else if (cmd->type == BFD_MACH_O_LC_MAIN && mdata->nsects > 1)
5143 {
5144 bfd_mach_o_main_command *main_cmd = &cmd->command.main;
5145 bfd_mach_o_section *text_sect = mdata->sections[0];
5146
5147 if (text_sect)
5148 {
5149 abfd->start_address = main_cmd->entryoff
5150 + (text_sect->addr - text_sect->offset);
5151 return true;
5152 }
5153 }
5154
5155 /* An object file has no start address, so do not fail if not found. */
5156 if (thr == NULL)
5157 return true;
5158
5159 /* FIXME: create a subtarget hook ? */
5160 for (i = 0; i < thr->nflavours; i++)
5161 {
5162 if ((mdata->header.cputype == BFD_MACH_O_CPU_TYPE_I386)
5163 && (thr->flavours[i].flavour == BFD_MACH_O_x86_THREAD_STATE32))
5164 {
5165 unsigned char buf[4];
5166
5167 if (bfd_seek (abfd, thr->flavours[i].offset + 40, SEEK_SET) != 0
5168 || bfd_read (buf, 4, abfd) != 4)
5169 return false;
5170
5171 abfd->start_address = bfd_h_get_32 (abfd, buf);
5172 }
5173 else if ((mdata->header.cputype == BFD_MACH_O_CPU_TYPE_POWERPC)
5174 && (thr->flavours[i].flavour == BFD_MACH_O_PPC_THREAD_STATE))
5175 {
5176 unsigned char buf[4];
5177
5178 if (bfd_seek (abfd, thr->flavours[i].offset + 0, SEEK_SET) != 0
5179 || bfd_read (buf, 4, abfd) != 4)
5180 return false;
5181
5182 abfd->start_address = bfd_h_get_32 (abfd, buf);
5183 }
5184 else if ((mdata->header.cputype == BFD_MACH_O_CPU_TYPE_POWERPC_64)
5185 && (thr->flavours[i].flavour == BFD_MACH_O_PPC_THREAD_STATE64))
5186 {
5187 unsigned char buf[8];
5188
5189 if (bfd_seek (abfd, thr->flavours[i].offset + 0, SEEK_SET) != 0
5190 || bfd_read (buf, 8, abfd) != 8)
5191 return false;
5192
5193 abfd->start_address = bfd_h_get_64 (abfd, buf);
5194 }
5195 else if ((mdata->header.cputype == BFD_MACH_O_CPU_TYPE_X86_64)
5196 && (thr->flavours[i].flavour == BFD_MACH_O_x86_THREAD_STATE64))
5197 {
5198 unsigned char buf[8];
5199
5200 if (bfd_seek (abfd, thr->flavours[i].offset + (16 * 8), SEEK_SET) != 0
5201 || bfd_read (buf, 8, abfd) != 8)
5202 return false;
5203
5204 abfd->start_address = bfd_h_get_64 (abfd, buf);
5205 }
5206 }
5207
5208 return true;
5209 }
5210
5211 bool
5212 bfd_mach_o_set_arch_mach (bfd *abfd,
5213 enum bfd_architecture arch,
5214 unsigned long machine)
5215 {
5216 bfd_mach_o_backend_data *bed = bfd_mach_o_get_backend_data (abfd);
5217
5218 /* If this isn't the right architecture for this backend, and this
5219 isn't the generic backend, fail. */
5220 if (arch != bed->arch
5221 && arch != bfd_arch_unknown
5222 && bed->arch != bfd_arch_unknown)
5223 return false;
5224
5225 return bfd_default_set_arch_mach (abfd, arch, machine);
5226 }
5227
5228 static bool
5229 bfd_mach_o_scan (bfd *abfd,
5230 bfd_mach_o_header *header,
5231 bfd_mach_o_data_struct *mdata)
5232 {
5233 unsigned int i;
5234 enum bfd_architecture cpu_type;
5235 unsigned long cpu_subtype;
5236 unsigned int hdrsize;
5237
5238 hdrsize = mach_o_wide_p (header) ?
5239 BFD_MACH_O_HEADER_64_SIZE : BFD_MACH_O_HEADER_SIZE;
5240
5241 mdata->header = *header;
5242
5243 abfd->flags = abfd->flags & BFD_IN_MEMORY;
5244 switch (header->filetype)
5245 {
5246 case BFD_MACH_O_MH_OBJECT:
5247 abfd->flags |= HAS_RELOC;
5248 break;
5249 case BFD_MACH_O_MH_EXECUTE:
5250 abfd->flags |= EXEC_P;
5251 break;
5252 case BFD_MACH_O_MH_DYLIB:
5253 case BFD_MACH_O_MH_BUNDLE:
5254 abfd->flags |= DYNAMIC;
5255 break;
5256 }
5257
5258 bfd_mach_o_convert_architecture (header->cputype, header->cpusubtype,
5259 &cpu_type, &cpu_subtype);
5260 if (cpu_type == bfd_arch_unknown)
5261 {
5262 _bfd_error_handler
5263 /* xgettext:c-format */
5264 (_("bfd_mach_o_scan: unknown architecture 0x%lx/0x%lx"),
5265 header->cputype, header->cpusubtype);
5266 return false;
5267 }
5268
5269 bfd_set_arch_mach (abfd, cpu_type, cpu_subtype);
5270
5271 if (header->ncmds != 0)
5272 {
5273 bfd_mach_o_load_command *cmd;
5274 size_t amt;
5275 ufile_ptr filesize = bfd_get_file_size (abfd);
5276
5277 if (filesize == 0)
5278 filesize = (ufile_ptr) -1;
5279
5280 mdata->first_command = NULL;
5281 mdata->last_command = NULL;
5282
5283 if (header->ncmds > (filesize - hdrsize) / BFD_MACH_O_LC_SIZE)
5284 {
5285 bfd_set_error (bfd_error_file_truncated);
5286 return false;
5287 }
5288 if (_bfd_mul_overflow (header->ncmds,
5289 sizeof (bfd_mach_o_load_command), &amt))
5290 {
5291 bfd_set_error (bfd_error_file_too_big);
5292 return false;
5293 }
5294 cmd = bfd_alloc (abfd, amt);
5295 if (cmd == NULL)
5296 return false;
5297
5298 for (i = 0; i < header->ncmds; i++)
5299 {
5300 bfd_mach_o_load_command *cur = &cmd[i];
5301
5302 bfd_mach_o_append_command (abfd, cur);
5303
5304 if (i == 0)
5305 cur->offset = hdrsize;
5306 else
5307 {
5308 bfd_mach_o_load_command *prev = &cmd[i - 1];
5309 cur->offset = prev->offset + prev->len;
5310 }
5311
5312 if (!bfd_mach_o_read_command (abfd, cur, filesize))
5313 {
5314 bfd_set_error (bfd_error_wrong_format);
5315 return false;
5316 }
5317 }
5318 }
5319
5320 /* Sections should be flatten before scanning start address. */
5321 if (!bfd_mach_o_flatten_sections (abfd))
5322 return false;
5323 if (!bfd_mach_o_scan_start_address (abfd))
5324 return false;
5325
5326 return true;
5327 }
5328
5329 bool
5330 bfd_mach_o_mkobject_init (bfd *abfd)
5331 {
5332 bfd_mach_o_data_struct *mdata = NULL;
5333
5334 mdata = bfd_zalloc (abfd, sizeof (bfd_mach_o_data_struct));
5335 if (mdata == NULL)
5336 return false;
5337 abfd->tdata.mach_o_data = mdata;
5338
5339 mdata->header.magic = 0;
5340 mdata->header.cputype = 0;
5341 mdata->header.cpusubtype = 0;
5342 mdata->header.filetype = 0;
5343 mdata->header.ncmds = 0;
5344 mdata->header.sizeofcmds = 0;
5345 mdata->header.flags = 0;
5346 mdata->header.byteorder = BFD_ENDIAN_UNKNOWN;
5347 mdata->first_command = NULL;
5348 mdata->last_command = NULL;
5349 mdata->nsects = 0;
5350 mdata->sections = NULL;
5351 mdata->dyn_reloc_cache = NULL;
5352
5353 return true;
5354 }
5355
5356 static bool
5357 bfd_mach_o_gen_mkobject (bfd *abfd)
5358 {
5359 bfd_mach_o_data_struct *mdata;
5360
5361 if (!bfd_mach_o_mkobject_init (abfd))
5362 return false;
5363
5364 mdata = bfd_mach_o_get_data (abfd);
5365 mdata->header.magic = BFD_MACH_O_MH_MAGIC;
5366 mdata->header.cputype = 0;
5367 mdata->header.cpusubtype = 0;
5368 mdata->header.byteorder = abfd->xvec->byteorder;
5369 mdata->header.version = 1;
5370
5371 return true;
5372 }
5373
5374 bfd_cleanup
5375 bfd_mach_o_header_p (bfd *abfd,
5376 file_ptr hdr_off,
5377 bfd_mach_o_filetype file_type,
5378 bfd_mach_o_cpu_type cpu_type)
5379 {
5380 bfd_mach_o_header header;
5381 bfd_mach_o_data_struct *mdata;
5382
5383 if (!bfd_mach_o_read_header (abfd, hdr_off, &header))
5384 goto wrong;
5385
5386 if (! (header.byteorder == BFD_ENDIAN_BIG
5387 || header.byteorder == BFD_ENDIAN_LITTLE))
5388 {
5389 _bfd_error_handler (_("unknown header byte-order value %#x"),
5390 header.byteorder);
5391 goto wrong;
5392 }
5393
5394 if (! ((header.byteorder == BFD_ENDIAN_BIG
5395 && abfd->xvec->byteorder == BFD_ENDIAN_BIG
5396 && abfd->xvec->header_byteorder == BFD_ENDIAN_BIG)
5397 || (header.byteorder == BFD_ENDIAN_LITTLE
5398 && abfd->xvec->byteorder == BFD_ENDIAN_LITTLE
5399 && abfd->xvec->header_byteorder == BFD_ENDIAN_LITTLE)))
5400 goto wrong;
5401
5402 /* Check cputype and filetype.
5403 In case of wildcard, do not accept magics that are handled by existing
5404 targets. */
5405 if (cpu_type)
5406 {
5407 if (header.cputype != cpu_type)
5408 goto wrong;
5409 }
5410 else
5411 {
5412 #ifndef BFD64
5413 /* Do not recognize 64 architectures if not configured for 64bit targets.
5414 This could happen only for generic targets. */
5415 if (mach_o_wide_p (&header))
5416 goto wrong;
5417 #endif
5418 }
5419
5420 if (file_type)
5421 {
5422 if (header.filetype != file_type)
5423 goto wrong;
5424 }
5425 else
5426 {
5427 switch (header.filetype)
5428 {
5429 case BFD_MACH_O_MH_CORE:
5430 /* Handled by core_p */
5431 goto wrong;
5432 default:
5433 break;
5434 }
5435 }
5436
5437 mdata = (bfd_mach_o_data_struct *) bfd_zalloc (abfd, sizeof (*mdata));
5438 if (mdata == NULL)
5439 return NULL;
5440 abfd->tdata.mach_o_data = mdata;
5441
5442 mdata->hdr_offset = hdr_off;
5443
5444 if (!bfd_mach_o_scan (abfd, &header, mdata))
5445 {
5446 bfd_release (abfd, mdata);
5447 return NULL;
5448 }
5449
5450 return _bfd_no_cleanup;
5451
5452 wrong:
5453 bfd_set_error (bfd_error_wrong_format);
5454 return NULL;
5455 }
5456
5457 static bfd_cleanup
5458 bfd_mach_o_gen_object_p (bfd *abfd)
5459 {
5460 return bfd_mach_o_header_p (abfd, 0, 0, 0);
5461 }
5462
5463 static bfd_cleanup
5464 bfd_mach_o_gen_core_p (bfd *abfd)
5465 {
5466 return bfd_mach_o_header_p (abfd, 0, BFD_MACH_O_MH_CORE, 0);
5467 }
5468
5469 /* Return the base address of ABFD, ie the address at which the image is
5470 mapped. The possible initial pagezero is ignored. */
5471
5472 bfd_vma
5473 bfd_mach_o_get_base_address (bfd *abfd)
5474 {
5475 bfd_mach_o_data_struct *mdata;
5476 bfd_mach_o_load_command *cmd;
5477
5478 /* Check for Mach-O. */
5479 if (!bfd_mach_o_valid (abfd))
5480 return 0;
5481 mdata = bfd_mach_o_get_data (abfd);
5482
5483 for (cmd = mdata->first_command; cmd != NULL; cmd = cmd->next)
5484 {
5485 if ((cmd->type == BFD_MACH_O_LC_SEGMENT
5486 || cmd->type == BFD_MACH_O_LC_SEGMENT_64))
5487 {
5488 struct bfd_mach_o_segment_command *segcmd = &cmd->command.segment;
5489
5490 if (segcmd->initprot != 0)
5491 return segcmd->vmaddr;
5492 }
5493 }
5494 return 0;
5495 }
5496
5497 typedef struct mach_o_fat_archentry
5498 {
5499 unsigned long cputype;
5500 unsigned long cpusubtype;
5501 unsigned long offset;
5502 unsigned long size;
5503 unsigned long align;
5504 } mach_o_fat_archentry;
5505
5506 typedef struct mach_o_fat_data_struct
5507 {
5508 unsigned long magic;
5509 unsigned long nfat_arch;
5510 mach_o_fat_archentry *archentries;
5511 } mach_o_fat_data_struct;
5512
5513 /* Check for overlapping archive elements. Note that we can't allow
5514 multiple elements at the same offset even if one is empty, because
5515 bfd_mach_o_fat_openr_next_archived_file assume distinct offsets. */
5516 static bool
5517 overlap_previous (const mach_o_fat_archentry *elt, unsigned long i)
5518 {
5519 unsigned long j = i;
5520 while (j-- != 0)
5521 if (elt[i].offset == elt[j].offset
5522 || (elt[i].offset > elt[j].offset
5523 ? elt[i].offset - elt[j].offset < elt[j].size
5524 : elt[j].offset - elt[i].offset < elt[i].size))
5525 return true;
5526 return false;
5527 }
5528
5529 bfd_cleanup
5530 bfd_mach_o_fat_archive_p (bfd *abfd)
5531 {
5532 mach_o_fat_data_struct *adata = NULL;
5533 struct mach_o_fat_header_external hdr;
5534 unsigned long i;
5535 size_t amt;
5536 ufile_ptr filesize;
5537
5538 if (bfd_seek (abfd, 0, SEEK_SET) != 0
5539 || bfd_read (&hdr, sizeof (hdr), abfd) != sizeof (hdr))
5540 {
5541 if (bfd_get_error () != bfd_error_system_call)
5542 goto wrong;
5543 goto error;
5544 }
5545
5546 adata = bfd_alloc (abfd, sizeof (mach_o_fat_data_struct));
5547 if (adata == NULL)
5548 goto error;
5549
5550 adata->magic = bfd_getb32 (hdr.magic);
5551 adata->nfat_arch = bfd_getb32 (hdr.nfat_arch);
5552 if (adata->magic != 0xcafebabe)
5553 goto wrong;
5554 /* Avoid matching Java bytecode files, which have the same magic number.
5555 In the Java bytecode file format this field contains the JVM version,
5556 which starts at 43.0. */
5557 if (adata->nfat_arch > 30)
5558 goto wrong;
5559
5560 if (_bfd_mul_overflow (adata->nfat_arch,
5561 sizeof (mach_o_fat_archentry), &amt))
5562 {
5563 bfd_set_error (bfd_error_file_too_big);
5564 goto error;
5565 }
5566 adata->archentries = bfd_alloc (abfd, amt);
5567 if (adata->archentries == NULL)
5568 goto error;
5569
5570 filesize = bfd_get_file_size (abfd);
5571 for (i = 0; i < adata->nfat_arch; i++)
5572 {
5573 struct mach_o_fat_arch_external arch;
5574 if (bfd_read (&arch, sizeof (arch), abfd) != sizeof (arch))
5575 goto error;
5576 adata->archentries[i].cputype = bfd_getb32 (arch.cputype);
5577 adata->archentries[i].cpusubtype = bfd_getb32 (arch.cpusubtype);
5578 adata->archentries[i].offset = bfd_getb32 (arch.offset);
5579 adata->archentries[i].size = bfd_getb32 (arch.size);
5580 adata->archentries[i].align = bfd_getb32 (arch.align);
5581 if ((filesize != 0
5582 && (adata->archentries[i].offset > filesize
5583 || (adata->archentries[i].size
5584 > filesize - adata->archentries[i].offset)))
5585 || (adata->archentries[i].offset
5586 < sizeof (hdr) + adata->nfat_arch * sizeof (arch))
5587 || overlap_previous (adata->archentries, i))
5588 {
5589 bfd_release (abfd, adata);
5590 bfd_set_error (bfd_error_malformed_archive);
5591 return NULL;
5592 }
5593 }
5594
5595 abfd->tdata.mach_o_fat_data = adata;
5596
5597 return _bfd_no_cleanup;
5598
5599 wrong:
5600 bfd_set_error (bfd_error_wrong_format);
5601 error:
5602 if (adata != NULL)
5603 bfd_release (abfd, adata);
5604 return NULL;
5605 }
5606
5607 /* Set the filename for a fat binary member ABFD, whose bfd architecture is
5608 ARCH_TYPE/ARCH_SUBTYPE and corresponding entry in header is ENTRY.
5609 Set arelt_data and origin fields too. */
5610
5611 static bool
5612 bfd_mach_o_fat_member_init (bfd *abfd,
5613 enum bfd_architecture arch_type,
5614 unsigned long arch_subtype,
5615 mach_o_fat_archentry *entry)
5616 {
5617 struct areltdata *areltdata;
5618 /* Create the member filename. Use ARCH_NAME. */
5619 const bfd_arch_info_type *ap = bfd_lookup_arch (arch_type, arch_subtype);
5620 const char *filename;
5621
5622 if (ap)
5623 {
5624 /* Use the architecture name if known. */
5625 filename = bfd_set_filename (abfd, ap->printable_name);
5626 }
5627 else
5628 {
5629 /* Forge a uniq id. */
5630 char buf[2 + 8 + 1 + 2 + 8 + 1];
5631 snprintf (buf, sizeof (buf), "0x%lx-0x%lx",
5632 entry->cputype, entry->cpusubtype);
5633 filename = bfd_set_filename (abfd, buf);
5634 }
5635 if (!filename)
5636 return false;
5637
5638 areltdata = bfd_zmalloc (sizeof (struct areltdata));
5639 if (areltdata == NULL)
5640 return false;
5641 areltdata->parsed_size = entry->size;
5642 abfd->arelt_data = areltdata;
5643 abfd->iostream = NULL;
5644 abfd->origin = entry->offset;
5645 return true;
5646 }
5647
5648 bfd *
5649 bfd_mach_o_fat_openr_next_archived_file (bfd *archive, bfd *prev)
5650 {
5651 mach_o_fat_data_struct *adata;
5652 mach_o_fat_archentry *entry = NULL;
5653 unsigned long i;
5654 bfd *nbfd;
5655 enum bfd_architecture arch_type;
5656 unsigned long arch_subtype;
5657
5658 adata = (mach_o_fat_data_struct *) archive->tdata.mach_o_fat_data;
5659 BFD_ASSERT (adata != NULL);
5660
5661 /* Find index of previous entry. */
5662 if (prev == NULL)
5663 {
5664 /* Start at first one. */
5665 i = 0;
5666 }
5667 else
5668 {
5669 /* Find index of PREV. */
5670 for (i = 0; i < adata->nfat_arch; i++)
5671 {
5672 if (adata->archentries[i].offset == prev->origin)
5673 break;
5674 }
5675
5676 if (i == adata->nfat_arch)
5677 {
5678 /* Not found. */
5679 bfd_set_error (bfd_error_bad_value);
5680 return NULL;
5681 }
5682
5683 /* Get next entry. */
5684 i++;
5685 }
5686
5687 if (i >= adata->nfat_arch)
5688 {
5689 bfd_set_error (bfd_error_no_more_archived_files);
5690 return NULL;
5691 }
5692
5693 entry = &adata->archentries[i];
5694 nbfd = _bfd_new_bfd_contained_in (archive);
5695 if (nbfd == NULL)
5696 return NULL;
5697
5698 bfd_mach_o_convert_architecture (entry->cputype, entry->cpusubtype,
5699 &arch_type, &arch_subtype);
5700
5701 if (!bfd_mach_o_fat_member_init (nbfd, arch_type, arch_subtype, entry))
5702 {
5703 bfd_close (nbfd);
5704 return NULL;
5705 }
5706
5707 bfd_set_arch_mach (nbfd, arch_type, arch_subtype);
5708
5709 return nbfd;
5710 }
5711
5712 /* Analogous to stat call. */
5713
5714 static int
5715 bfd_mach_o_fat_stat_arch_elt (bfd *abfd, struct stat *buf)
5716 {
5717 if (abfd->arelt_data == NULL)
5718 {
5719 bfd_set_error (bfd_error_invalid_operation);
5720 return -1;
5721 }
5722
5723 buf->st_mtime = 0;
5724 buf->st_uid = 0;
5725 buf->st_gid = 0;
5726 buf->st_mode = 0644;
5727 buf->st_size = arelt_size (abfd);
5728
5729 return 0;
5730 }
5731
5732 /* If ABFD format is FORMAT and architecture is ARCH, return it.
5733 If ABFD is a fat image containing a member that corresponds to FORMAT
5734 and ARCH, returns it.
5735 In other case, returns NULL.
5736 This function allows transparent uses of fat images. */
5737
5738 bfd *
5739 bfd_mach_o_fat_extract (bfd *abfd,
5740 bfd_format format,
5741 const bfd_arch_info_type *arch)
5742 {
5743 bfd *res;
5744 mach_o_fat_data_struct *adata;
5745 unsigned int i;
5746
5747 if (bfd_check_format (abfd, format))
5748 {
5749 if (bfd_get_arch_info (abfd) == arch)
5750 return abfd;
5751 return NULL;
5752 }
5753 if (!bfd_check_format (abfd, bfd_archive)
5754 || abfd->xvec != &mach_o_fat_vec)
5755 return NULL;
5756
5757 /* This is a Mach-O fat image. */
5758 adata = (mach_o_fat_data_struct *) abfd->tdata.mach_o_fat_data;
5759 BFD_ASSERT (adata != NULL);
5760
5761 for (i = 0; i < adata->nfat_arch; i++)
5762 {
5763 struct mach_o_fat_archentry *e = &adata->archentries[i];
5764 enum bfd_architecture cpu_type;
5765 unsigned long cpu_subtype;
5766
5767 bfd_mach_o_convert_architecture (e->cputype, e->cpusubtype,
5768 &cpu_type, &cpu_subtype);
5769 if (cpu_type != arch->arch || cpu_subtype != arch->mach)
5770 continue;
5771
5772 /* The architecture is found. */
5773 res = _bfd_new_bfd_contained_in (abfd);
5774 if (res == NULL)
5775 return NULL;
5776
5777 if (bfd_mach_o_fat_member_init (res, cpu_type, cpu_subtype, e)
5778 && bfd_check_format (res, format))
5779 {
5780 BFD_ASSERT (bfd_get_arch_info (res) == arch);
5781 return res;
5782 }
5783 bfd_close (res);
5784 return NULL;
5785 }
5786
5787 return NULL;
5788 }
5789
5790 static bool
5791 bfd_mach_o_fat_close_and_cleanup (bfd *abfd)
5792 {
5793 _bfd_unlink_from_archive_parent (abfd);
5794 return true;
5795 }
5796
5797 int
5798 bfd_mach_o_lookup_command (bfd *abfd,
5799 bfd_mach_o_load_command_type type,
5800 bfd_mach_o_load_command **mcommand)
5801 {
5802 struct mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
5803 struct bfd_mach_o_load_command *cmd;
5804 unsigned int num;
5805
5806 BFD_ASSERT (mdata != NULL);
5807 BFD_ASSERT (mcommand != NULL);
5808
5809 num = 0;
5810 for (cmd = mdata->first_command; cmd != NULL; cmd = cmd->next)
5811 {
5812 if (cmd->type != type)
5813 continue;
5814
5815 if (num == 0)
5816 *mcommand = cmd;
5817 num++;
5818 }
5819
5820 return num;
5821 }
5822
5823 unsigned long
5824 bfd_mach_o_stack_addr (enum bfd_mach_o_cpu_type type)
5825 {
5826 switch (type)
5827 {
5828 case BFD_MACH_O_CPU_TYPE_MC680x0:
5829 return 0x04000000;
5830 case BFD_MACH_O_CPU_TYPE_POWERPC:
5831 return 0xc0000000;
5832 case BFD_MACH_O_CPU_TYPE_I386:
5833 return 0xc0000000;
5834 case BFD_MACH_O_CPU_TYPE_SPARC:
5835 return 0xf0000000;
5836 case BFD_MACH_O_CPU_TYPE_HPPA:
5837 return 0xc0000000 - 0x04000000;
5838 default:
5839 return 0;
5840 }
5841 }
5842
5843 /* The following two tables should be kept, as far as possible, in order of
5844 most frequently used entries to optimize their use from gas. */
5845
5846 const bfd_mach_o_xlat_name bfd_mach_o_section_type_name[] =
5847 {
5848 { "regular", BFD_MACH_O_S_REGULAR},
5849 { "coalesced", BFD_MACH_O_S_COALESCED},
5850 { "zerofill", BFD_MACH_O_S_ZEROFILL},
5851 { "cstring_literals", BFD_MACH_O_S_CSTRING_LITERALS},
5852 { "4byte_literals", BFD_MACH_O_S_4BYTE_LITERALS},
5853 { "8byte_literals", BFD_MACH_O_S_8BYTE_LITERALS},
5854 { "16byte_literals", BFD_MACH_O_S_16BYTE_LITERALS},
5855 { "literal_pointers", BFD_MACH_O_S_LITERAL_POINTERS},
5856 { "mod_init_func_pointers", BFD_MACH_O_S_MOD_INIT_FUNC_POINTERS},
5857 { "mod_fini_func_pointers", BFD_MACH_O_S_MOD_FINI_FUNC_POINTERS},
5858 { "gb_zerofill", BFD_MACH_O_S_GB_ZEROFILL},
5859 { "interposing", BFD_MACH_O_S_INTERPOSING},
5860 { "dtrace_dof", BFD_MACH_O_S_DTRACE_DOF},
5861 { "non_lazy_symbol_pointers", BFD_MACH_O_S_NON_LAZY_SYMBOL_POINTERS},
5862 { "lazy_symbol_pointers", BFD_MACH_O_S_LAZY_SYMBOL_POINTERS},
5863 { "symbol_stubs", BFD_MACH_O_S_SYMBOL_STUBS},
5864 { "lazy_dylib_symbol_pointers", BFD_MACH_O_S_LAZY_DYLIB_SYMBOL_POINTERS},
5865 { NULL, 0}
5866 };
5867
5868 const bfd_mach_o_xlat_name bfd_mach_o_section_attribute_name[] =
5869 {
5870 { "pure_instructions", BFD_MACH_O_S_ATTR_PURE_INSTRUCTIONS },
5871 { "some_instructions", BFD_MACH_O_S_ATTR_SOME_INSTRUCTIONS },
5872 { "loc_reloc", BFD_MACH_O_S_ATTR_LOC_RELOC },
5873 { "ext_reloc", BFD_MACH_O_S_ATTR_EXT_RELOC },
5874 { "debug", BFD_MACH_O_S_ATTR_DEBUG },
5875 { "live_support", BFD_MACH_O_S_ATTR_LIVE_SUPPORT },
5876 { "no_dead_strip", BFD_MACH_O_S_ATTR_NO_DEAD_STRIP },
5877 { "strip_static_syms", BFD_MACH_O_S_ATTR_STRIP_STATIC_SYMS },
5878 { "no_toc", BFD_MACH_O_S_ATTR_NO_TOC },
5879 { "self_modifying_code", BFD_MACH_O_S_SELF_MODIFYING_CODE },
5880 { "modifying_code", BFD_MACH_O_S_SELF_MODIFYING_CODE },
5881 { NULL, 0}
5882 };
5883
5884 /* Get the section type from NAME. Return 256 if NAME is unknown. */
5885
5886 unsigned int
5887 bfd_mach_o_get_section_type_from_name (bfd *abfd, const char *name)
5888 {
5889 const bfd_mach_o_xlat_name *x;
5890 bfd_mach_o_backend_data *bed = bfd_mach_o_get_backend_data (abfd);
5891
5892 for (x = bfd_mach_o_section_type_name; x->name; x++)
5893 if (strcmp (x->name, name) == 0)
5894 {
5895 /* We found it... does the target support it? */
5896 if (bed->bfd_mach_o_section_type_valid_for_target == NULL
5897 || bed->bfd_mach_o_section_type_valid_for_target (x->val))
5898 return x->val; /* OK. */
5899 else
5900 break; /* Not supported. */
5901 }
5902 /* Maximum section ID = 0xff. */
5903 return 256;
5904 }
5905
5906 /* Get the section attribute from NAME. Return -1 if NAME is unknown. */
5907
5908 unsigned int
5909 bfd_mach_o_get_section_attribute_from_name (const char *name)
5910 {
5911 const bfd_mach_o_xlat_name *x;
5912
5913 for (x = bfd_mach_o_section_attribute_name; x->name; x++)
5914 if (strcmp (x->name, name) == 0)
5915 return x->val;
5916 return (unsigned int)-1;
5917 }
5918
5919 int
5920 bfd_mach_o_core_fetch_environment (bfd *abfd,
5921 unsigned char **rbuf,
5922 unsigned int *rlen)
5923 {
5924 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
5925 unsigned long stackaddr = bfd_mach_o_stack_addr (mdata->header.cputype);
5926 bfd_mach_o_load_command *cmd;
5927
5928 for (cmd = mdata->first_command; cmd != NULL; cmd = cmd->next)
5929 {
5930 bfd_mach_o_segment_command *seg;
5931
5932 if (cmd->type != BFD_MACH_O_LC_SEGMENT)
5933 continue;
5934
5935 seg = &cmd->command.segment;
5936
5937 if ((seg->vmaddr + seg->vmsize) == stackaddr)
5938 {
5939 unsigned long start = seg->fileoff;
5940 unsigned long end = seg->fileoff + seg->filesize;
5941 unsigned char *buf = bfd_malloc (1024);
5942 unsigned long size = 1024;
5943
5944 if (buf == NULL)
5945 return -1;
5946 for (;;)
5947 {
5948 bfd_size_type nread = 0;
5949 unsigned long offset;
5950 int found_nonnull = 0;
5951
5952 if (size > (end - start))
5953 size = (end - start);
5954
5955 buf = bfd_realloc_or_free (buf, size);
5956 if (buf == NULL)
5957 return -1;
5958
5959 if (bfd_seek (abfd, end - size, SEEK_SET) != 0)
5960 {
5961 free (buf);
5962 return -1;
5963 }
5964
5965 nread = bfd_read (buf, size, abfd);
5966
5967 if (nread != size)
5968 {
5969 free (buf);
5970 return -1;
5971 }
5972
5973 for (offset = 4; offset <= size; offset += 4)
5974 {
5975 unsigned long val;
5976
5977 val = bfd_get_32(abfd, buf + size - offset);
5978
5979 if (! found_nonnull)
5980 {
5981 if (val != 0)
5982 found_nonnull = 1;
5983 }
5984 else if (val == 0x0)
5985 {
5986 unsigned long bottom;
5987 unsigned long top;
5988
5989 bottom = seg->fileoff + seg->filesize - offset;
5990 top = seg->fileoff + seg->filesize - 4;
5991 *rbuf = bfd_malloc (top - bottom);
5992 if (*rbuf == NULL)
5993 return -1;
5994 *rlen = top - bottom;
5995
5996 memcpy (*rbuf, buf + size - *rlen, *rlen);
5997 free (buf);
5998 return 0;
5999 }
6000 }
6001
6002 if (size == (end - start))
6003 break;
6004
6005 size *= 2;
6006 }
6007
6008 free (buf);
6009 }
6010 }
6011
6012 return -1;
6013 }
6014
6015 char *
6016 bfd_mach_o_core_file_failing_command (bfd *abfd)
6017 {
6018 unsigned char *buf = NULL;
6019 unsigned int len = 0;
6020 int ret;
6021
6022 ret = bfd_mach_o_core_fetch_environment (abfd, &buf, &len);
6023 if (ret < 0 || len == 0)
6024 return NULL;
6025 buf[len - 1] = 0;
6026 return (char *) buf;
6027 }
6028
6029 int
6030 bfd_mach_o_core_file_failing_signal (bfd *abfd ATTRIBUTE_UNUSED)
6031 {
6032 return 0;
6033 }
6034
6035 static bfd_mach_o_uuid_command *
6036 bfd_mach_o_lookup_uuid_command (bfd *abfd)
6037 {
6038 bfd_mach_o_load_command *uuid_cmd = NULL;
6039 int ncmd = bfd_mach_o_lookup_command (abfd, BFD_MACH_O_LC_UUID, &uuid_cmd);
6040 if (ncmd != 1 || uuid_cmd == NULL)
6041 return NULL;
6042 return &uuid_cmd->command.uuid;
6043 }
6044
6045 /* Return true if ABFD is a dSYM file and its UUID matches UUID_CMD. */
6046
6047 static bool
6048 bfd_mach_o_dsym_for_uuid_p (bfd *abfd, const bfd_mach_o_uuid_command *uuid_cmd)
6049 {
6050 bfd_mach_o_uuid_command *dsym_uuid_cmd;
6051
6052 BFD_ASSERT (abfd);
6053 BFD_ASSERT (uuid_cmd);
6054
6055 if (!bfd_check_format (abfd, bfd_object))
6056 return false;
6057
6058 if (bfd_get_flavour (abfd) != bfd_target_mach_o_flavour
6059 || bfd_mach_o_get_data (abfd) == NULL
6060 || bfd_mach_o_get_data (abfd)->header.filetype != BFD_MACH_O_MH_DSYM)
6061 return false;
6062
6063 dsym_uuid_cmd = bfd_mach_o_lookup_uuid_command (abfd);
6064 if (dsym_uuid_cmd == NULL)
6065 return false;
6066
6067 if (memcmp (uuid_cmd->uuid, dsym_uuid_cmd->uuid,
6068 sizeof (uuid_cmd->uuid)) != 0)
6069 return false;
6070
6071 return true;
6072 }
6073
6074 /* Find a BFD in DSYM_FILENAME which matches ARCH and UUID_CMD.
6075 The caller is responsible for closing the returned BFD object and
6076 its my_archive if the returned BFD is in a fat dSYM. */
6077
6078 static bfd *
6079 bfd_mach_o_find_dsym (const char *dsym_filename,
6080 const bfd_mach_o_uuid_command *uuid_cmd,
6081 const bfd_arch_info_type *arch)
6082 {
6083 bfd *base_dsym_bfd, *dsym_bfd;
6084
6085 BFD_ASSERT (uuid_cmd);
6086
6087 base_dsym_bfd = bfd_openr (dsym_filename, NULL);
6088 if (base_dsym_bfd == NULL)
6089 return NULL;
6090
6091 dsym_bfd = bfd_mach_o_fat_extract (base_dsym_bfd, bfd_object, arch);
6092 if (bfd_mach_o_dsym_for_uuid_p (dsym_bfd, uuid_cmd))
6093 return dsym_bfd;
6094
6095 bfd_close (dsym_bfd);
6096 if (base_dsym_bfd != dsym_bfd)
6097 bfd_close (base_dsym_bfd);
6098
6099 return NULL;
6100 }
6101
6102 /* Return a BFD created from a dSYM file for ABFD.
6103 The caller is responsible for closing the returned BFD object, its
6104 filename, and its my_archive if the returned BFD is in a fat dSYM. */
6105
6106 static bfd *
6107 bfd_mach_o_follow_dsym (bfd *abfd)
6108 {
6109 char *dsym_filename;
6110 bfd_mach_o_uuid_command *uuid_cmd;
6111 bfd *dsym_bfd, *base_bfd = abfd;
6112 const char *base_basename;
6113
6114 if (abfd == NULL || bfd_get_flavour (abfd) != bfd_target_mach_o_flavour)
6115 return NULL;
6116
6117 if (abfd->my_archive && !bfd_is_thin_archive (abfd->my_archive))
6118 base_bfd = abfd->my_archive;
6119 /* BFD may have been opened from a stream. */
6120 if (bfd_get_filename (base_bfd) == NULL)
6121 {
6122 bfd_set_error (bfd_error_invalid_operation);
6123 return NULL;
6124 }
6125 base_basename = lbasename (bfd_get_filename (base_bfd));
6126
6127 uuid_cmd = bfd_mach_o_lookup_uuid_command (abfd);
6128 if (uuid_cmd == NULL)
6129 return NULL;
6130
6131 /* TODO: We assume the DWARF file has the same as the binary's.
6132 It seems apple's GDB checks all files in the dSYM bundle directory.
6133 http://opensource.apple.com/source/gdb/gdb-1708/src/gdb/macosx/macosx-tdep.c
6134 */
6135 dsym_filename = (char *)bfd_malloc (strlen (bfd_get_filename (base_bfd))
6136 + strlen (dsym_subdir) + 1
6137 + strlen (base_basename) + 1);
6138 if (dsym_filename == NULL)
6139 return NULL;
6140
6141 sprintf (dsym_filename, "%s%s/%s",
6142 bfd_get_filename (base_bfd), dsym_subdir, base_basename);
6143
6144 dsym_bfd = bfd_mach_o_find_dsym (dsym_filename, uuid_cmd,
6145 bfd_get_arch_info (abfd));
6146 if (dsym_bfd == NULL)
6147 free (dsym_filename);
6148
6149 return dsym_bfd;
6150 }
6151
6152 bool
6153 bfd_mach_o_find_nearest_line (bfd *abfd,
6154 asymbol **symbols,
6155 asection *section,
6156 bfd_vma offset,
6157 const char **filename_ptr,
6158 const char **functionname_ptr,
6159 unsigned int *line_ptr,
6160 unsigned int *discriminator_ptr)
6161 {
6162 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
6163 if (mdata == NULL)
6164 return false;
6165 switch (mdata->header.filetype)
6166 {
6167 case BFD_MACH_O_MH_OBJECT:
6168 break;
6169 case BFD_MACH_O_MH_EXECUTE:
6170 case BFD_MACH_O_MH_DYLIB:
6171 case BFD_MACH_O_MH_BUNDLE:
6172 case BFD_MACH_O_MH_KEXT_BUNDLE:
6173 if (mdata->dwarf2_find_line_info == NULL)
6174 {
6175 mdata->dsym_bfd = bfd_mach_o_follow_dsym (abfd);
6176 /* When we couldn't find dSYM for this binary, we look for
6177 the debug information in the binary itself. In this way,
6178 we won't try finding separated dSYM again because
6179 mdata->dwarf2_find_line_info will be filled. */
6180 if (! mdata->dsym_bfd)
6181 break;
6182 if (! _bfd_dwarf2_slurp_debug_info (abfd, mdata->dsym_bfd,
6183 dwarf_debug_sections, symbols,
6184 &mdata->dwarf2_find_line_info,
6185 false))
6186 return false;
6187 }
6188 break;
6189 default:
6190 return false;
6191 }
6192 return _bfd_dwarf2_find_nearest_line (abfd, symbols, NULL, section, offset,
6193 filename_ptr, functionname_ptr,
6194 line_ptr, discriminator_ptr,
6195 dwarf_debug_sections,
6196 &mdata->dwarf2_find_line_info);
6197 }
6198
6199 bool
6200 bfd_mach_o_close_and_cleanup (bfd *abfd)
6201 {
6202 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
6203 if (bfd_get_format (abfd) == bfd_object && mdata != NULL)
6204 {
6205 if (mdata->dsym_bfd != NULL)
6206 {
6207 bfd *fat_bfd = mdata->dsym_bfd->my_archive;
6208 #if 0
6209 /* FIXME: PR 19435: This calculation to find the memory allocated by
6210 bfd_mach_o_follow_dsym for the filename does not always end up
6211 selecting the correct pointer. Unfortunately this problem is
6212 very hard to reproduce on a non Mach-O native system, so until it
6213 can be traced and fixed on such a system, this code will remain
6214 commented out. This does mean that there will be a memory leak,
6215 but it is small, and happens when we are closing down, so it
6216 should not matter too much. */
6217 char *dsym_filename = (char *)(fat_bfd
6218 ? bfd_get_filename (fat_bfd)
6219 : bfd_get_filename (mdata->dsym_bfd));
6220 #endif
6221 bfd_close (mdata->dsym_bfd);
6222 mdata->dsym_bfd = NULL;
6223 if (fat_bfd)
6224 bfd_close (fat_bfd);
6225 #if 0
6226 free (dsym_filename);
6227 #endif
6228 }
6229 }
6230
6231 return _bfd_generic_close_and_cleanup (abfd);
6232 }
6233
6234 bool
6235 bfd_mach_o_bfd_free_cached_info (bfd *abfd)
6236 {
6237 bfd_mach_o_data_struct *mdata;
6238
6239 if ((bfd_get_format (abfd) == bfd_object
6240 || bfd_get_format (abfd) == bfd_core)
6241 && (mdata = bfd_mach_o_get_data (abfd)) != NULL)
6242 {
6243 _bfd_dwarf2_cleanup_debug_info (abfd, &mdata->dwarf2_find_line_info);
6244 free (mdata->dyn_reloc_cache);
6245 mdata->dyn_reloc_cache = NULL;
6246
6247 for (asection *asect = abfd->sections; asect; asect = asect->next)
6248 {
6249 free (asect->relocation);
6250 asect->relocation = NULL;
6251 }
6252 }
6253
6254 /* Do not call _bfd_generic_bfd_free_cached_info here.
6255 bfd_mach_o_close_and_cleanup uses tdata. */
6256 return true;
6257 }
6258
6259 #define bfd_mach_o_bfd_reloc_type_lookup _bfd_norelocs_bfd_reloc_type_lookup
6260 #define bfd_mach_o_bfd_reloc_name_lookup _bfd_norelocs_bfd_reloc_name_lookup
6261
6262 #define bfd_mach_o_canonicalize_one_reloc NULL
6263 #define bfd_mach_o_swap_reloc_out NULL
6264 #define bfd_mach_o_print_thread NULL
6265 #define bfd_mach_o_tgt_seg_table NULL
6266 #define bfd_mach_o_section_type_valid_for_tgt NULL
6267
6268 #define TARGET_NAME mach_o_be_vec
6269 #define TARGET_STRING "mach-o-be"
6270 #define TARGET_ARCHITECTURE bfd_arch_unknown
6271 #define TARGET_PAGESIZE 1
6272 #define TARGET_BIG_ENDIAN 1
6273 #define TARGET_ARCHIVE 0
6274 #define TARGET_PRIORITY 1
6275 #include "mach-o-target.c"
6276
6277 #undef TARGET_NAME
6278 #undef TARGET_STRING
6279 #undef TARGET_ARCHITECTURE
6280 #undef TARGET_PAGESIZE
6281 #undef TARGET_BIG_ENDIAN
6282 #undef TARGET_ARCHIVE
6283 #undef TARGET_PRIORITY
6284
6285 #define TARGET_NAME mach_o_le_vec
6286 #define TARGET_STRING "mach-o-le"
6287 #define TARGET_ARCHITECTURE bfd_arch_unknown
6288 #define TARGET_PAGESIZE 1
6289 #define TARGET_BIG_ENDIAN 0
6290 #define TARGET_ARCHIVE 0
6291 #define TARGET_PRIORITY 1
6292
6293 #include "mach-o-target.c"
6294
6295 #undef TARGET_NAME
6296 #undef TARGET_STRING
6297 #undef TARGET_ARCHITECTURE
6298 #undef TARGET_PAGESIZE
6299 #undef TARGET_BIG_ENDIAN
6300 #undef TARGET_ARCHIVE
6301 #undef TARGET_PRIORITY
6302
6303 /* Not yet handled: creating an archive. */
6304 #define bfd_mach_o_mkarchive _bfd_noarchive_mkarchive
6305
6306 #define bfd_mach_o_close_and_cleanup bfd_mach_o_fat_close_and_cleanup
6307
6308 /* Not used. */
6309 #define bfd_mach_o_generic_stat_arch_elt bfd_mach_o_fat_stat_arch_elt
6310 #define bfd_mach_o_openr_next_archived_file bfd_mach_o_fat_openr_next_archived_file
6311 #define bfd_mach_o_archive_p bfd_mach_o_fat_archive_p
6312
6313 #define TARGET_NAME mach_o_fat_vec
6314 #define TARGET_STRING "mach-o-fat"
6315 #define TARGET_ARCHITECTURE bfd_arch_unknown
6316 #define TARGET_PAGESIZE 1
6317 #define TARGET_BIG_ENDIAN 1
6318 #define TARGET_ARCHIVE 1
6319 #define TARGET_PRIORITY 0
6320
6321 #include "mach-o-target.c"
6322
6323 #undef TARGET_NAME
6324 #undef TARGET_STRING
6325 #undef TARGET_ARCHITECTURE
6326 #undef TARGET_PAGESIZE
6327 #undef TARGET_BIG_ENDIAN
6328 #undef TARGET_ARCHIVE
6329 #undef TARGET_PRIORITY
The GNU Binutils are a collection of binary tools.