LLVM 20.0.0git
MachOObjectFile.cpp
Go to the documentation of this file.
1//===- MachOObjectFile.cpp - Mach-O object file binding -------------------===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8//
9// This file defines the MachOObjectFile class, which binds the MachOObject
10// class to the generic ObjectFile wrapper.
11//
12//===----------------------------------------------------------------------===//
13
14#include "llvm/ADT/ArrayRef.h"
15#include "llvm/ADT/STLExtras.h"
17#include "llvm/ADT/StringRef.h"
19#include "llvm/ADT/Twine.h"
20#include "llvm/ADT/bit.h"
23#include "llvm/Object/Error.h"
24#include "llvm/Object/MachO.h"
28#include "llvm/Support/Debug.h"
29#include "llvm/Support/Errc.h"
30#include "llvm/Support/Error.h"
33#include "llvm/Support/Format.h"
34#include "llvm/Support/LEB128.h"
36#include "llvm/Support/Path.h"
41#include <algorithm>
42#include <cassert>
43#include <cstddef>
44#include <cstdint>
45#include <cstring>
46#include <limits>
47#include <list>
48#include <memory>
49#include <system_error>
50
51using namespace llvm;
52using namespace object;
53
54namespace {
55
56 struct section_base {
57 char sectname[16];
58 char segname[16];
59 };
60
61} // end anonymous namespace
62
63static Error malformedError(const Twine &Msg) {
64 return make_error<GenericBinaryError>("truncated or malformed object (" +
65 Msg + ")",
66 object_error::parse_failed);
67}
68
69// FIXME: Replace all uses of this function with getStructOrErr.
70template <typename T>
71static T getStruct(const MachOObjectFile &O, const char *P) {
72 // Don't read before the beginning or past the end of the file
73 if (P < O.getData().begin() || P + sizeof(T) > O.getData().end())
74 report_fatal_error("Malformed MachO file.");
75
76 T Cmd;
77 memcpy(&Cmd, P, sizeof(T));
78 if (O.isLittleEndian() != sys::IsLittleEndianHost)
80 return Cmd;
81}
82
83template <typename T>
84static Expected<T> getStructOrErr(const MachOObjectFile &O, const char *P) {
85 // Don't read before the beginning or past the end of the file
86 if (P < O.getData().begin() || P + sizeof(T) > O.getData().end())
87 return malformedError("Structure read out-of-range");
88
89 T Cmd;
90 memcpy(&Cmd, P, sizeof(T));
91 if (O.isLittleEndian() != sys::IsLittleEndianHost)
93 return Cmd;
94}
95
96static const char *
98 unsigned Sec) {
99 uintptr_t CommandAddr = reinterpret_cast<uintptr_t>(L.Ptr);
100
101 bool Is64 = O.is64Bit();
102 unsigned SegmentLoadSize = Is64 ? sizeof(MachO::segment_command_64) :
104 unsigned SectionSize = Is64 ? sizeof(MachO::section_64) :
105 sizeof(MachO::section);
106
107 uintptr_t SectionAddr = CommandAddr + SegmentLoadSize + Sec * SectionSize;
108 return reinterpret_cast<const char*>(SectionAddr);
109}
110
111static const char *getPtr(const MachOObjectFile &O, size_t Offset,
112 size_t MachOFilesetEntryOffset = 0) {
113 assert(Offset <= O.getData().size() &&
114 MachOFilesetEntryOffset <= O.getData().size());
115 return O.getData().data() + Offset + MachOFilesetEntryOffset;
116}
117
120 const char *P = reinterpret_cast<const char *>(DRI.p);
121 return getStruct<MachO::nlist_base>(O, P);
122}
123
125 if (P[15] == 0)
126 // Null terminated.
127 return P;
128 // Not null terminated, so this is a 16 char string.
129 return StringRef(P, 16);
130}
131
132static unsigned getCPUType(const MachOObjectFile &O) {
133 return O.getHeader().cputype;
134}
135
136static unsigned getCPUSubType(const MachOObjectFile &O) {
137 return O.getHeader().cpusubtype & ~MachO::CPU_SUBTYPE_MASK;
138}
139
140static uint32_t
142 return RE.r_word0;
143}
144
145static unsigned
147 return RE.r_word0 & 0xffffff;
148}
149
151 const MachO::any_relocation_info &RE) {
152 if (O.isLittleEndian())
153 return (RE.r_word1 >> 24) & 1;
154 return (RE.r_word1 >> 7) & 1;
155}
156
157static bool
159 return (RE.r_word0 >> 30) & 1;
160}
161
163 const MachO::any_relocation_info &RE) {
164 if (O.isLittleEndian())
165 return (RE.r_word1 >> 25) & 3;
166 return (RE.r_word1 >> 5) & 3;
167}
168
169static unsigned
171 return (RE.r_word0 >> 28) & 3;
172}
173
175 const MachO::any_relocation_info &RE) {
176 if (O.isLittleEndian())
177 return RE.r_word1 >> 28;
178 return RE.r_word1 & 0xf;
179}
180
182 DataRefImpl Sec) {
183 if (O.is64Bit()) {
184 MachO::section_64 Sect = O.getSection64(Sec);
185 return Sect.flags;
186 }
187 MachO::section Sect = O.getSection(Sec);
188 return Sect.flags;
189}
190
192getLoadCommandInfo(const MachOObjectFile &Obj, const char *Ptr,
193 uint32_t LoadCommandIndex) {
194 if (auto CmdOrErr = getStructOrErr<MachO::load_command>(Obj, Ptr)) {
195 if (CmdOrErr->cmdsize + Ptr > Obj.getData().end())
196 return malformedError("load command " + Twine(LoadCommandIndex) +
197 " extends past end of file");
198 if (CmdOrErr->cmdsize < 8)
199 return malformedError("load command " + Twine(LoadCommandIndex) +
200 " with size less than 8 bytes");
201 return MachOObjectFile::LoadCommandInfo({Ptr, *CmdOrErr});
202 } else
203 return CmdOrErr.takeError();
204}
205
208 unsigned HeaderSize = Obj.is64Bit() ? sizeof(MachO::mach_header_64)
209 : sizeof(MachO::mach_header);
210 if (sizeof(MachO::load_command) > Obj.getHeader().sizeofcmds)
211 return malformedError("load command 0 extends past the end all load "
212 "commands in the file");
213 return getLoadCommandInfo(
214 Obj, getPtr(Obj, HeaderSize, Obj.getMachOFilesetEntryOffset()), 0);
215}
216
220 unsigned HeaderSize = Obj.is64Bit() ? sizeof(MachO::mach_header_64)
221 : sizeof(MachO::mach_header);
222 if (L.Ptr + L.C.cmdsize + sizeof(MachO::load_command) >
223 Obj.getData().data() + Obj.getMachOFilesetEntryOffset() + HeaderSize +
224 Obj.getHeader().sizeofcmds)
225 return malformedError("load command " + Twine(LoadCommandIndex + 1) +
226 " extends past the end all load commands in the file");
227 return getLoadCommandInfo(Obj, L.Ptr + L.C.cmdsize, LoadCommandIndex + 1);
228}
229
230template <typename T>
231static void parseHeader(const MachOObjectFile &Obj, T &Header,
232 Error &Err) {
233 if (sizeof(T) > Obj.getData().size()) {
234 Err = malformedError("the mach header extends past the end of the "
235 "file");
236 return;
237 }
238 if (auto HeaderOrErr = getStructOrErr<T>(
239 Obj, getPtr(Obj, 0, Obj.getMachOFilesetEntryOffset())))
240 Header = *HeaderOrErr;
241 else
242 Err = HeaderOrErr.takeError();
243}
244
245// This is used to check for overlapping of Mach-O elements.
249 const char *Name;
250};
251
252static Error checkOverlappingElement(std::list<MachOElement> &Elements,
254 const char *Name) {
255 if (Size == 0)
256 return Error::success();
257
258 for (auto it = Elements.begin(); it != Elements.end(); ++it) {
259 const auto &E = *it;
260 if ((Offset >= E.Offset && Offset < E.Offset + E.Size) ||
261 (Offset + Size > E.Offset && Offset + Size < E.Offset + E.Size) ||
262 (Offset <= E.Offset && Offset + Size >= E.Offset + E.Size))
263 return malformedError(Twine(Name) + " at offset " + Twine(Offset) +
264 " with a size of " + Twine(Size) + ", overlaps " +
265 E.Name + " at offset " + Twine(E.Offset) + " with "
266 "a size of " + Twine(E.Size));
267 auto nt = it;
268 nt++;
269 if (nt != Elements.end()) {
270 const auto &N = *nt;
271 if (Offset + Size <= N.Offset) {
272 Elements.insert(nt, {Offset, Size, Name});
273 return Error::success();
274 }
275 }
276 }
277 Elements.push_back({Offset, Size, Name});
278 return Error::success();
279}
280
281// Parses LC_SEGMENT or LC_SEGMENT_64 load command, adds addresses of all
282// sections to \param Sections, and optionally sets
283// \param IsPageZeroSegment to true.
284template <typename Segment, typename Section>
287 SmallVectorImpl<const char *> &Sections, bool &IsPageZeroSegment,
288 uint32_t LoadCommandIndex, const char *CmdName, uint64_t SizeOfHeaders,
289 std::list<MachOElement> &Elements) {
290 const unsigned SegmentLoadSize = sizeof(Segment);
291 if (Load.C.cmdsize < SegmentLoadSize)
292 return malformedError("load command " + Twine(LoadCommandIndex) +
293 " " + CmdName + " cmdsize too small");
294 if (auto SegOrErr = getStructOrErr<Segment>(Obj, Load.Ptr)) {
295 Segment S = SegOrErr.get();
296 const unsigned SectionSize = sizeof(Section);
297 uint64_t FileSize = Obj.getData().size();
298 if (S.nsects > std::numeric_limits<uint32_t>::max() / SectionSize ||
299 S.nsects * SectionSize > Load.C.cmdsize - SegmentLoadSize)
300 return malformedError("load command " + Twine(LoadCommandIndex) +
301 " inconsistent cmdsize in " + CmdName +
302 " for the number of sections");
303 for (unsigned J = 0; J < S.nsects; ++J) {
304 const char *Sec = getSectionPtr(Obj, Load, J);
305 Sections.push_back(Sec);
306 auto SectionOrErr = getStructOrErr<Section>(Obj, Sec);
307 if (!SectionOrErr)
308 return SectionOrErr.takeError();
309 Section s = SectionOrErr.get();
312 s.flags != MachO::S_ZEROFILL &&
314 s.offset > FileSize)
315 return malformedError("offset field of section " + Twine(J) + " in " +
316 CmdName + " command " + Twine(LoadCommandIndex) +
317 " extends past the end of the file");
320 s.flags != MachO::S_ZEROFILL &&
321 s.flags != MachO::S_THREAD_LOCAL_ZEROFILL && S.fileoff == 0 &&
322 s.offset < SizeOfHeaders && s.size != 0)
323 return malformedError("offset field of section " + Twine(J) + " in " +
324 CmdName + " command " + Twine(LoadCommandIndex) +
325 " not past the headers of the file");
326 uint64_t BigSize = s.offset;
327 BigSize += s.size;
330 s.flags != MachO::S_ZEROFILL &&
332 BigSize > FileSize)
333 return malformedError("offset field plus size field of section " +
334 Twine(J) + " in " + CmdName + " command " +
335 Twine(LoadCommandIndex) +
336 " extends past the end of the file");
339 s.flags != MachO::S_ZEROFILL &&
341 s.size > S.filesize)
342 return malformedError("size field of section " +
343 Twine(J) + " in " + CmdName + " command " +
344 Twine(LoadCommandIndex) +
345 " greater than the segment");
347 Obj.getHeader().filetype != MachO::MH_DSYM && s.size != 0 &&
348 s.addr < S.vmaddr)
349 return malformedError("addr field of section " + Twine(J) + " in " +
350 CmdName + " command " + Twine(LoadCommandIndex) +
351 " less than the segment's vmaddr");
352 BigSize = s.addr;
353 BigSize += s.size;
354 uint64_t BigEnd = S.vmaddr;
355 BigEnd += S.vmsize;
356 if (S.vmsize != 0 && s.size != 0 && BigSize > BigEnd)
357 return malformedError("addr field plus size of section " + Twine(J) +
358 " in " + CmdName + " command " +
359 Twine(LoadCommandIndex) +
360 " greater than than "
361 "the segment's vmaddr plus vmsize");
364 s.flags != MachO::S_ZEROFILL &&
366 if (Error Err = checkOverlappingElement(Elements, s.offset, s.size,
367 "section contents"))
368 return Err;
369 if (s.reloff > FileSize)
370 return malformedError("reloff field of section " + Twine(J) + " in " +
371 CmdName + " command " + Twine(LoadCommandIndex) +
372 " extends past the end of the file");
373 BigSize = s.nreloc;
374 BigSize *= sizeof(struct MachO::relocation_info);
375 BigSize += s.reloff;
376 if (BigSize > FileSize)
377 return malformedError("reloff field plus nreloc field times sizeof("
378 "struct relocation_info) of section " +
379 Twine(J) + " in " + CmdName + " command " +
380 Twine(LoadCommandIndex) +
381 " extends past the end of the file");
382 if (Error Err = checkOverlappingElement(Elements, s.reloff, s.nreloc *
383 sizeof(struct
385 "section relocation entries"))
386 return Err;
387 }
388 if (S.fileoff > FileSize)
389 return malformedError("load command " + Twine(LoadCommandIndex) +
390 " fileoff field in " + CmdName +
391 " extends past the end of the file");
392 uint64_t BigSize = S.fileoff;
393 BigSize += S.filesize;
394 if (BigSize > FileSize)
395 return malformedError("load command " + Twine(LoadCommandIndex) +
396 " fileoff field plus filesize field in " +
397 CmdName + " extends past the end of the file");
398 if (S.vmsize != 0 && S.filesize > S.vmsize)
399 return malformedError("load command " + Twine(LoadCommandIndex) +
400 " filesize field in " + CmdName +
401 " greater than vmsize field");
402 IsPageZeroSegment |= StringRef("__PAGEZERO") == S.segname;
403 } else
404 return SegOrErr.takeError();
405
406 return Error::success();
407}
408
411 uint32_t LoadCommandIndex,
412 const char **SymtabLoadCmd,
413 std::list<MachOElement> &Elements) {
414 if (Load.C.cmdsize < sizeof(MachO::symtab_command))
415 return malformedError("load command " + Twine(LoadCommandIndex) +
416 " LC_SYMTAB cmdsize too small");
417 if (*SymtabLoadCmd != nullptr)
418 return malformedError("more than one LC_SYMTAB command");
419 auto SymtabOrErr = getStructOrErr<MachO::symtab_command>(Obj, Load.Ptr);
420 if (!SymtabOrErr)
421 return SymtabOrErr.takeError();
422 MachO::symtab_command Symtab = SymtabOrErr.get();
423 if (Symtab.cmdsize != sizeof(MachO::symtab_command))
424 return malformedError("LC_SYMTAB command " + Twine(LoadCommandIndex) +
425 " has incorrect cmdsize");
426 uint64_t FileSize = Obj.getData().size();
427 if (Symtab.symoff > FileSize)
428 return malformedError("symoff field of LC_SYMTAB command " +
429 Twine(LoadCommandIndex) + " extends past the end "
430 "of the file");
431 uint64_t SymtabSize = Symtab.nsyms;
432 const char *struct_nlist_name;
433 if (Obj.is64Bit()) {
434 SymtabSize *= sizeof(MachO::nlist_64);
435 struct_nlist_name = "struct nlist_64";
436 } else {
437 SymtabSize *= sizeof(MachO::nlist);
438 struct_nlist_name = "struct nlist";
439 }
440 uint64_t BigSize = SymtabSize;
441 BigSize += Symtab.symoff;
442 if (BigSize > FileSize)
443 return malformedError("symoff field plus nsyms field times sizeof(" +
444 Twine(struct_nlist_name) + ") of LC_SYMTAB command " +
445 Twine(LoadCommandIndex) + " extends past the end "
446 "of the file");
447 if (Error Err = checkOverlappingElement(Elements, Symtab.symoff, SymtabSize,
448 "symbol table"))
449 return Err;
450 if (Symtab.stroff > FileSize)
451 return malformedError("stroff field of LC_SYMTAB command " +
452 Twine(LoadCommandIndex) + " extends past the end "
453 "of the file");
454 BigSize = Symtab.stroff;
455 BigSize += Symtab.strsize;
456 if (BigSize > FileSize)
457 return malformedError("stroff field plus strsize field of LC_SYMTAB "
458 "command " + Twine(LoadCommandIndex) + " extends "
459 "past the end of the file");
460 if (Error Err = checkOverlappingElement(Elements, Symtab.stroff,
461 Symtab.strsize, "string table"))
462 return Err;
463 *SymtabLoadCmd = Load.Ptr;
464 return Error::success();
465}
466
469 uint32_t LoadCommandIndex,
470 const char **DysymtabLoadCmd,
471 std::list<MachOElement> &Elements) {
472 if (Load.C.cmdsize < sizeof(MachO::dysymtab_command))
473 return malformedError("load command " + Twine(LoadCommandIndex) +
474 " LC_DYSYMTAB cmdsize too small");
475 if (*DysymtabLoadCmd != nullptr)
476 return malformedError("more than one LC_DYSYMTAB command");
477 auto DysymtabOrErr =
478 getStructOrErr<MachO::dysymtab_command>(Obj, Load.Ptr);
479 if (!DysymtabOrErr)
480 return DysymtabOrErr.takeError();
481 MachO::dysymtab_command Dysymtab = DysymtabOrErr.get();
482 if (Dysymtab.cmdsize != sizeof(MachO::dysymtab_command))
483 return malformedError("LC_DYSYMTAB command " + Twine(LoadCommandIndex) +
484 " has incorrect cmdsize");
485 uint64_t FileSize = Obj.getData().size();
486 if (Dysymtab.tocoff > FileSize)
487 return malformedError("tocoff field of LC_DYSYMTAB command " +
488 Twine(LoadCommandIndex) + " extends past the end of "
489 "the file");
490 uint64_t BigSize = Dysymtab.ntoc;
491 BigSize *= sizeof(MachO::dylib_table_of_contents);
492 BigSize += Dysymtab.tocoff;
493 if (BigSize > FileSize)
494 return malformedError("tocoff field plus ntoc field times sizeof(struct "
495 "dylib_table_of_contents) of LC_DYSYMTAB command " +
496 Twine(LoadCommandIndex) + " extends past the end of "
497 "the file");
498 if (Error Err = checkOverlappingElement(Elements, Dysymtab.tocoff,
499 Dysymtab.ntoc * sizeof(struct
501 "table of contents"))
502 return Err;
503 if (Dysymtab.modtaboff > FileSize)
504 return malformedError("modtaboff field of LC_DYSYMTAB command " +
505 Twine(LoadCommandIndex) + " extends past the end of "
506 "the file");
507 BigSize = Dysymtab.nmodtab;
508 const char *struct_dylib_module_name;
509 uint64_t sizeof_modtab;
510 if (Obj.is64Bit()) {
511 sizeof_modtab = sizeof(MachO::dylib_module_64);
512 struct_dylib_module_name = "struct dylib_module_64";
513 } else {
514 sizeof_modtab = sizeof(MachO::dylib_module);
515 struct_dylib_module_name = "struct dylib_module";
516 }
517 BigSize *= sizeof_modtab;
518 BigSize += Dysymtab.modtaboff;
519 if (BigSize > FileSize)
520 return malformedError("modtaboff field plus nmodtab field times sizeof(" +
521 Twine(struct_dylib_module_name) + ") of LC_DYSYMTAB "
522 "command " + Twine(LoadCommandIndex) + " extends "
523 "past the end of the file");
524 if (Error Err = checkOverlappingElement(Elements, Dysymtab.modtaboff,
525 Dysymtab.nmodtab * sizeof_modtab,
526 "module table"))
527 return Err;
528 if (Dysymtab.extrefsymoff > FileSize)
529 return malformedError("extrefsymoff field of LC_DYSYMTAB command " +
530 Twine(LoadCommandIndex) + " extends past the end of "
531 "the file");
532 BigSize = Dysymtab.nextrefsyms;
533 BigSize *= sizeof(MachO::dylib_reference);
534 BigSize += Dysymtab.extrefsymoff;
535 if (BigSize > FileSize)
536 return malformedError("extrefsymoff field plus nextrefsyms field times "
537 "sizeof(struct dylib_reference) of LC_DYSYMTAB "
538 "command " + Twine(LoadCommandIndex) + " extends "
539 "past the end of the file");
540 if (Error Err = checkOverlappingElement(Elements, Dysymtab.extrefsymoff,
541 Dysymtab.nextrefsyms *
543 "reference table"))
544 return Err;
545 if (Dysymtab.indirectsymoff > FileSize)
546 return malformedError("indirectsymoff field of LC_DYSYMTAB command " +
547 Twine(LoadCommandIndex) + " extends past the end of "
548 "the file");
549 BigSize = Dysymtab.nindirectsyms;
550 BigSize *= sizeof(uint32_t);
551 BigSize += Dysymtab.indirectsymoff;
552 if (BigSize > FileSize)
553 return malformedError("indirectsymoff field plus nindirectsyms field times "
554 "sizeof(uint32_t) of LC_DYSYMTAB command " +
555 Twine(LoadCommandIndex) + " extends past the end of "
556 "the file");
557 if (Error Err = checkOverlappingElement(Elements, Dysymtab.indirectsymoff,
558 Dysymtab.nindirectsyms *
559 sizeof(uint32_t),
560 "indirect table"))
561 return Err;
562 if (Dysymtab.extreloff > FileSize)
563 return malformedError("extreloff field of LC_DYSYMTAB command " +
564 Twine(LoadCommandIndex) + " extends past the end of "
565 "the file");
566 BigSize = Dysymtab.nextrel;
567 BigSize *= sizeof(MachO::relocation_info);
568 BigSize += Dysymtab.extreloff;
569 if (BigSize > FileSize)
570 return malformedError("extreloff field plus nextrel field times sizeof"
571 "(struct relocation_info) of LC_DYSYMTAB command " +
572 Twine(LoadCommandIndex) + " extends past the end of "
573 "the file");
574 if (Error Err = checkOverlappingElement(Elements, Dysymtab.extreloff,
575 Dysymtab.nextrel *
577 "external relocation table"))
578 return Err;
579 if (Dysymtab.locreloff > FileSize)
580 return malformedError("locreloff field of LC_DYSYMTAB command " +
581 Twine(LoadCommandIndex) + " extends past the end of "
582 "the file");
583 BigSize = Dysymtab.nlocrel;
584 BigSize *= sizeof(MachO::relocation_info);
585 BigSize += Dysymtab.locreloff;
586 if (BigSize > FileSize)
587 return malformedError("locreloff field plus nlocrel field times sizeof"
588 "(struct relocation_info) of LC_DYSYMTAB command " +
589 Twine(LoadCommandIndex) + " extends past the end of "
590 "the file");
591 if (Error Err = checkOverlappingElement(Elements, Dysymtab.locreloff,
592 Dysymtab.nlocrel *
594 "local relocation table"))
595 return Err;
596 *DysymtabLoadCmd = Load.Ptr;
597 return Error::success();
598}
599
602 uint32_t LoadCommandIndex,
603 const char **LoadCmd, const char *CmdName,
604 std::list<MachOElement> &Elements,
605 const char *ElementName) {
606 if (Load.C.cmdsize < sizeof(MachO::linkedit_data_command))
607 return malformedError("load command " + Twine(LoadCommandIndex) + " " +
608 CmdName + " cmdsize too small");
609 if (*LoadCmd != nullptr)
610 return malformedError("more than one " + Twine(CmdName) + " command");
611 auto LinkDataOrError =
612 getStructOrErr<MachO::linkedit_data_command>(Obj, Load.Ptr);
613 if (!LinkDataOrError)
614 return LinkDataOrError.takeError();
615 MachO::linkedit_data_command LinkData = LinkDataOrError.get();
616 if (LinkData.cmdsize != sizeof(MachO::linkedit_data_command))
617 return malformedError(Twine(CmdName) + " command " +
618 Twine(LoadCommandIndex) + " has incorrect cmdsize");
619 uint64_t FileSize = Obj.getData().size();
620 if (LinkData.dataoff > FileSize)
621 return malformedError("dataoff field of " + Twine(CmdName) + " command " +
622 Twine(LoadCommandIndex) + " extends past the end of "
623 "the file");
624 uint64_t BigSize = LinkData.dataoff;
625 BigSize += LinkData.datasize;
626 if (BigSize > FileSize)
627 return malformedError("dataoff field plus datasize field of " +
628 Twine(CmdName) + " command " +
629 Twine(LoadCommandIndex) + " extends past the end of "
630 "the file");
631 if (Error Err = checkOverlappingElement(Elements, LinkData.dataoff,
632 LinkData.datasize, ElementName))
633 return Err;
634 *LoadCmd = Load.Ptr;
635 return Error::success();
636}
637
640 uint32_t LoadCommandIndex,
641 const char **LoadCmd, const char *CmdName,
642 std::list<MachOElement> &Elements) {
643 if (Load.C.cmdsize < sizeof(MachO::dyld_info_command))
644 return malformedError("load command " + Twine(LoadCommandIndex) + " " +
645 CmdName + " cmdsize too small");
646 if (*LoadCmd != nullptr)
647 return malformedError("more than one LC_DYLD_INFO and or LC_DYLD_INFO_ONLY "
648 "command");
649 auto DyldInfoOrErr =
650 getStructOrErr<MachO::dyld_info_command>(Obj, Load.Ptr);
651 if (!DyldInfoOrErr)
652 return DyldInfoOrErr.takeError();
653 MachO::dyld_info_command DyldInfo = DyldInfoOrErr.get();
654 if (DyldInfo.cmdsize != sizeof(MachO::dyld_info_command))
655 return malformedError(Twine(CmdName) + " command " +
656 Twine(LoadCommandIndex) + " has incorrect cmdsize");
657 uint64_t FileSize = Obj.getData().size();
658 if (DyldInfo.rebase_off > FileSize)
659 return malformedError("rebase_off field of " + Twine(CmdName) +
660 " command " + Twine(LoadCommandIndex) + " extends "
661 "past the end of the file");
662 uint64_t BigSize = DyldInfo.rebase_off;
663 BigSize += DyldInfo.rebase_size;
664 if (BigSize > FileSize)
665 return malformedError("rebase_off field plus rebase_size field of " +
666 Twine(CmdName) + " command " +
667 Twine(LoadCommandIndex) + " extends past the end of "
668 "the file");
669 if (Error Err = checkOverlappingElement(Elements, DyldInfo.rebase_off,
670 DyldInfo.rebase_size,
671 "dyld rebase info"))
672 return Err;
673 if (DyldInfo.bind_off > FileSize)
674 return malformedError("bind_off field of " + Twine(CmdName) +
675 " command " + Twine(LoadCommandIndex) + " extends "
676 "past the end of the file");
677 BigSize = DyldInfo.bind_off;
678 BigSize += DyldInfo.bind_size;
679 if (BigSize > FileSize)
680 return malformedError("bind_off field plus bind_size field of " +
681 Twine(CmdName) + " command " +
682 Twine(LoadCommandIndex) + " extends past the end of "
683 "the file");
684 if (Error Err = checkOverlappingElement(Elements, DyldInfo.bind_off,
685 DyldInfo.bind_size,
686 "dyld bind info"))
687 return Err;
688 if (DyldInfo.weak_bind_off > FileSize)
689 return malformedError("weak_bind_off field of " + Twine(CmdName) +
690 " command " + Twine(LoadCommandIndex) + " extends "
691 "past the end of the file");
692 BigSize = DyldInfo.weak_bind_off;
693 BigSize += DyldInfo.weak_bind_size;
694 if (BigSize > FileSize)
695 return malformedError("weak_bind_off field plus weak_bind_size field of " +
696 Twine(CmdName) + " command " +
697 Twine(LoadCommandIndex) + " extends past the end of "
698 "the file");
699 if (Error Err = checkOverlappingElement(Elements, DyldInfo.weak_bind_off,
700 DyldInfo.weak_bind_size,
701 "dyld weak bind info"))
702 return Err;
703 if (DyldInfo.lazy_bind_off > FileSize)
704 return malformedError("lazy_bind_off field of " + Twine(CmdName) +
705 " command " + Twine(LoadCommandIndex) + " extends "
706 "past the end of the file");
707 BigSize = DyldInfo.lazy_bind_off;
708 BigSize += DyldInfo.lazy_bind_size;
709 if (BigSize > FileSize)
710 return malformedError("lazy_bind_off field plus lazy_bind_size field of " +
711 Twine(CmdName) + " command " +
712 Twine(LoadCommandIndex) + " extends past the end of "
713 "the file");
714 if (Error Err = checkOverlappingElement(Elements, DyldInfo.lazy_bind_off,
715 DyldInfo.lazy_bind_size,
716 "dyld lazy bind info"))
717 return Err;
718 if (DyldInfo.export_off > FileSize)
719 return malformedError("export_off field of " + Twine(CmdName) +
720 " command " + Twine(LoadCommandIndex) + " extends "
721 "past the end of the file");
722 BigSize = DyldInfo.export_off;
723 BigSize += DyldInfo.export_size;
724 if (BigSize > FileSize)
725 return malformedError("export_off field plus export_size field of " +
726 Twine(CmdName) + " command " +
727 Twine(LoadCommandIndex) + " extends past the end of "
728 "the file");
729 if (Error Err = checkOverlappingElement(Elements, DyldInfo.export_off,
730 DyldInfo.export_size,
731 "dyld export info"))
732 return Err;
733 *LoadCmd = Load.Ptr;
734 return Error::success();
735}
736
739 uint32_t LoadCommandIndex, const char *CmdName) {
740 if (Load.C.cmdsize < sizeof(MachO::dylib_command))
741 return malformedError("load command " + Twine(LoadCommandIndex) + " " +
742 CmdName + " cmdsize too small");
743 auto CommandOrErr = getStructOrErr<MachO::dylib_command>(Obj, Load.Ptr);
744 if (!CommandOrErr)
745 return CommandOrErr.takeError();
746 MachO::dylib_command D = CommandOrErr.get();
747 if (D.dylib.name < sizeof(MachO::dylib_command))
748 return malformedError("load command " + Twine(LoadCommandIndex) + " " +
749 CmdName + " name.offset field too small, not past "
750 "the end of the dylib_command struct");
751 if (D.dylib.name >= D.cmdsize)
752 return malformedError("load command " + Twine(LoadCommandIndex) + " " +
753 CmdName + " name.offset field extends past the end "
754 "of the load command");
755 // Make sure there is a null between the starting offset of the name and
756 // the end of the load command.
757 uint32_t i;
758 const char *P = (const char *)Load.Ptr;
759 for (i = D.dylib.name; i < D.cmdsize; i++)
760 if (P[i] == '\0')
761 break;
762 if (i >= D.cmdsize)
763 return malformedError("load command " + Twine(LoadCommandIndex) + " " +
764 CmdName + " library name extends past the end of the "
765 "load command");
766 return Error::success();
767}
768
771 uint32_t LoadCommandIndex,
772 const char **LoadCmd) {
773 if (Error Err = checkDylibCommand(Obj, Load, LoadCommandIndex,
774 "LC_ID_DYLIB"))
775 return Err;
776 if (*LoadCmd != nullptr)
777 return malformedError("more than one LC_ID_DYLIB command");
778 if (Obj.getHeader().filetype != MachO::MH_DYLIB &&
780 return malformedError("LC_ID_DYLIB load command in non-dynamic library "
781 "file type");
782 *LoadCmd = Load.Ptr;
783 return Error::success();
784}
785
788 uint32_t LoadCommandIndex, const char *CmdName) {
789 if (Load.C.cmdsize < sizeof(MachO::dylinker_command))
790 return malformedError("load command " + Twine(LoadCommandIndex) + " " +
791 CmdName + " cmdsize too small");
792 auto CommandOrErr = getStructOrErr<MachO::dylinker_command>(Obj, Load.Ptr);
793 if (!CommandOrErr)
794 return CommandOrErr.takeError();
795 MachO::dylinker_command D = CommandOrErr.get();
796 if (D.name < sizeof(MachO::dylinker_command))
797 return malformedError("load command " + Twine(LoadCommandIndex) + " " +
798 CmdName + " name.offset field too small, not past "
799 "the end of the dylinker_command struct");
800 if (D.name >= D.cmdsize)
801 return malformedError("load command " + Twine(LoadCommandIndex) + " " +
802 CmdName + " name.offset field extends past the end "
803 "of the load command");
804 // Make sure there is a null between the starting offset of the name and
805 // the end of the load command.
806 uint32_t i;
807 const char *P = (const char *)Load.Ptr;
808 for (i = D.name; i < D.cmdsize; i++)
809 if (P[i] == '\0')
810 break;
811 if (i >= D.cmdsize)
812 return malformedError("load command " + Twine(LoadCommandIndex) + " " +
813 CmdName + " dyld name extends past the end of the "
814 "load command");
815 return Error::success();
816}
817
820 uint32_t LoadCommandIndex,
821 const char **LoadCmd, const char *CmdName) {
822 if (Load.C.cmdsize != sizeof(MachO::version_min_command))
823 return malformedError("load command " + Twine(LoadCommandIndex) + " " +
824 CmdName + " has incorrect cmdsize");
825 if (*LoadCmd != nullptr)
826 return malformedError("more than one LC_VERSION_MIN_MACOSX, "
827 "LC_VERSION_MIN_IPHONEOS, LC_VERSION_MIN_TVOS or "
828 "LC_VERSION_MIN_WATCHOS command");
829 *LoadCmd = Load.Ptr;
830 return Error::success();
831}
832
835 uint32_t LoadCommandIndex,
836 std::list<MachOElement> &Elements) {
837 if (Load.C.cmdsize != sizeof(MachO::note_command))
838 return malformedError("load command " + Twine(LoadCommandIndex) +
839 " LC_NOTE has incorrect cmdsize");
840 auto NoteCmdOrErr = getStructOrErr<MachO::note_command>(Obj, Load.Ptr);
841 if (!NoteCmdOrErr)
842 return NoteCmdOrErr.takeError();
843 MachO::note_command Nt = NoteCmdOrErr.get();
844 uint64_t FileSize = Obj.getData().size();
845 if (Nt.offset > FileSize)
846 return malformedError("offset field of LC_NOTE command " +
847 Twine(LoadCommandIndex) + " extends "
848 "past the end of the file");
849 uint64_t BigSize = Nt.offset;
850 BigSize += Nt.size;
851 if (BigSize > FileSize)
852 return malformedError("size field plus offset field of LC_NOTE command " +
853 Twine(LoadCommandIndex) + " extends past the end of "
854 "the file");
855 if (Error Err = checkOverlappingElement(Elements, Nt.offset, Nt.size,
856 "LC_NOTE data"))
857 return Err;
858 return Error::success();
859}
860
861static Error
865 uint32_t LoadCommandIndex) {
866 auto BVCOrErr =
867 getStructOrErr<MachO::build_version_command>(Obj, Load.Ptr);
868 if (!BVCOrErr)
869 return BVCOrErr.takeError();
870 MachO::build_version_command BVC = BVCOrErr.get();
871 if (Load.C.cmdsize !=
873 BVC.ntools * sizeof(MachO::build_tool_version))
874 return malformedError("load command " + Twine(LoadCommandIndex) +
875 " LC_BUILD_VERSION_COMMAND has incorrect cmdsize");
876
877 auto Start = Load.Ptr + sizeof(MachO::build_version_command);
878 BuildTools.resize(BVC.ntools);
879 for (unsigned i = 0; i < BVC.ntools; ++i)
880 BuildTools[i] = Start + i * sizeof(MachO::build_tool_version);
881
882 return Error::success();
883}
884
887 uint32_t LoadCommandIndex) {
888 if (Load.C.cmdsize < sizeof(MachO::rpath_command))
889 return malformedError("load command " + Twine(LoadCommandIndex) +
890 " LC_RPATH cmdsize too small");
891 auto ROrErr = getStructOrErr<MachO::rpath_command>(Obj, Load.Ptr);
892 if (!ROrErr)
893 return ROrErr.takeError();
894 MachO::rpath_command R = ROrErr.get();
895 if (R.path < sizeof(MachO::rpath_command))
896 return malformedError("load command " + Twine(LoadCommandIndex) +
897 " LC_RPATH path.offset field too small, not past "
898 "the end of the rpath_command struct");
899 if (R.path >= R.cmdsize)
900 return malformedError("load command " + Twine(LoadCommandIndex) +
901 " LC_RPATH path.offset field extends past the end "
902 "of the load command");
903 // Make sure there is a null between the starting offset of the path and
904 // the end of the load command.
905 uint32_t i;
906 const char *P = (const char *)Load.Ptr;
907 for (i = R.path; i < R.cmdsize; i++)
908 if (P[i] == '\0')
909 break;
910 if (i >= R.cmdsize)
911 return malformedError("load command " + Twine(LoadCommandIndex) +
912 " LC_RPATH library name extends past the end of the "
913 "load command");
914 return Error::success();
915}
916
919 uint32_t LoadCommandIndex,
920 uint64_t cryptoff, uint64_t cryptsize,
921 const char **LoadCmd, const char *CmdName) {
922 if (*LoadCmd != nullptr)
923 return malformedError("more than one LC_ENCRYPTION_INFO and or "
924 "LC_ENCRYPTION_INFO_64 command");
925 uint64_t FileSize = Obj.getData().size();
926 if (cryptoff > FileSize)
927 return malformedError("cryptoff field of " + Twine(CmdName) +
928 " command " + Twine(LoadCommandIndex) + " extends "
929 "past the end of the file");
930 uint64_t BigSize = cryptoff;
931 BigSize += cryptsize;
932 if (BigSize > FileSize)
933 return malformedError("cryptoff field plus cryptsize field of " +
934 Twine(CmdName) + " command " +
935 Twine(LoadCommandIndex) + " extends past the end of "
936 "the file");
937 *LoadCmd = Load.Ptr;
938 return Error::success();
939}
940
943 uint32_t LoadCommandIndex) {
944 if (Load.C.cmdsize < sizeof(MachO::linker_option_command))
945 return malformedError("load command " + Twine(LoadCommandIndex) +
946 " LC_LINKER_OPTION cmdsize too small");
947 auto LinkOptionOrErr =
948 getStructOrErr<MachO::linker_option_command>(Obj, Load.Ptr);
949 if (!LinkOptionOrErr)
950 return LinkOptionOrErr.takeError();
951 MachO::linker_option_command L = LinkOptionOrErr.get();
952 // Make sure the count of strings is correct.
953 const char *string = (const char *)Load.Ptr +
954 sizeof(struct MachO::linker_option_command);
955 uint32_t left = L.cmdsize - sizeof(struct MachO::linker_option_command);
956 uint32_t i = 0;
957 while (left > 0) {
958 while (*string == '\0' && left > 0) {
959 string++;
960 left--;
961 }
962 if (left > 0) {
963 i++;
964 uint32_t NullPos = StringRef(string, left).find('\0');
965 if (0xffffffff == NullPos)
966 return malformedError("load command " + Twine(LoadCommandIndex) +
967 " LC_LINKER_OPTION string #" + Twine(i) +
968 " is not NULL terminated");
969 uint32_t len = std::min(NullPos, left) + 1;
970 string += len;
971 left -= len;
972 }
973 }
974 if (L.count != i)
975 return malformedError("load command " + Twine(LoadCommandIndex) +
976 " LC_LINKER_OPTION string count " + Twine(L.count) +
977 " does not match number of strings");
978 return Error::success();
979}
980
983 uint32_t LoadCommandIndex, const char *CmdName,
984 size_t SizeOfCmd, const char *CmdStructName,
985 uint32_t PathOffset, const char *PathFieldName) {
986 if (PathOffset < SizeOfCmd)
987 return malformedError("load command " + Twine(LoadCommandIndex) + " " +
988 CmdName + " " + PathFieldName + ".offset field too "
989 "small, not past the end of the " + CmdStructName);
990 if (PathOffset >= Load.C.cmdsize)
991 return malformedError("load command " + Twine(LoadCommandIndex) + " " +
992 CmdName + " " + PathFieldName + ".offset field "
993 "extends past the end of the load command");
994 // Make sure there is a null between the starting offset of the path and
995 // the end of the load command.
996 uint32_t i;
997 const char *P = (const char *)Load.Ptr;
998 for (i = PathOffset; i < Load.C.cmdsize; i++)
999 if (P[i] == '\0')
1000 break;
1001 if (i >= Load.C.cmdsize)
1002 return malformedError("load command " + Twine(LoadCommandIndex) + " " +
1003 CmdName + " " + PathFieldName + " name extends past "
1004 "the end of the load command");
1005 return Error::success();
1006}
1007
1010 uint32_t LoadCommandIndex,
1011 const char *CmdName) {
1012 if (Load.C.cmdsize < sizeof(MachO::thread_command))
1013 return malformedError("load command " + Twine(LoadCommandIndex) +
1014 CmdName + " cmdsize too small");
1015 auto ThreadCommandOrErr =
1016 getStructOrErr<MachO::thread_command>(Obj, Load.Ptr);
1017 if (!ThreadCommandOrErr)
1018 return ThreadCommandOrErr.takeError();
1019 MachO::thread_command T = ThreadCommandOrErr.get();
1020 const char *state = Load.Ptr + sizeof(MachO::thread_command);
1021 const char *end = Load.Ptr + T.cmdsize;
1022 uint32_t nflavor = 0;
1023 uint32_t cputype = getCPUType(Obj);
1024 while (state < end) {
1025 if(state + sizeof(uint32_t) > end)
1026 return malformedError("load command " + Twine(LoadCommandIndex) +
1027 "flavor in " + CmdName + " extends past end of "
1028 "command");
1029 uint32_t flavor;
1030 memcpy(&flavor, state, sizeof(uint32_t));
1032 sys::swapByteOrder(flavor);
1033 state += sizeof(uint32_t);
1034
1035 if(state + sizeof(uint32_t) > end)
1036 return malformedError("load command " + Twine(LoadCommandIndex) +
1037 " count in " + CmdName + " extends past end of "
1038 "command");
1040 memcpy(&count, state, sizeof(uint32_t));
1043 state += sizeof(uint32_t);
1044
1045 if (cputype == MachO::CPU_TYPE_I386) {
1046 if (flavor == MachO::x86_THREAD_STATE32) {
1048 return malformedError("load command " + Twine(LoadCommandIndex) +
1049 " count not x86_THREAD_STATE32_COUNT for "
1050 "flavor number " + Twine(nflavor) + " which is "
1051 "a x86_THREAD_STATE32 flavor in " + CmdName +
1052 " command");
1053 if (state + sizeof(MachO::x86_thread_state32_t) > end)
1054 return malformedError("load command " + Twine(LoadCommandIndex) +
1055 " x86_THREAD_STATE32 extends past end of "
1056 "command in " + CmdName + " command");
1057 state += sizeof(MachO::x86_thread_state32_t);
1058 } else {
1059 return malformedError("load command " + Twine(LoadCommandIndex) +
1060 " unknown flavor (" + Twine(flavor) + ") for "
1061 "flavor number " + Twine(nflavor) + " in " +
1062 CmdName + " command");
1063 }
1064 } else if (cputype == MachO::CPU_TYPE_X86_64) {
1065 if (flavor == MachO::x86_THREAD_STATE) {
1067 return malformedError("load command " + Twine(LoadCommandIndex) +
1068 " count not x86_THREAD_STATE_COUNT for "
1069 "flavor number " + Twine(nflavor) + " which is "
1070 "a x86_THREAD_STATE flavor in " + CmdName +
1071 " command");
1072 if (state + sizeof(MachO::x86_thread_state_t) > end)
1073 return malformedError("load command " + Twine(LoadCommandIndex) +
1074 " x86_THREAD_STATE extends past end of "
1075 "command in " + CmdName + " command");
1076 state += sizeof(MachO::x86_thread_state_t);
1077 } else if (flavor == MachO::x86_FLOAT_STATE) {
1079 return malformedError("load command " + Twine(LoadCommandIndex) +
1080 " count not x86_FLOAT_STATE_COUNT for "
1081 "flavor number " + Twine(nflavor) + " which is "
1082 "a x86_FLOAT_STATE flavor in " + CmdName +
1083 " command");
1084 if (state + sizeof(MachO::x86_float_state_t) > end)
1085 return malformedError("load command " + Twine(LoadCommandIndex) +
1086 " x86_FLOAT_STATE extends past end of "
1087 "command in " + CmdName + " command");
1088 state += sizeof(MachO::x86_float_state_t);
1089 } else if (flavor == MachO::x86_EXCEPTION_STATE) {
1091 return malformedError("load command " + Twine(LoadCommandIndex) +
1092 " count not x86_EXCEPTION_STATE_COUNT for "
1093 "flavor number " + Twine(nflavor) + " which is "
1094 "a x86_EXCEPTION_STATE flavor in " + CmdName +
1095 " command");
1096 if (state + sizeof(MachO::x86_exception_state_t) > end)
1097 return malformedError("load command " + Twine(LoadCommandIndex) +
1098 " x86_EXCEPTION_STATE extends past end of "
1099 "command in " + CmdName + " command");
1100 state += sizeof(MachO::x86_exception_state_t);
1101 } else if (flavor == MachO::x86_THREAD_STATE64) {
1103 return malformedError("load command " + Twine(LoadCommandIndex) +
1104 " count not x86_THREAD_STATE64_COUNT for "
1105 "flavor number " + Twine(nflavor) + " which is "
1106 "a x86_THREAD_STATE64 flavor in " + CmdName +
1107 " command");
1108 if (state + sizeof(MachO::x86_thread_state64_t) > end)
1109 return malformedError("load command " + Twine(LoadCommandIndex) +
1110 " x86_THREAD_STATE64 extends past end of "
1111 "command in " + CmdName + " command");
1112 state += sizeof(MachO::x86_thread_state64_t);
1113 } else if (flavor == MachO::x86_EXCEPTION_STATE64) {
1115 return malformedError("load command " + Twine(LoadCommandIndex) +
1116 " count not x86_EXCEPTION_STATE64_COUNT for "
1117 "flavor number " + Twine(nflavor) + " which is "
1118 "a x86_EXCEPTION_STATE64 flavor in " + CmdName +
1119 " command");
1120 if (state + sizeof(MachO::x86_exception_state64_t) > end)
1121 return malformedError("load command " + Twine(LoadCommandIndex) +
1122 " x86_EXCEPTION_STATE64 extends past end of "
1123 "command in " + CmdName + " command");
1124 state += sizeof(MachO::x86_exception_state64_t);
1125 } else {
1126 return malformedError("load command " + Twine(LoadCommandIndex) +
1127 " unknown flavor (" + Twine(flavor) + ") for "
1128 "flavor number " + Twine(nflavor) + " in " +
1129 CmdName + " command");
1130 }
1131 } else if (cputype == MachO::CPU_TYPE_ARM) {
1132 if (flavor == MachO::ARM_THREAD_STATE) {
1134 return malformedError("load command " + Twine(LoadCommandIndex) +
1135 " count not ARM_THREAD_STATE_COUNT for "
1136 "flavor number " + Twine(nflavor) + " which is "
1137 "a ARM_THREAD_STATE flavor in " + CmdName +
1138 " command");
1139 if (state + sizeof(MachO::arm_thread_state32_t) > end)
1140 return malformedError("load command " + Twine(LoadCommandIndex) +
1141 " ARM_THREAD_STATE extends past end of "
1142 "command in " + CmdName + " command");
1143 state += sizeof(MachO::arm_thread_state32_t);
1144 } else {
1145 return malformedError("load command " + Twine(LoadCommandIndex) +
1146 " unknown flavor (" + Twine(flavor) + ") for "
1147 "flavor number " + Twine(nflavor) + " in " +
1148 CmdName + " command");
1149 }
1150 } else if (cputype == MachO::CPU_TYPE_ARM64 ||
1151 cputype == MachO::CPU_TYPE_ARM64_32) {
1152 if (flavor == MachO::ARM_THREAD_STATE64) {
1154 return malformedError("load command " + Twine(LoadCommandIndex) +
1155 " count not ARM_THREAD_STATE64_COUNT for "
1156 "flavor number " + Twine(nflavor) + " which is "
1157 "a ARM_THREAD_STATE64 flavor in " + CmdName +
1158 " command");
1159 if (state + sizeof(MachO::arm_thread_state64_t) > end)
1160 return malformedError("load command " + Twine(LoadCommandIndex) +
1161 " ARM_THREAD_STATE64 extends past end of "
1162 "command in " + CmdName + " command");
1163 state += sizeof(MachO::arm_thread_state64_t);
1164 } else {
1165 return malformedError("load command " + Twine(LoadCommandIndex) +
1166 " unknown flavor (" + Twine(flavor) + ") for "
1167 "flavor number " + Twine(nflavor) + " in " +
1168 CmdName + " command");
1169 }
1170 } else if (cputype == MachO::CPU_TYPE_POWERPC) {
1171 if (flavor == MachO::PPC_THREAD_STATE) {
1173 return malformedError("load command " + Twine(LoadCommandIndex) +
1174 " count not PPC_THREAD_STATE_COUNT for "
1175 "flavor number " + Twine(nflavor) + " which is "
1176 "a PPC_THREAD_STATE flavor in " + CmdName +
1177 " command");
1178 if (state + sizeof(MachO::ppc_thread_state32_t) > end)
1179 return malformedError("load command " + Twine(LoadCommandIndex) +
1180 " PPC_THREAD_STATE extends past end of "
1181 "command in " + CmdName + " command");
1182 state += sizeof(MachO::ppc_thread_state32_t);
1183 } else {
1184 return malformedError("load command " + Twine(LoadCommandIndex) +
1185 " unknown flavor (" + Twine(flavor) + ") for "
1186 "flavor number " + Twine(nflavor) + " in " +
1187 CmdName + " command");
1188 }
1189 } else {
1190 return malformedError("unknown cputype (" + Twine(cputype) + ") load "
1191 "command " + Twine(LoadCommandIndex) + " for " +
1192 CmdName + " command can't be checked");
1193 }
1194 nflavor++;
1195 }
1196 return Error::success();
1197}
1198
1201 &Load,
1202 uint32_t LoadCommandIndex,
1203 const char **LoadCmd,
1204 std::list<MachOElement> &Elements) {
1205 if (Load.C.cmdsize != sizeof(MachO::twolevel_hints_command))
1206 return malformedError("load command " + Twine(LoadCommandIndex) +
1207 " LC_TWOLEVEL_HINTS has incorrect cmdsize");
1208 if (*LoadCmd != nullptr)
1209 return malformedError("more than one LC_TWOLEVEL_HINTS command");
1210 auto HintsOrErr = getStructOrErr<MachO::twolevel_hints_command>(Obj, Load.Ptr);
1211 if(!HintsOrErr)
1212 return HintsOrErr.takeError();
1213 MachO::twolevel_hints_command Hints = HintsOrErr.get();
1214 uint64_t FileSize = Obj.getData().size();
1215 if (Hints.offset > FileSize)
1216 return malformedError("offset field of LC_TWOLEVEL_HINTS command " +
1217 Twine(LoadCommandIndex) + " extends past the end of "
1218 "the file");
1219 uint64_t BigSize = Hints.nhints;
1220 BigSize *= sizeof(MachO::twolevel_hint);
1221 BigSize += Hints.offset;
1222 if (BigSize > FileSize)
1223 return malformedError("offset field plus nhints times sizeof(struct "
1224 "twolevel_hint) field of LC_TWOLEVEL_HINTS command " +
1225 Twine(LoadCommandIndex) + " extends past the end of "
1226 "the file");
1227 if (Error Err = checkOverlappingElement(Elements, Hints.offset, Hints.nhints *
1228 sizeof(MachO::twolevel_hint),
1229 "two level hints"))
1230 return Err;
1231 *LoadCmd = Load.Ptr;
1232 return Error::success();
1233}
1234
1235// Returns true if the libObject code does not support the load command and its
1236// contents. The cmd value it is treated as an unknown load command but with
1237// an error message that says the cmd value is obsolete.
1239 if (cmd == MachO::LC_SYMSEG ||
1240 cmd == MachO::LC_LOADFVMLIB ||
1241 cmd == MachO::LC_IDFVMLIB ||
1242 cmd == MachO::LC_IDENT ||
1243 cmd == MachO::LC_FVMFILE ||
1244 cmd == MachO::LC_PREPAGE ||
1245 cmd == MachO::LC_PREBOUND_DYLIB ||
1246 cmd == MachO::LC_TWOLEVEL_HINTS ||
1247 cmd == MachO::LC_PREBIND_CKSUM)
1248 return true;
1249 return false;
1250}
1251
1253MachOObjectFile::create(MemoryBufferRef Object, bool IsLittleEndian,
1254 bool Is64Bits, uint32_t UniversalCputype,
1255 uint32_t UniversalIndex,
1256 size_t MachOFilesetEntryOffset) {
1257 Error Err = Error::success();
1258 std::unique_ptr<MachOObjectFile> Obj(new MachOObjectFile(
1259 std::move(Object), IsLittleEndian, Is64Bits, Err, UniversalCputype,
1260 UniversalIndex, MachOFilesetEntryOffset));
1261 if (Err)
1262 return std::move(Err);
1263 return std::move(Obj);
1264}
1265
1266MachOObjectFile::MachOObjectFile(MemoryBufferRef Object, bool IsLittleEndian,
1267 bool Is64bits, Error &Err,
1268 uint32_t UniversalCputype,
1269 uint32_t UniversalIndex,
1270 size_t MachOFilesetEntryOffset)
1271 : ObjectFile(getMachOType(IsLittleEndian, Is64bits), Object),
1272 MachOFilesetEntryOffset(MachOFilesetEntryOffset) {
1273 ErrorAsOutParameter ErrAsOutParam(Err);
1274 uint64_t SizeOfHeaders;
1275 uint32_t cputype;
1276 if (is64Bit()) {
1277 parseHeader(*this, Header64, Err);
1278 SizeOfHeaders = sizeof(MachO::mach_header_64);
1279 cputype = Header64.cputype;
1280 } else {
1281 parseHeader(*this, Header, Err);
1282 SizeOfHeaders = sizeof(MachO::mach_header);
1283 cputype = Header.cputype;
1284 }
1285 if (Err)
1286 return;
1287 SizeOfHeaders += getHeader().sizeofcmds;
1288 if (getData().data() + SizeOfHeaders > getData().end()) {
1289 Err = malformedError("load commands extend past the end of the file");
1290 return;
1291 }
1292 if (UniversalCputype != 0 && cputype != UniversalCputype) {
1293 Err = malformedError("universal header architecture: " +
1294 Twine(UniversalIndex) + "'s cputype does not match "
1295 "object file's mach header");
1296 return;
1297 }
1298 std::list<MachOElement> Elements;
1299 Elements.push_back({0, SizeOfHeaders, "Mach-O headers"});
1300
1301 uint32_t LoadCommandCount = getHeader().ncmds;
1302 LoadCommandInfo Load;
1303 if (LoadCommandCount != 0) {
1304 if (auto LoadOrErr = getFirstLoadCommandInfo(*this))
1305 Load = *LoadOrErr;
1306 else {
1307 Err = LoadOrErr.takeError();
1308 return;
1309 }
1310 }
1311
1312 const char *DyldIdLoadCmd = nullptr;
1313 const char *SplitInfoLoadCmd = nullptr;
1314 const char *CodeSignDrsLoadCmd = nullptr;
1315 const char *CodeSignLoadCmd = nullptr;
1316 const char *VersLoadCmd = nullptr;
1317 const char *SourceLoadCmd = nullptr;
1318 const char *EntryPointLoadCmd = nullptr;
1319 const char *EncryptLoadCmd = nullptr;
1320 const char *RoutinesLoadCmd = nullptr;
1321 const char *UnixThreadLoadCmd = nullptr;
1322 const char *TwoLevelHintsLoadCmd = nullptr;
1323 for (unsigned I = 0; I < LoadCommandCount; ++I) {
1324 if (is64Bit()) {
1325 if (Load.C.cmdsize % 8 != 0) {
1326 // We have a hack here to allow 64-bit Mach-O core files to have
1327 // LC_THREAD commands that are only a multiple of 4 and not 8 to be
1328 // allowed since the macOS kernel produces them.
1329 if (getHeader().filetype != MachO::MH_CORE ||
1330 Load.C.cmd != MachO::LC_THREAD || Load.C.cmdsize % 4) {
1331 Err = malformedError("load command " + Twine(I) + " cmdsize not a "
1332 "multiple of 8");
1333 return;
1334 }
1335 }
1336 } else {
1337 if (Load.C.cmdsize % 4 != 0) {
1338 Err = malformedError("load command " + Twine(I) + " cmdsize not a "
1339 "multiple of 4");
1340 return;
1341 }
1342 }
1343 LoadCommands.push_back(Load);
1344 if (Load.C.cmd == MachO::LC_SYMTAB) {
1345 if ((Err = checkSymtabCommand(*this, Load, I, &SymtabLoadCmd, Elements)))
1346 return;
1347 } else if (Load.C.cmd == MachO::LC_DYSYMTAB) {
1348 if ((Err = checkDysymtabCommand(*this, Load, I, &DysymtabLoadCmd,
1349 Elements)))
1350 return;
1351 } else if (Load.C.cmd == MachO::LC_DATA_IN_CODE) {
1352 if ((Err = checkLinkeditDataCommand(*this, Load, I, &DataInCodeLoadCmd,
1353 "LC_DATA_IN_CODE", Elements,
1354 "data in code info")))
1355 return;
1356 } else if (Load.C.cmd == MachO::LC_LINKER_OPTIMIZATION_HINT) {
1357 if ((Err = checkLinkeditDataCommand(*this, Load, I, &LinkOptHintsLoadCmd,
1358 "LC_LINKER_OPTIMIZATION_HINT",
1359 Elements, "linker optimization "
1360 "hints")))
1361 return;
1362 } else if (Load.C.cmd == MachO::LC_FUNCTION_STARTS) {
1363 if ((Err = checkLinkeditDataCommand(*this, Load, I, &FuncStartsLoadCmd,
1364 "LC_FUNCTION_STARTS", Elements,
1365 "function starts data")))
1366 return;
1367 } else if (Load.C.cmd == MachO::LC_SEGMENT_SPLIT_INFO) {
1368 if ((Err = checkLinkeditDataCommand(*this, Load, I, &SplitInfoLoadCmd,
1369 "LC_SEGMENT_SPLIT_INFO", Elements,
1370 "split info data")))
1371 return;
1372 } else if (Load.C.cmd == MachO::LC_DYLIB_CODE_SIGN_DRS) {
1373 if ((Err = checkLinkeditDataCommand(*this, Load, I, &CodeSignDrsLoadCmd,
1374 "LC_DYLIB_CODE_SIGN_DRS", Elements,
1375 "code signing RDs data")))
1376 return;
1377 } else if (Load.C.cmd == MachO::LC_CODE_SIGNATURE) {
1378 if ((Err = checkLinkeditDataCommand(*this, Load, I, &CodeSignLoadCmd,
1379 "LC_CODE_SIGNATURE", Elements,
1380 "code signature data")))
1381 return;
1382 } else if (Load.C.cmd == MachO::LC_DYLD_INFO) {
1383 if ((Err = checkDyldInfoCommand(*this, Load, I, &DyldInfoLoadCmd,
1384 "LC_DYLD_INFO", Elements)))
1385 return;
1386 } else if (Load.C.cmd == MachO::LC_DYLD_INFO_ONLY) {
1387 if ((Err = checkDyldInfoCommand(*this, Load, I, &DyldInfoLoadCmd,
1388 "LC_DYLD_INFO_ONLY", Elements)))
1389 return;
1390 } else if (Load.C.cmd == MachO::LC_DYLD_CHAINED_FIXUPS) {
1391 if ((Err = checkLinkeditDataCommand(
1392 *this, Load, I, &DyldChainedFixupsLoadCmd,
1393 "LC_DYLD_CHAINED_FIXUPS", Elements, "chained fixups")))
1394 return;
1395 } else if (Load.C.cmd == MachO::LC_DYLD_EXPORTS_TRIE) {
1396 if ((Err = checkLinkeditDataCommand(
1397 *this, Load, I, &DyldExportsTrieLoadCmd, "LC_DYLD_EXPORTS_TRIE",
1398 Elements, "exports trie")))
1399 return;
1400 } else if (Load.C.cmd == MachO::LC_UUID) {
1401 if (Load.C.cmdsize != sizeof(MachO::uuid_command)) {
1402 Err = malformedError("LC_UUID command " + Twine(I) + " has incorrect "
1403 "cmdsize");
1404 return;
1405 }
1406 if (UuidLoadCmd) {
1407 Err = malformedError("more than one LC_UUID command");
1408 return;
1409 }
1410 UuidLoadCmd = Load.Ptr;
1411 } else if (Load.C.cmd == MachO::LC_SEGMENT_64) {
1414 *this, Load, Sections, HasPageZeroSegment, I,
1415 "LC_SEGMENT_64", SizeOfHeaders, Elements)))
1416 return;
1417 } else if (Load.C.cmd == MachO::LC_SEGMENT) {
1420 *this, Load, Sections, HasPageZeroSegment, I,
1421 "LC_SEGMENT", SizeOfHeaders, Elements)))
1422 return;
1423 } else if (Load.C.cmd == MachO::LC_ID_DYLIB) {
1424 if ((Err = checkDylibIdCommand(*this, Load, I, &DyldIdLoadCmd)))
1425 return;
1426 } else if (Load.C.cmd == MachO::LC_LOAD_DYLIB) {
1427 if ((Err = checkDylibCommand(*this, Load, I, "LC_LOAD_DYLIB")))
1428 return;
1429 Libraries.push_back(Load.Ptr);
1430 } else if (Load.C.cmd == MachO::LC_LOAD_WEAK_DYLIB) {
1431 if ((Err = checkDylibCommand(*this, Load, I, "LC_LOAD_WEAK_DYLIB")))
1432 return;
1433 Libraries.push_back(Load.Ptr);
1434 } else if (Load.C.cmd == MachO::LC_LAZY_LOAD_DYLIB) {
1435 if ((Err = checkDylibCommand(*this, Load, I, "LC_LAZY_LOAD_DYLIB")))
1436 return;
1437 Libraries.push_back(Load.Ptr);
1438 } else if (Load.C.cmd == MachO::LC_REEXPORT_DYLIB) {
1439 if ((Err = checkDylibCommand(*this, Load, I, "LC_REEXPORT_DYLIB")))
1440 return;
1441 Libraries.push_back(Load.Ptr);
1442 } else if (Load.C.cmd == MachO::LC_LOAD_UPWARD_DYLIB) {
1443 if ((Err = checkDylibCommand(*this, Load, I, "LC_LOAD_UPWARD_DYLIB")))
1444 return;
1445 Libraries.push_back(Load.Ptr);
1446 } else if (Load.C.cmd == MachO::LC_ID_DYLINKER) {
1447 if ((Err = checkDyldCommand(*this, Load, I, "LC_ID_DYLINKER")))
1448 return;
1449 } else if (Load.C.cmd == MachO::LC_LOAD_DYLINKER) {
1450 if ((Err = checkDyldCommand(*this, Load, I, "LC_LOAD_DYLINKER")))
1451 return;
1452 } else if (Load.C.cmd == MachO::LC_DYLD_ENVIRONMENT) {
1453 if ((Err = checkDyldCommand(*this, Load, I, "LC_DYLD_ENVIRONMENT")))
1454 return;
1455 } else if (Load.C.cmd == MachO::LC_VERSION_MIN_MACOSX) {
1456 if ((Err = checkVersCommand(*this, Load, I, &VersLoadCmd,
1457 "LC_VERSION_MIN_MACOSX")))
1458 return;
1459 } else if (Load.C.cmd == MachO::LC_VERSION_MIN_IPHONEOS) {
1460 if ((Err = checkVersCommand(*this, Load, I, &VersLoadCmd,
1461 "LC_VERSION_MIN_IPHONEOS")))
1462 return;
1463 } else if (Load.C.cmd == MachO::LC_VERSION_MIN_TVOS) {
1464 if ((Err = checkVersCommand(*this, Load, I, &VersLoadCmd,
1465 "LC_VERSION_MIN_TVOS")))
1466 return;
1467 } else if (Load.C.cmd == MachO::LC_VERSION_MIN_WATCHOS) {
1468 if ((Err = checkVersCommand(*this, Load, I, &VersLoadCmd,
1469 "LC_VERSION_MIN_WATCHOS")))
1470 return;
1471 } else if (Load.C.cmd == MachO::LC_NOTE) {
1472 if ((Err = checkNoteCommand(*this, Load, I, Elements)))
1473 return;
1474 } else if (Load.C.cmd == MachO::LC_BUILD_VERSION) {
1475 if ((Err = parseBuildVersionCommand(*this, Load, BuildTools, I)))
1476 return;
1477 } else if (Load.C.cmd == MachO::LC_RPATH) {
1478 if ((Err = checkRpathCommand(*this, Load, I)))
1479 return;
1480 } else if (Load.C.cmd == MachO::LC_SOURCE_VERSION) {
1481 if (Load.C.cmdsize != sizeof(MachO::source_version_command)) {
1482 Err = malformedError("LC_SOURCE_VERSION command " + Twine(I) +
1483 " has incorrect cmdsize");
1484 return;
1485 }
1486 if (SourceLoadCmd) {
1487 Err = malformedError("more than one LC_SOURCE_VERSION command");
1488 return;
1489 }
1490 SourceLoadCmd = Load.Ptr;
1491 } else if (Load.C.cmd == MachO::LC_MAIN) {
1492 if (Load.C.cmdsize != sizeof(MachO::entry_point_command)) {
1493 Err = malformedError("LC_MAIN command " + Twine(I) +
1494 " has incorrect cmdsize");
1495 return;
1496 }
1497 if (EntryPointLoadCmd) {
1498 Err = malformedError("more than one LC_MAIN command");
1499 return;
1500 }
1501 EntryPointLoadCmd = Load.Ptr;
1502 } else if (Load.C.cmd == MachO::LC_ENCRYPTION_INFO) {
1503 if (Load.C.cmdsize != sizeof(MachO::encryption_info_command)) {
1504 Err = malformedError("LC_ENCRYPTION_INFO command " + Twine(I) +
1505 " has incorrect cmdsize");
1506 return;
1507 }
1509 getStruct<MachO::encryption_info_command>(*this, Load.Ptr);
1510 if ((Err = checkEncryptCommand(*this, Load, I, E.cryptoff, E.cryptsize,
1511 &EncryptLoadCmd, "LC_ENCRYPTION_INFO")))
1512 return;
1513 } else if (Load.C.cmd == MachO::LC_ENCRYPTION_INFO_64) {
1514 if (Load.C.cmdsize != sizeof(MachO::encryption_info_command_64)) {
1515 Err = malformedError("LC_ENCRYPTION_INFO_64 command " + Twine(I) +
1516 " has incorrect cmdsize");
1517 return;
1518 }
1520 getStruct<MachO::encryption_info_command_64>(*this, Load.Ptr);
1521 if ((Err = checkEncryptCommand(*this, Load, I, E.cryptoff, E.cryptsize,
1522 &EncryptLoadCmd, "LC_ENCRYPTION_INFO_64")))
1523 return;
1524 } else if (Load.C.cmd == MachO::LC_LINKER_OPTION) {
1525 if ((Err = checkLinkerOptCommand(*this, Load, I)))
1526 return;
1527 } else if (Load.C.cmd == MachO::LC_SUB_FRAMEWORK) {
1528 if (Load.C.cmdsize < sizeof(MachO::sub_framework_command)) {
1529 Err = malformedError("load command " + Twine(I) +
1530 " LC_SUB_FRAMEWORK cmdsize too small");
1531 return;
1532 }
1534 getStruct<MachO::sub_framework_command>(*this, Load.Ptr);
1535 if ((Err = checkSubCommand(*this, Load, I, "LC_SUB_FRAMEWORK",
1537 "sub_framework_command", S.umbrella,
1538 "umbrella")))
1539 return;
1540 } else if (Load.C.cmd == MachO::LC_SUB_UMBRELLA) {
1541 if (Load.C.cmdsize < sizeof(MachO::sub_umbrella_command)) {
1542 Err = malformedError("load command " + Twine(I) +
1543 " LC_SUB_UMBRELLA cmdsize too small");
1544 return;
1545 }
1547 getStruct<MachO::sub_umbrella_command>(*this, Load.Ptr);
1548 if ((Err = checkSubCommand(*this, Load, I, "LC_SUB_UMBRELLA",
1550 "sub_umbrella_command", S.sub_umbrella,
1551 "sub_umbrella")))
1552 return;
1553 } else if (Load.C.cmd == MachO::LC_SUB_LIBRARY) {
1554 if (Load.C.cmdsize < sizeof(MachO::sub_library_command)) {
1555 Err = malformedError("load command " + Twine(I) +
1556 " LC_SUB_LIBRARY cmdsize too small");
1557 return;
1558 }
1560 getStruct<MachO::sub_library_command>(*this, Load.Ptr);
1561 if ((Err = checkSubCommand(*this, Load, I, "LC_SUB_LIBRARY",
1563 "sub_library_command", S.sub_library,
1564 "sub_library")))
1565 return;
1566 } else if (Load.C.cmd == MachO::LC_SUB_CLIENT) {
1567 if (Load.C.cmdsize < sizeof(MachO::sub_client_command)) {
1568 Err = malformedError("load command " + Twine(I) +
1569 " LC_SUB_CLIENT cmdsize too small");
1570 return;
1571 }
1573 getStruct<MachO::sub_client_command>(*this, Load.Ptr);
1574 if ((Err = checkSubCommand(*this, Load, I, "LC_SUB_CLIENT",
1576 "sub_client_command", S.client, "client")))
1577 return;
1578 } else if (Load.C.cmd == MachO::LC_ROUTINES) {
1579 if (Load.C.cmdsize != sizeof(MachO::routines_command)) {
1580 Err = malformedError("LC_ROUTINES command " + Twine(I) +
1581 " has incorrect cmdsize");
1582 return;
1583 }
1584 if (RoutinesLoadCmd) {
1585 Err = malformedError("more than one LC_ROUTINES and or LC_ROUTINES_64 "
1586 "command");
1587 return;
1588 }
1589 RoutinesLoadCmd = Load.Ptr;
1590 } else if (Load.C.cmd == MachO::LC_ROUTINES_64) {
1591 if (Load.C.cmdsize != sizeof(MachO::routines_command_64)) {
1592 Err = malformedError("LC_ROUTINES_64 command " + Twine(I) +
1593 " has incorrect cmdsize");
1594 return;
1595 }
1596 if (RoutinesLoadCmd) {
1597 Err = malformedError("more than one LC_ROUTINES_64 and or LC_ROUTINES "
1598 "command");
1599 return;
1600 }
1601 RoutinesLoadCmd = Load.Ptr;
1602 } else if (Load.C.cmd == MachO::LC_UNIXTHREAD) {
1603 if ((Err = checkThreadCommand(*this, Load, I, "LC_UNIXTHREAD")))
1604 return;
1605 if (UnixThreadLoadCmd) {
1606 Err = malformedError("more than one LC_UNIXTHREAD command");
1607 return;
1608 }
1609 UnixThreadLoadCmd = Load.Ptr;
1610 } else if (Load.C.cmd == MachO::LC_THREAD) {
1611 if ((Err = checkThreadCommand(*this, Load, I, "LC_THREAD")))
1612 return;
1613 // Note: LC_TWOLEVEL_HINTS is really obsolete and is not supported.
1614 } else if (Load.C.cmd == MachO::LC_TWOLEVEL_HINTS) {
1615 if ((Err = checkTwoLevelHintsCommand(*this, Load, I,
1616 &TwoLevelHintsLoadCmd, Elements)))
1617 return;
1618 } else if (Load.C.cmd == MachO::LC_IDENT) {
1619 // Note: LC_IDENT is ignored.
1620 continue;
1621 } else if (isLoadCommandObsolete(Load.C.cmd)) {
1622 Err = malformedError("load command " + Twine(I) + " for cmd value of: " +
1623 Twine(Load.C.cmd) + " is obsolete and not "
1624 "supported");
1625 return;
1626 }
1627 // TODO: generate a error for unknown load commands by default. But still
1628 // need work out an approach to allow or not allow unknown values like this
1629 // as an option for some uses like lldb.
1630 if (I < LoadCommandCount - 1) {
1631 if (auto LoadOrErr = getNextLoadCommandInfo(*this, I, Load))
1632 Load = *LoadOrErr;
1633 else {
1634 Err = LoadOrErr.takeError();
1635 return;
1636 }
1637 }
1638 }
1639 if (!SymtabLoadCmd) {
1640 if (DysymtabLoadCmd) {
1641 Err = malformedError("contains LC_DYSYMTAB load command without a "
1642 "LC_SYMTAB load command");
1643 return;
1644 }
1645 } else if (DysymtabLoadCmd) {
1646 MachO::symtab_command Symtab =
1647 getStruct<MachO::symtab_command>(*this, SymtabLoadCmd);
1648 MachO::dysymtab_command Dysymtab =
1649 getStruct<MachO::dysymtab_command>(*this, DysymtabLoadCmd);
1650 if (Dysymtab.nlocalsym != 0 && Dysymtab.ilocalsym > Symtab.nsyms) {
1651 Err = malformedError("ilocalsym in LC_DYSYMTAB load command "
1652 "extends past the end of the symbol table");
1653 return;
1654 }
1655 uint64_t BigSize = Dysymtab.ilocalsym;
1656 BigSize += Dysymtab.nlocalsym;
1657 if (Dysymtab.nlocalsym != 0 && BigSize > Symtab.nsyms) {
1658 Err = malformedError("ilocalsym plus nlocalsym in LC_DYSYMTAB load "
1659 "command extends past the end of the symbol table");
1660 return;
1661 }
1662 if (Dysymtab.nextdefsym != 0 && Dysymtab.iextdefsym > Symtab.nsyms) {
1663 Err = malformedError("iextdefsym in LC_DYSYMTAB load command "
1664 "extends past the end of the symbol table");
1665 return;
1666 }
1667 BigSize = Dysymtab.iextdefsym;
1668 BigSize += Dysymtab.nextdefsym;
1669 if (Dysymtab.nextdefsym != 0 && BigSize > Symtab.nsyms) {
1670 Err = malformedError("iextdefsym plus nextdefsym in LC_DYSYMTAB "
1671 "load command extends past the end of the symbol "
1672 "table");
1673 return;
1674 }
1675 if (Dysymtab.nundefsym != 0 && Dysymtab.iundefsym > Symtab.nsyms) {
1676 Err = malformedError("iundefsym in LC_DYSYMTAB load command "
1677 "extends past the end of the symbol table");
1678 return;
1679 }
1680 BigSize = Dysymtab.iundefsym;
1681 BigSize += Dysymtab.nundefsym;
1682 if (Dysymtab.nundefsym != 0 && BigSize > Symtab.nsyms) {
1683 Err = malformedError("iundefsym plus nundefsym in LC_DYSYMTAB load "
1684 " command extends past the end of the symbol table");
1685 return;
1686 }
1687 }
1688 if ((getHeader().filetype == MachO::MH_DYLIB ||
1689 getHeader().filetype == MachO::MH_DYLIB_STUB) &&
1690 DyldIdLoadCmd == nullptr) {
1691 Err = malformedError("no LC_ID_DYLIB load command in dynamic library "
1692 "filetype");
1693 return;
1694 }
1695 assert(LoadCommands.size() == LoadCommandCount);
1696
1697 Err = Error::success();
1698}
1699
1701 uint32_t Flags = 0;
1702 if (is64Bit()) {
1704 Flags = H_64.flags;
1705 } else {
1707 Flags = H.flags;
1708 }
1709 uint8_t NType = 0;
1710 uint8_t NSect = 0;
1711 uint16_t NDesc = 0;
1712 uint32_t NStrx = 0;
1713 uint64_t NValue = 0;
1714 uint32_t SymbolIndex = 0;
1716 for (const SymbolRef &Symbol : symbols()) {
1717 DataRefImpl SymDRI = Symbol.getRawDataRefImpl();
1718 if (is64Bit()) {
1719 MachO::nlist_64 STE_64 = getSymbol64TableEntry(SymDRI);
1720 NType = STE_64.n_type;
1721 NSect = STE_64.n_sect;
1722 NDesc = STE_64.n_desc;
1723 NStrx = STE_64.n_strx;
1724 NValue = STE_64.n_value;
1725 } else {
1726 MachO::nlist STE = getSymbolTableEntry(SymDRI);
1727 NType = STE.n_type;
1728 NSect = STE.n_sect;
1729 NDesc = STE.n_desc;
1730 NStrx = STE.n_strx;
1731 NValue = STE.n_value;
1732 }
1733 if ((NType & MachO::N_STAB) == 0) {
1734 if ((NType & MachO::N_TYPE) == MachO::N_SECT) {
1735 if (NSect == 0 || NSect > Sections.size())
1736 return malformedError("bad section index: " + Twine((int)NSect) +
1737 " for symbol at index " + Twine(SymbolIndex));
1738 }
1739 if ((NType & MachO::N_TYPE) == MachO::N_INDR) {
1740 if (NValue >= S.strsize)
1741 return malformedError("bad n_value: " + Twine((int)NValue) + " past "
1742 "the end of string table, for N_INDR symbol at "
1743 "index " + Twine(SymbolIndex));
1744 }
1745 if ((Flags & MachO::MH_TWOLEVEL) == MachO::MH_TWOLEVEL &&
1746 (((NType & MachO::N_TYPE) == MachO::N_UNDF && NValue == 0) ||
1747 (NType & MachO::N_TYPE) == MachO::N_PBUD)) {
1748 uint32_t LibraryOrdinal = MachO::GET_LIBRARY_ORDINAL(NDesc);
1749 if (LibraryOrdinal != 0 &&
1750 LibraryOrdinal != MachO::EXECUTABLE_ORDINAL &&
1751 LibraryOrdinal != MachO::DYNAMIC_LOOKUP_ORDINAL &&
1752 LibraryOrdinal - 1 >= Libraries.size() ) {
1753 return malformedError("bad library ordinal: " + Twine(LibraryOrdinal) +
1754 " for symbol at index " + Twine(SymbolIndex));
1755 }
1756 }
1757 }
1758 if (NStrx >= S.strsize)
1759 return malformedError("bad string table index: " + Twine((int)NStrx) +
1760 " past the end of string table, for symbol at "
1761 "index " + Twine(SymbolIndex));
1762 SymbolIndex++;
1763 }
1764 return Error::success();
1765}
1766
1768 unsigned SymbolTableEntrySize = is64Bit() ?
1769 sizeof(MachO::nlist_64) :
1770 sizeof(MachO::nlist);
1771 Symb.p += SymbolTableEntrySize;
1772}
1773
1776 MachO::nlist_base Entry = getSymbolTableEntryBase(*this, Symb);
1777 if (Entry.n_strx == 0)
1778 // A n_strx value of 0 indicates that no name is associated with a
1779 // particular symbol table entry.
1780 return StringRef();
1781 const char *Start = &StringTable.data()[Entry.n_strx];
1782 if (Start < getData().begin() || Start >= getData().end()) {
1783 return malformedError("bad string index: " + Twine(Entry.n_strx) +
1784 " for symbol at index " + Twine(getSymbolIndex(Symb)));
1785 }
1786 return StringRef(Start);
1787}
1788
1790 DataRefImpl DRI = Sec.getRawDataRefImpl();
1791 uint32_t Flags = getSectionFlags(*this, DRI);
1792 return Flags & MachO::SECTION_TYPE;
1793}
1794
1796 if (is64Bit()) {
1798 return Entry.n_value;
1799 }
1801 return Entry.n_value;
1802}
1803
1804// getIndirectName() returns the name of the alias'ed symbol who's string table
1805// index is in the n_value field.
1807 StringRef &Res) const {
1809 MachO::nlist_base Entry = getSymbolTableEntryBase(*this, Symb);
1810 if ((Entry.n_type & MachO::N_TYPE) != MachO::N_INDR)
1812 uint64_t NValue = getNValue(Symb);
1813 if (NValue >= StringTable.size())
1815 const char *Start = &StringTable.data()[NValue];
1816 Res = StringRef(Start);
1817 return std::error_code();
1818}
1819
1820uint64_t MachOObjectFile::getSymbolValueImpl(DataRefImpl Sym) const {
1821 return getNValue(Sym);
1822}
1823
1825 return getSymbolValue(Sym);
1826}
1827
1829 uint32_t Flags = cantFail(getSymbolFlags(DRI));
1830 if (Flags & SymbolRef::SF_Common) {
1831 MachO::nlist_base Entry = getSymbolTableEntryBase(*this, DRI);
1832 return 1 << MachO::GET_COMM_ALIGN(Entry.n_desc);
1833 }
1834 return 0;
1835}
1836
1838 return getNValue(DRI);
1839}
1840
1843 MachO::nlist_base Entry = getSymbolTableEntryBase(*this, Symb);
1844 uint8_t n_type = Entry.n_type;
1845
1846 // If this is a STAB debugging symbol, we can do nothing more.
1847 if (n_type & MachO::N_STAB)
1848 return SymbolRef::ST_Debug;
1849
1850 switch (n_type & MachO::N_TYPE) {
1851 case MachO::N_UNDF :
1852 return SymbolRef::ST_Unknown;
1853 case MachO::N_SECT :
1855 if (!SecOrError)
1856 return SecOrError.takeError();
1857 section_iterator Sec = *SecOrError;
1858 if (Sec == section_end())
1859 return SymbolRef::ST_Other;
1860 if (Sec->isData() || Sec->isBSS())
1861 return SymbolRef::ST_Data;
1863 }
1864 return SymbolRef::ST_Other;
1865}
1866
1868 MachO::nlist_base Entry = getSymbolTableEntryBase(*this, DRI);
1869
1870 uint8_t MachOType = Entry.n_type;
1871 uint16_t MachOFlags = Entry.n_desc;
1872
1874
1875 if ((MachOType & MachO::N_TYPE) == MachO::N_INDR)
1876 Result |= SymbolRef::SF_Indirect;
1877
1878 if (MachOType & MachO::N_STAB)
1880
1881 if (MachOType & MachO::N_EXT) {
1882 Result |= SymbolRef::SF_Global;
1883 if ((MachOType & MachO::N_TYPE) == MachO::N_UNDF) {
1884 if (getNValue(DRI))
1885 Result |= SymbolRef::SF_Common;
1886 else
1887 Result |= SymbolRef::SF_Undefined;
1888 }
1889
1890 if (MachOType & MachO::N_PEXT)
1891 Result |= SymbolRef::SF_Hidden;
1892 else
1893 Result |= SymbolRef::SF_Exported;
1894
1895 } else if (MachOType & MachO::N_PEXT)
1896 Result |= SymbolRef::SF_Hidden;
1897
1898 if (MachOFlags & (MachO::N_WEAK_REF | MachO::N_WEAK_DEF))
1899 Result |= SymbolRef::SF_Weak;
1900
1901 if (MachOFlags & (MachO::N_ARM_THUMB_DEF))
1902 Result |= SymbolRef::SF_Thumb;
1903
1904 if ((MachOType & MachO::N_TYPE) == MachO::N_ABS)
1905 Result |= SymbolRef::SF_Absolute;
1906
1907 return Result;
1908}
1909
1912 MachO::nlist_base Entry = getSymbolTableEntryBase(*this, Symb);
1913 uint8_t index = Entry.n_sect;
1914
1915 if (index == 0)
1916 return section_end();
1917 DataRefImpl DRI;
1918 DRI.d.a = index - 1;
1919 if (DRI.d.a >= Sections.size()){
1920 return malformedError("bad section index: " + Twine((int)index) +
1921 " for symbol at index " + Twine(getSymbolIndex(Symb)));
1922 }
1923 return section_iterator(SectionRef(DRI, this));
1924}
1925
1927 MachO::nlist_base Entry =
1928 getSymbolTableEntryBase(*this, Sym.getRawDataRefImpl());
1929 return Entry.n_sect - 1;
1930}
1931
1933 Sec.d.a++;
1934}
1935
1938 return parseSegmentOrSectionName(Raw.data());
1939}
1940
1942 if (is64Bit())
1943 return getSection64(Sec).addr;
1944 return getSection(Sec).addr;
1945}
1946
1948 return Sec.d.a;
1949}
1950
1952 // In the case if a malformed Mach-O file where the section offset is past
1953 // the end of the file or some part of the section size is past the end of
1954 // the file return a size of zero or a size that covers the rest of the file
1955 // but does not extend past the end of the file.
1956 uint32_t SectOffset, SectType;
1957 uint64_t SectSize;
1958
1959 if (is64Bit()) {
1960 MachO::section_64 Sect = getSection64(Sec);
1961 SectOffset = Sect.offset;
1962 SectSize = Sect.size;
1963 SectType = Sect.flags & MachO::SECTION_TYPE;
1964 } else {
1965 MachO::section Sect = getSection(Sec);
1966 SectOffset = Sect.offset;
1967 SectSize = Sect.size;
1968 SectType = Sect.flags & MachO::SECTION_TYPE;
1969 }
1970 if (SectType == MachO::S_ZEROFILL || SectType == MachO::S_GB_ZEROFILL)
1971 return SectSize;
1972 uint64_t FileSize = getData().size();
1973 if (SectOffset > FileSize)
1974 return 0;
1975 if (FileSize - SectOffset < SectSize)
1976 return FileSize - SectOffset;
1977 return SectSize;
1978}
1979
1981 uint64_t Size) const {
1982 return arrayRefFromStringRef(getData().substr(Offset, Size));
1983}
1984
1988 uint64_t Size;
1989
1990 if (is64Bit()) {
1991 MachO::section_64 Sect = getSection64(Sec);
1992 Offset = Sect.offset;
1993 Size = Sect.size;
1994 } else {
1995 MachO::section Sect = getSection(Sec);
1996 Offset = Sect.offset;
1997 Size = Sect.size;
1998 }
1999
2001}
2002
2005 if (is64Bit()) {
2006 MachO::section_64 Sect = getSection64(Sec);
2007 Align = Sect.align;
2008 } else {
2009 MachO::section Sect = getSection(Sec);
2010 Align = Sect.align;
2011 }
2012
2013 return uint64_t(1) << Align;
2014}
2015
2017 if (SectionIndex < 1 || SectionIndex > Sections.size())
2018 return malformedError("bad section index: " + Twine((int)SectionIndex));
2019
2020 DataRefImpl DRI;
2021 DRI.d.a = SectionIndex - 1;
2022 return SectionRef(DRI, this);
2023}
2024
2026 for (const SectionRef &Section : sections()) {
2027 auto NameOrErr = Section.getName();
2028 if (!NameOrErr)
2029 return NameOrErr.takeError();
2030 if (*NameOrErr == SectionName)
2031 return Section;
2032 }
2034}
2035
2037 return false;
2038}
2039
2041 uint32_t Flags = getSectionFlags(*this, Sec);
2042 return Flags & MachO::S_ATTR_PURE_INSTRUCTIONS;
2043}
2044
2046 uint32_t Flags = getSectionFlags(*this, Sec);
2047 unsigned SectionType = Flags & MachO::SECTION_TYPE;
2048 return !(Flags & MachO::S_ATTR_PURE_INSTRUCTIONS) &&
2049 !(SectionType == MachO::S_ZEROFILL ||
2050 SectionType == MachO::S_GB_ZEROFILL);
2051}
2052
2054 uint32_t Flags = getSectionFlags(*this, Sec);
2055 unsigned SectionType = Flags & MachO::SECTION_TYPE;
2056 return !(Flags & MachO::S_ATTR_PURE_INSTRUCTIONS) &&
2057 (SectionType == MachO::S_ZEROFILL ||
2058 SectionType == MachO::S_GB_ZEROFILL);
2059}
2060
2062 Expected<StringRef> SectionNameOrErr = getSectionName(Sec);
2063 if (!SectionNameOrErr) {
2064 // TODO: Report the error message properly.
2065 consumeError(SectionNameOrErr.takeError());
2066 return false;
2067 }
2068 StringRef SectionName = SectionNameOrErr.get();
2069 return SectionName.starts_with("__debug") ||
2070 SectionName.starts_with("__zdebug") ||
2071 SectionName.starts_with("__apple") || SectionName == "__gdb_index" ||
2072 SectionName == "__swift_ast";
2073}
2074
2075namespace {
2076template <typename LoadCommandType>
2077ArrayRef<uint8_t> getSegmentContents(const MachOObjectFile &Obj,
2079 StringRef SegmentName) {
2080 auto SegmentOrErr = getStructOrErr<LoadCommandType>(Obj, LoadCmd.Ptr);
2081 if (!SegmentOrErr) {
2082 consumeError(SegmentOrErr.takeError());
2083 return {};
2084 }
2085 auto &Segment = SegmentOrErr.get();
2086 if (StringRef(Segment.segname, 16).starts_with(SegmentName))
2087 return arrayRefFromStringRef(Obj.getData().slice(
2088 Segment.fileoff, Segment.fileoff + Segment.filesize));
2089 return {};
2090}
2091
2092template <typename LoadCommandType>
2093ArrayRef<uint8_t> getSegmentContents(const MachOObjectFile &Obj,
2095 auto SegmentOrErr = getStructOrErr<LoadCommandType>(Obj, LoadCmd.Ptr);
2096 if (!SegmentOrErr) {
2097 consumeError(SegmentOrErr.takeError());
2098 return {};
2099 }
2100 auto &Segment = SegmentOrErr.get();
2101 return arrayRefFromStringRef(
2102 Obj.getData().substr(Segment.fileoff, Segment.filesize));
2103}
2104} // namespace
2105
2108 for (auto LoadCmd : load_commands()) {
2109 ArrayRef<uint8_t> Contents;
2110 switch (LoadCmd.C.cmd) {
2111 case MachO::LC_SEGMENT:
2112 Contents = ::getSegmentContents<MachO::segment_command>(*this, LoadCmd,
2113 SegmentName);
2114 break;
2115 case MachO::LC_SEGMENT_64:
2116 Contents = ::getSegmentContents<MachO::segment_command_64>(*this, LoadCmd,
2117 SegmentName);
2118 break;
2119 default:
2120 continue;
2121 }
2122 if (!Contents.empty())
2123 return Contents;
2124 }
2125 return {};
2126}
2127
2129MachOObjectFile::getSegmentContents(size_t SegmentIndex) const {
2130 size_t Idx = 0;
2131 for (auto LoadCmd : load_commands()) {
2132 switch (LoadCmd.C.cmd) {
2133 case MachO::LC_SEGMENT:
2134 if (Idx == SegmentIndex)
2135 return ::getSegmentContents<MachO::segment_command>(*this, LoadCmd);
2136 ++Idx;
2137 break;
2138 case MachO::LC_SEGMENT_64:
2139 if (Idx == SegmentIndex)
2140 return ::getSegmentContents<MachO::segment_command_64>(*this, LoadCmd);
2141 ++Idx;
2142 break;
2143 default:
2144 continue;
2145 }
2146 }
2147 return {};
2148}
2149
2151 return Sec.getRawDataRefImpl().d.a;
2152}
2153
2155 uint32_t Flags = getSectionFlags(*this, Sec);
2156 unsigned SectionType = Flags & MachO::SECTION_TYPE;
2157 return SectionType == MachO::S_ZEROFILL ||
2158 SectionType == MachO::S_GB_ZEROFILL;
2159}
2160
2162 StringRef SegmentName = getSectionFinalSegmentName(Sec);
2163 if (Expected<StringRef> NameOrErr = getSectionName(Sec))
2164 return (SegmentName == "__LLVM" && *NameOrErr == "__bitcode");
2165 return false;
2166}
2167
2169 if (is64Bit())
2170 return getSection64(Sec).offset == 0;
2171 return getSection(Sec).offset == 0;
2172}
2173
2175 DataRefImpl Ret;
2176 Ret.d.a = Sec.d.a;
2177 Ret.d.b = 0;
2178 return relocation_iterator(RelocationRef(Ret, this));
2179}
2180
2183 uint32_t Num;
2184 if (is64Bit()) {
2185 MachO::section_64 Sect = getSection64(Sec);
2186 Num = Sect.nreloc;
2187 } else {
2188 MachO::section Sect = getSection(Sec);
2189 Num = Sect.nreloc;
2190 }
2191
2192 DataRefImpl Ret;
2193 Ret.d.a = Sec.d.a;
2194 Ret.d.b = Num;
2195 return relocation_iterator(RelocationRef(Ret, this));
2196}
2197
2199 DataRefImpl Ret;
2200 // for DYSYMTAB symbols, Ret.d.a == 0 for external relocations
2201 Ret.d.a = 0; // Would normally be a section index.
2202 Ret.d.b = 0; // Index into the external relocations
2203 return relocation_iterator(RelocationRef(Ret, this));
2204}
2205
2208 DataRefImpl Ret;
2209 // for DYSYMTAB symbols, Ret.d.a == 0 for external relocations
2210 Ret.d.a = 0; // Would normally be a section index.
2211 Ret.d.b = DysymtabLoadCmd.nextrel; // Index into the external relocations
2212 return relocation_iterator(RelocationRef(Ret, this));
2213}
2214
2216 DataRefImpl Ret;
2217 // for DYSYMTAB symbols, Ret.d.a == 1 for local relocations
2218 Ret.d.a = 1; // Would normally be a section index.
2219 Ret.d.b = 0; // Index into the local relocations
2220 return relocation_iterator(RelocationRef(Ret, this));
2221}
2222
2225 DataRefImpl Ret;
2226 // for DYSYMTAB symbols, Ret.d.a == 1 for local relocations
2227 Ret.d.a = 1; // Would normally be a section index.
2228 Ret.d.b = DysymtabLoadCmd.nlocrel; // Index into the local relocations
2229 return relocation_iterator(RelocationRef(Ret, this));
2230}
2231
2233 ++Rel.d.b;
2234}
2235
2237 assert((getHeader().filetype == MachO::MH_OBJECT ||
2238 getHeader().filetype == MachO::MH_KEXT_BUNDLE) &&
2239 "Only implemented for MH_OBJECT && MH_KEXT_BUNDLE");
2241 return getAnyRelocationAddress(RE);
2242}
2243
2247 if (isRelocationScattered(RE))
2248 return symbol_end();
2249
2250 uint32_t SymbolIdx = getPlainRelocationSymbolNum(RE);
2251 bool isExtern = getPlainRelocationExternal(RE);
2252 if (!isExtern)
2253 return symbol_end();
2254
2256 unsigned SymbolTableEntrySize = is64Bit() ?
2257 sizeof(MachO::nlist_64) :
2258 sizeof(MachO::nlist);
2259 uint64_t Offset = S.symoff + SymbolIdx * SymbolTableEntrySize;
2261 Sym.p = reinterpret_cast<uintptr_t>(getPtr(*this, Offset));
2262 return symbol_iterator(SymbolRef(Sym, this));
2263}
2264
2268}
2269
2272 return getAnyRelocationType(RE);
2273}
2274
2276 DataRefImpl Rel, SmallVectorImpl<char> &Result) const {
2277 StringRef res;
2278 uint64_t RType = getRelocationType(Rel);
2279
2280 unsigned Arch = this->getArch();
2281
2282 switch (Arch) {
2283 case Triple::x86: {
2284 static const char *const Table[] = {
2285 "GENERIC_RELOC_VANILLA",
2286 "GENERIC_RELOC_PAIR",
2287 "GENERIC_RELOC_SECTDIFF",
2288 "GENERIC_RELOC_PB_LA_PTR",
2289 "GENERIC_RELOC_LOCAL_SECTDIFF",
2290 "GENERIC_RELOC_TLV" };
2291
2292 if (RType > 5)
2293 res = "Unknown";
2294 else
2295 res = Table[RType];
2296 break;
2297 }
2298 case Triple::x86_64: {
2299 static const char *const Table[] = {
2300 "X86_64_RELOC_UNSIGNED",
2301 "X86_64_RELOC_SIGNED",
2302 "X86_64_RELOC_BRANCH",
2303 "X86_64_RELOC_GOT_LOAD",
2304 "X86_64_RELOC_GOT",
2305 "X86_64_RELOC_SUBTRACTOR",
2306 "X86_64_RELOC_SIGNED_1",
2307 "X86_64_RELOC_SIGNED_2",
2308 "X86_64_RELOC_SIGNED_4",
2309 "X86_64_RELOC_TLV" };
2310
2311 if (RType > 9)
2312 res = "Unknown";
2313 else
2314 res = Table[RType];
2315 break;
2316 }
2317 case Triple::arm: {
2318 static const char *const Table[] = {
2319 "ARM_RELOC_VANILLA",
2320 "ARM_RELOC_PAIR",
2321 "ARM_RELOC_SECTDIFF",
2322 "ARM_RELOC_LOCAL_SECTDIFF",
2323 "ARM_RELOC_PB_LA_PTR",
2324 "ARM_RELOC_BR24",
2325 "ARM_THUMB_RELOC_BR22",
2326 "ARM_THUMB_32BIT_BRANCH",
2327 "ARM_RELOC_HALF",
2328 "ARM_RELOC_HALF_SECTDIFF" };
2329
2330 if (RType > 9)
2331 res = "Unknown";
2332 else
2333 res = Table[RType];
2334 break;
2335 }
2336 case Triple::aarch64:
2337 case Triple::aarch64_32: {
2338 static const char *const Table[] = {
2339 "ARM64_RELOC_UNSIGNED", "ARM64_RELOC_SUBTRACTOR",
2340 "ARM64_RELOC_BRANCH26", "ARM64_RELOC_PAGE21",
2341 "ARM64_RELOC_PAGEOFF12", "ARM64_RELOC_GOT_LOAD_PAGE21",
2342 "ARM64_RELOC_GOT_LOAD_PAGEOFF12", "ARM64_RELOC_POINTER_TO_GOT",
2343 "ARM64_RELOC_TLVP_LOAD_PAGE21", "ARM64_RELOC_TLVP_LOAD_PAGEOFF12",
2344 "ARM64_RELOC_ADDEND", "ARM64_RELOC_AUTHENTICATED_POINTER"
2345 };
2346
2347 if (RType >= std::size(Table))
2348 res = "Unknown";
2349 else
2350 res = Table[RType];
2351 break;
2352 }
2353 case Triple::ppc: {
2354 static const char *const Table[] = {
2355 "PPC_RELOC_VANILLA",
2356 "PPC_RELOC_PAIR",
2357 "PPC_RELOC_BR14",
2358 "PPC_RELOC_BR24",
2359 "PPC_RELOC_HI16",
2360 "PPC_RELOC_LO16",
2361 "PPC_RELOC_HA16",
2362 "PPC_RELOC_LO14",
2363 "PPC_RELOC_SECTDIFF",
2364 "PPC_RELOC_PB_LA_PTR",
2365 "PPC_RELOC_HI16_SECTDIFF",
2366 "PPC_RELOC_LO16_SECTDIFF",
2367 "PPC_RELOC_HA16_SECTDIFF",
2368 "PPC_RELOC_JBSR",
2369 "PPC_RELOC_LO14_SECTDIFF",
2370 "PPC_RELOC_LOCAL_SECTDIFF" };
2371
2372 if (RType > 15)
2373 res = "Unknown";
2374 else
2375 res = Table[RType];
2376 break;
2377 }
2379 res = "Unknown";
2380 break;
2381 }
2382 Result.append(res.begin(), res.end());
2383}
2384
2387 return getAnyRelocationLength(RE);
2388}
2389
2390//
2391// guessLibraryShortName() is passed a name of a dynamic library and returns a
2392// guess on what the short name is. Then name is returned as a substring of the
2393// StringRef Name passed in. The name of the dynamic library is recognized as
2394// a framework if it has one of the two following forms:
2395// Foo.framework/Versions/A/Foo
2396// Foo.framework/Foo
2397// Where A and Foo can be any string. And may contain a trailing suffix
2398// starting with an underbar. If the Name is recognized as a framework then
2399// isFramework is set to true else it is set to false. If the Name has a
2400// suffix then Suffix is set to the substring in Name that contains the suffix
2401// else it is set to a NULL StringRef.
2402//
2403// The Name of the dynamic library is recognized as a library name if it has
2404// one of the two following forms:
2405// libFoo.A.dylib
2406// libFoo.dylib
2407//
2408// The library may have a suffix trailing the name Foo of the form:
2409// libFoo_profile.A.dylib
2410// libFoo_profile.dylib
2411// These dyld image suffixes are separated from the short name by a '_'
2412// character. Because the '_' character is commonly used to separate words in
2413// filenames guessLibraryShortName() cannot reliably separate a dylib's short
2414// name from an arbitrary image suffix; imagine if both the short name and the
2415// suffix contains an '_' character! To better deal with this ambiguity,
2416// guessLibraryShortName() will recognize only "_debug" and "_profile" as valid
2417// Suffix values. Calling code needs to be tolerant of guessLibraryShortName()
2418// guessing incorrectly.
2419//
2420// The Name of the dynamic library is also recognized as a library name if it
2421// has the following form:
2422// Foo.qtx
2423//
2424// If the Name of the dynamic library is none of the forms above then a NULL
2425// StringRef is returned.
2427 bool &isFramework,
2428 StringRef &Suffix) {
2429 StringRef Foo, F, DotFramework, V, Dylib, Lib, Dot, Qtx;
2430 size_t a, b, c, d, Idx;
2431
2432 isFramework = false;
2433 Suffix = StringRef();
2434
2435 // Pull off the last component and make Foo point to it
2436 a = Name.rfind('/');
2437 if (a == Name.npos || a == 0)
2438 goto guess_library;
2439 Foo = Name.substr(a + 1);
2440
2441 // Look for a suffix starting with a '_'
2442 Idx = Foo.rfind('_');
2443 if (Idx != Foo.npos && Foo.size() >= 2) {
2444 Suffix = Foo.substr(Idx);
2445 if (Suffix != "_debug" && Suffix != "_profile")
2446 Suffix = StringRef();
2447 else
2448 Foo = Foo.slice(0, Idx);
2449 }
2450
2451 // First look for the form Foo.framework/Foo
2452 b = Name.rfind('/', a);
2453 if (b == Name.npos)
2454 Idx = 0;
2455 else
2456 Idx = b+1;
2457 F = Name.substr(Idx, Foo.size());
2458 DotFramework = Name.substr(Idx + Foo.size(), sizeof(".framework/") - 1);
2459 if (F == Foo && DotFramework == ".framework/") {
2460 isFramework = true;
2461 return Foo;
2462 }
2463
2464 // Next look for the form Foo.framework/Versions/A/Foo
2465 if (b == Name.npos)
2466 goto guess_library;
2467 c = Name.rfind('/', b);
2468 if (c == Name.npos || c == 0)
2469 goto guess_library;
2470 V = Name.substr(c + 1);
2471 if (!V.starts_with("Versions/"))
2472 goto guess_library;
2473 d = Name.rfind('/', c);
2474 if (d == Name.npos)
2475 Idx = 0;
2476 else
2477 Idx = d+1;
2478 F = Name.substr(Idx, Foo.size());
2479 DotFramework = Name.substr(Idx + Foo.size(), sizeof(".framework/") - 1);
2480 if (F == Foo && DotFramework == ".framework/") {
2481 isFramework = true;
2482 return Foo;
2483 }
2484
2485guess_library:
2486 // pull off the suffix after the "." and make a point to it
2487 a = Name.rfind('.');
2488 if (a == Name.npos || a == 0)
2489 return StringRef();
2490 Dylib = Name.substr(a);
2491 if (Dylib != ".dylib")
2492 goto guess_qtx;
2493
2494 // First pull off the version letter for the form Foo.A.dylib if any.
2495 if (a >= 3) {
2496 Dot = Name.substr(a - 2, 1);
2497 if (Dot == ".")
2498 a = a - 2;
2499 }
2500
2501 b = Name.rfind('/', a);
2502 if (b == Name.npos)
2503 b = 0;
2504 else
2505 b = b+1;
2506 // ignore any suffix after an underbar like Foo_profile.A.dylib
2507 Idx = Name.rfind('_');
2508 if (Idx != Name.npos && Idx != b) {
2509 Lib = Name.slice(b, Idx);
2510 Suffix = Name.slice(Idx, a);
2511 if (Suffix != "_debug" && Suffix != "_profile") {
2512 Suffix = StringRef();
2513 Lib = Name.slice(b, a);
2514 }
2515 }
2516 else
2517 Lib = Name.slice(b, a);
2518 // There are incorrect library names of the form:
2519 // libATS.A_profile.dylib so check for these.
2520 if (Lib.size() >= 3) {
2521 Dot = Lib.substr(Lib.size() - 2, 1);
2522 if (Dot == ".")
2523 Lib = Lib.slice(0, Lib.size()-2);
2524 }
2525 return Lib;
2526
2527guess_qtx:
2528 Qtx = Name.substr(a);
2529 if (Qtx != ".qtx")
2530 return StringRef();
2531 b = Name.rfind('/', a);
2532 if (b == Name.npos)
2533 Lib = Name.slice(0, a);
2534 else
2535 Lib = Name.slice(b+1, a);
2536 // There are library names of the form: QT.A.qtx so check for these.
2537 if (Lib.size() >= 3) {
2538 Dot = Lib.substr(Lib.size() - 2, 1);
2539 if (Dot == ".")
2540 Lib = Lib.slice(0, Lib.size()-2);
2541 }
2542 return Lib;
2543}
2544
2545// getLibraryShortNameByIndex() is used to get the short name of the library
2546// for an undefined symbol in a linked Mach-O binary that was linked with the
2547// normal two-level namespace default (that is MH_TWOLEVEL in the header).
2548// It is passed the index (0 - based) of the library as translated from
2549// GET_LIBRARY_ORDINAL (1 - based).
2550std::error_code MachOObjectFile::getLibraryShortNameByIndex(unsigned Index,
2551 StringRef &Res) const {
2552 if (Index >= Libraries.size())
2554
2555 // If the cache of LibrariesShortNames is not built up do that first for
2556 // all the Libraries.
2557 if (LibrariesShortNames.size() == 0) {
2558 for (unsigned i = 0; i < Libraries.size(); i++) {
2559 auto CommandOrErr =
2560 getStructOrErr<MachO::dylib_command>(*this, Libraries[i]);
2561 if (!CommandOrErr)
2563 MachO::dylib_command D = CommandOrErr.get();
2564 if (D.dylib.name >= D.cmdsize)
2566 const char *P = (const char *)(Libraries[i]) + D.dylib.name;
2568 if (D.dylib.name+Name.size() >= D.cmdsize)
2570 StringRef Suffix;
2571 bool isFramework;
2572 StringRef shortName = guessLibraryShortName(Name, isFramework, Suffix);
2573 if (shortName.empty())
2574 LibrariesShortNames.push_back(Name);
2575 else
2576 LibrariesShortNames.push_back(shortName);
2577 }
2578 }
2579
2580 Res = LibrariesShortNames[Index];
2581 return std::error_code();
2582}
2583
2585 return Libraries.size();
2586}
2587
2590 DataRefImpl Sec;
2591 Sec.d.a = Rel->getRawDataRefImpl().d.a;
2592 return section_iterator(SectionRef(Sec, this));
2593}
2594
2596 DataRefImpl DRI;
2598 if (!SymtabLoadCmd || Symtab.nsyms == 0)
2599 return basic_symbol_iterator(SymbolRef(DRI, this));
2600
2601 return getSymbolByIndex(0);
2602}
2603
2605 DataRefImpl DRI;
2607 if (!SymtabLoadCmd || Symtab.nsyms == 0)
2608 return basic_symbol_iterator(SymbolRef(DRI, this));
2609
2610 unsigned SymbolTableEntrySize = is64Bit() ?
2611 sizeof(MachO::nlist_64) :
2612 sizeof(MachO::nlist);
2613 unsigned Offset = Symtab.symoff +
2614 Symtab.nsyms * SymbolTableEntrySize;
2615 DRI.p = reinterpret_cast<uintptr_t>(getPtr(*this, Offset));
2616 return basic_symbol_iterator(SymbolRef(DRI, this));
2617}
2618
2621 if (!SymtabLoadCmd || Index >= Symtab.nsyms)
2622 report_fatal_error("Requested symbol index is out of range.");
2623 unsigned SymbolTableEntrySize =
2624 is64Bit() ? sizeof(MachO::nlist_64) : sizeof(MachO::nlist);
2625 DataRefImpl DRI;
2626 DRI.p = reinterpret_cast<uintptr_t>(getPtr(*this, Symtab.symoff));
2627 DRI.p += Index * SymbolTableEntrySize;
2628 return basic_symbol_iterator(SymbolRef(DRI, this));
2629}
2630
2633 if (!SymtabLoadCmd)
2634 report_fatal_error("getSymbolIndex() called with no symbol table symbol");
2635 unsigned SymbolTableEntrySize =
2636 is64Bit() ? sizeof(MachO::nlist_64) : sizeof(MachO::nlist);
2637 DataRefImpl DRIstart;
2638 DRIstart.p = reinterpret_cast<uintptr_t>(getPtr(*this, Symtab.symoff));
2639 uint64_t Index = (Symb.p - DRIstart.p) / SymbolTableEntrySize;
2640 return Index;
2641}
2642
2644 DataRefImpl DRI;
2645 return section_iterator(SectionRef(DRI, this));
2646}
2647
2649 DataRefImpl DRI;
2650 DRI.d.a = Sections.size();
2651 return section_iterator(SectionRef(DRI, this));
2652}
2653
2655 return is64Bit() ? 8 : 4;
2656}
2657
2659 unsigned CPUType = getCPUType(*this);
2660 if (!is64Bit()) {
2661 switch (CPUType) {
2663 return "Mach-O 32-bit i386";
2665 return "Mach-O arm";
2667 return "Mach-O arm64 (ILP32)";
2669 return "Mach-O 32-bit ppc";
2670 default:
2671 return "Mach-O 32-bit unknown";
2672 }
2673 }
2674
2675 switch (CPUType) {
2677 return "Mach-O 64-bit x86-64";
2679 return "Mach-O arm64";
2681 return "Mach-O 64-bit ppc64";
2682 default:
2683 return "Mach-O 64-bit unknown";
2684 }
2685}
2686
2688 switch (CPUType) {
2690 return Triple::x86;
2692 return Triple::x86_64;
2694 return Triple::arm;
2696 return Triple::aarch64;
2698 return Triple::aarch64_32;
2700 return Triple::ppc;
2702 return Triple::ppc64;
2703 default:
2704 return Triple::UnknownArch;
2705 }
2706}
2707
2709 const char **McpuDefault,
2710 const char **ArchFlag) {
2711 if (McpuDefault)
2712 *McpuDefault = nullptr;
2713 if (ArchFlag)
2714 *ArchFlag = nullptr;
2715
2716 switch (CPUType) {
2718 switch (CPUSubType & ~MachO::CPU_SUBTYPE_MASK) {
2720 if (ArchFlag)
2721 *ArchFlag = "i386";
2722 return Triple("i386-apple-darwin");
2723 default:
2724 return Triple();
2725 }
2727 switch (CPUSubType & ~MachO::CPU_SUBTYPE_MASK) {
2729 if (ArchFlag)
2730 *ArchFlag = "x86_64";
2731 return Triple("x86_64-apple-darwin");
2733 if (ArchFlag)
2734 *ArchFlag = "x86_64h";
2735 return Triple("x86_64h-apple-darwin");
2736 default:
2737 return Triple();
2738 }
2740 switch (CPUSubType & ~MachO::CPU_SUBTYPE_MASK) {
2742 if (ArchFlag)
2743 *ArchFlag = "armv4t";
2744 return Triple("armv4t-apple-darwin");
2746 if (ArchFlag)
2747 *ArchFlag = "armv5e";
2748 return Triple("armv5e-apple-darwin");
2750 if (ArchFlag)
2751 *ArchFlag = "xscale";
2752 return Triple("xscale-apple-darwin");
2754 if (ArchFlag)
2755 *ArchFlag = "armv6";
2756 return Triple("armv6-apple-darwin");
2758 if (McpuDefault)
2759 *McpuDefault = "cortex-m0";
2760 if (ArchFlag)
2761 *ArchFlag = "armv6m";
2762 return Triple("armv6m-apple-darwin");
2764 if (ArchFlag)
2765 *ArchFlag = "armv7";
2766 return Triple("armv7-apple-darwin");
2768 if (McpuDefault)
2769 *McpuDefault = "cortex-m4";
2770 if (ArchFlag)
2771 *ArchFlag = "armv7em";
2772 return Triple("thumbv7em-apple-darwin");
2774 if (McpuDefault)
2775 *McpuDefault = "cortex-a7";
2776 if (ArchFlag)
2777 *ArchFlag = "armv7k";
2778 return Triple("armv7k-apple-darwin");
2780 if (McpuDefault)
2781 *McpuDefault = "cortex-m3";
2782 if (ArchFlag)
2783 *ArchFlag = "armv7m";
2784 return Triple("thumbv7m-apple-darwin");
2786 if (McpuDefault)
2787 *McpuDefault = "cortex-a7";
2788 if (ArchFlag)
2789 *ArchFlag = "armv7s";
2790 return Triple("armv7s-apple-darwin");
2791 default:
2792 return Triple();
2793 }
2795 switch (CPUSubType & ~MachO::CPU_SUBTYPE_MASK) {
2797 if (McpuDefault)
2798 *McpuDefault = "cyclone";
2799 if (ArchFlag)
2800 *ArchFlag = "arm64";
2801 return Triple("arm64-apple-darwin");
2803 if (McpuDefault)
2804 *McpuDefault = "apple-a12";
2805 if (ArchFlag)
2806 *ArchFlag = "arm64e";
2807 return Triple("arm64e-apple-darwin");
2808 default:
2809 return Triple();
2810 }
2812 switch (CPUSubType & ~MachO::CPU_SUBTYPE_MASK) {
2814 if (McpuDefault)
2815 *McpuDefault = "cyclone";
2816 if (ArchFlag)
2817 *ArchFlag = "arm64_32";
2818 return Triple("arm64_32-apple-darwin");
2819 default:
2820 return Triple();
2821 }
2823 switch (CPUSubType & ~MachO::CPU_SUBTYPE_MASK) {
2825 if (ArchFlag)
2826 *ArchFlag = "ppc";
2827 return Triple("ppc-apple-darwin");
2828 default:
2829 return Triple();
2830 }
2832 switch (CPUSubType & ~MachO::CPU_SUBTYPE_MASK) {
2834 if (ArchFlag)
2835 *ArchFlag = "ppc64";
2836 return Triple("ppc64-apple-darwin");
2837 default:
2838 return Triple();
2839 }
2840 default:
2841 return Triple();
2842 }
2843}
2844
2847}
2848
2850 auto validArchs = getValidArchs();
2851 return llvm::is_contained(validArchs, ArchFlag);
2852}
2853
2855 static const std::array<StringRef, 18> ValidArchs = {{
2856 "i386",
2857 "x86_64",
2858 "x86_64h",
2859 "armv4t",
2860 "arm",
2861 "armv5e",
2862 "armv6",
2863 "armv6m",
2864 "armv7",
2865 "armv7em",
2866 "armv7k",
2867 "armv7m",
2868 "armv7s",
2869 "arm64",
2870 "arm64e",
2871 "arm64_32",
2872 "ppc",
2873 "ppc64",
2874 }};
2875
2876 return ValidArchs;
2877}
2878
2880 return getArch(getCPUType(*this), getCPUSubType(*this));
2881}
2882
2883Triple MachOObjectFile::getArchTriple(const char **McpuDefault) const {
2884 return getArchTriple(Header.cputype, Header.cpusubtype, McpuDefault);
2885}
2886
2888 DataRefImpl DRI;
2889 DRI.d.a = Index;
2890 return section_rel_begin(DRI);
2891}
2892
2894 DataRefImpl DRI;
2895 DRI.d.a = Index;
2896 return section_rel_end(DRI);
2897}
2898
2900 DataRefImpl DRI;
2901 if (!DataInCodeLoadCmd)
2902 return dice_iterator(DiceRef(DRI, this));
2903
2905 DRI.p = reinterpret_cast<uintptr_t>(getPtr(*this, DicLC.dataoff));
2906 return dice_iterator(DiceRef(DRI, this));
2907}
2908
2910 DataRefImpl DRI;
2911 if (!DataInCodeLoadCmd)
2912 return dice_iterator(DiceRef(DRI, this));
2913
2915 unsigned Offset = DicLC.dataoff + DicLC.datasize;
2916 DRI.p = reinterpret_cast<uintptr_t>(getPtr(*this, Offset));
2917 return dice_iterator(DiceRef(DRI, this));
2918}
2919
2921 ArrayRef<uint8_t> T) : E(E), O(O), Trie(T) {}
2922
2923void ExportEntry::moveToFirst() {
2924 ErrorAsOutParameter ErrAsOutParam(E);
2925 pushNode(0);
2926 if (*E)
2927 return;
2928 pushDownUntilBottom();
2929}
2930
2931void ExportEntry::moveToEnd() {
2932 Stack.clear();
2933 Done = true;
2934}
2935
2937 // Common case, one at end, other iterating from begin.
2938 if (Done || Other.Done)
2939 return (Done == Other.Done);
2940 // Not equal if different stack sizes.
2941 if (Stack.size() != Other.Stack.size())
2942 return false;
2943 // Not equal if different cumulative strings.
2944 if (!CumulativeString.equals(Other.CumulativeString))
2945 return false;
2946 // Equal if all nodes in both stacks match.
2947 for (unsigned i=0; i < Stack.size(); ++i) {
2948 if (Stack[i].Start != Other.Stack[i].Start)
2949 return false;
2950 }
2951 return true;
2952}
2953
2954uint64_t ExportEntry::readULEB128(const uint8_t *&Ptr, const char **error) {
2955 unsigned Count;
2956 uint64_t Result = decodeULEB128(Ptr, &Count, Trie.end(), error);
2957 Ptr += Count;
2958 if (Ptr > Trie.end())
2959 Ptr = Trie.end();
2960 return Result;
2961}
2962
2964 return CumulativeString;
2965}
2966
2968 return Stack.back().Flags;
2969}
2970
2972 return Stack.back().Address;
2973}
2974
2976 return Stack.back().Other;
2977}
2978
2980 const char* ImportName = Stack.back().ImportName;
2981 if (ImportName)
2982 return StringRef(ImportName);
2983 return StringRef();
2984}
2985
2987 return Stack.back().Start - Trie.begin();
2988}
2989
2990ExportEntry::NodeState::NodeState(const uint8_t *Ptr)
2991 : Start(Ptr), Current(Ptr) {}
2992
2993void ExportEntry::pushNode(uint64_t offset) {
2994 ErrorAsOutParameter ErrAsOutParam(E);
2995 const uint8_t *Ptr = Trie.begin() + offset;
2996 NodeState State(Ptr);
2997 const char *error = nullptr;
2998 uint64_t ExportInfoSize = readULEB128(State.Current, &error);
2999 if (error) {
3000 *E = malformedError("export info size " + Twine(error) +
3001 " in export trie data at node: 0x" +
3002 Twine::utohexstr(offset));
3003 moveToEnd();
3004 return;
3005 }
3006 State.IsExportNode = (ExportInfoSize != 0);
3007 const uint8_t* Children = State.Current + ExportInfoSize;
3008 if (Children > Trie.end()) {
3009 *E = malformedError(
3010 "export info size: 0x" + Twine::utohexstr(ExportInfoSize) +
3011 " in export trie data at node: 0x" + Twine::utohexstr(offset) +
3012 " too big and extends past end of trie data");
3013 moveToEnd();
3014 return;
3015 }
3016 if (State.IsExportNode) {
3017 const uint8_t *ExportStart = State.Current;
3018 State.Flags = readULEB128(State.Current, &error);
3019 if (error) {
3020 *E = malformedError("flags " + Twine(error) +
3021 " in export trie data at node: 0x" +
3022 Twine::utohexstr(offset));
3023 moveToEnd();
3024 return;
3025 }
3027 if (State.Flags != 0 &&
3031 *E = malformedError(
3032 "unsupported exported symbol kind: " + Twine((int)Kind) +
3033 " in flags: 0x" + Twine::utohexstr(State.Flags) +
3034 " in export trie data at node: 0x" + Twine::utohexstr(offset));
3035 moveToEnd();
3036 return;
3037 }
3038 if (State.Flags & MachO::EXPORT_SYMBOL_FLAGS_REEXPORT) {
3039 State.Address = 0;
3040 State.Other = readULEB128(State.Current, &error); // dylib ordinal
3041 if (error) {
3042 *E = malformedError("dylib ordinal of re-export " + Twine(error) +
3043 " in export trie data at node: 0x" +
3044 Twine::utohexstr(offset));
3045 moveToEnd();
3046 return;
3047 }
3048 if (O != nullptr) {
3049 // Only positive numbers represent library ordinals. Zero and negative
3050 // numbers have special meaning (see BindSpecialDylib).
3051 if ((int64_t)State.Other > 0 && State.Other > O->getLibraryCount()) {
3052 *E = malformedError(
3053 "bad library ordinal: " + Twine((int)State.Other) + " (max " +
3054 Twine((int)O->getLibraryCount()) +
3055 ") in export trie data at node: 0x" + Twine::utohexstr(offset));
3056 moveToEnd();
3057 return;
3058 }
3059 }
3060 State.ImportName = reinterpret_cast<const char*>(State.Current);
3061 if (*State.ImportName == '\0') {
3062 State.Current++;
3063 } else {
3064 const uint8_t *End = State.Current + 1;
3065 if (End >= Trie.end()) {
3066 *E = malformedError("import name of re-export in export trie data at "
3067 "node: 0x" +
3068 Twine::utohexstr(offset) +
3069 " starts past end of trie data");
3070 moveToEnd();
3071 return;
3072 }
3073 while(*End != '\0' && End < Trie.end())
3074 End++;
3075 if (*End != '\0') {
3076 *E = malformedError("import name of re-export in export trie data at "
3077 "node: 0x" +
3078 Twine::utohexstr(offset) +
3079 " extends past end of trie data");
3080 moveToEnd();
3081 return;
3082 }
3083 State.Current = End + 1;
3084 }
3085 } else {
3086 State.Address = readULEB128(State.Current, &error);
3087 if (error) {
3088 *E = malformedError("address " + Twine(error) +
3089 " in export trie data at node: 0x" +
3090 Twine::utohexstr(offset));
3091 moveToEnd();
3092 return;
3093 }
3095 State.Other = readULEB128(State.Current, &error);
3096 if (error) {
3097 *E = malformedError("resolver of stub and resolver " + Twine(error) +
3098 " in export trie data at node: 0x" +
3099 Twine::utohexstr(offset));
3100 moveToEnd();
3101 return;
3102 }
3103 }
3104 }
3105 if (ExportStart + ExportInfoSize < State.Current) {
3106 *E = malformedError(
3107 "inconsistent export info size: 0x" +
3108 Twine::utohexstr(ExportInfoSize) + " where actual size was: 0x" +
3109 Twine::utohexstr(State.Current - ExportStart) +
3110 " in export trie data at node: 0x" + Twine::utohexstr(offset));
3111 moveToEnd();
3112 return;
3113 }
3114 }
3115 State.ChildCount = *Children;
3116 if (State.ChildCount != 0 && Children + 1 >= Trie.end()) {
3117 *E = malformedError("byte for count of childern in export trie data at "
3118 "node: 0x" +
3119 Twine::utohexstr(offset) +
3120 " extends past end of trie data");
3121 moveToEnd();
3122 return;
3123 }
3124 State.Current = Children + 1;
3125 State.NextChildIndex = 0;
3126 State.ParentStringLength = CumulativeString.size();
3127 Stack.push_back(State);
3128}
3129
3130void ExportEntry::pushDownUntilBottom() {
3131 ErrorAsOutParameter ErrAsOutParam(E);
3132 const char *error = nullptr;
3133 while (Stack.back().NextChildIndex < Stack.back().ChildCount) {
3134 NodeState &Top = Stack.back();
3135 CumulativeString.resize(Top.ParentStringLength);
3136 for (;*Top.Current != 0 && Top.Current < Trie.end(); Top.Current++) {
3137 char C = *Top.Current;
3138 CumulativeString.push_back(C);
3139 }
3140 if (Top.Current >= Trie.end()) {
3141 *E = malformedError("edge sub-string in export trie data at node: 0x" +
3142 Twine::utohexstr(Top.Start - Trie.begin()) +
3143 " for child #" + Twine((int)Top.NextChildIndex) +
3144 " extends past end of trie data");
3145 moveToEnd();
3146 return;
3147 }
3148 Top.Current += 1;
3149 uint64_t childNodeIndex = readULEB128(Top.Current, &error);
3150 if (error) {
3151 *E = malformedError("child node offset " + Twine(error) +
3152 " in export trie data at node: 0x" +
3153 Twine::utohexstr(Top.Start - Trie.begin()));
3154 moveToEnd();
3155 return;
3156 }
3157 for (const NodeState &node : nodes()) {
3158 if (node.Start == Trie.begin() + childNodeIndex){
3159 *E = malformedError("loop in childern in export trie data at node: 0x" +
3160 Twine::utohexstr(Top.Start - Trie.begin()) +
3161 " back to node: 0x" +
3162 Twine::utohexstr(childNodeIndex));
3163 moveToEnd();
3164 return;
3165 }
3166 }
3167 Top.NextChildIndex += 1;
3168 pushNode(childNodeIndex);
3169 if (*E)
3170 return;
3171 }
3172 if (!Stack.back().IsExportNode) {
3173 *E = malformedError("node is not an export node in export trie data at "
3174 "node: 0x" +
3175 Twine::utohexstr(Stack.back().Start - Trie.begin()));
3176 moveToEnd();
3177 return;
3178 }
3179}
3180
3181// We have a trie data structure and need a way to walk it that is compatible
3182// with the C++ iterator model. The solution is a non-recursive depth first
3183// traversal where the iterator contains a stack of parent nodes along with a
3184// string that is the accumulation of all edge strings along the parent chain
3185// to this point.
3186//
3187// There is one "export" node for each exported symbol. But because some
3188// symbols may be a prefix of another symbol (e.g. _dup and _dup2), an export
3189// node may have child nodes too.
3190//
3191// The algorithm for moveNext() is to keep moving down the leftmost unvisited
3192// child until hitting a node with no children (which is an export node or
3193// else the trie is malformed). On the way down, each node is pushed on the
3194// stack ivar. If there is no more ways down, it pops up one and tries to go
3195// down a sibling path until a childless node is reached.
3197 assert(!Stack.empty() && "ExportEntry::moveNext() with empty node stack");
3198 if (!Stack.back().IsExportNode) {
3199 *E = malformedError("node is not an export node in export trie data at "
3200 "node: 0x" +
3201 Twine::utohexstr(Stack.back().Start - Trie.begin()));
3202 moveToEnd();
3203 return;
3204 }
3205
3206 Stack.pop_back();
3207 while (!Stack.empty()) {
3208 NodeState &Top = Stack.back();
3209 if (Top.NextChildIndex < Top.ChildCount) {
3210 pushDownUntilBottom();
3211 // Now at the next export node.
3212 return;
3213 } else {
3214 if (Top.IsExportNode) {
3215 // This node has no children but is itself an export node.
3216 CumulativeString.resize(Top.ParentStringLength);
3217 return;
3218 }
3219 Stack.pop_back();
3220 }
3221 }
3222 Done = true;
3223}
3224
3227 const MachOObjectFile *O) {
3228 ExportEntry Start(&E, O, Trie);
3229 if (Trie.empty())
3230 Start.moveToEnd();
3231 else
3232 Start.moveToFirst();
3233
3234 ExportEntry Finish(&E, O, Trie);
3235 Finish.moveToEnd();
3236
3237 return make_range(export_iterator(Start), export_iterator(Finish));
3238}
3239
3241 ArrayRef<uint8_t> Trie;
3242 if (DyldInfoLoadCmd)
3243 Trie = getDyldInfoExportsTrie();
3244 else if (DyldExportsTrieLoadCmd)
3245 Trie = getDyldExportsTrie();
3246
3247 return exports(Err, Trie, this);
3248}
3249
3251 const MachOObjectFile *O)
3252 : E(E), O(O) {
3253 // Cache the vmaddress of __TEXT
3254 for (const auto &Command : O->load_commands()) {
3255 if (Command.C.cmd == MachO::LC_SEGMENT) {
3257 if (StringRef(SLC.segname) == "__TEXT") {
3258 TextAddress = SLC.vmaddr;
3259 break;
3260 }
3261 } else if (Command.C.cmd == MachO::LC_SEGMENT_64) {
3263 if (StringRef(SLC_64.segname) == "__TEXT") {
3264 TextAddress = SLC_64.vmaddr;
3265 break;
3266 }
3267 }
3268 }
3269}
3270
3272
3274 return SegmentOffset;
3275}
3276
3278 return O->BindRebaseAddress(SegmentIndex, 0);
3279}
3280
3283}
3284
3287}
3288
3291}
3292
3294
3295int64_t MachOAbstractFixupEntry::addend() const { return Addend; }
3296
3298
3300
3302
3304 SegmentOffset = 0;
3305 SegmentIndex = -1;
3306 Ordinal = 0;
3307 Flags = 0;
3308 Addend = 0;
3309 Done = false;
3310}
3311
3313
3315
3317 const MachOObjectFile *O,
3318 bool Parse)
3319 : MachOAbstractFixupEntry(E, O) {
3321 if (!Parse)
3322 return;
3323
3324 if (auto FixupTargetsOrErr = O->getDyldChainedFixupTargets()) {
3325 FixupTargets = *FixupTargetsOrErr;
3326 } else {
3327 *E = FixupTargetsOrErr.takeError();
3328 return;
3329 }
3330
3331 if (auto SegmentsOrErr = O->getChainedFixupsSegments()) {
3332 Segments = std::move(SegmentsOrErr->second);
3333 } else {
3334 *E = SegmentsOrErr.takeError();
3335 return;
3336 }
3337}
3338
3339void MachOChainedFixupEntry::findNextPageWithFixups() {
3340 auto FindInSegment = [this]() {
3341 const ChainedFixupsSegment &SegInfo = Segments[InfoSegIndex];
3342 while (PageIndex < SegInfo.PageStarts.size() &&
3343 SegInfo.PageStarts[PageIndex] == MachO::DYLD_CHAINED_PTR_START_NONE)
3344 ++PageIndex;
3345 return PageIndex < SegInfo.PageStarts.size();
3346 };
3347
3348 while (InfoSegIndex < Segments.size()) {
3349 if (FindInSegment()) {
3350 PageOffset = Segments[InfoSegIndex].PageStarts[PageIndex];
3351 SegmentData = O->getSegmentContents(Segments[InfoSegIndex].SegIdx);
3352 return;
3353 }
3354
3355 InfoSegIndex++;
3356 PageIndex = 0;
3357 }
3358}
3359
3362 if (Segments.empty()) {
3363 Done = true;
3364 return;
3365 }
3366
3367 InfoSegIndex = 0;
3368 PageIndex = 0;
3369
3370 findNextPageWithFixups();
3371 moveNext();
3372}
3373
3376}
3377
3379 ErrorAsOutParameter ErrAsOutParam(E);
3380
3381 if (InfoSegIndex == Segments.size()) {
3382 Done = true;
3383 return;
3384 }
3385
3386 const ChainedFixupsSegment &SegInfo = Segments[InfoSegIndex];
3387 SegmentIndex = SegInfo.SegIdx;
3388 SegmentOffset = SegInfo.Header.page_size * PageIndex + PageOffset;
3389
3390 // FIXME: Handle other pointer formats.
3391 uint16_t PointerFormat = SegInfo.Header.pointer_format;
3392 if (PointerFormat != MachO::DYLD_CHAINED_PTR_64 &&
3393 PointerFormat != MachO::DYLD_CHAINED_PTR_64_OFFSET) {
3394 *E = createError("segment " + Twine(SegmentIndex) +
3395 " has unsupported chained fixup pointer_format " +
3396 Twine(PointerFormat));
3397 moveToEnd();
3398 return;
3399 }
3400
3401 Ordinal = 0;
3402 Flags = 0;
3403 Addend = 0;
3404 PointerValue = 0;
3405 SymbolName = {};
3406
3407 if (SegmentOffset + sizeof(RawValue) > SegmentData.size()) {
3408 *E = malformedError("fixup in segment " + Twine(SegmentIndex) +
3409 " at offset " + Twine(SegmentOffset) +
3410 " extends past segment's end");
3411 moveToEnd();
3412 return;
3413 }
3414
3415 static_assert(sizeof(RawValue) == sizeof(MachO::dyld_chained_import_addend));
3416 memcpy(&RawValue, SegmentData.data() + SegmentOffset, sizeof(RawValue));
3419
3420 // The bit extraction below assumes little-endian fixup entries.
3421 assert(O->isLittleEndian() && "big-endian object should have been rejected "
3422 "by getDyldChainedFixupTargets()");
3423 auto Field = [this](uint8_t Right, uint8_t Count) {
3424 return (RawValue >> Right) & ((1ULL << Count) - 1);
3425 };
3426
3427 // The `bind` field (most significant bit) of the encoded fixup determines
3428 // whether it is dyld_chained_ptr_64_bind or dyld_chained_ptr_64_rebase.
3429 bool IsBind = Field(63, 1);
3431 uint32_t Next = Field(51, 12);
3432 if (IsBind) {
3433 uint32_t ImportOrdinal = Field(0, 24);
3434 uint8_t InlineAddend = Field(24, 8);
3435
3436 if (ImportOrdinal >= FixupTargets.size()) {
3437 *E = malformedError("fixup in segment " + Twine(SegmentIndex) +
3438 " at offset " + Twine(SegmentOffset) +
3439 " has out-of range import ordinal " +
3440 Twine(ImportOrdinal));
3441 moveToEnd();
3442 return;
3443 }
3444
3445 ChainedFixupTarget &Target = FixupTargets[ImportOrdinal];
3446 Ordinal = Target.libOrdinal();
3447 Addend = InlineAddend ? InlineAddend : Target.addend();
3449 SymbolName = Target.symbolName();
3450 } else {
3451 uint64_t Target = Field(0, 36);
3452 uint64_t High8 = Field(36, 8);
3453
3454 PointerValue = Target | (High8 << 56);
3455 if (PointerFormat == MachO::DYLD_CHAINED_PTR_64_OFFSET)
3457 }
3458
3459 // The stride is 4 bytes for DYLD_CHAINED_PTR_64(_OFFSET).
3460 if (Next != 0) {
3461 PageOffset += 4 * Next;
3462 } else {
3463 ++PageIndex;
3464 findNextPageWithFixups();
3465 }
3466}
3467
3469 const MachOChainedFixupEntry &Other) const {
3470 if (Done && Other.Done)
3471 return true;
3472 if (Done != Other.Done)
3473 return false;
3474 return InfoSegIndex == Other.InfoSegIndex && PageIndex == Other.PageIndex &&
3475 PageOffset == Other.PageOffset;
3476}
3477
3479 ArrayRef<uint8_t> Bytes, bool is64Bit)
3480 : E(E), O(O), Opcodes(Bytes), Ptr(Bytes.begin()),
3481 PointerSize(is64Bit ? 8 : 4) {}
3482
3483void MachORebaseEntry::moveToFirst() {
3484 Ptr = Opcodes.begin();
3485 moveNext();
3486}
3487
3488void MachORebaseEntry::moveToEnd() {
3489 Ptr = Opcodes.end();
3490 RemainingLoopCount = 0;
3491 Done = true;
3492}
3493
3495 ErrorAsOutParameter ErrAsOutParam(E);
3496 // If in the middle of some loop, move to next rebasing in loop.
3497 SegmentOffset += AdvanceAmount;
3498 if (RemainingLoopCount) {
3499 --RemainingLoopCount;
3500 return;
3501 }
3502
3503 bool More = true;
3504 while (More) {
3505 // REBASE_OPCODE_DONE is only used for padding if we are not aligned to
3506 // pointer size. Therefore it is possible to reach the end without ever
3507 // having seen REBASE_OPCODE_DONE.
3508 if (Ptr == Opcodes.end()) {
3509 Done = true;
3510 return;
3511 }
3512
3513 // Parse next opcode and set up next loop.
3514 const uint8_t *OpcodeStart = Ptr;
3515 uint8_t Byte = *Ptr++;
3516 uint8_t ImmValue = Byte & MachO::REBASE_IMMEDIATE_MASK;
3517 uint8_t Opcode = Byte & MachO::REBASE_OPCODE_MASK;
3518 uint64_t Count, Skip;
3519 const char *error = nullptr;
3520 switch (Opcode) {
3522 More = false;
3523 Done = true;
3524 moveToEnd();
3525 DEBUG_WITH_TYPE("mach-o-rebase", dbgs() << "REBASE_OPCODE_DONE\n");
3526 break;
3528 RebaseType = ImmValue;
3529 if (RebaseType > MachO::REBASE_TYPE_TEXT_PCREL32) {
3530 *E = malformedError("for REBASE_OPCODE_SET_TYPE_IMM bad bind type: " +
3531 Twine((int)RebaseType) + " for opcode at: 0x" +
3532 Twine::utohexstr(OpcodeStart - Opcodes.begin()));
3533 moveToEnd();
3534 return;
3535 }
3537 "mach-o-rebase",
3538 dbgs() << "REBASE_OPCODE_SET_TYPE_IMM: "
3539 << "RebaseType=" << (int) RebaseType << "\n");
3540 break;
3542 SegmentIndex = ImmValue;
3543 SegmentOffset = readULEB128(&error);
3544 if (error) {
3545 *E = malformedError("for REBASE_OPCODE_SET_SEGMENT_AND_OFFSET_ULEB " +
3546 Twine(error) + " for opcode at: 0x" +
3547 Twine::utohexstr(OpcodeStart - Opcodes.begin()));
3548 moveToEnd();
3549 return;
3550 }
3551 error = O->RebaseEntryCheckSegAndOffsets(SegmentIndex, SegmentOffset,
3552 PointerSize);
3553 if (error) {
3554 *E = malformedError("for REBASE_OPCODE_SET_SEGMENT_AND_OFFSET_ULEB " +
3555 Twine(error) + " for opcode at: 0x" +
3556 Twine::utohexstr(OpcodeStart - Opcodes.begin()));
3557 moveToEnd();
3558 return;
3559 }
3561 "mach-o-rebase",
3562 dbgs() << "REBASE_OPCODE_SET_SEGMENT_AND_OFFSET_ULEB: "
3563 << "SegmentIndex=" << SegmentIndex << ", "
3564 << format("SegmentOffset=0x%06X", SegmentOffset)
3565 << "\n");
3566 break;
3568 SegmentOffset += readULEB128(&error);
3569 if (error) {
3570 *E = malformedError("for REBASE_OPCODE_ADD_ADDR_ULEB " + Twine(error) +
3571 " for opcode at: 0x" +
3572 Twine::utohexstr(OpcodeStart - Opcodes.begin()));
3573 moveToEnd();
3574 return;
3575 }
3576 error = O->RebaseEntryCheckSegAndOffsets(SegmentIndex, SegmentOffset,
3577 PointerSize);
3578 if (error) {
3579 *E = malformedError("for REBASE_OPCODE_ADD_ADDR_ULEB " + Twine(error) +
3580 " for opcode at: 0x" +
3581 Twine::utohexstr(OpcodeStart - Opcodes.begin()));
3582 moveToEnd();
3583 return;
3584 }
3585 DEBUG_WITH_TYPE("mach-o-rebase",
3586 dbgs() << "REBASE_OPCODE_ADD_ADDR_ULEB: "
3587 << format("SegmentOffset=0x%06X",
3588 SegmentOffset) << "\n");
3589 break;
3591 SegmentOffset += ImmValue * PointerSize;
3592 error = O->RebaseEntryCheckSegAndOffsets(SegmentIndex, SegmentOffset,
3593 PointerSize);
3594 if (error) {
3595 *E = malformedError("for REBASE_OPCODE_ADD_ADDR_IMM_SCALED " +
3596 Twine(error) + " for opcode at: 0x" +
3597 Twine::utohexstr(OpcodeStart - Opcodes.begin()));
3598 moveToEnd();
3599 return;
3600 }
3601 DEBUG_WITH_TYPE("mach-o-rebase",
3602 dbgs() << "REBASE_OPCODE_ADD_ADDR_IMM_SCALED: "
3603 << format("SegmentOffset=0x%06X",
3604 SegmentOffset) << "\n");
3605 break;
3607 AdvanceAmount = PointerSize;
3608 Skip = 0;
3609 Count = ImmValue;
3610 if (ImmValue != 0)
3611 RemainingLoopCount = ImmValue - 1;
3612 else
3613 RemainingLoopCount = 0;
3614 error = O->RebaseEntryCheckSegAndOffsets(SegmentIndex, SegmentOffset,
3615 PointerSize, Count, Skip);
3616 if (error) {
3617 *E = malformedError("for REBASE_OPCODE_DO_REBASE_IMM_TIMES " +
3618 Twine(error) + " for opcode at: 0x" +
3619 Twine::utohexstr(OpcodeStart - Opcodes.begin()));
3620 moveToEnd();
3621 return;
3622 }
3624 "mach-o-rebase",
3625 dbgs() << "REBASE_OPCODE_DO_REBASE_IMM_TIMES: "
3626 << format("SegmentOffset=0x%06X", SegmentOffset)
3627 << ", AdvanceAmount=" << AdvanceAmount
3628 << ", RemainingLoopCount=" << RemainingLoopCount
3629 << "\n");
3630 return;
3632 AdvanceAmount = PointerSize;
3633 Skip = 0;
3634 Count = readULEB128(&error);
3635 if (error) {
3636 *E = malformedError("for REBASE_OPCODE_DO_REBASE_ULEB_TIMES " +
3637 Twine(error) + " for opcode at: 0x" +
3638 Twine::utohexstr(OpcodeStart - Opcodes.begin()));
3639 moveToEnd();
3640 return;
3641 }
3642 if (Count != 0)
3643 RemainingLoopCount = Count - 1;
3644 else
3645 RemainingLoopCount = 0;
3646 error = O->RebaseEntryCheckSegAndOffsets(SegmentIndex, SegmentOffset,
3647 PointerSize, Count, Skip);
3648 if (error) {
3649 *E = malformedError("for REBASE_OPCODE_DO_REBASE_ULEB_TIMES " +
3650 Twine(error) + " for opcode at: 0x" +
3651 Twine::utohexstr(OpcodeStart - Opcodes.begin()));
3652 moveToEnd();
3653 return;
3654 }
3656 "mach-o-rebase",
3657 dbgs() << "REBASE_OPCODE_DO_REBASE_ULEB_TIMES: "
3658 << format("SegmentOffset=0x%06X", SegmentOffset)
3659 << ", AdvanceAmount=" << AdvanceAmount
3660 << ", RemainingLoopCount=" << RemainingLoopCount
3661 << "\n");
3662 return;
3664 Skip = readULEB128(&error);
3665 if (error) {
3666 *E = malformedError("for REBASE_OPCODE_DO_REBASE_ADD_ADDR_ULEB " +
3667 Twine(error) + " for opcode at: 0x" +
3668 Twine::utohexstr(OpcodeStart - Opcodes.begin()));
3669 moveToEnd();
3670 return;
3671 }
3672 AdvanceAmount = Skip + PointerSize;
3673 Count = 1;
3674 RemainingLoopCount = 0;
3675 error = O->RebaseEntryCheckSegAndOffsets(SegmentIndex, SegmentOffset,
3676 PointerSize, Count, Skip);
3677 if (error) {
3678 *E = malformedError("for REBASE_OPCODE_DO_REBASE_ADD_ADDR_ULEB " +
3679 Twine(error) + " for opcode at: 0x" +
3680 Twine::utohexstr(OpcodeStart - Opcodes.begin()));
3681 moveToEnd();
3682 return;
3683 }
3685 "mach-o-rebase",
3686 dbgs() << "REBASE_OPCODE_DO_REBASE_ADD_ADDR_ULEB: "
3687 << format("SegmentOffset=0x%06X", SegmentOffset)
3688 << ", AdvanceAmount=" << AdvanceAmount
3689 << ", RemainingLoopCount=" << RemainingLoopCount
3690 << "\n");
3691 return;
3693 Count = readULEB128(&error);
3694 if (error) {
3695 *E = malformedError("for REBASE_OPCODE_DO_REBASE_ULEB_TIMES_SKIPPING_"
3696 "ULEB " +
3697 Twine(error) + " for opcode at: 0x" +
3698 Twine::utohexstr(OpcodeStart - Opcodes.begin()));
3699 moveToEnd();
3700 return;
3701 }
3702 if (Count != 0)
3703 RemainingLoopCount = Count - 1;
3704 else
3705 RemainingLoopCount = 0;
3706 Skip = readULEB128(&error);
3707 if (error) {
3708 *E = malformedError("for REBASE_OPCODE_DO_REBASE_ULEB_TIMES_SKIPPING_"
3709 "ULEB " +
3710 Twine(error) + " for opcode at: 0x" +
3711 Twine::utohexstr(OpcodeStart - Opcodes.begin()));
3712 moveToEnd();
3713 return;
3714 }
3715 AdvanceAmount = Skip + PointerSize;
3716
3717 error = O->RebaseEntryCheckSegAndOffsets(SegmentIndex, SegmentOffset,
3718 PointerSize, Count, Skip);
3719 if (error) {
3720 *E = malformedError("for REBASE_OPCODE_DO_REBASE_ULEB_TIMES_SKIPPING_"
3721 "ULEB " +
3722 Twine(error) + " for opcode at: 0x" +
3723 Twine::utohexstr(OpcodeStart - Opcodes.begin()));
3724 moveToEnd();
3725 return;
3726 }
3728 "mach-o-rebase",
3729 dbgs() << "REBASE_OPCODE_DO_REBASE_ULEB_TIMES_SKIPPING_ULEB: "
3730 << format("SegmentOffset=0x%06X", SegmentOffset)
3731 << ", AdvanceAmount=" << AdvanceAmount
3732 << ", RemainingLoopCount=" << RemainingLoopCount
3733 << "\n");
3734 return;
3735 default:
3736 *E = malformedError("bad rebase info (bad opcode value 0x" +
3737 Twine::utohexstr(Opcode) + " for opcode at: 0x" +
3738 Twine::utohexstr(OpcodeStart - Opcodes.begin()));
3739 moveToEnd();
3740 return;
3741 }
3742 }
3743}
3744
3745uint64_t MachORebaseEntry::readULEB128(const char **error) {
3746 unsigned Count;
3747 uint64_t Result = decodeULEB128(Ptr, &Count, Opcodes.end(), error);
3748 Ptr += Count;
3749 if (Ptr > Opcodes.end())
3750 Ptr = Opcodes.end();
3751 return Result;
3752}
3753
3754int32_t MachORebaseEntry::segmentIndex() const { return SegmentIndex; }
3755
3756uint64_t MachORebaseEntry::segmentOffset() const { return SegmentOffset; }
3757
3759 switch (RebaseType) {
3761 return "pointer";
3763 return "text abs32";
3765 return "text rel32";
3766 }
3767 return "unknown";
3768}
3769
3770// For use with the SegIndex of a checked Mach-O Rebase entry
3771// to get the segment name.
3773 return O->BindRebaseSegmentName(SegmentIndex);
3774}
3775
3776// For use with a SegIndex,SegOffset pair from a checked Mach-O Rebase entry
3777// to get the section name.
3779 return O->BindRebaseSectionName(SegmentIndex, SegmentOffset);
3780}
3781
3782// For use with a SegIndex,SegOffset pair from a checked Mach-O Rebase entry
3783// to get the address.
3785 return O->BindRebaseAddress(SegmentIndex, SegmentOffset);
3786}
3787
3789#ifdef EXPENSIVE_CHECKS
3790 assert(Opcodes == Other.Opcodes && "compare iterators of different files");
3791#else
3792 assert(Opcodes.data() == Other.Opcodes.data() && "compare iterators of different files");
3793#endif
3794 return (Ptr == Other.Ptr) &&
3795 (RemainingLoopCount == Other.RemainingLoopCount) &&
3796 (Done == Other.Done);
3797}
3798
3801 ArrayRef<uint8_t> Opcodes, bool is64) {
3802 if (O->BindRebaseSectionTable == nullptr)
3803 O->BindRebaseSectionTable = std::make_unique<BindRebaseSegInfo>(O);
3804 MachORebaseEntry Start(&Err, O, Opcodes, is64);
3805 Start.moveToFirst();
3806
3807 MachORebaseEntry Finish(&Err, O, Opcodes, is64);
3808 Finish.moveToEnd();
3809
3810 return make_range(rebase_iterator(Start), rebase_iterator(Finish));
3811}
3812
3814 return rebaseTable(Err, this, getDyldInfoRebaseOpcodes(), is64Bit());
3815}
3816
3818 ArrayRef<uint8_t> Bytes, bool is64Bit, Kind BK)
3819 : E(E), O(O), Opcodes(Bytes), Ptr(Bytes.begin()),
3820 PointerSize(is64Bit ? 8 : 4), TableKind(BK) {}
3821
3822void MachOBindEntry::moveToFirst() {
3823 Ptr = Opcodes.begin();
3824 moveNext();
3825}
3826
3827void MachOBindEntry::moveToEnd() {
3828 Ptr = Opcodes.end();
3829 RemainingLoopCount = 0;
3830 Done = true;
3831}
3832
3834 ErrorAsOutParameter ErrAsOutParam(E);
3835 // If in the middle of some loop, move to next binding in loop.
3836 SegmentOffset += AdvanceAmount;
3837 if (RemainingLoopCount) {
3838 --RemainingLoopCount;
3839 return;
3840 }
3841
3842 bool More = true;
3843 while (More) {
3844 // BIND_OPCODE_DONE is only used for padding if we are not aligned to
3845 // pointer size. Therefore it is possible to reach the end without ever
3846 // having seen BIND_OPCODE_DONE.
3847 if (Ptr == Opcodes.end()) {
3848 Done = true;
3849 return;
3850 }
3851
3852 // Parse next opcode and set up next loop.
3853 const uint8_t *OpcodeStart = Ptr;
3854 uint8_t Byte = *Ptr++;
3855 uint8_t ImmValue = Byte & MachO::BIND_IMMEDIATE_MASK;
3856 uint8_t Opcode = Byte & MachO::BIND_OPCODE_MASK;
3857 int8_t SignExtended;
3858 const uint8_t *SymStart;
3859 uint64_t Count, Skip;
3860 const char *error = nullptr;
3861 switch (Opcode) {
3863 if (TableKind == Kind::Lazy) {
3864 // Lazying bindings have a DONE opcode between entries. Need to ignore
3865 // it to advance to next entry. But need not if this is last entry.
3866 bool NotLastEntry = false;
3867 for (const uint8_t *P = Ptr; P < Opcodes.end(); ++P) {
3868 if (*P) {
3869 NotLastEntry = true;
3870 }
3871 }
3872 if (NotLastEntry)
3873 break;
3874 }
3875 More = false;
3876 moveToEnd();
3877 DEBUG_WITH_TYPE("mach-o-bind", dbgs() << "BIND_OPCODE_DONE\n");
3878 break;
3880 if (TableKind == Kind::Weak) {
3881 *E = malformedError("BIND_OPCODE_SET_DYLIB_ORDINAL_IMM not allowed in "
3882 "weak bind table for opcode at: 0x" +
3883 Twine::utohexstr(OpcodeStart - Opcodes.begin()));
3884 moveToEnd();
3885 return;
3886 }
3887 Ordinal = ImmValue;
3888 LibraryOrdinalSet = true;
3889 if (ImmValue > O->getLibraryCount()) {
3890 *E = malformedError("for BIND_OPCODE_SET_DYLIB_ORDINAL_ULEB bad "
3891 "library ordinal: " +
3892 Twine((int)ImmValue) + " (max " +
3893 Twine((int)O->getLibraryCount()) +
3894 ") for opcode at: 0x" +
3895 Twine::utohexstr(OpcodeStart - Opcodes.begin()));
3896 moveToEnd();
3897 return;
3898 }
3900 "mach-o-bind",
3901 dbgs() << "BIND_OPCODE_SET_DYLIB_ORDINAL_IMM: "
3902 << "Ordinal=" << Ordinal << "\n");
3903 break;
3905 if (TableKind == Kind::Weak) {
3906 *E = malformedError("BIND_OPCODE_SET_DYLIB_ORDINAL_ULEB not allowed in "
3907 "weak bind table for opcode at: 0x" +
3908 Twine::utohexstr(OpcodeStart - Opcodes.begin()));
3909 moveToEnd();
3910 return;
3911 }
3912 Ordinal = readULEB128(&error);
3913 LibraryOrdinalSet = true;
3914 if (error) {
3915 *E = malformedError("for BIND_OPCODE_SET_DYLIB_ORDINAL_ULEB " +
3916 Twine(error) + " for opcode at: 0x" +
3917 Twine::utohexstr(OpcodeStart - Opcodes.begin()));
3918 moveToEnd();
3919 return;
3920 }
3921 if (Ordinal > (int)O->getLibraryCount()) {
3922 *E = malformedError("for BIND_OPCODE_SET_DYLIB_ORDINAL_ULEB bad "
3923 "library ordinal: " +
3924 Twine((int)Ordinal) + " (max " +
3925 Twine((int)O->getLibraryCount()) +
3926 ") for opcode at: 0x" +
3927 Twine::utohexstr(OpcodeStart - Opcodes.begin()));
3928 moveToEnd();
3929 return;
3930 }
3932 "mach-o-bind",
3933 dbgs() << "BIND_OPCODE_SET_DYLIB_ORDINAL_ULEB: "
3934 << "Ordinal=" << Ordinal << "\n");
3935 break;
3937 if (TableKind == Kind::Weak) {
3938 *E = malformedError("BIND_OPCODE_SET_DYLIB_SPECIAL_IMM not allowed in "
3939 "weak bind table for opcode at: 0x" +
3940 Twine::utohexstr(OpcodeStart - Opcodes.begin()));
3941 moveToEnd();
3942 return;
3943 }
3944 if (ImmValue) {
3945 SignExtended = MachO::BIND_OPCODE_MASK | ImmValue;
3946 Ordinal = SignExtended;
3948 *E = malformedError("for BIND_OPCODE_SET_DYLIB_SPECIAL_IMM unknown "
3949 "special ordinal: " +
3950 Twine((int)Ordinal) + " for opcode at: 0x" +
3951 Twine::utohexstr(OpcodeStart - Opcodes.begin()));
3952 moveToEnd();
3953 return;
3954 }
3955 } else
3956 Ordinal = 0;
3957 LibraryOrdinalSet = true;
3959 "mach-o-bind",
3960 dbgs() << "BIND_OPCODE_SET_DYLIB_SPECIAL_IMM: "
3961 << "Ordinal=" << Ordinal << "\n");
3962 break;
3964 Flags = ImmValue;
3965 SymStart = Ptr;
3966 while (*Ptr && (Ptr < Opcodes.end())) {
3967 ++Ptr;
3968 }
3969 if (Ptr == Opcodes.end()) {
3970 *E = malformedError(
3971 "for BIND_OPCODE_SET_SYMBOL_TRAILING_FLAGS_IMM "
3972 "symbol name extends past opcodes for opcode at: 0x" +
3973 Twine::utohexstr(OpcodeStart - Opcodes.begin()));
3974 moveToEnd();
3975 return;
3976 }
3977 SymbolName = StringRef(reinterpret_cast<const char*>(SymStart),
3978 Ptr-SymStart);
3979 ++Ptr;
3981 "mach-o-bind",
3982 dbgs() << "BIND_OPCODE_SET_SYMBOL_TRAILING_FLAGS_IMM: "
3983 << "SymbolName=" << SymbolName << "\n");
3984 if (TableKind == Kind::Weak) {
3986 return;
3987 }
3988 break;
3990 BindType = ImmValue;
3991 if (ImmValue > MachO::BIND_TYPE_TEXT_PCREL32) {
3992 *E = malformedError("for BIND_OPCODE_SET_TYPE_IMM bad bind type: " +
3993 Twine((int)ImmValue) + " for opcode at: 0x" +
3994 Twine::utohexstr(OpcodeStart - Opcodes.begin()));
3995 moveToEnd();
3996 return;
3997 }
3999 "mach-o-bind",
4000 dbgs() << "BIND_OPCODE_SET_TYPE_IMM: "
4001 << "BindType=" << (int)BindType << "\n");
4002 break;
4004 Addend = readSLEB128(&error);
4005 if (error) {
4006 *E = malformedError("for BIND_OPCODE_SET_ADDEND_SLEB " + Twine(error) +
4007 " for opcode at: 0x" +
4008 Twine::utohexstr(OpcodeStart - Opcodes.begin()));
4009 moveToEnd();
4010 return;
4011 }
4013 "mach-o-bind",
4014 dbgs() << "BIND_OPCODE_SET_ADDEND_SLEB: "
4015 << "Addend=" << Addend << "\n");
4016 break;
4018 SegmentIndex = ImmValue;
4019 SegmentOffset = readULEB128(&error);
4020 if (error) {
4021 *E = malformedError("for BIND_OPCODE_SET_SEGMENT_AND_OFFSET_ULEB " +
4022 Twine(error) + " for opcode at: 0x" +
4023 Twine::utohexstr(OpcodeStart - Opcodes.begin()));
4024 moveToEnd();
4025 return;
4026 }
4027 error = O->BindEntryCheckSegAndOffsets(SegmentIndex, SegmentOffset,
4028 PointerSize);
4029 if (error) {
4030 *E = malformedError("for BIND_OPCODE_SET_SEGMENT_AND_OFFSET_ULEB " +
4031 Twine(error) + " for opcode at: 0x" +
4032 Twine::utohexstr(OpcodeStart - Opcodes.begin()));
4033 moveToEnd();
4034 return;
4035 }
4037 "mach-o-bind",
4038 dbgs() << "BIND_OPCODE_SET_SEGMENT_AND_OFFSET_ULEB: "
4039 << "SegmentIndex=" << SegmentIndex << ", "
4040 << format("SegmentOffset=0x%06X", SegmentOffset)
4041 << "\n");
4042 break;
4044 SegmentOffset += readULEB128(&error);
4045 if (error) {
4046 *E = malformedError("for BIND_OPCODE_ADD_ADDR_ULEB " + Twine(error) +
4047 " for opcode at: 0x" +
4048 Twine::utohexstr(OpcodeStart - Opcodes.begin()));
4049 moveToEnd();
4050 return;
4051 }
4052 error = O->BindEntryCheckSegAndOffsets(SegmentIndex, SegmentOffset,
4053 PointerSize);
4054 if (error) {
4055 *E = malformedError("for BIND_OPCODE_ADD_ADDR_ULEB " + Twine(error) +
4056 " for opcode at: 0x" +
4057 Twine::utohexstr(OpcodeStart - Opcodes.begin()));
4058 moveToEnd();
4059 return;
4060 }
4061 DEBUG_WITH_TYPE("mach-o-bind",
4062 dbgs() << "BIND_OPCODE_ADD_ADDR_ULEB: "
4063 << format("SegmentOffset=0x%06X",
4064 SegmentOffset) << "\n");
4065 break;
4067 AdvanceAmount = PointerSize;
4068 RemainingLoopCount = 0;
4069 error = O->BindEntryCheckSegAndOffsets(SegmentIndex, SegmentOffset,
4070 PointerSize);
4071 if (error) {
4072 *E = malformedError("for BIND_OPCODE_DO_BIND " + Twine(error) +
4073 " for opcode at: 0x" +
4074 Twine::utohexstr(OpcodeStart - Opcodes.begin()));
4075 moveToEnd();
4076 return;
4077 }
4078 if (SymbolName == StringRef()) {
4079 *E = malformedError(
4080 "for BIND_OPCODE_DO_BIND missing preceding "
4081 "BIND_OPCODE_SET_SYMBOL_TRAILING_FLAGS_IMM for opcode at: 0x" +
4082 Twine::utohexstr(OpcodeStart - Opcodes.begin()));
4083 moveToEnd();
4084 return;
4085 }
4086 if (!LibraryOrdinalSet && TableKind != Kind::Weak) {
4087 *E =
4088 malformedError("for BIND_OPCODE_DO_BIND missing preceding "
4089 "BIND_OPCODE_SET_DYLIB_ORDINAL_* for opcode at: 0x" +
4090 Twine::utohexstr(OpcodeStart - Opcodes.begin()));
4091 moveToEnd();
4092 return;
4093 }
4094 DEBUG_WITH_TYPE("mach-o-bind",
4095 dbgs() << "BIND_OPCODE_DO_BIND: "
4096 << format("SegmentOffset=0x%06X",
4097 SegmentOffset) << "\n");
4098 return;
4100 if (TableKind == Kind::Lazy) {
4101 *E = malformedError("BIND_OPCODE_DO_BIND_ADD_ADDR_ULEB not allowed in "
4102 "lazy bind table for opcode at: 0x" +
4103 Twine::utohexstr(OpcodeStart - Opcodes.begin()));
4104 moveToEnd();
4105 return;
4106 }
4107 error = O->BindEntryCheckSegAndOffsets(SegmentIndex, SegmentOffset,
4108 PointerSize);
4109 if (error) {
4110 *E = malformedError("for BIND_OPCODE_DO_BIND_ADD_ADDR_ULEB " +
4111 Twine(error) + " for opcode at: 0x" +
4112 Twine::utohexstr(OpcodeStart - Opcodes.begin()));
4113 moveToEnd();
4114 return;
4115 }
4116 if (SymbolName == StringRef()) {
4117 *E = malformedError(
4118 "for BIND_OPCODE_DO_BIND_ADD_ADDR_ULEB missing "
4119 "preceding BIND_OPCODE_SET_SYMBOL_TRAILING_FLAGS_IMM for opcode "
4120 "at: 0x" +
4121 Twine::utohexstr(OpcodeStart - Opcodes.begin()));
4122 moveToEnd();
4123 return;
4124 }
4125 if (!LibraryOrdinalSet && TableKind != Kind::Weak) {
4126 *E = malformedError(
4127 "for BIND_OPCODE_DO_BIND_ADD_ADDR_ULEB missing "
4128 "preceding BIND_OPCODE_SET_DYLIB_ORDINAL_* for opcode at: 0x" +
4129 Twine::utohexstr(OpcodeStart - Opcodes.begin()));
4130 moveToEnd();
4131 return;
4132 }
4133 AdvanceAmount = readULEB128(&error) + PointerSize;
4134 if (error) {
4135 *E = malformedError("for BIND_OPCODE_DO_BIND_ADD_ADDR_ULEB " +
4136 Twine(error) + " for opcode at: 0x" +
4137 Twine::utohexstr(OpcodeStart - Opcodes.begin()));
4138 moveToEnd();
4139 return;
4140 }
4141 // Note, this is not really an error until the next bind but make no sense
4142 // for a BIND_OPCODE_DO_BIND_ADD_ADDR_ULEB to not be followed by another
4143 // bind operation.
4144 error = O->BindEntryCheckSegAndOffsets(SegmentIndex, SegmentOffset +
4145 AdvanceAmount, PointerSize);
4146 if (error) {
4147 *E = malformedError("for BIND_OPCODE_ADD_ADDR_ULEB (after adding "
4148 "ULEB) " +
4149 Twine(error) + " for opcode at: 0x" +
4150 Twine::utohexstr(OpcodeStart - Opcodes.begin()));
4151 moveToEnd();
4152 return;
4153 }
4154 RemainingLoopCount = 0;
4156 "mach-o-bind",
4157 dbgs() << "BIND_OPCODE_DO_BIND_ADD_ADDR_ULEB: "
4158 << format("SegmentOffset=0x%06X", SegmentOffset)
4159 << ", AdvanceAmount=" << AdvanceAmount
4160 << ", RemainingLoopCount=" << RemainingLoopCount
4161 << "\n");
4162 return;
4164 if (TableKind == Kind::Lazy) {
4165 *E = malformedError("BIND_OPCODE_DO_BIND_ADD_ADDR_IMM_SCALED not "
4166 "allowed in lazy bind table for opcode at: 0x" +
4167 Twine::utohexstr(OpcodeStart - Opcodes.begin()));
4168 moveToEnd();
4169 return;
4170 }
4171 if (SymbolName == StringRef()) {
4172 *E = malformedError(
4173 "for BIND_OPCODE_DO_BIND_ADD_ADDR_IMM_SCALED "
4174 "missing preceding BIND_OPCODE_SET_SYMBOL_TRAILING_FLAGS_IMM for "
4175 "opcode at: 0x" +
4176 Twine::utohexstr(OpcodeStart - Opcodes.begin()));
4177 moveToEnd();
4178 return;
4179 }
4180 if (!LibraryOrdinalSet && TableKind != Kind::Weak) {
4181 *E = malformedError(
4182 "for BIND_OPCODE_DO_BIND_ADD_ADDR_IMM_SCALED "
4183 "missing preceding BIND_OPCODE_SET_DYLIB_ORDINAL_* for opcode "
4184 "at: 0x" +
4185 Twine::utohexstr(OpcodeStart - Opcodes.begin()));
4186 moveToEnd();
4187 return;
4188 }
4189 AdvanceAmount = ImmValue * PointerSize + PointerSize;
4190 RemainingLoopCount = 0;
4191 error = O->BindEntryCheckSegAndOffsets(SegmentIndex, SegmentOffset +
4192 AdvanceAmount, PointerSize);
4193 if (error) {
4194 *E = malformedError("for BIND_OPCODE_DO_BIND_ADD_ADDR_IMM_SCALED " +
4195 Twine(error) + " for opcode at: 0x" +
4196 Twine::utohexstr(OpcodeStart - Opcodes.begin()));
4197 moveToEnd();
4198 return;
4199 }
4200 DEBUG_WITH_TYPE("mach-o-bind",
4201 dbgs()
4202 << "BIND_OPCODE_DO_BIND_ADD_ADDR_IMM_SCALED: "
4203 << format("SegmentOffset=0x%06X", SegmentOffset) << "\n");
4204 return;
4206 if (TableKind == Kind::Lazy) {
4207 *E = malformedError("BIND_OPCODE_DO_BIND_ULEB_TIMES_SKIPPING_ULEB not "
4208 "allowed in lazy bind table for opcode at: 0x" +
4209 Twine::utohexstr(OpcodeStart - Opcodes.begin()));
4210 moveToEnd();
4211 return;
4212 }
4213 Count = readULEB128(&error);
4214 if (Count != 0)
4215 RemainingLoopCount = Count - 1;
4216 else
4217 RemainingLoopCount = 0;
4218 if (error) {
4219 *E = malformedError("for BIND_OPCODE_DO_BIND_ULEB_TIMES_SKIPPING_ULEB "
4220 " (count value) " +
4221 Twine(error) + " for opcode at: 0x" +
4222 Twine::utohexstr(OpcodeStart - Opcodes.begin()));
4223 moveToEnd();
4224 return;
4225 }
4226 Skip = readULEB128(&error);
4227 AdvanceAmount = Skip + PointerSize;
4228 if (error) {
4229 *E = malformedError("for BIND_OPCODE_DO_BIND_ULEB_TIMES_SKIPPING_ULEB "
4230 " (skip value) " +
4231 Twine(error) + " for opcode at: 0x" +
4232 Twine::utohexstr(OpcodeStart - Opcodes.begin()));
4233 moveToEnd();
4234 return;
4235 }
4236 if (SymbolName == StringRef()) {
4237 *E = malformedError(
4238 "for BIND_OPCODE_DO_BIND_ULEB_TIMES_SKIPPING_ULEB "
4239 "missing preceding BIND_OPCODE_SET_SYMBOL_TRAILING_FLAGS_IMM for "
4240 "opcode at: 0x" +
4241 Twine::utohexstr(OpcodeStart - Opcodes.begin()));
4242 moveToEnd();
4243 return;
4244 }
4245 if (!LibraryOrdinalSet && TableKind != Kind::Weak) {
4246 *E = malformedError(
4247 "for BIND_OPCODE_DO_BIND_ULEB_TIMES_SKIPPING_ULEB "
4248 "missing preceding BIND_OPCODE_SET_DYLIB_ORDINAL_* for opcode "
4249 "at: 0x" +
4250 Twine::utohexstr(OpcodeStart - Opcodes.begin()));
4251 moveToEnd();
4252 return;
4253 }
4254 error = O->BindEntryCheckSegAndOffsets(SegmentIndex, SegmentOffset,
4255 PointerSize, Count, Skip);
4256 if (error) {
4257 *E =
4258 malformedError("for BIND_OPCODE_DO_BIND_ULEB_TIMES_SKIPPING_ULEB " +
4259 Twine(error) + " for opcode at: 0x" +
4260 Twine::utohexstr(OpcodeStart - Opcodes.begin()));
4261 moveToEnd();
4262 return;
4263 }
4265 "mach-o-bind",
4266 dbgs() << "BIND_OPCODE_DO_BIND_ULEB_TIMES_SKIPPING_ULEB: "
4267 << format("SegmentOffset=0x%06X", SegmentOffset)
4268 << ", AdvanceAmount=" << AdvanceAmount
4269 << ", RemainingLoopCount=" << RemainingLoopCount
4270 << "\n");
4271 return;
4272 default:
4273 *E = malformedError("bad bind info (bad opcode value 0x" +
4274 Twine::utohexstr(Opcode) + " for opcode at: 0x" +
4275 Twine::utohexstr(OpcodeStart - Opcodes.begin()));
4276 moveToEnd();
4277 return;
4278 }
4279 }
4280}
4281
4282uint64_t MachOBindEntry::readULEB128(const char **error) {
4283 unsigned Count;
4284 uint64_t Result = decodeULEB128(Ptr, &Count, Opcodes.end(), error);
4285 Ptr += Count;
4286 if (Ptr > Opcodes.end())
4287 Ptr = Opcodes.end();
4288 return Result;
4289}
4290
4291int64_t MachOBindEntry::readSLEB128(const char **error) {
4292 unsigned Count;
4293 int64_t Result = decodeSLEB128(Ptr, &Count, Opcodes.end(), error);
4294 Ptr += Count;
4295 if (Ptr > Opcodes.end())
4296 Ptr = Opcodes.end();
4297 return Result;
4298}
4299
4300int32_t MachOBindEntry::segmentIndex() const { return SegmentIndex; }
4301
4302uint64_t MachOBindEntry::segmentOffset() const { return SegmentOffset; }
4303
4305 switch (BindType) {
4307 return "pointer";
4309 return "text abs32";
4311 return "text rel32";
4312 }
4313 return "unknown";
4314}
4315
4316StringRef MachOBindEntry::symbolName() const { return SymbolName; }
4317
4318int64_t MachOBindEntry::addend() const { return Addend; }
4319
4320uint32_t MachOBindEntry::flags() const { return Flags; }
4321
4322int MachOBindEntry::ordinal() const { return Ordinal; }
4323
4324// For use with the SegIndex of a checked Mach-O Bind entry
4325// to get the segment name.
4327 return O->BindRebaseSegmentName(SegmentIndex);
4328}
4329
4330// For use with a SegIndex,SegOffset pair from a checked Mach-O Bind entry
4331// to get the section name.
4333 return O->BindRebaseSectionName(SegmentIndex, SegmentOffset);
4334}
4335
4336// For use with a SegIndex,SegOffset pair from a checked Mach-O Bind entry
4337// to get the address.
4339 return O->BindRebaseAddress(SegmentIndex, SegmentOffset);
4340}
4341
4343#ifdef EXPENSIVE_CHECKS
4344 assert(Opcodes == Other.Opcodes && "compare iterators of different files");
4345#else
4346 assert(Opcodes.data() == Other.Opcodes.data() && "compare iterators of different files");
4347#endif
4348 return (Ptr == Other.Ptr) &&
4349 (RemainingLoopCount == Other.RemainingLoopCount) &&
4350 (Done == Other.Done);
4351}
4352
4353// Build table of sections so SegIndex/SegOffset pairs can be translated.
4355 uint32_t CurSegIndex = Obj->hasPageZeroSegment() ? 1 : 0;
4356 StringRef CurSegName;
4357 uint64_t CurSegAddress;
4358 for (const SectionRef &Section : Obj->sections()) {
4359 SectionInfo Info;
4360 Expected<StringRef> NameOrErr = Section.getName();
4361 if (!NameOrErr)
4362 consumeError(NameOrErr.takeError());
4363 else
4364 Info.SectionName = *NameOrErr;
4365 Info.Address = Section.getAddress();
4366 Info.Size = Section.getSize();
4367 Info.SegmentName =
4368 Obj->getSectionFinalSegmentName(Section.getRawDataRefImpl());
4369 if (Info.SegmentName != CurSegName) {
4370 ++CurSegIndex;
4371 CurSegName = Info.SegmentName;
4372 CurSegAddress = Info.Address;
4373 }
4374 Info.SegmentIndex = CurSegIndex - 1;
4375 Info.OffsetInSegment = Info.Address - CurSegAddress;
4376 Info.SegmentStartAddress = CurSegAddress;
4377 Sections.push_back(Info);
4378 }
4379 MaxSegIndex = CurSegIndex;
4380}
4381
4382// For use with a SegIndex, SegOffset, and PointerSize triple in
4383// MachOBindEntry::moveNext() to validate a MachOBindEntry or MachORebaseEntry.
4384//
4385// Given a SegIndex, SegOffset, and PointerSize, verify a valid section exists
4386// that fully contains a pointer at that location. Multiple fixups in a bind
4387// (such as with the BIND_OPCODE_DO_BIND_ULEB_TIMES_SKIPPING_ULEB opcode) can
4388// be tested via the Count and Skip parameters.
4389const char *BindRebaseSegInfo::checkSegAndOffsets(int32_t SegIndex,
4390 uint64_t SegOffset,
4391 uint8_t PointerSize,
4392 uint64_t Count,
4393 uint64_t Skip) {
4394 if (SegIndex == -1)
4395 return "missing preceding *_OPCODE_SET_SEGMENT_AND_OFFSET_ULEB";
4396 if (SegIndex >= MaxSegIndex)
4397 return "bad segIndex (too large)";
4398 for (uint64_t i = 0; i < Count; ++i) {
4399 uint64_t Start = SegOffset + i * (PointerSize + Skip);
4400 uint64_t End = Start + PointerSize;
4401 bool Found = false;
4402 for (const SectionInfo &SI : Sections) {
4403 if (SI.SegmentIndex != SegIndex)
4404 continue;
4405 if ((SI.OffsetInSegment<=Start) && (Start<(SI.OffsetInSegment+SI.Size))) {
4406 if (End <= SI.OffsetInSegment + SI.Size) {
4407 Found = true;
4408 break;
4409 }
4410 else
4411 return "bad offset, extends beyond section boundary";
4412 }
4413 }
4414 if (!Found)
4415 return "bad offset, not in section";
4416 }
4417 return nullptr;
4418}
4419
4420// For use with the SegIndex of a checked Mach-O Bind or Rebase entry
4421// to get the segment name.
4423 for (const SectionInfo &SI : Sections) {
4424 if (SI.SegmentIndex == SegIndex)
4425 return SI.SegmentName;
4426 }
4427 llvm_unreachable("invalid SegIndex");
4428}
4429
4430// For use with a SegIndex,SegOffset pair from a checked Mach-O Bind or Rebase
4431// to get the SectionInfo.
4432const BindRebaseSegInfo::SectionInfo &BindRebaseSegInfo::findSection(
4433 int32_t SegIndex, uint64_t SegOffset) {
4434 for (const SectionInfo &SI : Sections) {
4435 if (SI.SegmentIndex != SegIndex)
4436 continue;
4437 if (SI.OffsetInSegment > SegOffset)
4438 continue;
4439 if (SegOffset >= (SI.OffsetInSegment + SI.Size))
4440 continue;
4441 return SI;
4442 }
4443 llvm_unreachable("SegIndex and SegOffset not in any section");
4444}
4445
4446// For use with a SegIndex,SegOffset pair from a checked Mach-O Bind or Rebase
4447// entry to get the section name.
4449 uint64_t SegOffset) {
4450 return findSection(SegIndex, SegOffset).SectionName;
4451}
4452
4453// For use with a SegIndex,SegOffset pair from a checked Mach-O Bind or Rebase
4454// entry to get the address.
4456 const SectionInfo &SI = findSection(SegIndex, OffsetInSeg);
4457 return SI.SegmentStartAddress + OffsetInSeg;
4458}
4459
4462 ArrayRef<uint8_t> Opcodes, bool is64,
4463 MachOBindEntry::Kind BKind) {
4464 if (O->BindRebaseSectionTable == nullptr)
4465 O->BindRebaseSectionTable = std::make_unique<BindRebaseSegInfo>(O);
4466 MachOBindEntry Start(&Err, O, Opcodes, is64, BKind);
4467 Start.moveToFirst();
4468
4469 MachOBindEntry Finish(&Err, O, Opcodes, is64, BKind);
4470 Finish.moveToEnd();
4471
4472 return make_range(bind_iterator(Start), bind_iterator(Finish));
4473}
4474
4476 return bindTable(Err, this, getDyldInfoBindOpcodes(), is64Bit(),
4478}
4479
4481 return bindTable(Err, this, getDyldInfoLazyBindOpcodes(), is64Bit(),
4483}
4484
4486 return bindTable(Err, this, getDyldInfoWeakBindOpcodes(), is64Bit(),
4488}
4489
4491 if (BindRebaseSectionTable == nullptr)
4492 BindRebaseSectionTable = std::make_unique<BindRebaseSegInfo>(this);
4493
4494 MachOChainedFixupEntry Start(&Err, this, true);
4495 Start.moveToFirst();
4496
4497 MachOChainedFixupEntry Finish(&Err, this, false);
4498 Finish.moveToEnd();
4499
4500 return make_range(fixup_iterator(Start), fixup_iterator(Finish));
4501}
4502
4505 return LoadCommands.begin();
4506}
4507
4510 return LoadCommands.end();
4511}
4512
4516}
4517
4521 return parseSegmentOrSectionName(Raw.data());
4522}
4523
4526 assert(Sec.d.a < Sections.size() && "Should have detected this earlier");
4527 const section_base *Base =
4528 reinterpret_cast<const section_base *>(Sections[Sec.d.a]);
4529 return ArrayRef(Base->sectname);
4530}
4531
4534 assert(Sec.d.a < Sections.size() && "Should have detected this earlier");
4535 const section_base *Base =
4536 reinterpret_cast<const section_base *>(Sections[Sec.d.a]);
4537 return ArrayRef(Base->segname);
4538}
4539
4540bool
4542 const {
4543 if (getCPUType(*this) == MachO::CPU_TYPE_X86_64)
4544 return false;
4546}
4547
4549 const MachO::any_relocation_info &RE) const {
4550 if (isLittleEndian())
4551 return RE.r_word1 & 0xffffff;
4552 return RE.r_word1 >> 8;
4553}
4554
4556 const MachO::any_relocation_info &RE) const {
4557 if (isLittleEndian())
4558 return (RE.r_word1 >> 27) & 1;
4559 return (RE.r_word1 >> 4) & 1;
4560}
4561
4563 const MachO::any_relocation_info &RE) const {
4564 return RE.r_word0 >> 31;
4565}
4566
4568 const MachO::any_relocation_info &RE) const {
4569 return RE.r_word1;
4570}
4571
4573 const MachO::any_relocation_info &RE) const {
4574 return (RE.r_word0 >> 24) & 0xf;
4575}
4576
4578 const MachO::any_relocation_info &RE) const {
4579 if (isRelocationScattered(RE))
4581 return getPlainRelocationAddress(RE);
4582}
4583
4585 const MachO::any_relocation_info &RE) const {
4586 if (isRelocationScattered(RE))
4587 return getScatteredRelocationPCRel(RE);
4588 return getPlainRelocationPCRel(*this, RE);
4589}
4590
4592 const MachO::any_relocation_info &RE) const {
4593 if (isRelocationScattered(RE))
4595 return getPlainRelocationLength(*this, RE);
4596}
4597
4598unsigned
4600 const MachO::any_relocation_info &RE) const {
4601 if (isRelocationScattered(RE))
4602 return getScatteredRelocationType(RE);
4603 return getPlainRelocationType(*this, RE);
4604}
4605
4608 const MachO::any_relocation_info &RE) const {
4610 return *section_end();
4611 unsigned SecNum = getPlainRelocationSymbolNum(RE);
4612 if (SecNum == MachO::R_ABS || SecNum > Sections.size())
4613 return *section_end();
4614 DataRefImpl DRI;
4615 DRI.d.a = SecNum - 1;
4616 return SectionRef(DRI, this);
4617}
4618
4620 assert(DRI.d.a < Sections.size() && "Should have detected this earlier");
4621 return getStruct<MachO::section>(*this, Sections[DRI.d.a]);
4622}
4623
4625 assert(DRI.d.a < Sections.size() && "Should have detected this earlier");
4626 return getStruct<MachO::section_64>(*this, Sections[DRI.d.a]);
4627}
4628
4630 unsigned Index) const {
4631 const char *Sec = getSectionPtr(*this, L, Index);
4632 return getStruct<MachO::section>(*this, Sec);
4633}
4634
4636 unsigned Index) const {
4637 const char *Sec = getSectionPtr(*this, L, Index);
4638 return getStruct<MachO::section_64>(*this, Sec);
4639}
4640
4643 const char *P = reinterpret_cast<const char *>(DRI.p);
4644 return getStruct<MachO::nlist>(*this, P);
4645}
4646
4649 const char *P = reinterpret_cast<const char *>(DRI.p);
4650 return getStruct<MachO::nlist_64>(*this, P);
4651}
4652
4655 return getStruct<MachO::linkedit_data_command>(*this, L.Ptr);
4656}
4657
4660 return getStruct<MachO::segment_command>(*this, L.Ptr);
4661}
4662
4665 return getStruct<MachO::segment_command_64>(*this, L.Ptr);
4666}
4667
4670 return getStruct<MachO::linker_option_command>(*this, L.Ptr);
4671}
4672
4675 return getStruct<MachO::version_min_command>(*this, L.Ptr);
4676}
4677
4680 return getStruct<MachO::note_command>(*this, L.Ptr);
4681}
4682
4685 return getStruct<MachO::build_version_command>(*this, L.Ptr);
4686}
4687
4690 return getStruct<MachO::build_tool_version>(*this, BuildTools[index]);
4691}
4692
4695 return getStruct<MachO::dylib_command>(*this, L.Ptr);
4696}
4697
4700 return getStruct<MachO::dyld_info_command>(*this, L.Ptr);
4701}
4702
4705 return getStruct<MachO::dylinker_command>(*this, L.Ptr);
4706}
4707
4710 return getStruct<MachO::uuid_command>(*this, L.Ptr);
4711}
4712
4715 return getStruct<MachO::rpath_command>(*this, L.Ptr);
4716}
4717
4720 return getStruct<MachO::source_version_command>(*this, L.Ptr);
4721}
4722
4725 return getStruct<MachO::entry_point_command>(*this, L.Ptr);
4726}
4727
4730 return getStruct<MachO::encryption_info_command>(*this, L.Ptr);
4731}
4732
4735 return getStruct<MachO::encryption_info_command_64>(*this, L.Ptr);
4736}
4737
4740 return getStruct<MachO::sub_framework_command>(*this, L.Ptr);
4741}
4742
4745 return getStruct<MachO::sub_umbrella_command>(*this, L.Ptr);
4746}
4747
4750 return getStruct<MachO::sub_library_command>(*this, L.Ptr);
4751}
4752
4755 return getStruct<MachO::sub_client_command>(*this, L.Ptr);
4756}
4757
4760 return getStruct<MachO::routines_command>(*this, L.Ptr);
4761}
4762
4765 return getStruct<MachO::routines_command_64>(*this, L.Ptr);
4766}
4767
4770 return getStruct<MachO::thread_command>(*this, L.Ptr);
4771}
4772
4775 return getStruct<MachO::fileset_entry_command>(*this, L.Ptr);
4776}
4777
4781 if (getHeader().filetype == MachO::MH_OBJECT) {
4782 DataRefImpl Sec;
4783 Sec.d.a = Rel.d.a;
4784 if (is64Bit()) {
4785 MachO::section_64 Sect = getSection64(Sec);
4786 Offset = Sect.reloff;
4787 } else {
4788 MachO::section Sect = getSection(Sec);
4789 Offset = Sect.reloff;
4790 }
4791 } else {
4793 if (Rel.d.a == 0)
4794 Offset = DysymtabLoadCmd.extreloff; // Offset to the external relocations
4795 else
4796 Offset = DysymtabLoadCmd.locreloff; // Offset to the local relocations
4797 }
4798
4799 auto P = reinterpret_cast<const MachO::any_relocation_info *>(
4800 getPtr(*this, Offset)) + Rel.d.b;
4801 return getStruct<MachO::any_relocation_info>(
4802 *this, reinterpret_cast<const char *>(P));
4803}
4804
4807 const char *P = reinterpret_cast<const char *>(Rel.p);
4808 return getStruct<MachO::data_in_code_entry>(*this, P);
4809}
4810
4812 return Header;
4813}
4814
4816 assert(is64Bit());
4817 return Header64;
4818}
4819
4821 const MachO::dysymtab_command &DLC,
4822 unsigned Index) const {
4823 uint64_t Offset = DLC.indirectsymoff + Index * sizeof(uint32_t);
4824 return getStruct<uint32_t>(*this, getPtr(*this, Offset));
4825}
4826
4829 unsigned Index) const {
4830 uint64_t Offset = DataOffset + Index * sizeof(MachO::data_in_code_entry);
4831 return getStruct<MachO::data_in_code_entry>(*this, getPtr(*this, Offset));
4832}
4833
4835 if (SymtabLoadCmd)
4836 return getStruct<MachO::symtab_command>(*this, SymtabLoadCmd);
4837
4838 // If there is no SymtabLoadCmd return a load command with zero'ed fields.
4840 Cmd.cmd = MachO::LC_SYMTAB;
4841 Cmd.cmdsize = sizeof(MachO::symtab_command);
4842 Cmd.symoff = 0;
4843 Cmd.nsyms = 0;
4844 Cmd.stroff = 0;
4845 Cmd.strsize = 0;
4846 return Cmd;
4847}
4848
4850 if (DysymtabLoadCmd)
4851 return getStruct<MachO::dysymtab_command>(*this, DysymtabLoadCmd);
4852
4853 // If there is no DysymtabLoadCmd return a load command with zero'ed fields.
4855 Cmd.cmd = MachO::LC_DYSYMTAB;
4856 Cmd.cmdsize = sizeof(MachO::dysymtab_command);
4857 Cmd.ilocalsym = 0;
4858 Cmd.nlocalsym = 0;
4859 Cmd.iextdefsym = 0;
4860 Cmd.nextdefsym = 0;
4861 Cmd.iundefsym = 0;
4862 Cmd.nundefsym = 0;
4863 Cmd.tocoff = 0;
4864 Cmd.ntoc = 0;
4865 Cmd.modtaboff = 0;
4866 Cmd.nmodtab = 0;
4867 Cmd.extrefsymoff = 0;
4868 Cmd.nextrefsyms = 0;
4869 Cmd.indirectsymoff = 0;
4870 Cmd.nindirectsyms = 0;
4871 Cmd.extreloff = 0;
4872 Cmd.nextrel = 0;
4873 Cmd.locreloff = 0;
4874 Cmd.nlocrel = 0;
4875 return Cmd;
4876}
4877
4880 if (DataInCodeLoadCmd)
4881 return getStruct<MachO::linkedit_data_command>(*this, DataInCodeLoadCmd);
4882
4883 // If there is no DataInCodeLoadCmd return a load command with zero'ed fields.
4885 Cmd.cmd = MachO::LC_DATA_IN_CODE;
4887 Cmd.dataoff = 0;
4888 Cmd.datasize = 0;
4889 return Cmd;
4890}
4891
4894 if (LinkOptHintsLoadCmd)
4895 return getStruct<MachO::linkedit_data_command>(*this, LinkOptHintsLoadCmd);
4896
4897 // If there is no LinkOptHintsLoadCmd return a load command with zero'ed
4898 // fields.
4900 Cmd.cmd = MachO::LC_LINKER_OPTIMIZATION_HINT;
4902 Cmd.dataoff = 0;
4903 Cmd.datasize = 0;
4904 return Cmd;
4905}
4906
4908 if (!DyldInfoLoadCmd)
4909 return {};
4910
4911 auto DyldInfoOrErr =
4912 getStructOrErr<MachO::dyld_info_command>(*this, DyldInfoLoadCmd);
4913 if (!DyldInfoOrErr)
4914 return {};
4915 MachO::dyld_info_command DyldInfo = DyldInfoOrErr.get();
4916 const uint8_t *Ptr =
4917 reinterpret_cast<const uint8_t *>(getPtr(*this, DyldInfo.rebase_off));
4918 return ArrayRef(Ptr, DyldInfo.rebase_size);
4919}
4920
4922 if (!DyldInfoLoadCmd)
4923 return {};
4924
4925 auto DyldInfoOrErr =
4926 getStructOrErr<MachO::dyld_info_command>(*this, DyldInfoLoadCmd);
4927 if (!DyldInfoOrErr)
4928 return {};
4929 MachO::dyld_info_command DyldInfo = DyldInfoOrErr.get();
4930 const uint8_t *Ptr =
4931 reinterpret_cast<const uint8_t *>(getPtr(*this, DyldInfo.bind_off));
4932 return ArrayRef(Ptr, DyldInfo.bind_size);
4933}
4934
4936 if (!DyldInfoLoadCmd)
4937 return {};
4938
4939 auto DyldInfoOrErr =
4940 getStructOrErr<MachO::dyld_info_command>(*this, DyldInfoLoadCmd);
4941 if (!DyldInfoOrErr)
4942 return {};
4943 MachO::dyld_info_command DyldInfo = DyldInfoOrErr.get();
4944 const uint8_t *Ptr =
4945 reinterpret_cast<const uint8_t *>(getPtr(*this, DyldInfo.weak_bind_off));
4946 return ArrayRef(Ptr, DyldInfo.weak_bind_size);
4947}
4948
4950 if (!DyldInfoLoadCmd)
4951 return {};
4952
4953 auto DyldInfoOrErr =
4954 getStructOrErr<MachO::dyld_info_command>(*this, DyldInfoLoadCmd);
4955 if (!DyldInfoOrErr)
4956 return {};
4957 MachO::dyld_info_command DyldInfo = DyldInfoOrErr.get();
4958 const uint8_t *Ptr =
4959 reinterpret_cast<const uint8_t *>(getPtr(*this, DyldInfo.lazy_bind_off));
4960 return ArrayRef(Ptr, DyldInfo.lazy_bind_size);
4961}
4962
4964 if (!DyldInfoLoadCmd)
4965 return {};
4966
4967 auto DyldInfoOrErr =
4968 getStructOrErr<MachO::dyld_info_command>(*this, DyldInfoLoadCmd);
4969 if (!DyldInfoOrErr)
4970 return {};
4971 MachO::dyld_info_command DyldInfo = DyldInfoOrErr.get();
4972 const uint8_t *Ptr =
4973 reinterpret_cast<const uint8_t *>(getPtr(*this, DyldInfo.export_off));
4974 return ArrayRef(Ptr, DyldInfo.export_size);
4975}
4976
4979 // Load the dyld chained fixups load command.
4980 if (!DyldChainedFixupsLoadCmd)
4981 return std::nullopt;
4982 auto DyldChainedFixupsOrErr = getStructOrErr<MachO::linkedit_data_command>(
4983 *this, DyldChainedFixupsLoadCmd);
4984 if (!DyldChainedFixupsOrErr)
4985 return DyldChainedFixupsOrErr.takeError();
4986 const MachO::linkedit_data_command &DyldChainedFixups =
4987 *DyldChainedFixupsOrErr;
4988
4989 // If the load command is present but the data offset has been zeroed out,
4990 // as is the case for dylib stubs, return std::nullopt (no error).
4991 if (!DyldChainedFixups.dataoff)
4992 return std::nullopt;
4993 return DyldChainedFixups;
4994}
4995
4998 auto CFOrErr = getChainedFixupsLoadCommand();
4999 if (!CFOrErr)
5000 return CFOrErr.takeError();
5001 if (!CFOrErr->has_value())
5002 return std::nullopt;
5003
5004 const MachO::linkedit_data_command &DyldChainedFixups = **CFOrErr;
5005
5006 uint64_t CFHeaderOffset = DyldChainedFixups.dataoff;
5007 uint64_t CFSize = DyldChainedFixups.datasize;
5008
5009 // Load the dyld chained fixups header.
5010 const char *CFHeaderPtr = getPtr(*this, CFHeaderOffset);
5011 auto CFHeaderOrErr =
5012 getStructOrErr<MachO::dyld_chained_fixups_header>(*this, CFHeaderPtr);
5013 if (!CFHeaderOrErr)
5014 return CFHeaderOrErr.takeError();
5015 MachO::dyld_chained_fixups_header CFHeader = CFHeaderOrErr.get();
5016
5017 // Reject unknown chained fixup formats.
5018 if (CFHeader.fixups_version != 0)
5019 return malformedError(Twine("bad chained fixups: unknown version: ") +
5020 Twine(CFHeader.fixups_version));
5021 if (CFHeader.imports_format < 1 || CFHeader.imports_format > 3)
5022 return malformedError(
5023 Twine("bad chained fixups: unknown imports format: ") +
5024 Twine(CFHeader.imports_format));
5025
5026 // Validate the image format.
5027 //
5028 // Load the image starts.
5029 uint64_t CFImageStartsOffset = (CFHeaderOffset + CFHeader.starts_offset);
5030 if (CFHeader.starts_offset < sizeof(MachO::dyld_chained_fixups_header)) {
5031 return malformedError(Twine("bad chained fixups: image starts offset ") +
5032 Twine(CFHeader.starts_offset) +
5033 " overlaps with chained fixups header");
5034 }
5035 uint32_t EndOffset = CFHeaderOffset + CFSize;
5036 if (CFImageStartsOffset + sizeof(MachO::dyld_chained_starts_in_image) >
5037 EndOffset) {
5038 return malformedError(Twine("bad chained fixups: image starts end ") +
5039 Twine(CFImageStartsOffset +
5041 " extends past end " + Twine(EndOffset));
5042 }
5043
5044 return CFHeader;
5045}
5046
5049 auto CFOrErr = getChainedFixupsLoadCommand();
5050 if (!CFOrErr)
5051 return CFOrErr.takeError();
5052
5053 std::vector<ChainedFixupsSegment> Segments;
5054 if (!CFOrErr->has_value())
5055 return std::make_pair(0, Segments);
5056
5057 const MachO::linkedit_data_command &DyldChainedFixups = **CFOrErr;
5058
5059 auto HeaderOrErr = getChainedFixupsHeader();
5060 if (!HeaderOrErr)
5061 return HeaderOrErr.takeError();
5062 if (!HeaderOrErr->has_value())
5063 return std::make_pair(0, Segments);
5064 const MachO::dyld_chained_fixups_header &Header = **HeaderOrErr;
5065
5066 const char *Contents = getPtr(*this, DyldChainedFixups.dataoff);
5067
5068 auto ImageStartsOrErr = getStructOrErr<MachO::dyld_chained_starts_in_image>(
5069 *this, Contents + Header.starts_offset);
5070 if (!ImageStartsOrErr)
5071 return ImageStartsOrErr.takeError();
5072 const MachO::dyld_chained_starts_in_image &ImageStarts = *ImageStartsOrErr;
5073
5074 const char *SegOffsPtr =
5075 Contents + Header.starts_offset +
5077 const char *SegOffsEnd =
5078 SegOffsPtr + ImageStarts.seg_count * sizeof(uint32_t);
5079 if (SegOffsEnd > Contents + DyldChainedFixups.datasize)
5080 return malformedError(
5081 "bad chained fixups: seg_info_offset extends past end");
5082
5083 const char *LastSegEnd = nullptr;
5084 for (size_t I = 0, N = ImageStarts.seg_count; I < N; ++I) {
5085 auto OffOrErr =
5086 getStructOrErr<uint32_t>(*this, SegOffsPtr + I * sizeof(uint32_t));
5087 if (!OffOrErr)
5088 return OffOrErr.takeError();
5089 // seg_info_offset == 0 means there is no associated starts_in_segment
5090 // entry.
5091 if (!*OffOrErr)
5092 continue;
5093
5094 auto Fail = [&](Twine Message) {
5095 return malformedError("bad chained fixups: segment info" + Twine(I) +
5096 " at offset " + Twine(*OffOrErr) + Message);
5097 };
5098
5099 const char *SegPtr = Contents + Header.starts_offset + *OffOrErr;
5100 if (LastSegEnd && SegPtr < LastSegEnd)
5101 return Fail(" overlaps with previous segment info");
5102
5103 auto SegOrErr =
5104 getStructOrErr<MachO::dyld_chained_starts_in_segment>(*this, SegPtr);
5105 if (!SegOrErr)
5106 return SegOrErr.takeError();
5107 const MachO::dyld_chained_starts_in_segment &Seg = *SegOrErr;
5108
5109 LastSegEnd = SegPtr + Seg.size;
5110 if (Seg.pointer_format < 1 || Seg.pointer_format > 12)
5111 return Fail(" has unknown pointer format: " + Twine(Seg.pointer_format));
5112
5113 const char *PageStart =
5114 SegPtr + offsetof(MachO::dyld_chained_starts_in_segment, page_start);
5115 const char *PageEnd = PageStart + Seg.page_count * sizeof(uint16_t);
5116 if (PageEnd > SegPtr + Seg.size)
5117 return Fail(" : page_starts extend past seg_info size");
5118
5119 // FIXME: This does not account for multiple offsets on a single page
5120 // (DYLD_CHAINED_PTR_START_MULTI; 32-bit only).
5121 std::vector<uint16_t> PageStarts;
5122 for (size_t PageIdx = 0; PageIdx < Seg.page_count; ++PageIdx) {
5123 uint16_t Start;
5124 memcpy(&Start, PageStart + PageIdx * sizeof(uint16_t), sizeof(uint16_t));
5126 sys::swapByteOrder(Start);
5127 PageStarts.push_back(Start);
5128 }
5129
5130 Segments.emplace_back(I, *OffOrErr, Seg, std::move(PageStarts));
5131 }
5132
5133 return std::make_pair(ImageStarts.seg_count, Segments);
5134}
5135
5136// The special library ordinals have a negative value, but they are encoded in
5137// an unsigned bitfield, so we need to sign extend the value.
5138template <typename T> static int getEncodedOrdinal(T Value) {
5139 if (Value == static_cast<T>(MachO::BIND_SPECIAL_DYLIB_MAIN_EXECUTABLE) ||
5142 return SignExtend32<sizeof(T) * CHAR_BIT>(Value);
5143 return Value;
5144}
5145
5146template <typename T, unsigned N>
5147static std::array<T, N> getArray(const MachOObjectFile &O, const void *Ptr) {
5148 std::array<T, N> RawValue;
5149 memcpy(RawValue.data(), Ptr, N * sizeof(T));
5150 if (O.isLittleEndian() != sys::IsLittleEndianHost)
5151 for (auto &Element : RawValue)
5152 sys::swapByteOrder(Element);
5153 return RawValue;
5154}
5155
5158 auto CFOrErr = getChainedFixupsLoadCommand();
5159 if (!CFOrErr)
5160 return CFOrErr.takeError();
5161
5162 std::vector<ChainedFixupTarget> Targets;
5163 if (!CFOrErr->has_value())
5164 return Targets;
5165
5166 const MachO::linkedit_data_command &DyldChainedFixups = **CFOrErr;
5167
5168 auto CFHeaderOrErr = getChainedFixupsHeader();
5169 if (!CFHeaderOrErr)
5170 return CFHeaderOrErr.takeError();
5171 if (!(*CFHeaderOrErr))
5172 return Targets;
5173 const MachO::dyld_chained_fixups_header &Header = **CFHeaderOrErr;
5174
5175 size_t ImportSize = 0;
5176 if (Header.imports_format == MachO::DYLD_CHAINED_IMPORT)
5177 ImportSize = sizeof(MachO::dyld_chained_import);
5178 else if (Header.imports_format == MachO::DYLD_CHAINED_IMPORT_ADDEND)
5179 ImportSize = sizeof(MachO::dyld_chained_import_addend);
5180 else if (Header.imports_format == MachO::DYLD_CHAINED_IMPORT_ADDEND64)
5181 ImportSize = sizeof(MachO::dyld_chained_import_addend64);
5182 else
5183 return malformedError("bad chained fixups: unknown imports format: " +
5184 Twine(Header.imports_format));
5185
5186 const char *Contents = getPtr(*this, DyldChainedFixups.dataoff);
5187 const char *Imports = Contents + Header.imports_offset;
5188 size_t ImportsEndOffset =
5189 Header.imports_offset + ImportSize * Header.imports_count;
5190 const char *ImportsEnd = Contents + ImportsEndOffset;
5191 const char *Symbols = Contents + Header.symbols_offset;
5192 const char *SymbolsEnd = Contents + DyldChainedFixups.datasize;
5193
5194 if (ImportsEnd > Symbols)
5195 return malformedError("bad chained fixups: imports end " +
5196 Twine(ImportsEndOffset) + " overlaps with symbols");
5197
5198 // We use bit manipulation to extract data from the bitfields. This is correct
5199 // for both LE and BE hosts, but we assume that the object is little-endian.
5200 if (!isLittleEndian())
5201 return createError("parsing big-endian chained fixups is not implemented");
5202 for (const char *ImportPtr = Imports; ImportPtr < ImportsEnd;
5203 ImportPtr += ImportSize) {
5204 int LibOrdinal;
5205 bool WeakImport;
5206 uint32_t NameOffset;
5207 uint64_t Addend;
5208 if (Header.imports_format == MachO::DYLD_CHAINED_IMPORT) {
5209 static_assert(sizeof(uint32_t) == sizeof(MachO::dyld_chained_import));
5210 auto RawValue = getArray<uint32_t, 1>(*this, ImportPtr);
5211
5212 LibOrdinal = getEncodedOrdinal<uint8_t>(RawValue[0] & 0xFF);
5213 WeakImport = (RawValue[0] >> 8) & 1;
5214 NameOffset = RawValue[0] >> 9;
5215 Addend = 0;
5216 } else if (Header.imports_format == MachO::DYLD_CHAINED_IMPORT_ADDEND) {
5217 static_assert(sizeof(uint64_t) ==
5219 auto RawValue = getArray<uint32_t, 2>(*this, ImportPtr);
5220
5221 LibOrdinal = getEncodedOrdinal<uint8_t>(RawValue[0] & 0xFF);
5222 WeakImport = (RawValue[0] >> 8) & 1;
5223 NameOffset = RawValue[0] >> 9;
5224 Addend = bit_cast<int32_t>(RawValue[1]);
5225 } else if (Header.imports_format == MachO::DYLD_CHAINED_IMPORT_ADDEND64) {
5226 static_assert(2 * sizeof(uint64_t) ==
5228 auto RawValue = getArray<uint64_t, 2>(*this, ImportPtr);
5229
5230 LibOrdinal = getEncodedOrdinal<uint16_t>(RawValue[0] & 0xFFFF);
5231 NameOffset = (RawValue[0] >> 16) & 1;
5232 WeakImport = RawValue[0] >> 17;
5233 Addend = RawValue[1];
5234 } else {
5235 llvm_unreachable("Import format should have been checked");
5236 }
5237
5238 const char *Str = Symbols + NameOffset;
5239 if (Str >= SymbolsEnd)
5240 return malformedError("bad chained fixups: symbol offset " +
5241 Twine(NameOffset) + " extends past end " +
5242 Twine(DyldChainedFixups.datasize));
5243 Targets.emplace_back(LibOrdinal, NameOffset, Str, Addend, WeakImport);
5244 }
5245
5246 return std::move(Targets);
5247}
5248
5250 if (!DyldExportsTrieLoadCmd)
5251 return {};
5252
5253 auto DyldExportsTrieOrError = getStructOrErr<MachO::linkedit_data_command>(
5254 *this, DyldExportsTrieLoadCmd);
5255 if (!DyldExportsTrieOrError)
5256 return {};
5257 MachO::linkedit_data_command DyldExportsTrie = DyldExportsTrieOrError.get();
5258 const uint8_t *Ptr =
5259 reinterpret_cast<const uint8_t *>(getPtr(*this, DyldExportsTrie.dataoff));
5260 return ArrayRef(Ptr, DyldExportsTrie.datasize);
5261}
5262
5264 if (!FuncStartsLoadCmd)
5265 return {};
5266
5267 auto InfoOrErr =
5268 getStructOrErr<MachO::linkedit_data_command>(*this, FuncStartsLoadCmd);
5269 if (!InfoOrErr)
5270 return {};
5271
5272 MachO::linkedit_data_command Info = InfoOrErr.get();
5273 SmallVector<uint64_t, 8> FunctionStarts;
5274 this->ReadULEB128s(Info.dataoff, FunctionStarts);
5275 return std::move(FunctionStarts);
5276}
5277
5279 if (!UuidLoadCmd)
5280 return {};
5281 // Returning a pointer is fine as uuid doesn't need endian swapping.
5282 const char *Ptr = UuidLoadCmd + offsetof(MachO::uuid_command, uuid);
5283 return ArrayRef(reinterpret_cast<const uint8_t *>(Ptr), 16);
5284}
5285
5288 return getData().substr(S.stroff, S.strsize);
5289}
5290
5292 return getType() == getMachOType(false, true) ||
5293 getType() == getMachOType(true, true);
5294}
5295
5297 SmallVectorImpl<uint64_t> &Out) const {
5298 DataExtractor extractor(ObjectFile::getData(), true, 0);
5299
5300 uint64_t offset = Index;
5301 uint64_t data = 0;
5302 while (uint64_t delta = extractor.getULEB128(&offset)) {
5303 data += delta;
5304 Out.push_back(data);
5305 }
5306}
5307
5310}
5311
5312/// Create a MachOObjectFile instance from a given buffer.
5313///
5314/// \param Buffer Memory buffer containing the MachO binary data.
5315/// \param UniversalCputype CPU type when the MachO part of a universal binary.
5316/// \param UniversalIndex Index of the MachO within a universal binary.
5317/// \param MachOFilesetEntryOffset Offset of the MachO entry in a fileset MachO.
5318/// \returns A std::unique_ptr to a MachOObjectFile instance on success.
5320 MemoryBufferRef Buffer, uint32_t UniversalCputype, uint32_t UniversalIndex,
5321 size_t MachOFilesetEntryOffset) {
5322 StringRef Magic = Buffer.getBuffer().slice(0, 4);
5323 if (Magic == "\xFE\xED\xFA\xCE")
5324 return MachOObjectFile::create(Buffer, false, false, UniversalCputype,
5325 UniversalIndex, MachOFilesetEntryOffset);
5326 if (Magic == "\xCE\xFA\xED\xFE")
5327 return MachOObjectFile::create(Buffer, true, false, UniversalCputype,
5328 UniversalIndex, MachOFilesetEntryOffset);
5329 if (Magic == "\xFE\xED\xFA\xCF")
5330 return MachOObjectFile::create(Buffer, false, true, UniversalCputype,
5331 UniversalIndex, MachOFilesetEntryOffset);
5332 if (Magic == "\xCF\xFA\xED\xFE")
5333 return MachOObjectFile::create(Buffer, true, true, UniversalCputype,
5334 UniversalIndex, MachOFilesetEntryOffset);
5335 return make_error<GenericBinaryError>("Unrecognized MachO magic number",
5337}
5338
5341 .Case("debug_str_offs", "debug_str_offsets")
5342 .Default(Name);
5343}
5344
5347 SmallString<256> BundlePath(Path);
5348 // Normalize input path. This is necessary to accept `bundle.dSYM/`.
5349 sys::path::remove_dots(BundlePath);
5350 if (!sys::fs::is_directory(BundlePath) ||
5351 sys::path::extension(BundlePath) != ".dSYM")
5352 return std::vector<std::string>();
5353 sys::path::append(BundlePath, "Contents", "Resources", "DWARF");
5354 bool IsDir;
5355 auto EC = sys::fs::is_directory(BundlePath, IsDir);
5356 if (EC == errc::no_such_file_or_directory || (!EC && !IsDir))
5357 return createStringError(
5358 EC, "%s: expected directory 'Contents/Resources/DWARF' in dSYM bundle",
5359 Path.str().c_str());
5360 if (EC)
5361 return createFileError(BundlePath, errorCodeToError(EC));
5362
5363 std::vector<std::string> ObjectPaths;
5364 for (sys::fs::directory_iterator Dir(BundlePath, EC), DirEnd;
5365 Dir != DirEnd && !EC; Dir.increment(EC)) {
5366 StringRef ObjectPath = Dir->path();
5368 if (auto EC = sys::fs::status(ObjectPath, Status))
5369 return createFileError(ObjectPath, errorCodeToError(EC));
5370 switch (Status.type()) {
5374 ObjectPaths.push_back(ObjectPath.str());
5375 break;
5376 default: /*ignore*/;
5377 }
5378 }
5379 if (EC)
5380 return createFileError(BundlePath, errorCodeToError(EC));
5381 if (ObjectPaths.empty())
5382 return createStringError(std::error_code(),
5383 "%s: no objects found in dSYM bundle",
5384 Path.str().c_str());
5385 return ObjectPaths;
5386}
5387
5390 StringRef SectionName) const {
5391#define HANDLE_SWIFT_SECTION(KIND, MACHO, ELF, COFF) \
5392 .Case(MACHO, llvm::binaryformat::Swift5ReflectionSectionKind::KIND)
5395#include "llvm/BinaryFormat/Swift.def"
5397#undef HANDLE_SWIFT_SECTION
5398}
5399
5401 switch (Arch) {
5402 case Triple::x86:
5403 return RelocType == MachO::GENERIC_RELOC_SECTDIFF ||
5405 case Triple::x86_64:
5406 return RelocType == MachO::X86_64_RELOC_SUBTRACTOR;
5407 case Triple::arm:
5408 case Triple::thumb:
5409 return RelocType == MachO::ARM_RELOC_SECTDIFF ||
5410 RelocType == MachO::ARM_RELOC_LOCAL_SECTDIFF ||
5411 RelocType == MachO::ARM_RELOC_HALF ||
5412 RelocType == MachO::ARM_RELOC_HALF_SECTDIFF;
5413 case Triple::aarch64:
5414 return RelocType == MachO::ARM64_RELOC_SUBTRACTOR;
5415 default:
5416 return false;
5417 }
5418}
#define Fail
for(const MachineOperand &MO :llvm::drop_begin(OldMI.operands(), Desc.getNumOperands()))
#define offsetof(TYPE, MEMBER)
static GCRegistry::Add< StatepointGC > D("statepoint-example", "an example strategy for statepoint")
static GCRegistry::Add< CoreCLRGC > E("coreclr", "CoreCLR-compatible GC")
Analysis containing CSE Info
Definition: CSEInfo.cpp:27
Returns the sub type a function will return at a given Idx Should correspond to the result type of an ExtractValue instruction executed with just that one unsigned Idx
#define DEBUG_WITH_TYPE(TYPE,...)
DEBUG_WITH_TYPE macro - This macro should be used by passes to emit debug information.
Definition: Debug.h:64
std::string Name
uint64_t Size
bool End
Definition: ELF_riscv.cpp:480
Symbol * Sym
Definition: ELF_riscv.cpp:479
#define F(x, y, z)
Definition: MD5.cpp:55
#define I(x, y, z)
Definition: MD5.cpp:58
#define H(x, y, z)
Definition: MD5.cpp:57
static MachO::nlist_base getSymbolTableEntryBase(const MachOObjectFile &O, DataRefImpl DRI)
static Error checkVersCommand(const MachOObjectFile &Obj, const MachOObjectFile::LoadCommandInfo &Load, uint32_t LoadCommandIndex, const char **LoadCmd, const char *CmdName)
static Error checkSymtabCommand(const MachOObjectFile &Obj, const MachOObjectFile::LoadCommandInfo &Load, uint32_t LoadCommandIndex, const char **SymtabLoadCmd, std::list< MachOElement > &Elements)
static Error checkTwoLevelHintsCommand(const MachOObjectFile &Obj, const MachOObjectFile::LoadCommandInfo &Load, uint32_t LoadCommandIndex, const char **LoadCmd, std::list< MachOElement > &Elements)
static Error parseBuildVersionCommand(const MachOObjectFile &Obj, const MachOObjectFile::LoadCommandInfo &Load, SmallVectorImpl< const char * > &BuildTools, uint32_t LoadCommandIndex)
static unsigned getPlainRelocationType(const MachOObjectFile &O, const MachO::any_relocation_info &RE)
static Error checkDysymtabCommand(const MachOObjectFile &Obj, const MachOObjectFile::LoadCommandInfo &Load, uint32_t LoadCommandIndex, const char **DysymtabLoadCmd, std::list< MachOElement > &Elements)
static Error checkDylibCommand(const MachOObjectFile &Obj, const MachOObjectFile::LoadCommandInfo &Load, uint32_t LoadCommandIndex, const char *CmdName)
static Expected< T > getStructOrErr(const MachOObjectFile &O, const char *P)
static Expected< MachOObjectFile::LoadCommandInfo > getFirstLoadCommandInfo(const MachOObjectFile &Obj)
static const char * getPtr(const MachOObjectFile &O, size_t Offset, size_t MachOFilesetEntryOffset=0)
static Error parseSegmentLoadCommand(const MachOObjectFile &Obj, const MachOObjectFile::LoadCommandInfo &Load, SmallVectorImpl< const char * > &Sections, bool &IsPageZeroSegment, uint32_t LoadCommandIndex, const char *CmdName, uint64_t SizeOfHeaders, std::list< MachOElement > &Elements)
static Error checkDyldInfoCommand(const MachOObjectFile &Obj, const MachOObjectFile::LoadCommandInfo &Load, uint32_t LoadCommandIndex, const char **LoadCmd, const char *CmdName, std::list< MachOElement > &Elements)
static unsigned getScatteredRelocationLength(const MachO::any_relocation_info &RE)
static unsigned getPlainRelocationLength(const MachOObjectFile &O, const MachO::any_relocation_info &RE)
static Error checkSubCommand(const MachOObjectFile &Obj, const MachOObjectFile::LoadCommandInfo &Load, uint32_t LoadCommandIndex, const char *CmdName, size_t SizeOfCmd, const char *CmdStructName, uint32_t PathOffset, const char *PathFieldName)
static Error checkRpathCommand(const MachOObjectFile &Obj, const MachOObjectFile::LoadCommandInfo &Load, uint32_t LoadCommandIndex)
static T getStruct(const MachOObjectFile &O, const char *P)
static uint32_t getPlainRelocationAddress(const MachO::any_relocation_info &RE)
static const char * getSectionPtr(const MachOObjectFile &O, MachOObjectFile::LoadCommandInfo L, unsigned Sec)
static Error checkLinkerOptCommand(const MachOObjectFile &Obj, const MachOObjectFile::LoadCommandInfo &Load, uint32_t LoadCommandIndex)
static bool getPlainRelocationPCRel(const MachOObjectFile &O, const MachO::any_relocation_info &RE)
static std::array< T, N > getArray(const MachOObjectFile &O, const void *Ptr)
static unsigned getScatteredRelocationAddress(const MachO::any_relocation_info &RE)
static Error checkThreadCommand(const MachOObjectFile &Obj, const MachOObjectFile::LoadCommandInfo &Load, uint32_t LoadCommandIndex, const char *CmdName)
static Error checkLinkeditDataCommand(const MachOObjectFile &Obj, const MachOObjectFile::LoadCommandInfo &Load, uint32_t LoadCommandIndex, const char **LoadCmd, const char *CmdName, std::list< MachOElement > &Elements, const char *ElementName)
static Error malformedError(const Twine &Msg)
static bool isLoadCommandObsolete(uint32_t cmd)
static uint32_t getSectionFlags(const MachOObjectFile &O, DataRefImpl Sec)
static int getEncodedOrdinal(T Value)
static bool getScatteredRelocationPCRel(const MachO::any_relocation_info &RE)
static Error checkOverlappingElement(std::list< MachOElement > &Elements, uint64_t Offset, uint64_t Size, const char *Name)
static StringRef parseSegmentOrSectionName(const char *P)
static Expected< MachOObjectFile::LoadCommandInfo > getLoadCommandInfo(const MachOObjectFile &Obj, const char *Ptr, uint32_t LoadCommandIndex)
static void parseHeader(const MachOObjectFile &Obj, T &Header, Error &Err)
static unsigned getCPUType(const MachOObjectFile &O)
static Error checkDyldCommand(const MachOObjectFile &Obj, const MachOObjectFile::LoadCommandInfo &Load, uint32_t LoadCommandIndex, const char *CmdName)
static Error checkNoteCommand(const MachOObjectFile &Obj, const MachOObjectFile::LoadCommandInfo &Load, uint32_t LoadCommandIndex, std::list< MachOElement > &Elements)
static Error checkDylibIdCommand(const MachOObjectFile &Obj, const MachOObjectFile::LoadCommandInfo &Load, uint32_t LoadCommandIndex, const char **LoadCmd)
static unsigned getCPUSubType(const MachOObjectFile &O)
static Error checkEncryptCommand(const MachOObjectFile &Obj, const MachOObjectFile::LoadCommandInfo &Load, uint32_t LoadCommandIndex, uint64_t cryptoff, uint64_t cryptsize, const char **LoadCmd, const char *CmdName)
static Expected< MachOObjectFile::LoadCommandInfo > getNextLoadCommandInfo(const MachOObjectFile &Obj, uint32_t LoadCommandIndex, const MachOObjectFile::LoadCommandInfo &L)
static Error malformedError(Twine Msg)
Definition: Archive.cpp:43
OptimizedStructLayoutField Field
#define P(N)
assert(ImpDefSCC.getReg()==AMDGPU::SCC &&ImpDefSCC.isDef())
This file contains some templates that are useful if you are working with the STL at all.
static StringRef substr(StringRef Str, uint64_t Len)
This file defines the SmallVector class.
This file implements the StringSwitch template, which mimics a switch() statement whose cases are str...
#define error(X)
static bool is64Bit(const char *name)
This file implements the C++20 <bit> header.
ArrayRef - Represent a constant reference to an array (0 or more elements consecutively in memory),...
Definition: ArrayRef.h:41
iterator end() const
Definition: ArrayRef.h:157
size_t size() const
size - Get the array size.
Definition: ArrayRef.h:168
iterator begin() const
Definition: ArrayRef.h:156
bool empty() const
empty - Check if the array is empty.
Definition: ArrayRef.h:163
const T * data() const
Definition: ArrayRef.h:165
uint64_t getULEB128(uint64_t *offset_ptr, llvm::Error *Err=nullptr) const
Extract a unsigned LEB128 value from *offset_ptr.
Helper for Errors used as out-parameters.
Definition: Error.h:1130
Lightweight error class with error context and mandatory checking.
Definition: Error.h:160
static ErrorSuccess success()
Create a success value.
Definition: Error.h:337
Tagged union holding either a T or a Error.
Definition: Error.h:481
Error takeError()
Take ownership of the stored error.
Definition: Error.h:608
reference get()
Returns a reference to the stored T value.
Definition: Error.h:578
StringRef getBuffer() const
SmallString - A SmallString is just a SmallVector with methods and accessors that make it work better...
Definition: SmallString.h:26
bool equals(StringRef RHS) const
Check for string equality.
Definition: SmallString.h:92
bool empty() const
Definition: SmallVector.h:81
size_t size() const
Definition: SmallVector.h:78
This class consists of common code factored out of the SmallVector class to reduce code duplication b...
Definition: SmallVector.h:573
void resize(size_type N)
Definition: SmallVector.h:638
void push_back(const T &Elt)
Definition: SmallVector.h:413
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
Definition: SmallVector.h:1196
StringRef - Represent a constant reference to a string, i.e.
Definition: StringRef.h:51
std::string str() const
str - Get the contents as an std::string.
Definition: StringRef.h:229
constexpr StringRef substr(size_t Start, size_t N=npos) const
Return a reference to the substring from [Start, Start + N).
Definition: StringRef.h:571
bool starts_with(StringRef Prefix) const
Check if this string starts with the given Prefix.
Definition: StringRef.h:265
constexpr bool empty() const
empty - Check if the string is empty.
Definition: StringRef.h:147
iterator begin() const
Definition: StringRef.h:116
StringRef slice(size_t Start, size_t End) const
Return a reference to the substring from [Start, End).
Definition: StringRef.h:684
constexpr size_t size() const
size - Get the string size.
Definition: StringRef.h:150
constexpr const char * data() const
data - Get a pointer to the start of the string (which may not be null terminated).
Definition: StringRef.h:144
size_t rfind(char C, size_t From=npos) const
Search for the last character C in the string.
Definition: StringRef.h:347
iterator end() const
Definition: StringRef.h:118
size_t find(char C, size_t From=0) const
Search for the first character C in the string.
Definition: StringRef.h:297
static constexpr size_t npos
Definition: StringRef.h:53
A switch()-like statement whose cases are string literals.
Definition: StringSwitch.h:44
StringSwitch & Case(StringLiteral S, T Value)
Definition: StringSwitch.h:69
R Default(T Value)
Definition: StringSwitch.h:182
A table of densely packed, null-terminated strings indexed by offset.
Definition: StringTable.h:31
constexpr size_t size() const
Returns the byte size of the table.
Definition: StringTable.h:86
Target - Wrapper for Target specific information.
Triple - Helper class for working with autoconf configuration names.
Definition: Triple.h:44
@ UnknownArch
Definition: Triple.h:47
@ aarch64_32
Definition: Triple.h:53
Twine - A lightweight data structure for efficiently representing the concatenation of temporary valu...
Definition: Twine.h:81
static Twine utohexstr(const uint64_t &Val)
Definition: Twine.h:416
LLVM Value Representation.
Definition: Value.h:74
A range adaptor for a pair of iterators.
StringRef getData() const
Definition: Binary.cpp:39
unsigned int getType() const
Definition: Binary.h:104
bool isLittleEndian() const
Definition: Binary.h:155
static unsigned int getMachOType(bool isLE, bool is64Bits)
Definition: Binary.h:85
StringRef segmentName(int32_t SegIndex)
StringRef sectionName(int32_t SegIndex, uint64_t SegOffset)
BindRebaseSegInfo(const MachOObjectFile *Obj)
const char * checkSegAndOffsets(int32_t SegIndex, uint64_t SegOffset, uint8_t PointerSize, uint64_t Count=1, uint64_t Skip=0)
uint64_t address(uint32_t SegIndex, uint64_t SegOffset)
DiceRef - This is a value type class that represents a single data in code entry in the table in a Ma...
Definition: MachO.h:44
ExportEntry encapsulates the current-state-of-the-walk used when doing a non-recursive walk of the tr...
Definition: MachO.h:73
ExportEntry(Error *Err, const MachOObjectFile *O, ArrayRef< uint8_t > Trie)
bool operator==(const ExportEntry &) const
MachOAbstractFixupEntry is an abstract class representing a fixup in a MH_DYLDLINK file.
Definition: MachO.h:322
MachOAbstractFixupEntry(Error *Err, const MachOObjectFile *O)
const MachOObjectFile * O
Definition: MachO.h:357
MachOBindEntry encapsulates the current state in the decompression of binding opcodes.
Definition: MachO.h:212
bool operator==(const MachOBindEntry &) const
MachOBindEntry(Error *Err, const MachOObjectFile *O, ArrayRef< uint8_t > Opcodes, bool is64Bit, MachOBindEntry::Kind)
bool operator==(const MachOChainedFixupEntry &) const
MachOChainedFixupEntry(Error *Err, const MachOObjectFile *O, bool Parse)
MachO::sub_client_command getSubClientCommand(const LoadCommandInfo &L) const
void moveSectionNext(DataRefImpl &Sec) const override
ArrayRef< char > getSectionRawFinalSegmentName(DataRefImpl Sec) const
uint8_t getBytesInAddress() const override
The number of bytes used to represent an address in this object file format.
Triple::ArchType getArch() const override
MachO::mach_header_64 Header64
Definition: MachO.h:849
bool isSectionData(DataRefImpl Sec) const override
const MachO::mach_header_64 & getHeader64() const
Expected< std::vector< ChainedFixupTarget > > getDyldChainedFixupTargets() const
uint64_t getSectionAlignment(DataRefImpl Sec) const override
uint32_t getScatteredRelocationType(const MachO::any_relocation_info &RE) const
symbol_iterator getRelocationSymbol(DataRefImpl Rel) const override
Expected< SectionRef > getSection(unsigned SectionIndex) const
iterator_range< rebase_iterator > rebaseTable(Error &Err)
For use iterating over all rebase table entries.
std::error_code getIndirectName(DataRefImpl Symb, StringRef &Res) const
load_command_iterator begin_load_commands() const
MachO::encryption_info_command_64 getEncryptionInfoCommand64(const LoadCommandInfo &L) const
StringRef getFileFormatName() const override
dice_iterator begin_dices() const
basic_symbol_iterator symbol_begin() const override
Expected< std::optional< MachO::linkedit_data_command > > getChainedFixupsLoadCommand() const
iterator_range< export_iterator > exports(Error &Err) const
For use iterating over all exported symbols.
uint64_t getSymbolIndex(DataRefImpl Symb) const
MachO::build_version_command getBuildVersionLoadCommand(const LoadCommandInfo &L) const
section_iterator section_end() const override
MachO::build_tool_version getBuildToolVersion(unsigned index) const
MachO::linkedit_data_command getDataInCodeLoadCommand() const
MachO::routines_command getRoutinesCommand(const LoadCommandInfo &L) const
MachO::nlist getSymbolTableEntry(DataRefImpl DRI) const
unsigned getSymbolSectionID(SymbolRef Symb) const
static Expected< std::vector< std::string > > findDsymObjectMembers(StringRef Path)
If the input path is a .dSYM bundle (as created by the dsymutil tool), return the paths to the object...
uint32_t getScatteredRelocationValue(const MachO::any_relocation_info &RE) const
MachO::linker_option_command getLinkerOptionLoadCommand(const LoadCommandInfo &L) const
MachO::entry_point_command getEntryPointCommand(const LoadCommandInfo &L) const
Expected< section_iterator > getSymbolSection(DataRefImpl Symb) const override
const char * RebaseEntryCheckSegAndOffsets(int32_t SegIndex, uint64_t SegOffset, uint8_t PointerSize, uint64_t Count=1, uint64_t Skip=0) const
Definition: MachO.h:592
uint64_t getRelocationOffset(DataRefImpl Rel) const override
ArrayRef< uint8_t > getDyldInfoLazyBindOpcodes() const
void moveSymbolNext(DataRefImpl &Symb) const override
SectionRef getAnyRelocationSection(const MachO::any_relocation_info &RE) const
MachO::dysymtab_command getDysymtabLoadCommand() const
iterator_range< bind_iterator > bindTable(Error &Err)
For use iterating over all bind table entries.
MachO::mach_header Header
Definition: MachO.h:850
uint64_t getCommonSymbolSizeImpl(DataRefImpl Symb) const override
relocation_iterator section_rel_begin(DataRefImpl Sec) const override
MachO::section_64 getSection64(DataRefImpl DRI) const
MachO::fileset_entry_command getFilesetEntryLoadCommand(const LoadCommandInfo &L) const
MachO::note_command getNoteLoadCommand(const LoadCommandInfo &L) const
MachO::thread_command getThreadCommand(const LoadCommandInfo &L) const
ArrayRef< uint8_t > getSectionContents(uint32_t Offset, uint64_t Size) const
const char * BindEntryCheckSegAndOffsets(int32_t SegIndex, uint64_t SegOffset, uint8_t PointerSize, uint64_t Count=1, uint64_t Skip=0) const
Definition: MachO.h:578
section_iterator section_begin() const override
bool isRelocatableObject() const override
True if this is a relocatable object (.o/.obj).
MachO::segment_command_64 getSegment64LoadCommand(const LoadCommandInfo &L) const
relocation_iterator section_rel_end(DataRefImpl Sec) const override
ArrayRef< uint8_t > getDyldInfoExportsTrie() const
bool isDebugSection(DataRefImpl Sec) const override
MachO::nlist_64 getSymbol64TableEntry(DataRefImpl DRI) const
unsigned getSectionType(SectionRef Sec) const
MachO::segment_command getSegmentLoadCommand(const LoadCommandInfo &L) const
static Expected< std::unique_ptr< MachOObjectFile > > create(MemoryBufferRef Object, bool IsLittleEndian, bool Is64Bits, uint32_t UniversalCputype=0, uint32_t UniversalIndex=0, size_t MachOFilesetEntryOffset=0)
StringRef getSectionFinalSegmentName(DataRefImpl Sec) const
MachO::linkedit_data_command getLinkOptHintsLoadCommand() const
unsigned getAnyRelocationType(const MachO::any_relocation_info &RE) const
MachO::rpath_command getRpathCommand(const LoadCommandInfo &L) const
dice_iterator end_dices() const
MachO::routines_command_64 getRoutinesCommand64(const LoadCommandInfo &L) const
MachO::sub_framework_command getSubFrameworkCommand(const LoadCommandInfo &L) const
SmallVector< uint64_t > getFunctionStarts() const
MachO::sub_library_command getSubLibraryCommand(const LoadCommandInfo &L) const
MachO::dyld_info_command getDyldInfoLoadCommand(const LoadCommandInfo &L) const
MachO::sub_umbrella_command getSubUmbrellaCommand(const LoadCommandInfo &L) const
ArrayRef< uint8_t > getDyldExportsTrie() const
Expected< uint32_t > getSymbolFlags(DataRefImpl Symb) const override
section_iterator getRelocationRelocatedSection(relocation_iterator Rel) const
bool isSectionBSS(DataRefImpl Sec) const override
Expected< std::pair< size_t, std::vector< ChainedFixupsSegment > > > getChainedFixupsSegments() const
bool isSectionVirtual(DataRefImpl Sec) const override
bool getScatteredRelocationScattered(const MachO::any_relocation_info &RE) const
Expected< StringRef > getSymbolName(DataRefImpl Symb) const override
bool getPlainRelocationExternal(const MachO::any_relocation_info &RE) const
symbol_iterator getSymbolByIndex(unsigned Index) const
MachO::encryption_info_command getEncryptionInfoCommand(const LoadCommandInfo &L) const
const MachO::mach_header & getHeader() const
unsigned getAnyRelocationPCRel(const MachO::any_relocation_info &RE) const
iterator_range< bind_iterator > weakBindTable(Error &Err)
For use iterating over all weak bind table entries.
static bool isMachOPairedReloc(uint64_t RelocType, uint64_t Arch)
ArrayRef< uint8_t > getDyldInfoRebaseOpcodes() const
iterator_range< load_command_iterator > load_commands() const
unsigned getAnyRelocationLength(const MachO::any_relocation_info &RE) const
MachO::symtab_command getSymtabLoadCommand() const
Triple getArchTriple(const char **McpuDefault=nullptr) const
MachO::uuid_command getUuidCommand(const LoadCommandInfo &L) const
unsigned getPlainRelocationSymbolNum(const MachO::any_relocation_info &RE) const
ArrayRef< uint8_t > getUuid() const
uint64_t BindRebaseAddress(uint32_t SegIndex, uint64_t SegOffset) const
For use with a SegIndex,SegOffset pair from a checked Mach-O Bind or Rebase entry to get the address.
Definition: MachO.h:615
MachO::version_min_command getVersionMinLoadCommand(const LoadCommandInfo &L) const
StringRef mapDebugSectionName(StringRef Name) const override
Maps a debug section name to a standard DWARF section name.
MachO::dylinker_command getDylinkerCommand(const LoadCommandInfo &L) const
uint64_t getRelocationType(DataRefImpl Rel) const override
StringRef BindRebaseSegmentName(int32_t SegIndex) const
For use with the SegIndex of a checked Mach-O Bind or Rebase entry to get the segment name.
Definition: MachO.h:603
relocation_iterator extrel_begin() const
void moveRelocationNext(DataRefImpl &Rel) const override
MachO::any_relocation_info getRelocation(DataRefImpl Rel) const
basic_symbol_iterator symbol_end() const override
MachO::data_in_code_entry getDataInCodeTableEntry(uint32_t DataOffset, unsigned Index) const
MachO::data_in_code_entry getDice(DataRefImpl Rel) const
bool isSectionStripped(DataRefImpl Sec) const override
When dsymutil generates the companion file, it strips all unnecessary sections (e....
uint64_t getSectionIndex(DataRefImpl Sec) const override
iterator_range< fixup_iterator > fixupTable(Error &Err)
For iterating over all chained fixups.
void ReadULEB128s(uint64_t Index, SmallVectorImpl< uint64_t > &Out) const
StringRef BindRebaseSectionName(uint32_t SegIndex, uint64_t SegOffset) const
For use with a SegIndex,SegOffset pair from a checked Mach-O Bind or Rebase entry to get the section ...
Definition: MachO.h:609
iterator_range< bind_iterator > lazyBindTable(Error &Err)
For use iterating over all lazy bind table entries.
load_command_iterator end_load_commands() const
ArrayRef< uint8_t > getDyldInfoBindOpcodes() const
Expected< SymbolRef::Type > getSymbolType(DataRefImpl Symb) const override
uint64_t getSectionAddress(DataRefImpl Sec) const override
bool hasPageZeroSegment() const
Definition: MachO.h:765
Expected< StringRef > getSectionName(DataRefImpl Sec) const override
uint8_t getRelocationLength(DataRefImpl Rel) const
llvm::binaryformat::Swift5ReflectionSectionKind mapReflectionSectionNameToEnumValue(StringRef SectionName) const override
ArrayRef< uint8_t > getDyldInfoWeakBindOpcodes() const
static bool isValidArch(StringRef ArchFlag)
bool isSectionText(DataRefImpl Sec) const override
bool isSectionCompressed(DataRefImpl Sec) const override
static ArrayRef< StringRef > getValidArchs()
bool isSectionBitcode(DataRefImpl Sec) const override
bool isRelocationScattered(const MachO::any_relocation_info &RE) const
relocation_iterator locrel_begin() const
Expected< std::optional< MachO::dyld_chained_fixups_header > > getChainedFixupsHeader() const
If the optional is std::nullopt, no header was found, but the object was well-formed.
uint32_t getSymbolAlignment(DataRefImpl Symb) const override
MachO::source_version_command getSourceVersionCommand(const LoadCommandInfo &L) const
unsigned getAnyRelocationAddress(const MachO::any_relocation_info &RE) const
void getRelocationTypeName(DataRefImpl Rel, SmallVectorImpl< char > &Result) const override
ArrayRef< char > getSectionRawName(DataRefImpl Sec) const
uint64_t getNValue(DataRefImpl Sym) const
ArrayRef< uint8_t > getSegmentContents(StringRef SegmentName) const
Return the raw contents of an entire segment.
section_iterator getRelocationSection(DataRefImpl Rel) const
unsigned getSectionID(SectionRef Sec) const
MachO::linkedit_data_command getLinkeditDataLoadCommand(const LoadCommandInfo &L) const
Expected< uint64_t > getSymbolAddress(DataRefImpl Symb) const override
MachO::dylib_command getDylibIDLoadCommand(const LoadCommandInfo &L) const
size_t getMachOFilesetEntryOffset() const
Definition: MachO.h:767
uint32_t getIndirectSymbolTableEntry(const MachO::dysymtab_command &DLC, unsigned Index) const
uint64_t getSectionSize(DataRefImpl Sec) const override
relocation_iterator extrel_end() const
static StringRef guessLibraryShortName(StringRef Name, bool &isFramework, StringRef &Suffix)
relocation_iterator locrel_end() const
std::error_code getLibraryShortNameByIndex(unsigned Index, StringRef &) const
MachORebaseEntry encapsulates the current state in the decompression of rebasing opcodes.
Definition: MachO.h:168
MachORebaseEntry(Error *Err, const MachOObjectFile *O, ArrayRef< uint8_t > opcodes, bool is64Bit)
bool operator==(const MachORebaseEntry &) const
This class is the base class for all object file types.
Definition: ObjectFile.h:229
friend class RelocationRef
Definition: ObjectFile.h:287
friend class SymbolRef
Definition: ObjectFile.h:247
static Expected< std::unique_ptr< MachOObjectFile > > createMachOObjectFile(MemoryBufferRef Object, uint32_t UniversalCputype=0, uint32_t UniversalIndex=0, size_t MachOFilesetEntryOffset=0)
Create a MachOObjectFile instance from a given buffer.
section_iterator_range sections() const
Definition: ObjectFile.h:329
friend class SectionRef
Definition: ObjectFile.h:261
symbol_iterator_range symbols() const
Definition: ObjectFile.h:321
Expected< uint64_t > getSymbolValue(DataRefImpl Symb) const
Definition: ObjectFile.cpp:56
This is a value type class that represents a single section in the list of sections in the object fil...
Definition: ObjectFile.h:81
DataRefImpl getRawDataRefImpl() const
Definition: ObjectFile.h:598
bool isData() const
Whether this section contains data, not instructions.
Definition: ObjectFile.h:554
bool isBSS() const
Whether this section contains BSS uninitialized data.
Definition: ObjectFile.h:558
This is a value type class that represents a single symbol in the list of symbols in the object file.
Definition: ObjectFile.h:168
directory_iterator - Iterates through the entries in path.
Definition: FileSystem.h:1420
Represents the result of a call to sys::fs::status().
Definition: FileSystem.h:225
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
@ C
The default llvm calling convention, compatible with C.
Definition: CallingConv.h:34
const uint32_t x86_FLOAT_STATE_COUNT
Definition: MachO.h:1976
@ DYLD_CHAINED_IMPORT
Definition: MachO.h:1027
@ DYLD_CHAINED_IMPORT_ADDEND
Definition: MachO.h:1028
@ DYLD_CHAINED_IMPORT_ADDEND64
Definition: MachO.h:1029
@ SECTION_TYPE
Definition: MachO.h:114
const uint32_t ARM_THREAD_STATE64_COUNT
Definition: MachO.h:2054
@ EXPORT_SYMBOL_FLAGS_KIND_ABSOLUTE
Definition: MachO.h:301
@ EXPORT_SYMBOL_FLAGS_KIND_THREAD_LOCAL
Definition: MachO.h:300
@ EXPORT_SYMBOL_FLAGS_KIND_REGULAR
Definition: MachO.h:299
@ BIND_TYPE_TEXT_PCREL32
Definition: MachO.h:257
@ BIND_TYPE_POINTER
Definition: MachO.h:255
@ BIND_TYPE_TEXT_ABSOLUTE32
Definition: MachO.h:256
@ S_ATTR_PURE_INSTRUCTIONS
S_ATTR_PURE_INSTRUCTIONS - Section contains only true machine instructions.
Definition: MachO.h:192
const uint32_t x86_EXCEPTION_STATE_COUNT
Definition: MachO.h:1978
@ ARM_THREAD_STATE64
Definition: MachO.h:2041
@ ARM_THREAD_STATE
Definition: MachO.h:2036
@ REBASE_TYPE_POINTER
Definition: MachO.h:235
@ REBASE_TYPE_TEXT_ABSOLUTE32
Definition: MachO.h:236
@ REBASE_TYPE_TEXT_PCREL32
Definition: MachO.h:237
@ MH_OBJECT
Definition: MachO.h:43
@ MH_CORE
Definition: MachO.h:46
@ MH_DSYM
Definition: MachO.h:52
@ MH_DYLIB
Definition: MachO.h:48
@ MH_DYLIB_STUB
Definition: MachO.h:51
@ MH_KEXT_BUNDLE
Definition: MachO.h:53
@ N_TYPE
Definition: MachO.h:309
@ N_PEXT
Definition: MachO.h:308
@ N_STAB
Definition: MachO.h:307
@ S_GB_ZEROFILL
S_GB_ZEROFILL - Zero fill on demand section (that can be larger than 4 gigabytes).
Definition: MachO.h:155
@ S_THREAD_LOCAL_ZEROFILL
S_THREAD_LOCAL_ZEROFILL - Thread local zerofill section.
Definition: MachO.h:169
@ S_ZEROFILL
S_ZEROFILL - Zero fill on demand section.
Definition: MachO.h:129
@ BIND_SPECIAL_DYLIB_WEAK_LOOKUP
Definition: MachO.h:264
@ BIND_SPECIAL_DYLIB_MAIN_EXECUTABLE
Definition: MachO.h:262
@ BIND_SPECIAL_DYLIB_FLAT_LOOKUP
Definition: MachO.h:263
@ DYLD_CHAINED_PTR_START_NONE
Definition: MachO.h:1040
@ CPU_SUBTYPE_MASK
Definition: MachO.h:1579
uint8_t GET_COMM_ALIGN(uint16_t n_desc)
Definition: MachO.h:1545
void swapStruct(fat_header &mh)
Definition: MachO.h:1140
const uint32_t x86_THREAD_STATE32_COUNT
Definition: MachO.h:1964
@ PPC_THREAD_STATE
Definition: MachO.h:2161
@ EXPORT_SYMBOL_FLAGS_REEXPORT
Definition: MachO.h:294
@ EXPORT_SYMBOL_FLAGS_KIND_MASK
Definition: MachO.h:292
@ EXPORT_SYMBOL_FLAGS_STUB_AND_RESOLVER
Definition: MachO.h:295
@ CPU_SUBTYPE_POWERPC_ALL
Definition: MachO.h:1683
@ BIND_OPCODE_DO_BIND_ULEB_TIMES_SKIPPING_ULEB
Definition: MachO.h:288
@ BIND_OPCODE_DONE
Definition: MachO.h:276
@ BIND_OPCODE_DO_BIND_ADD_ADDR_ULEB
Definition: MachO.h:286
@ BIND_OPCODE_SET_ADDEND_SLEB
Definition: MachO.h:282
@ BIND_OPCODE_SET_DYLIB_ORDINAL_ULEB
Definition: MachO.h:278
@ BIND_OPCODE_SET_SYMBOL_TRAILING_FLAGS_IMM
Definition: MachO.h:280
@ BIND_OPCODE_ADD_ADDR_ULEB
Definition: MachO.h:284
@ BIND_OPCODE_DO_BIND_ADD_ADDR_IMM_SCALED
Definition: MachO.h:287
@ BIND_OPCODE_SET_DYLIB_SPECIAL_IMM
Definition: MachO.h:279
@ BIND_OPCODE_DO_BIND
Definition: MachO.h:285
@ BIND_OPCODE_SET_TYPE_IMM
Definition: MachO.h:281
@ BIND_OPCODE_SET_DYLIB_ORDINAL_IMM
Definition: MachO.h:277
@ BIND_OPCODE_SET_SEGMENT_AND_OFFSET_ULEB
Definition: MachO.h:283
@ x86_THREAD_STATE
Definition: MachO.h:1938
@ x86_THREAD_STATE64
Definition: MachO.h:1935
@ x86_EXCEPTION_STATE64
Definition: MachO.h:1937
@ x86_EXCEPTION_STATE
Definition: MachO.h:1940
@ x86_THREAD_STATE32
Definition: MachO.h:1932
@ x86_FLOAT_STATE
Definition: MachO.h:1939
const uint32_t PPC_THREAD_STATE_COUNT
Definition: MachO.h:2176
const uint32_t ARM_THREAD_STATE_COUNT
Definition: MachO.h:2051
@ REBASE_OPCODE_SET_SEGMENT_AND_OFFSET_ULEB
Definition: MachO.h:245
@ REBASE_OPCODE_DO_REBASE_IMM_TIMES
Definition: MachO.h:248
@ REBASE_OPCODE_DO_REBASE_ADD_ADDR_ULEB
Definition: MachO.h:250
@ REBASE_OPCODE_DO_REBASE_ULEB_TIMES_SKIPPING_ULEB
Definition: MachO.h:251
@ REBASE_OPCODE_DO_REBASE_ULEB_TIMES
Definition: MachO.h:249
@ REBASE_OPCODE_ADD_ADDR_ULEB
Definition: MachO.h:246
@ REBASE_OPCODE_SET_TYPE_IMM
Definition: MachO.h:244
@ REBASE_OPCODE_DONE
Definition: MachO.h:243
@ REBASE_OPCODE_ADD_ADDR_IMM_SCALED
Definition: MachO.h:247
@ N_SECT
Definition: MachO.h:318
@ N_PBUD
Definition: MachO.h:319
@ N_INDR
Definition: MachO.h:320
@ N_UNDF
Definition: MachO.h:316
@ REBASE_IMMEDIATE_MASK
Definition: MachO.h:240
@ REBASE_OPCODE_MASK
Definition: MachO.h:240
@ CPU_SUBTYPE_ARM_V7
Definition: MachO.h:1631
@ CPU_SUBTYPE_ARM_V5TEJ
Definition: MachO.h:1629
@ CPU_SUBTYPE_ARM_V7M
Definition: MachO.h:1636
@ CPU_SUBTYPE_ARM_V6
Definition: MachO.h:1627
@ CPU_SUBTYPE_ARM_XSCALE
Definition: MachO.h:1630
@ CPU_SUBTYPE_ARM_V7K
Definition: MachO.h:1634
@ CPU_SUBTYPE_ARM_V6M
Definition: MachO.h:1635
@ CPU_SUBTYPE_ARM_V7EM
Definition: MachO.h:1637
@ CPU_SUBTYPE_ARM_V7S
Definition: MachO.h:1633
@ CPU_SUBTYPE_ARM_V4T
Definition: MachO.h:1626
@ CPU_SUBTYPE_ARM64E
Definition: MachO.h:1643
@ CPU_SUBTYPE_ARM64_ALL
Definition: MachO.h:1641
const uint32_t x86_THREAD_STATE_COUNT
Definition: MachO.h:1974
@ CPU_SUBTYPE_ARM64_32_V8
Definition: MachO.h:1678
@ GENERIC_RELOC_LOCAL_SECTDIFF
Definition: MachO.h:414
@ ARM_RELOC_LOCAL_SECTDIFF
Definition: MachO.h:443
@ ARM64_RELOC_SUBTRACTOR
Definition: MachO.h:458
@ ARM_RELOC_HALF_SECTDIFF
Definition: MachO.h:449
@ ARM_RELOC_SECTDIFF
Definition: MachO.h:442
@ GENERIC_RELOC_SECTDIFF
Definition: MachO.h:412
@ X86_64_RELOC_SUBTRACTOR
Definition: MachO.h:488
@ ARM_RELOC_HALF
Definition: MachO.h:448
@ R_SCATTERED
Definition: MachO.h:402
uint16_t GET_LIBRARY_ORDINAL(uint16_t n_desc)
Definition: MachO.h:1537
@ DYLD_CHAINED_PTR_64_OFFSET
Definition: MachO.h:1052
@ DYLD_CHAINED_PTR_64
Definition: MachO.h:1048
const uint32_t x86_EXCEPTION_STATE64_COUNT
Definition: MachO.h:1971
@ CPU_SUBTYPE_I386_ALL
Definition: MachO.h:1588
@ CPU_SUBTYPE_X86_64_H
Definition: MachO.h:1613
@ CPU_SUBTYPE_X86_64_ALL
Definition: MachO.h:1611
@ DYNAMIC_LOOKUP_ORDINAL
Definition: MachO.h:354
@ N_WEAK_DEF
Definition: MachO.h:346
@ EXECUTABLE_ORDINAL
Definition: MachO.h:355
@ N_ARM_THUMB_DEF
Definition: MachO.h:342
@ N_WEAK_REF
Definition: MachO.h:345
const uint32_t x86_THREAD_STATE64_COUNT
Definition: MachO.h:1967
@ CPU_TYPE_ARM64_32
Definition: MachO.h:1571
@ CPU_TYPE_ARM64
Definition: MachO.h:1570
@ CPU_TYPE_POWERPC
Definition: MachO.h:1573
@ CPU_TYPE_X86_64
Definition: MachO.h:1566
@ CPU_TYPE_POWERPC64
Definition: MachO.h:1574
@ CPU_TYPE_I386
Definition: MachO.h:1565
@ CPU_TYPE_ARM
Definition: MachO.h:1569
@ MH_TWOLEVEL
Definition: MachO.h:67
@ BIND_SYMBOL_FLAGS_WEAK_IMPORT
Definition: MachO.h:268
@ BIND_SYMBOL_FLAGS_NON_WEAK_DEFINITION
Definition: MachO.h:269
@ BIND_OPCODE_MASK
Definition: MachO.h:271
@ BIND_IMMEDIATE_MASK
Definition: MachO.h:272
constexpr size_t SymbolTableEntrySize
Definition: XCOFF.h:38
Swift5ReflectionSectionKind
Definition: Swift.h:14
Error createError(const Twine &Err)
Definition: Error.h:84
content_iterator< ExportEntry > export_iterator
Definition: MachO.h:126
content_iterator< MachOChainedFixupEntry > fixup_iterator
Definition: MachO.h:404
content_iterator< DiceRef > dice_iterator
Definition: MachO.h:64
content_iterator< SectionRef > section_iterator
Definition: ObjectFile.h:47
content_iterator< MachOBindEntry > bind_iterator
Definition: MachO.h:261
content_iterator< RelocationRef > relocation_iterator
Definition: ObjectFile.h:77
content_iterator< BasicSymbolRef > basic_symbol_iterator
Definition: SymbolicFile.h:143
content_iterator< MachORebaseEntry > rebase_iterator
Definition: MachO.h:203
std::error_code status(const Twine &path, file_status &result, bool follow=true)
Get file status as if by POSIX stat().
bool is_directory(const basic_file_status &status)
Does status represent a directory?
Definition: Path.cpp:1092
bool remove_dots(SmallVectorImpl< char > &path, bool remove_dot_dot=false, Style style=Style::native)
In-place remove any '.
Definition: Path.cpp:715
void append(SmallVectorImpl< char > &path, const Twine &a, const Twine &b="", const Twine &c="", const Twine &d="")
Append to path.
Definition: Path.cpp:456
StringRef extension(StringRef path, Style style=Style::native)
Get extension.
Definition: Path.cpp:590
static const bool IsLittleEndianHost
Definition: SwapByteOrder.h:29
void swapByteOrder(T &Value)
Definition: SwapByteOrder.h:61
std::string getDefaultTargetTriple()
getDefaultTargetTriple() - Return the default target triple the compiler has been configured to produ...
This is an optimization pass for GlobalISel generic memory operations.
Definition: AddressRanges.h:18
@ Offset
Definition: DWP.cpp:480
Error createFileError(const Twine &F, Error E)
Concatenate a source file path and/or name with an Error.
Definition: Error.h:1385
iterator_range< T > make_range(T x, T y)
Convenience function for iterating over sub-ranges.
uint64_t decodeULEB128(const uint8_t *p, unsigned *n=nullptr, const uint8_t *end=nullptr, const char **error=nullptr)
Utility function to decode a ULEB128 value.
Definition: LEB128.h:131
int64_t decodeSLEB128(const uint8_t *p, unsigned *n=nullptr, const uint8_t *end=nullptr, const char **error=nullptr)
Utility function to decode a SLEB128 value.
Definition: LEB128.h:165
Error createStringError(std::error_code EC, char const *Fmt, const Ts &... Vals)
Create formatted StringError object.
Definition: Error.h:1291
@ no_such_file_or_directory
raw_ostream & dbgs()
dbgs() - This returns a reference to a raw_ostream for debugging messages.
Definition: Debug.cpp:163
void report_fatal_error(Error Err, bool gen_crash_diag=true)
Report a serious error, calling any installed error handler.
Definition: Error.cpp:167
format_object< Ts... > format(const char *Fmt, const Ts &... Vals)
These are helper functions used to produce formatted output.
Definition: Format.h:125
@ Other
Any other memory.
void cantFail(Error Err, const char *Msg=nullptr)
Report a fatal error if Err is a failure value.
Definition: Error.h:756
auto count(R &&Range, const E &Element)
Wrapper function around std::count to count the number of times an element Element occurs in the give...
Definition: STLExtras.h:1938
bool is_contained(R &&Range, const E &Element)
Returns true if Element is found in Range.
Definition: STLExtras.h:1903
Error errorCodeToError(std::error_code EC)
Helper for converting an std::error_code to a Error.
Definition: Error.cpp:111
void consumeError(Error Err)
Consume a Error without doing anything.
Definition: Error.h:1069
#define N
const char * Name
This struct is a compact representation of a valid (non-zero power of two) alignment.
Definition: Alignment.h:39
Definition: MachO.h:808
Structs for dyld chained fixups.
Definition: MachO.h:1064
uint32_t imports_format
DYLD_CHAINED_IMPORT*.
Definition: MachO.h:1070
uint32_t starts_offset
Offset of dyld_chained_starts_in_image.
Definition: MachO.h:1066
dyld_chained_starts_in_image is embedded in LC_DYLD_CHAINED_FIXUPS payload.
Definition: MachO.h:1077
uint16_t page_count
Length of the page_start array.
Definition: MachO.h:1088
uint16_t page_size
Page size in bytes (0x1000 or 0x4000)
Definition: MachO.h:1084
uint16_t pointer_format
DYLD_CHAINED_PTR*.
Definition: MachO.h:1085
uint32_t size
Size of this, including chain_starts entries.
Definition: MachO.h:1083
Definition: MachO.h:899
uint64_t n_value
Definition: MachO.h:1022
uint32_t n_strx
Definition: MachO.h:1010
uint8_t n_sect
Definition: MachO.h:1012
int16_t n_desc
Definition: MachO.h:1013
uint8_t n_type
Definition: MachO.h:1011
uint32_t n_value
Definition: MachO.h:1014
uint32_t size
Definition: MachO.h:570
uint32_t reloff
Definition: MachO.h:573
uint32_t align
Definition: MachO.h:572
uint32_t flags
Definition: MachO.h:575
uint32_t offset
Definition: MachO.h:571
uint32_t nreloc
Definition: MachO.h:574
ChainedFixupTarget holds all the information about an external symbol necessary to bind this binary t...
Definition: MachO.h:275
MachO::dyld_chained_starts_in_segment Header
Definition: MachO.h:308
std::vector< uint16_t > PageStarts
Definition: MachO.h:309
struct llvm::object::DataRefImpl::@371 d