LLVM 20.0.0git
ELFObjcopy.cpp
Go to the documentation of this file.
1//===- ELFObjcopy.cpp -----------------------------------------------------===//
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
10#include "ELFObject.h"
12#include "llvm/ADT/DenseSet.h"
14#include "llvm/ADT/StringRef.h"
15#include "llvm/ADT/Twine.h"
20#include "llvm/Object/Binary.h"
23#include "llvm/Object/Error.h"
24#include "llvm/Option/Option.h"
27#include "llvm/Support/Errc.h"
28#include "llvm/Support/Error.h"
30#include "llvm/Support/Memory.h"
32#include <algorithm>
33#include <cassert>
34#include <cstdlib>
35#include <functional>
36#include <memory>
37#include <string>
38#include <system_error>
39#include <utility>
40
41using namespace llvm;
42using namespace llvm::ELF;
43using namespace llvm::objcopy;
44using namespace llvm::objcopy::elf;
45using namespace llvm::object;
46
47using SectionPred = std::function<bool(const SectionBase &Sec)>;
48
49static bool isDebugSection(const SectionBase &Sec) {
50 return StringRef(Sec.Name).starts_with(".debug") || Sec.Name == ".gdb_index";
51}
52
53static bool isDWOSection(const SectionBase &Sec) {
54 return StringRef(Sec.Name).ends_with(".dwo");
55}
56
57static bool onlyKeepDWOPred(const Object &Obj, const SectionBase &Sec) {
58 // We can't remove the section header string table.
59 if (&Sec == Obj.SectionNames)
60 return false;
61 // Short of keeping the string table we want to keep everything that is a DWO
62 // section and remove everything else.
63 return !isDWOSection(Sec);
64}
65
67 uint16_t EMachine) {
68 uint64_t NewFlags = 0;
69 if (AllFlags & SectionFlag::SecAlloc)
70 NewFlags |= ELF::SHF_ALLOC;
71 if (!(AllFlags & SectionFlag::SecReadonly))
72 NewFlags |= ELF::SHF_WRITE;
73 if (AllFlags & SectionFlag::SecCode)
74 NewFlags |= ELF::SHF_EXECINSTR;
75 if (AllFlags & SectionFlag::SecMerge)
76 NewFlags |= ELF::SHF_MERGE;
77 if (AllFlags & SectionFlag::SecStrings)
78 NewFlags |= ELF::SHF_STRINGS;
79 if (AllFlags & SectionFlag::SecExclude)
80 NewFlags |= ELF::SHF_EXCLUDE;
81 if (AllFlags & SectionFlag::SecLarge) {
82 if (EMachine != EM_X86_64)
83 return createStringError(errc::invalid_argument,
84 "section flag SHF_X86_64_LARGE can only be used "
85 "with x86_64 architecture");
86 NewFlags |= ELF::SHF_X86_64_LARGE;
87 }
88 return NewFlags;
89}
90
92 uint64_t NewFlags,
93 uint16_t EMachine) {
94 // Preserve some flags which should not be dropped when setting flags.
95 // Also, preserve anything OS/processor dependant.
96 const uint64_t PreserveMask =
101 ~(EMachine == EM_X86_64 ? (uint64_t)ELF::SHF_X86_64_LARGE : 0UL);
102 return (OldFlags & PreserveMask) | (NewFlags & ~PreserveMask);
103}
104
106 // If Sec's type is changed from SHT_NOBITS due to --set-section-flags,
107 // Offset may not be aligned. Align it to max(Align, 1).
108 if (Sec.Type == ELF::SHT_NOBITS && Type != ELF::SHT_NOBITS)
109 Sec.Offset = alignTo(Sec.Offset, std::max(Sec.Align, uint64_t(1)));
110 Sec.Type = Type;
111}
112
114 uint16_t EMachine) {
115 Expected<uint64_t> NewFlags = getNewShfFlags(Flags, EMachine);
116 if (!NewFlags)
117 return NewFlags.takeError();
118 Sec.Flags = getSectionFlagsPreserveMask(Sec.Flags, *NewFlags, EMachine);
119
120 // In GNU objcopy, certain flags promote SHT_NOBITS to SHT_PROGBITS. This rule
121 // may promote more non-ALLOC sections than GNU objcopy, but it is fine as
122 // non-ALLOC SHT_NOBITS sections do not make much sense.
123 if (Sec.Type == SHT_NOBITS &&
124 (!(Sec.Flags & ELF::SHF_ALLOC) ||
125 Flags & (SectionFlag::SecContents | SectionFlag::SecLoad)))
127
128 return Error::success();
129}
130
132 // Infer output ELF type from the input ELF object
134 return ELFT_ELF32LE;
136 return ELFT_ELF64LE;
138 return ELFT_ELF32BE;
140 return ELFT_ELF64BE;
141 llvm_unreachable("Invalid ELFType");
142}
143
145 // Infer output ELF type from the binary arch specified
146 if (MI.Is64Bit)
147 return MI.IsLittleEndian ? ELFT_ELF64LE : ELFT_ELF64BE;
148 else
149 return MI.IsLittleEndian ? ELFT_ELF32LE : ELFT_ELF32BE;
150}
151
152static std::unique_ptr<Writer> createELFWriter(const CommonConfig &Config,
153 Object &Obj, raw_ostream &Out,
154 ElfType OutputElfType) {
155 // Depending on the initial ELFT and OutputFormat we need a different Writer.
156 switch (OutputElfType) {
157 case ELFT_ELF32LE:
158 return std::make_unique<ELFWriter<ELF32LE>>(Obj, Out, !Config.StripSections,
159 Config.OnlyKeepDebug);
160 case ELFT_ELF64LE:
161 return std::make_unique<ELFWriter<ELF64LE>>(Obj, Out, !Config.StripSections,
162 Config.OnlyKeepDebug);
163 case ELFT_ELF32BE:
164 return std::make_unique<ELFWriter<ELF32BE>>(Obj, Out, !Config.StripSections,
165 Config.OnlyKeepDebug);
166 case ELFT_ELF64BE:
167 return std::make_unique<ELFWriter<ELF64BE>>(Obj, Out, !Config.StripSections,
168 Config.OnlyKeepDebug);
169 }
170 llvm_unreachable("Invalid output format");
171}
172
173static std::unique_ptr<Writer> createWriter(const CommonConfig &Config,
174 Object &Obj, raw_ostream &Out,
175 ElfType OutputElfType) {
176 switch (Config.OutputFormat) {
177 case FileFormat::Binary:
178 return std::make_unique<BinaryWriter>(Obj, Out, Config);
179 case FileFormat::IHex:
180 return std::make_unique<IHexWriter>(Obj, Out, Config.OutputFilename);
181 case FileFormat::SREC:
182 return std::make_unique<SRECWriter>(Obj, Out, Config.OutputFilename);
183 default:
184 return createELFWriter(Config, Obj, Out, OutputElfType);
185 }
186}
187
189 Object &Obj) {
190 for (auto &Sec : Obj.sections()) {
191 if (Sec.Name == SecName) {
192 if (Sec.Type == SHT_NOBITS)
193 return createStringError(object_error::parse_failed,
194 "cannot dump section '%s': it has no contents",
195 SecName.str().c_str());
197 FileOutputBuffer::create(Filename, Sec.OriginalData.size());
198 if (!BufferOrErr)
199 return BufferOrErr.takeError();
200 std::unique_ptr<FileOutputBuffer> Buf = std::move(*BufferOrErr);
201 std::copy(Sec.OriginalData.begin(), Sec.OriginalData.end(),
202 Buf->getBufferStart());
203 if (Error E = Buf->commit())
204 return E;
205 return Error::success();
206 }
207 }
208 return createStringError(object_error::parse_failed, "section '%s' not found",
209 SecName.str().c_str());
210}
211
213 // Build a list of sections we are going to replace.
214 // We can't call `addSection` while iterating over sections,
215 // because it would mutate the sections array.
216 SmallVector<std::pair<SectionBase *, std::function<SectionBase *()>>, 0>
217 ToReplace;
218 for (SectionBase &Sec : sections()) {
219 std::optional<DebugCompressionType> CType;
220 for (auto &[Matcher, T] : Config.compressSections)
221 if (Matcher.matches(Sec.Name))
222 CType = T;
223 // Handle --compress-debug-sections and --decompress-debug-sections, which
224 // apply to non-ALLOC debug sections.
225 if (!(Sec.Flags & SHF_ALLOC) && StringRef(Sec.Name).starts_with(".debug")) {
226 if (Config.CompressionType != DebugCompressionType::None)
227 CType = Config.CompressionType;
228 else if (Config.DecompressDebugSections)
230 }
231 if (!CType)
232 continue;
233
234 if (Sec.ParentSegment)
235 return createStringError(
237 "section '" + Sec.Name +
238 "' within a segment cannot be (de)compressed");
239
240 if (auto *CS = dyn_cast<CompressedSection>(&Sec)) {
241 if (*CType == DebugCompressionType::None)
242 ToReplace.emplace_back(
243 &Sec, [=] { return &addSection<DecompressedSection>(*CS); });
244 } else if (*CType != DebugCompressionType::None) {
245 ToReplace.emplace_back(&Sec, [=, S = &Sec] {
246 return &addSection<CompressedSection>(
247 CompressedSection(*S, *CType, Is64Bits));
248 });
249 }
250 }
251
253 for (auto [S, Func] : ToReplace)
254 FromTo[S] = Func();
255 return replaceSections(FromTo);
256}
257
258static bool isAArch64MappingSymbol(const Symbol &Sym) {
259 if (Sym.Binding != STB_LOCAL || Sym.Type != STT_NOTYPE ||
261 return false;
263 if (!Name.consume_front("$x") && !Name.consume_front("$d"))
264 return false;
265 return Name.empty() || Name.starts_with(".");
266}
267
268static bool isArmMappingSymbol(const Symbol &Sym) {
269 if (Sym.Binding != STB_LOCAL || Sym.Type != STT_NOTYPE ||
271 return false;
273 if (!Name.consume_front("$a") && !Name.consume_front("$d") &&
274 !Name.consume_front("$t"))
275 return false;
276 return Name.empty() || Name.starts_with(".");
277}
278
279// Check if the symbol should be preserved because it is required by ABI.
280static bool isRequiredByABISymbol(const Object &Obj, const Symbol &Sym) {
281 switch (Obj.Machine) {
282 case EM_AARCH64:
283 // Mapping symbols should be preserved for a relocatable object file.
285 case EM_ARM:
286 // Mapping symbols should be preserved for a relocatable object file.
287 return Obj.isRelocatable() && isArmMappingSymbol(Sym);
288 default:
289 return false;
290 }
291}
292
293static bool isUnneededSymbol(const Symbol &Sym) {
294 return !Sym.Referenced &&
295 (Sym.Binding == STB_LOCAL || Sym.getShndx() == SHN_UNDEF) &&
297}
298
300 const ELFConfig &ELFConfig, Object &Obj) {
301 // TODO: update or remove symbols only if there is an option that affects
302 // them.
303 if (!Obj.SymbolTable)
304 return Error::success();
305
307 if (Config.SymbolsToSkip.matches(Sym.Name))
308 return;
309
310 // Common and undefined symbols don't make sense as local symbols, and can
311 // even cause crashes if we localize those, so skip them.
312 if (!Sym.isCommon() && Sym.getShndx() != SHN_UNDEF &&
315 Config.SymbolsToLocalize.matches(Sym.Name)))
317
318 for (auto &[Matcher, Visibility] : ELFConfig.SymbolsToSetVisibility)
319 if (Matcher.matches(Sym.Name))
320 Sym.Visibility = Visibility;
321
322 // Note: these two globalize flags have very similar names but different
323 // meanings:
324 //
325 // --globalize-symbol: promote a symbol to global
326 // --keep-global-symbol: all symbols except for these should be made local
327 //
328 // If --globalize-symbol is specified for a given symbol, it will be
329 // global in the output file even if it is not included via
330 // --keep-global-symbol. Because of that, make sure to check
331 // --globalize-symbol second.
332 if (!Config.SymbolsToKeepGlobal.empty() &&
333 !Config.SymbolsToKeepGlobal.matches(Sym.Name) &&
336
337 if (Config.SymbolsToGlobalize.matches(Sym.Name) &&
340
341 // SymbolsToWeaken applies to both STB_GLOBAL and STB_GNU_UNIQUE.
342 if (Config.SymbolsToWeaken.matches(Sym.Name) && Sym.Binding != STB_LOCAL)
344
345 if (Config.Weaken && Sym.Binding != STB_LOCAL &&
348
349 const auto I = Config.SymbolsToRename.find(Sym.Name);
350 if (I != Config.SymbolsToRename.end())
351 Sym.Name = std::string(I->getValue());
352
353 if (!Config.SymbolsPrefixRemove.empty() && Sym.Type != STT_SECTION)
354 if (Sym.Name.compare(0, Config.SymbolsPrefixRemove.size(),
355 Config.SymbolsPrefixRemove) == 0)
356 Sym.Name = Sym.Name.substr(Config.SymbolsPrefixRemove.size());
357
358 if (!Config.SymbolsPrefix.empty() && Sym.Type != STT_SECTION)
359 Sym.Name = (Config.SymbolsPrefix + Sym.Name).str();
360 });
361
362 // The purpose of this loop is to mark symbols referenced by sections
363 // (like GroupSection or RelocationSection). This way, we know which
364 // symbols are still 'needed' and which are not.
365 if (Config.StripUnneeded || !Config.UnneededSymbolsToRemove.empty() ||
366 !Config.OnlySection.empty()) {
367 for (SectionBase &Sec : Obj.sections())
368 Sec.markSymbols();
369 }
370
371 auto RemoveSymbolsPred = [&](const Symbol &Sym) {
372 if (Config.SymbolsToKeep.matches(Sym.Name) ||
374 return false;
375
376 if (Config.SymbolsToRemove.matches(Sym.Name))
377 return true;
378
379 if (Config.StripAll || Config.StripAllGNU)
380 return true;
381
382 if (isRequiredByABISymbol(Obj, Sym))
383 return false;
384
385 if (Config.StripDebug && Sym.Type == STT_FILE)
386 return true;
387
388 if ((Config.DiscardMode == DiscardType::All ||
389 (Config.DiscardMode == DiscardType::Locals &&
390 StringRef(Sym.Name).starts_with(".L"))) &&
393 return true;
394
395 if ((Config.StripUnneeded ||
396 Config.UnneededSymbolsToRemove.matches(Sym.Name)) &&
398 return true;
399
400 // We want to remove undefined symbols if all references have been stripped.
401 if (!Config.OnlySection.empty() && !Sym.Referenced &&
403 return true;
404
405 return false;
406 };
407
408 return Obj.removeSymbols(RemoveSymbolsPred);
409}
410
412 const ELFConfig &ELFConfig, Object &Obj) {
413 SectionPred RemovePred = [](const SectionBase &) { return false; };
414
415 // Removes:
416 if (!Config.ToRemove.empty()) {
417 RemovePred = [&Config](const SectionBase &Sec) {
418 return Config.ToRemove.matches(Sec.Name);
419 };
420 }
421
422 if (Config.StripDWO)
423 RemovePred = [RemovePred](const SectionBase &Sec) {
424 return isDWOSection(Sec) || RemovePred(Sec);
425 };
426
427 if (Config.ExtractDWO)
428 RemovePred = [RemovePred, &Obj](const SectionBase &Sec) {
429 return onlyKeepDWOPred(Obj, Sec) || RemovePred(Sec);
430 };
431
432 if (Config.StripAllGNU)
433 RemovePred = [RemovePred, &Obj](const SectionBase &Sec) {
434 if (RemovePred(Sec))
435 return true;
436 if ((Sec.Flags & SHF_ALLOC) != 0)
437 return false;
438 if (&Sec == Obj.SectionNames)
439 return false;
440 switch (Sec.Type) {
441 case SHT_SYMTAB:
442 case SHT_REL:
443 case SHT_RELA:
444 case SHT_STRTAB:
445 return true;
446 }
447 return isDebugSection(Sec);
448 };
449
450 if (Config.StripSections) {
451 RemovePred = [RemovePred](const SectionBase &Sec) {
452 return RemovePred(Sec) || Sec.ParentSegment == nullptr;
453 };
454 }
455
456 if (Config.StripDebug || Config.StripUnneeded) {
457 RemovePred = [RemovePred](const SectionBase &Sec) {
458 return RemovePred(Sec) || isDebugSection(Sec);
459 };
460 }
461
462 if (Config.StripNonAlloc)
463 RemovePred = [RemovePred, &Obj](const SectionBase &Sec) {
464 if (RemovePred(Sec))
465 return true;
466 if (&Sec == Obj.SectionNames)
467 return false;
468 return (Sec.Flags & SHF_ALLOC) == 0 && Sec.ParentSegment == nullptr;
469 };
470
471 if (Config.StripAll)
472 RemovePred = [RemovePred, &Obj](const SectionBase &Sec) {
473 if (RemovePred(Sec))
474 return true;
475 if (&Sec == Obj.SectionNames)
476 return false;
477 if (StringRef(Sec.Name).starts_with(".gnu.warning"))
478 return false;
479 if (StringRef(Sec.Name).starts_with(".gnu_debuglink"))
480 return false;
481 // We keep the .ARM.attribute section to maintain compatibility
482 // with Debian derived distributions. This is a bug in their
483 // patchset as documented here:
484 // https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=943798
485 if (Sec.Type == SHT_ARM_ATTRIBUTES)
486 return false;
487 if (Sec.ParentSegment != nullptr)
488 return false;
489 return (Sec.Flags & SHF_ALLOC) == 0;
490 };
491
492 if (Config.ExtractPartition || Config.ExtractMainPartition) {
493 RemovePred = [RemovePred](const SectionBase &Sec) {
494 if (RemovePred(Sec))
495 return true;
496 if (Sec.Type == SHT_LLVM_PART_EHDR || Sec.Type == SHT_LLVM_PART_PHDR)
497 return true;
498 return (Sec.Flags & SHF_ALLOC) != 0 && !Sec.ParentSegment;
499 };
500 }
501
502 // Explicit copies:
503 if (!Config.OnlySection.empty()) {
504 RemovePred = [&Config, RemovePred, &Obj](const SectionBase &Sec) {
505 // Explicitly keep these sections regardless of previous removes.
506 if (Config.OnlySection.matches(Sec.Name))
507 return false;
508
509 // Allow all implicit removes.
510 if (RemovePred(Sec))
511 return true;
512
513 // Keep special sections.
514 if (Obj.SectionNames == &Sec)
515 return false;
516 if (Obj.SymbolTable == &Sec ||
517 (Obj.SymbolTable && Obj.SymbolTable->getStrTab() == &Sec))
518 return false;
519
520 // Remove everything else.
521 return true;
522 };
523 }
524
525 if (!Config.KeepSection.empty()) {
526 RemovePred = [&Config, RemovePred](const SectionBase &Sec) {
527 // Explicitly keep these sections regardless of previous removes.
528 if (Config.KeepSection.matches(Sec.Name))
529 return false;
530 // Otherwise defer to RemovePred.
531 return RemovePred(Sec);
532 };
533 }
534
535 // This has to be the last predicate assignment.
536 // If the option --keep-symbol has been specified
537 // and at least one of those symbols is present
538 // (equivalently, the updated symbol table is not empty)
539 // the symbol table and the string table should not be removed.
540 if ((!Config.SymbolsToKeep.empty() || ELFConfig.KeepFileSymbols) &&
541 Obj.SymbolTable && !Obj.SymbolTable->empty()) {
542 RemovePred = [&Obj, RemovePred](const SectionBase &Sec) {
543 if (&Sec == Obj.SymbolTable || &Sec == Obj.SymbolTable->getStrTab())
544 return false;
545 return RemovePred(Sec);
546 };
547 }
548
549 if (Error E = Obj.removeSections(ELFConfig.AllowBrokenLinks, RemovePred))
550 return E;
551
553 return E;
554
555 return Error::success();
556}
557
558// Add symbol to the Object symbol table with the specified properties.
559static void addSymbol(Object &Obj, const NewSymbolInfo &SymInfo,
560 uint8_t DefaultVisibility) {
561 SectionBase *Sec = Obj.findSection(SymInfo.SectionName);
562 uint64_t Value = Sec ? Sec->Addr + SymInfo.Value : SymInfo.Value;
563
566 uint8_t Visibility = DefaultVisibility;
567
568 for (SymbolFlag FlagValue : SymInfo.Flags)
569 switch (FlagValue) {
571 Bind = ELF::STB_GLOBAL;
572 break;
574 Bind = ELF::STB_LOCAL;
575 break;
576 case SymbolFlag::Weak:
577 Bind = ELF::STB_WEAK;
578 break;
580 Visibility = ELF::STV_DEFAULT;
581 break;
583 Visibility = ELF::STV_HIDDEN;
584 break;
586 Visibility = ELF::STV_PROTECTED;
587 break;
588 case SymbolFlag::File:
590 break;
593 break;
596 break;
599 break;
602 break;
603 default: /* Other flag values are ignored for ELF. */
604 break;
605 };
606
608 SymInfo.SymbolName, Bind, Type, Sec, Value, Visibility,
610}
611
612static Error
615 ArrayRef<uint8_t> Data(reinterpret_cast<const uint8_t *>(
616 NewSection.SectionData->getBufferStart()),
617 NewSection.SectionData->getBufferSize());
618 return F(NewSection.SectionName, Data);
619}
620
623 // An ELF note has the following structure:
624 // Name Size: 4 bytes (integer)
625 // Desc Size: 4 bytes (integer)
626 // Type : 4 bytes
627 // Name : variable size, padded to a 4 byte boundary
628 // Desc : variable size, padded to a 4 byte boundary
629
630 if (Data.empty())
631 return Error::success();
632
633 if (Data.size() < 12) {
634 std::string msg;
636 << Name << " data must be either empty or at least 12 bytes long";
638 }
639 if (Data.size() % 4 != 0) {
640 std::string msg;
642 << Name << " data size must be a multiple of 4 bytes";
644 }
645 ArrayRef<uint8_t> NameSize = Data.slice(0, 4);
646 ArrayRef<uint8_t> DescSize = Data.slice(4, 4);
647
648 uint32_t NameSizeValue = support::endian::read32(NameSize.data(), Endianness);
649 uint32_t DescSizeValue = support::endian::read32(DescSize.data(), Endianness);
650
651 uint64_t ExpectedDataSize =
652 /*NameSize=*/4 + /*DescSize=*/4 + /*Type=*/4 +
653 /*Name=*/alignTo(NameSizeValue, 4) +
654 /*Desc=*/alignTo(DescSizeValue, 4);
655 uint64_t ActualDataSize = Data.size();
656 if (ActualDataSize != ExpectedDataSize) {
657 std::string msg;
659 << Name
660 << " data size is incompatible with the content of "
661 "the name and description size fields:"
662 << " expecting " << ExpectedDataSize << ", found " << ActualDataSize;
664 }
665
666 return Error::success();
667}
668
669// This function handles the high level operations of GNU objcopy including
670// handling command line options. It's important to outline certain properties
671// we expect to hold of the command line operations. Any operation that "keeps"
672// should keep regardless of a remove. Additionally any removal should respect
673// any previous removals. Lastly whether or not something is removed shouldn't
674// depend a) on the order the options occur in or b) on some opaque priority
675// system. The only priority is that keeps/copies overrule removes.
677 ElfType OutputElfType, Object &Obj) {
678 if (Config.OutputArch) {
679 Obj.Machine = Config.OutputArch->EMachine;
680 Obj.OSABI = Config.OutputArch->OSABI;
681 }
682
683 if (!Config.SplitDWO.empty() && Config.ExtractDWO) {
684 return Obj.removeSections(
686 [&Obj](const SectionBase &Sec) { return onlyKeepDWOPred(Obj, Sec); });
687 }
688
689 // Dump sections before add/remove for compatibility with GNU objcopy.
690 for (StringRef Flag : Config.DumpSection) {
692 StringRef FileName;
693 std::tie(SectionName, FileName) = Flag.split('=');
694 if (Error E = dumpSectionToFile(SectionName, FileName, Obj))
695 return E;
696 }
697
698 // It is important to remove the sections first. For example, we want to
699 // remove the relocation sections before removing the symbols. That allows
700 // us to avoid reporting the inappropriate errors about removing symbols
701 // named in relocations.
703 return E;
704
706 return E;
707
708 if (!Config.SetSectionAlignment.empty()) {
709 for (SectionBase &Sec : Obj.sections()) {
710 auto I = Config.SetSectionAlignment.find(Sec.Name);
711 if (I != Config.SetSectionAlignment.end())
712 Sec.Align = I->second;
713 }
714 }
715
716 if (Config.ChangeSectionLMAValAll != 0) {
717 for (Segment &Seg : Obj.segments()) {
718 if (Seg.FileSize > 0) {
719 if (Config.ChangeSectionLMAValAll > 0 &&
720 Seg.PAddr > std::numeric_limits<uint64_t>::max() -
721 Config.ChangeSectionLMAValAll) {
722 return createStringError(
724 "address 0x" + Twine::utohexstr(Seg.PAddr) +
725 " cannot be increased by 0x" +
726 Twine::utohexstr(Config.ChangeSectionLMAValAll) +
727 ". The result would overflow");
728 } else if (Config.ChangeSectionLMAValAll < 0 &&
729 Seg.PAddr < std::numeric_limits<uint64_t>::min() -
730 Config.ChangeSectionLMAValAll) {
731 return createStringError(
733 "address 0x" + Twine::utohexstr(Seg.PAddr) +
734 " cannot be decreased by 0x" +
735 Twine::utohexstr(std::abs(Config.ChangeSectionLMAValAll)) +
736 ". The result would underflow");
737 }
738 Seg.PAddr += Config.ChangeSectionLMAValAll;
739 }
740 }
741 }
742
743 if (!Config.ChangeSectionAddress.empty()) {
744 if (Obj.Type != ELF::ET_REL)
745 return createStringError(
746 object_error::invalid_file_type,
747 "cannot change section address in a non-relocatable file");
748
749 StringMap<AddressUpdate> SectionsToUpdateAddress;
750 for (const SectionPatternAddressUpdate &PatternUpdate :
751 make_range(Config.ChangeSectionAddress.rbegin(),
752 Config.ChangeSectionAddress.rend())) {
753 for (SectionBase &Sec : Obj.sections()) {
754 if (PatternUpdate.SectionPattern.matches(Sec.Name) &&
755 SectionsToUpdateAddress.try_emplace(Sec.Name, PatternUpdate.Update)
756 .second) {
757 if (PatternUpdate.Update.Kind == AdjustKind::Subtract &&
758 Sec.Addr < PatternUpdate.Update.Value) {
759 return createStringError(
761 "address 0x" + Twine::utohexstr(Sec.Addr) +
762 " cannot be decreased by 0x" +
763 Twine::utohexstr(PatternUpdate.Update.Value) +
764 ". The result would underflow");
765 }
766 if (PatternUpdate.Update.Kind == AdjustKind::Add &&
767 Sec.Addr > std::numeric_limits<uint64_t>::max() -
768 PatternUpdate.Update.Value) {
769 return createStringError(
771 "address 0x" + Twine::utohexstr(Sec.Addr) +
772 " cannot be increased by 0x" +
773 Twine::utohexstr(PatternUpdate.Update.Value) +
774 ". The result would overflow");
775 }
776
777 switch (PatternUpdate.Update.Kind) {
778 case (AdjustKind::Set):
779 Sec.Addr = PatternUpdate.Update.Value;
780 break;
782 Sec.Addr -= PatternUpdate.Update.Value;
783 break;
784 case (AdjustKind::Add):
785 Sec.Addr += PatternUpdate.Update.Value;
786 break;
787 }
788 }
789 }
790 }
791 }
792
793 if (Config.OnlyKeepDebug)
794 for (auto &Sec : Obj.sections())
795 if (Sec.Flags & SHF_ALLOC && Sec.Type != SHT_NOTE)
796 Sec.Type = SHT_NOBITS;
797
798 endianness E = OutputElfType == ELFT_ELF32LE || OutputElfType == ELFT_ELF64LE
801
802 for (const NewSectionInfo &AddedSection : Config.AddSection) {
803 auto AddSection = [&](StringRef Name, ArrayRef<uint8_t> Data) -> Error {
804 OwnedDataSection &NewSection =
806 if (Name.starts_with(".note") && Name != ".note.GNU-stack") {
807 NewSection.Type = SHT_NOTE;
809 return verifyNoteSection(Name, E, Data);
810 }
811 return Error::success();
812 };
813 if (Error E = handleUserSection(AddedSection, AddSection))
814 return E;
815 }
816
817 for (const NewSectionInfo &NewSection : Config.UpdateSection) {
818 auto UpdateSection = [&](StringRef Name, ArrayRef<uint8_t> Data) {
819 return Obj.updateSection(Name, Data);
820 };
821 if (Error E = handleUserSection(NewSection, UpdateSection))
822 return E;
823 }
824
825 if (!Config.AddGnuDebugLink.empty())
826 Obj.addSection<GnuDebugLinkSection>(Config.AddGnuDebugLink,
827 Config.GnuDebugLinkCRC32);
828
829 // If the symbol table was previously removed, we need to create a new one
830 // before adding new symbols.
831 if (!Obj.SymbolTable && !Config.SymbolsToAdd.empty())
832 if (Error E = Obj.addNewSymbolTable())
833 return E;
834
835 for (const NewSymbolInfo &SI : Config.SymbolsToAdd)
837
838 // --set-section-{flags,type} work with sections added by --add-section.
839 if (!Config.SetSectionFlags.empty() || !Config.SetSectionType.empty()) {
840 for (auto &Sec : Obj.sections()) {
841 const auto Iter = Config.SetSectionFlags.find(Sec.Name);
842 if (Iter != Config.SetSectionFlags.end()) {
843 const SectionFlagsUpdate &SFU = Iter->second;
844 if (Error E = setSectionFlagsAndType(Sec, SFU.NewFlags, Obj.Machine))
845 return E;
846 }
847 auto It2 = Config.SetSectionType.find(Sec.Name);
848 if (It2 != Config.SetSectionType.end())
849 setSectionType(Sec, It2->second);
850 }
851 }
852
853 if (!Config.SectionsToRename.empty()) {
854 std::vector<RelocationSectionBase *> RelocSections;
855 DenseSet<SectionBase *> RenamedSections;
856 for (SectionBase &Sec : Obj.sections()) {
857 auto *RelocSec = dyn_cast<RelocationSectionBase>(&Sec);
858 const auto Iter = Config.SectionsToRename.find(Sec.Name);
859 if (Iter != Config.SectionsToRename.end()) {
860 const SectionRename &SR = Iter->second;
861 Sec.Name = std::string(SR.NewName);
862 if (SR.NewFlags) {
863 if (Error E = setSectionFlagsAndType(Sec, *SR.NewFlags, Obj.Machine))
864 return E;
865 }
866 RenamedSections.insert(&Sec);
867 } else if (RelocSec && !(Sec.Flags & SHF_ALLOC))
868 // Postpone processing relocation sections which are not specified in
869 // their explicit '--rename-section' commands until after their target
870 // sections are renamed.
871 // Dynamic relocation sections (i.e. ones with SHF_ALLOC) should be
872 // renamed only explicitly. Otherwise, renaming, for example, '.got.plt'
873 // would affect '.rela.plt', which is not desirable.
874 RelocSections.push_back(RelocSec);
875 }
876
877 // Rename relocation sections according to their target sections.
878 for (RelocationSectionBase *RelocSec : RelocSections) {
879 auto Iter = RenamedSections.find(RelocSec->getSection());
880 if (Iter != RenamedSections.end())
881 RelocSec->Name = (RelocSec->getNamePrefix() + (*Iter)->Name).str();
882 }
883 }
884
885 // Add a prefix to allocated sections and their relocation sections. This
886 // should be done after renaming the section by Config.SectionToRename to
887 // imitate the GNU objcopy behavior.
888 if (!Config.AllocSectionsPrefix.empty()) {
889 DenseSet<SectionBase *> PrefixedSections;
890 for (SectionBase &Sec : Obj.sections()) {
891 if (Sec.Flags & SHF_ALLOC) {
892 Sec.Name = (Config.AllocSectionsPrefix + Sec.Name).str();
893 PrefixedSections.insert(&Sec);
894 } else if (auto *RelocSec = dyn_cast<RelocationSectionBase>(&Sec)) {
895 // Rename relocation sections associated to the allocated sections.
896 // For example, if we rename .text to .prefix.text, we also rename
897 // .rel.text to .rel.prefix.text.
898 //
899 // Dynamic relocation sections (SHT_REL[A] with SHF_ALLOC) are handled
900 // above, e.g., .rela.plt is renamed to .prefix.rela.plt, not
901 // .rela.prefix.plt since GNU objcopy does so.
902 const SectionBase *TargetSec = RelocSec->getSection();
903 if (TargetSec && (TargetSec->Flags & SHF_ALLOC)) {
904 // If the relocation section comes *after* the target section, we
905 // don't add Config.AllocSectionsPrefix because we've already added
906 // the prefix to TargetSec->Name. Otherwise, if the relocation
907 // section comes *before* the target section, we add the prefix.
908 if (PrefixedSections.count(TargetSec))
909 Sec.Name = (RelocSec->getNamePrefix() + TargetSec->Name).str();
910 else
911 Sec.Name = (RelocSec->getNamePrefix() + Config.AllocSectionsPrefix +
912 TargetSec->Name)
913 .str();
914 }
915 }
916 }
917 }
918
920 Obj.Entry = ELFConfig.EntryExpr(Obj.Entry);
921 return Error::success();
922}
923
925 raw_ostream &Out, ElfType OutputElfType) {
926 std::unique_ptr<Writer> Writer =
927 createWriter(Config, Obj, Out, OutputElfType);
928 if (Error E = Writer->finalize())
929 return E;
930 return Writer->write();
931}
932
934 const ELFConfig &ELFConfig,
935 MemoryBuffer &In, raw_ostream &Out) {
936 IHexReader Reader(&In);
938 if (!Obj)
939 return Obj.takeError();
940
941 const ElfType OutputElfType =
942 getOutputElfType(Config.OutputArch.value_or(MachineInfo()));
943 if (Error E = handleArgs(Config, ELFConfig, OutputElfType, **Obj))
944 return E;
945 return writeOutput(Config, **Obj, Out, OutputElfType);
946}
947
949 const ELFConfig &ELFConfig,
950 MemoryBuffer &In,
951 raw_ostream &Out) {
954 if (!Obj)
955 return Obj.takeError();
956
957 // Prefer OutputArch (-O<format>) if set, otherwise fallback to BinaryArch
958 // (-B<arch>).
959 const ElfType OutputElfType =
960 getOutputElfType(Config.OutputArch.value_or(MachineInfo()));
961 if (Error E = handleArgs(Config, ELFConfig, OutputElfType, **Obj))
962 return E;
963 return writeOutput(Config, **Obj, Out, OutputElfType);
964}
965
967 const ELFConfig &ELFConfig,
969 raw_ostream &Out) {
970 ELFReader Reader(&In, Config.ExtractPartition);
972 Reader.create(!Config.SymbolsToAdd.empty());
973 if (!Obj)
974 return Obj.takeError();
975 // Prefer OutputArch (-O<format>) if set, otherwise infer it from the input.
976 const ElfType OutputElfType = Config.OutputArch
977 ? getOutputElfType(*Config.OutputArch)
978 : getOutputElfType(In);
979
980 if (Error E = handleArgs(Config, ELFConfig, OutputElfType, **Obj))
981 return createFileError(Config.InputFilename, std::move(E));
982
983 if (Error E = writeOutput(Config, **Obj, Out, OutputElfType))
984 return createFileError(Config.InputFilename, std::move(E));
985
986 return Error::success();
987}
for(const MachineOperand &MO :llvm::drop_begin(OldMI.operands(), Desc.getNumOperands()))
This file defines the DenseSet and SmallDenseSet classes.
std::string Name
static Error replaceAndRemoveSections(const CommonConfig &Config, const ELFConfig &ELFConfig, Object &Obj)
Definition: ELFObjcopy.cpp:411
static bool isArmMappingSymbol(const Symbol &Sym)
Definition: ELFObjcopy.cpp:268
static Error handleArgs(const CommonConfig &Config, const ELFConfig &ELFConfig, ElfType OutputElfType, Object &Obj)
Definition: ELFObjcopy.cpp:676
static Error handleUserSection(const NewSectionInfo &NewSection, function_ref< Error(StringRef, ArrayRef< uint8_t >)> F)
Definition: ELFObjcopy.cpp:613
static void addSymbol(Object &Obj, const NewSymbolInfo &SymInfo, uint8_t DefaultVisibility)
Definition: ELFObjcopy.cpp:559
static Error updateAndRemoveSymbols(const CommonConfig &Config, const ELFConfig &ELFConfig, Object &Obj)
Definition: ELFObjcopy.cpp:299
std::function< bool(const SectionBase &Sec)> SectionPred
Definition: ELFObjcopy.cpp:47
static Error verifyNoteSection(StringRef Name, endianness Endianness, ArrayRef< uint8_t > Data)
Definition: ELFObjcopy.cpp:621
static bool isDWOSection(const SectionBase &Sec)
Definition: ELFObjcopy.cpp:53
static bool isRequiredByABISymbol(const Object &Obj, const Symbol &Sym)
Definition: ELFObjcopy.cpp:280
static bool isDebugSection(const SectionBase &Sec)
Definition: ELFObjcopy.cpp:49
static Error dumpSectionToFile(StringRef SecName, StringRef Filename, Object &Obj)
Definition: ELFObjcopy.cpp:188
static Error writeOutput(const CommonConfig &Config, Object &Obj, raw_ostream &Out, ElfType OutputElfType)
Definition: ELFObjcopy.cpp:924
static bool isUnneededSymbol(const Symbol &Sym)
Definition: ELFObjcopy.cpp:293
static bool isAArch64MappingSymbol(const Symbol &Sym)
Definition: ELFObjcopy.cpp:258
static bool onlyKeepDWOPred(const Object &Obj, const SectionBase &Sec)
Definition: ELFObjcopy.cpp:57
static void setSectionType(SectionBase &Sec, uint64_t Type)
Definition: ELFObjcopy.cpp:105
static Expected< uint64_t > getNewShfFlags(SectionFlag AllFlags, uint16_t EMachine)
Definition: ELFObjcopy.cpp:66
static Error setSectionFlagsAndType(SectionBase &Sec, SectionFlag Flags, uint16_t EMachine)
Definition: ELFObjcopy.cpp:113
static std::unique_ptr< Writer > createELFWriter(const CommonConfig &Config, Object &Obj, raw_ostream &Out, ElfType OutputElfType)
Definition: ELFObjcopy.cpp:152
static uint64_t getSectionFlagsPreserveMask(uint64_t OldFlags, uint64_t NewFlags, uint16_t EMachine)
Definition: ELFObjcopy.cpp:91
static std::unique_ptr< Writer > createWriter(const CommonConfig &Config, Object &Obj, raw_ostream &Out, ElfType OutputElfType)
Definition: ELFObjcopy.cpp:173
static ElfType getOutputElfType(const Binary &Bin)
Definition: ELFObjcopy.cpp:131
RelaxConfig Config
Definition: ELF_riscv.cpp:506
Symbol * Sym
Definition: ELF_riscv.cpp:479
IRTranslator LLVM IR MI
#define F(x, y, z)
Definition: MD5.cpp:55
#define I(x, y, z)
Definition: MD5.cpp:58
if(PassOpts->AAPipeline)
This file defines the SmallVector class.
ArrayRef - Represent a constant reference to an array (0 or more elements consecutively in memory),...
Definition: ArrayRef.h:41
const T * data() const
Definition: ArrayRef.h:165
Implements a dense probed hash-table based set.
Definition: DenseSet.h:278
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
static Expected< std::unique_ptr< FileOutputBuffer > > create(StringRef FilePath, size_t Size, unsigned Flags=0)
Factory method to create an OutputBuffer object which manages a read/write buffer of the specified si...
This interface provides simple read-only access to a block of memory, and provides simple methods for...
Definition: MemoryBuffer.h:51
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
Definition: SmallVector.h:1196
StringMap - This is an unconventional map that is specialized for handling keys that are "strings",...
Definition: StringMap.h:128
std::pair< iterator, bool > try_emplace(StringRef Key, ArgsTy &&...Args)
Emplace a new element for the specified key into the map if the key isn't already in the map.
Definition: StringMap.h:368
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
bool starts_with(StringRef Prefix) const
Check if this string starts with the given Prefix.
Definition: StringRef.h:265
bool ends_with(StringRef Suffix) const
Check if this string ends with the given Suffix.
Definition: StringRef.h:277
static Twine utohexstr(const uint64_t &Val)
Definition: Twine.h:416
The instances of the Type class are immutable: once they are created, they are never changed.
Definition: Type.h:45
LLVM Value Representation.
Definition: Value.h:74
std::pair< iterator, bool > insert(const ValueT &V)
Definition: DenseSet.h:213
iterator find(const_arg_type_t< ValueT > V)
Definition: DenseSet.h:187
size_type count(const_arg_type_t< ValueT > V) const
Return 1 if the specified key is in the set, 0 otherwise.
Definition: DenseSet.h:95
An efficient, type-erasing, non-owning reference to a callable.
SectionTableRef sections() const
Definition: ELFObject.h:1199
StringTableSection * SectionNames
Definition: ELFObject.h:1193
bool isRelocatable() const
Definition: ELFObject.h:1237
Error updateSection(StringRef Name, ArrayRef< uint8_t > Data)
Definition: ELFObject.cpp:2157
Error removeSymbols(function_ref< bool(const Symbol &)> ToRemove)
Definition: ELFObject.cpp:2273
T & addSection(Ts &&...Args)
Definition: ELFObject.h:1224
Error removeSections(bool AllowBrokenLinks, std::function< bool(const SectionBase &)> ToRemove)
Definition: ELFObject.cpp:2188
ConstRange< Segment > segments() const
Definition: ELFObject.h:1217
SymbolTableSection * SymbolTable
Definition: ELFObject.h:1194
Error compressOrDecompressSections(const CommonConfig &Config)
Definition: ELFObjcopy.cpp:212
SectionBase * findSection(StringRef Name)
Definition: ELFObject.h:1210
Error replaceSections(const DenseMap< SectionBase *, SectionBase * > &FromTo)
Definition: ELFObject.cpp:2249
virtual Expected< std::unique_ptr< Object > > create(bool EnsureSymtab) const =0
const SectionBase * getStrTab() const
Definition: ELFObject.h:836
void addSymbol(Twine Name, uint8_t Bind, uint8_t Type, SectionBase *DefinedIn, uint64_t Value, uint8_t Visibility, uint16_t Shndx, uint64_t SymbolSize)
Definition: ELFObject.cpp:714
void updateSymbols(function_ref< void(Symbol &)> Callable)
Definition: ELFObject.cpp:756
virtual Error finalize()=0
virtual Error write()=0
This class implements an extremely fast bulk output stream that can only output to a stream.
Definition: raw_ostream.h:52
A raw_ostream that writes to an std::string.
Definition: raw_ostream.h:661
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
Definition: ELF.h:28
@ SHN_ABS
Definition: ELF.h:1083
@ SHN_UNDEF
Definition: ELF.h:1077
@ EM_X86_64
Definition: ELF.h:181
@ EM_AARCH64
Definition: ELF.h:283
@ EM_ARM
Definition: ELF.h:159
@ SHT_STRTAB
Definition: ELF.h:1094
@ SHT_PROGBITS
Definition: ELF.h:1092
@ SHT_REL
Definition: ELF.h:1100
@ SHT_ARM_ATTRIBUTES
Definition: ELF.h:1152
@ SHT_NOBITS
Definition: ELF.h:1099
@ SHT_SYMTAB
Definition: ELF.h:1093
@ SHT_LLVM_PART_EHDR
Definition: ELF.h:1126
@ SHT_RELA
Definition: ELF.h:1095
@ SHT_LLVM_PART_PHDR
Definition: ELF.h:1127
@ SHT_NOTE
Definition: ELF.h:1098
@ SHF_MERGE
Definition: ELF.h:1196
@ SHF_STRINGS
Definition: ELF.h:1199
@ SHF_INFO_LINK
Definition: ELF.h:1202
@ SHF_EXCLUDE
Definition: ELF.h:1224
@ SHF_ALLOC
Definition: ELF.h:1190
@ SHF_MASKPROC
Definition: ELF.h:1234
@ SHF_LINK_ORDER
Definition: ELF.h:1205
@ SHF_GROUP
Definition: ELF.h:1212
@ SHF_COMPRESSED
Definition: ELF.h:1218
@ SHF_MASKOS
Definition: ELF.h:1228
@ SHF_X86_64_LARGE
Definition: ELF.h:1253
@ SHF_WRITE
Definition: ELF.h:1187
@ SHF_TLS
Definition: ELF.h:1215
@ SHF_EXECINSTR
Definition: ELF.h:1193
@ STB_GLOBAL
Definition: ELF.h:1344
@ STB_LOCAL
Definition: ELF.h:1343
@ STB_WEAK
Definition: ELF.h:1345
@ ET_REL
Definition: ELF.h:117
@ STT_FUNC
Definition: ELF.h:1357
@ STT_NOTYPE
Definition: ELF.h:1355
@ STT_SECTION
Definition: ELF.h:1358
@ STT_FILE
Definition: ELF.h:1359
@ STT_GNU_IFUNC
Definition: ELF.h:1362
@ STT_OBJECT
Definition: ELF.h:1356
@ STV_INTERNAL
Definition: ELF.h:1374
@ STV_HIDDEN
Definition: ELF.h:1375
@ STV_PROTECTED
Definition: ELF.h:1376
@ STV_DEFAULT
Definition: ELF.h:1373
constexpr size_t NameSize
Definition: XCOFF.h:29
Error executeObjcopyOnIHex(const CommonConfig &Config, const ELFConfig &ELFConfig, MemoryBuffer &In, raw_ostream &Out)
Apply the transformations described by Config and ELFConfig to In, which must represent an IHex file,...
Definition: ELFObjcopy.cpp:933
Error executeObjcopyOnBinary(const CommonConfig &Config, const ELFConfig &ELFConfig, object::ELFObjectFileBase &In, raw_ostream &Out)
Apply the transformations described by Config and ELFConfig to In and writes the result into Out.
Definition: ELFObjcopy.cpp:966
Error executeObjcopyOnRawBinary(const CommonConfig &Config, const ELFConfig &ELFConfig, MemoryBuffer &In, raw_ostream &Out)
Apply the transformations described by Config and ELFConfig to In, which is treated as a raw binary i...
Definition: ELFObjcopy.cpp:948
uint32_t read32(const void *P, endianness E)
Definition: Endian.h:405
This is an optimization pass for GlobalISel generic memory operations.
Definition: AddressRanges.h:18
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.
Error createStringError(std::error_code EC, char const *Fmt, const Ts &... Vals)
Create formatted StringError object.
Definition: Error.h:1291
bool isa(const From &Val)
isa<X> - Return true if the parameter to the template is an instance of one of the template type argu...
Definition: Casting.h:548
uint64_t alignTo(uint64_t Size, Align A)
Returns a multiple of A needed to store Size bytes.
Definition: Alignment.h:155
endianness
Definition: bit.h:70
SymInfo contains information about symbol: it's address and section index which is -1LL for absolute ...
std::vector< std::pair< NameMatcher, uint8_t > > SymbolsToSetVisibility
Definition: ELFConfig.h:22
std::function< uint64_t(uint64_t)> EntryExpr
Definition: ELFConfig.h:28
std::shared_ptr< MemoryBuffer > SectionData
Definition: CommonConfig.h:203
std::optional< SectionFlag > NewFlags
Definition: CommonConfig.h:72
uint16_t getShndx() const
Definition: ELFObject.cpp:684