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
9 #include "llvm/ObjCopy/ELF/ELFObjcopy.h"
10 #include "ELFObject.h"
11 #include "llvm/ADT/BitmaskEnum.h"
12 #include "llvm/ADT/DenseSet.h"
13 #include "llvm/ADT/Optional.h"
14 #include "llvm/ADT/STLExtras.h"
15 #include "llvm/ADT/SmallVector.h"
16 #include "llvm/ADT/StringRef.h"
17 #include "llvm/ADT/Twine.h"
18 #include "llvm/BinaryFormat/ELF.h"
19 #include "llvm/MC/MCTargetOptions.h"
20 #include "llvm/ObjCopy/CommonConfig.h"
21 #include "llvm/ObjCopy/ELF/ELFConfig.h"
22 #include "llvm/Object/Binary.h"
23 #include "llvm/Object/ELFObjectFile.h"
24 #include "llvm/Object/ELFTypes.h"
25 #include "llvm/Object/Error.h"
26 #include "llvm/Option/Option.h"
27 #include "llvm/Support/Casting.h"
28 #include "llvm/Support/Compression.h"
29 #include "llvm/Support/Errc.h"
30 #include "llvm/Support/Error.h"
31 #include "llvm/Support/ErrorHandling.h"
32 #include "llvm/Support/ErrorOr.h"
33 #include "llvm/Support/FileSystem.h"
34 #include "llvm/Support/Memory.h"
35 #include "llvm/Support/Path.h"
36 #include "llvm/Support/raw_ostream.h"
37 #include <algorithm>
38 #include <cassert>
39 #include <cstdlib>
40 #include <functional>
41 #include <iterator>
42 #include <memory>
43 #include <string>
44 #include <system_error>
45 #include <utility>
46
47 using namespace llvm;
48 using namespace llvm::ELF;
49 using namespace llvm::objcopy;
50 using namespace llvm::objcopy::elf;
51 using namespace llvm::object;
52
53 using SectionPred = std::function<bool(const SectionBase &Sec)>;
54
isDebugSection(const SectionBase & Sec)55 static bool isDebugSection(const SectionBase &Sec) {
56 return StringRef(Sec.Name).startswith(".debug") || Sec.Name == ".gdb_index";
57 }
58
isDWOSection(const SectionBase & Sec)59 static bool isDWOSection(const SectionBase &Sec) {
60 return StringRef(Sec.Name).endswith(".dwo");
61 }
62
onlyKeepDWOPred(const Object & Obj,const SectionBase & Sec)63 static bool onlyKeepDWOPred(const Object &Obj, const SectionBase &Sec) {
64 // We can't remove the section header string table.
65 if (&Sec == Obj.SectionNames)
66 return false;
67 // Short of keeping the string table we want to keep everything that is a DWO
68 // section and remove everything else.
69 return !isDWOSection(Sec);
70 }
71
getNewShfFlags(SectionFlag AllFlags)72 static uint64_t getNewShfFlags(SectionFlag AllFlags) {
73 uint64_t NewFlags = 0;
74 if (AllFlags & SectionFlag::SecAlloc)
75 NewFlags |= ELF::SHF_ALLOC;
76 if (!(AllFlags & SectionFlag::SecReadonly))
77 NewFlags |= ELF::SHF_WRITE;
78 if (AllFlags & SectionFlag::SecCode)
79 NewFlags |= ELF::SHF_EXECINSTR;
80 if (AllFlags & SectionFlag::SecMerge)
81 NewFlags |= ELF::SHF_MERGE;
82 if (AllFlags & SectionFlag::SecStrings)
83 NewFlags |= ELF::SHF_STRINGS;
84 if (AllFlags & SectionFlag::SecExclude)
85 NewFlags |= ELF::SHF_EXCLUDE;
86 return NewFlags;
87 }
88
getSectionFlagsPreserveMask(uint64_t OldFlags,uint64_t NewFlags)89 static uint64_t getSectionFlagsPreserveMask(uint64_t OldFlags,
90 uint64_t NewFlags) {
91 // Preserve some flags which should not be dropped when setting flags.
92 // Also, preserve anything OS/processor dependant.
93 const uint64_t PreserveMask =
94 (ELF::SHF_COMPRESSED | ELF::SHF_GROUP | ELF::SHF_LINK_ORDER |
95 ELF::SHF_MASKOS | ELF::SHF_MASKPROC | ELF::SHF_TLS |
96 ELF::SHF_INFO_LINK) &
97 ~ELF::SHF_EXCLUDE;
98 return (OldFlags & PreserveMask) | (NewFlags & ~PreserveMask);
99 }
100
setSectionFlagsAndType(SectionBase & Sec,SectionFlag Flags)101 static void setSectionFlagsAndType(SectionBase &Sec, SectionFlag Flags) {
102 Sec.Flags = getSectionFlagsPreserveMask(Sec.Flags, getNewShfFlags(Flags));
103
104 // In GNU objcopy, certain flags promote SHT_NOBITS to SHT_PROGBITS. This rule
105 // may promote more non-ALLOC sections than GNU objcopy, but it is fine as
106 // non-ALLOC SHT_NOBITS sections do not make much sense.
107 if (Sec.Type == SHT_NOBITS &&
108 (!(Sec.Flags & ELF::SHF_ALLOC) ||
109 Flags & (SectionFlag::SecContents | SectionFlag::SecLoad)))
110 Sec.Type = SHT_PROGBITS;
111 }
112
getOutputElfType(const Binary & Bin)113 static ElfType getOutputElfType(const Binary &Bin) {
114 // Infer output ELF type from the input ELF object
115 if (isa<ELFObjectFile<ELF32LE>>(Bin))
116 return ELFT_ELF32LE;
117 if (isa<ELFObjectFile<ELF64LE>>(Bin))
118 return ELFT_ELF64LE;
119 if (isa<ELFObjectFile<ELF32BE>>(Bin))
120 return ELFT_ELF32BE;
121 if (isa<ELFObjectFile<ELF64BE>>(Bin))
122 return ELFT_ELF64BE;
123 llvm_unreachable("Invalid ELFType");
124 }
125
getOutputElfType(const MachineInfo & MI)126 static ElfType getOutputElfType(const MachineInfo &MI) {
127 // Infer output ELF type from the binary arch specified
128 if (MI.Is64Bit)
129 return MI.IsLittleEndian ? ELFT_ELF64LE : ELFT_ELF64BE;
130 else
131 return MI.IsLittleEndian ? ELFT_ELF32LE : ELFT_ELF32BE;
132 }
133
createELFWriter(const CommonConfig & Config,Object & Obj,raw_ostream & Out,ElfType OutputElfType)134 static std::unique_ptr<Writer> createELFWriter(const CommonConfig &Config,
135 Object &Obj, raw_ostream &Out,
136 ElfType OutputElfType) {
137 // Depending on the initial ELFT and OutputFormat we need a different Writer.
138 switch (OutputElfType) {
139 case ELFT_ELF32LE:
140 return std::make_unique<ELFWriter<ELF32LE>>(Obj, Out, !Config.StripSections,
141 Config.OnlyKeepDebug);
142 case ELFT_ELF64LE:
143 return std::make_unique<ELFWriter<ELF64LE>>(Obj, Out, !Config.StripSections,
144 Config.OnlyKeepDebug);
145 case ELFT_ELF32BE:
146 return std::make_unique<ELFWriter<ELF32BE>>(Obj, Out, !Config.StripSections,
147 Config.OnlyKeepDebug);
148 case ELFT_ELF64BE:
149 return std::make_unique<ELFWriter<ELF64BE>>(Obj, Out, !Config.StripSections,
150 Config.OnlyKeepDebug);
151 }
152 llvm_unreachable("Invalid output format");
153 }
154
createWriter(const CommonConfig & Config,Object & Obj,raw_ostream & Out,ElfType OutputElfType)155 static std::unique_ptr<Writer> createWriter(const CommonConfig &Config,
156 Object &Obj, raw_ostream &Out,
157 ElfType OutputElfType) {
158 switch (Config.OutputFormat) {
159 case FileFormat::Binary:
160 return std::make_unique<BinaryWriter>(Obj, Out);
161 case FileFormat::IHex:
162 return std::make_unique<IHexWriter>(Obj, Out);
163 default:
164 return createELFWriter(Config, Obj, Out, OutputElfType);
165 }
166 }
167
168 template <class... Ts>
makeStringError(std::error_code EC,const Twine & Msg,Ts &&...Args)169 static Error makeStringError(std::error_code EC, const Twine &Msg,
170 Ts &&...Args) {
171 std::string FullMsg = (EC.message() + ": " + Msg).str();
172 return createStringError(EC, FullMsg.c_str(), std::forward<Ts>(Args)...);
173 }
174
dumpSectionToFile(StringRef SecName,StringRef Filename,Object & Obj)175 static Error dumpSectionToFile(StringRef SecName, StringRef Filename,
176 Object &Obj) {
177 for (auto &Sec : Obj.sections()) {
178 if (Sec.Name == SecName) {
179 if (Sec.Type == SHT_NOBITS)
180 return createStringError(object_error::parse_failed,
181 "cannot dump section '%s': it has no contents",
182 SecName.str().c_str());
183 Expected<std::unique_ptr<FileOutputBuffer>> BufferOrErr =
184 FileOutputBuffer::create(Filename, Sec.OriginalData.size());
185 if (!BufferOrErr)
186 return BufferOrErr.takeError();
187 std::unique_ptr<FileOutputBuffer> Buf = std::move(*BufferOrErr);
188 std::copy(Sec.OriginalData.begin(), Sec.OriginalData.end(),
189 Buf->getBufferStart());
190 if (Error E = Buf->commit())
191 return E;
192 return Error::success();
193 }
194 }
195 return createStringError(object_error::parse_failed, "section '%s' not found",
196 SecName.str().c_str());
197 }
198
isCompressable(const SectionBase & Sec)199 static bool isCompressable(const SectionBase &Sec) {
200 return !(Sec.Flags & ELF::SHF_COMPRESSED) &&
201 StringRef(Sec.Name).startswith(".debug");
202 }
203
replaceDebugSections(Object & Obj,function_ref<bool (const SectionBase &)> ShouldReplace,function_ref<Expected<SectionBase * > (const SectionBase *)> AddSection)204 static Error replaceDebugSections(
205 Object &Obj, function_ref<bool(const SectionBase &)> ShouldReplace,
206 function_ref<Expected<SectionBase *>(const SectionBase *)> AddSection) {
207 // Build a list of the debug sections we are going to replace.
208 // We can't call `AddSection` while iterating over sections,
209 // because it would mutate the sections array.
210 SmallVector<SectionBase *, 13> ToReplace;
211 for (auto &Sec : Obj.sections())
212 if (ShouldReplace(Sec))
213 ToReplace.push_back(&Sec);
214
215 // Build a mapping from original section to a new one.
216 DenseMap<SectionBase *, SectionBase *> FromTo;
217 for (SectionBase *S : ToReplace) {
218 Expected<SectionBase *> NewSection = AddSection(S);
219 if (!NewSection)
220 return NewSection.takeError();
221
222 FromTo[S] = *NewSection;
223 }
224
225 return Obj.replaceSections(FromTo);
226 }
227
isAArch64MappingSymbol(const Symbol & Sym)228 static bool isAArch64MappingSymbol(const Symbol &Sym) {
229 if (Sym.Binding != STB_LOCAL || Sym.Type != STT_NOTYPE ||
230 Sym.getShndx() == SHN_UNDEF)
231 return false;
232 StringRef Name = Sym.Name;
233 if (!Name.consume_front("$x") && !Name.consume_front("$d"))
234 return false;
235 return Name.empty() || Name.startswith(".");
236 }
237
isArmMappingSymbol(const Symbol & Sym)238 static bool isArmMappingSymbol(const Symbol &Sym) {
239 if (Sym.Binding != STB_LOCAL || Sym.Type != STT_NOTYPE ||
240 Sym.getShndx() == SHN_UNDEF)
241 return false;
242 StringRef Name = Sym.Name;
243 if (!Name.consume_front("$a") && !Name.consume_front("$d") &&
244 !Name.consume_front("$t"))
245 return false;
246 return Name.empty() || Name.startswith(".");
247 }
248
249 // Check if the symbol should be preserved because it is required by ABI.
isRequiredByABISymbol(const Object & Obj,const Symbol & Sym)250 static bool isRequiredByABISymbol(const Object &Obj, const Symbol &Sym) {
251 switch (Obj.Machine) {
252 case EM_AARCH64:
253 // Mapping symbols should be preserved for a relocatable object file.
254 return Obj.isRelocatable() && isAArch64MappingSymbol(Sym);
255 case EM_ARM:
256 // Mapping symbols should be preserved for a relocatable object file.
257 return Obj.isRelocatable() && isArmMappingSymbol(Sym);
258 default:
259 return false;
260 }
261 }
262
isUnneededSymbol(const Symbol & Sym)263 static bool isUnneededSymbol(const Symbol &Sym) {
264 return !Sym.Referenced &&
265 (Sym.Binding == STB_LOCAL || Sym.getShndx() == SHN_UNDEF) &&
266 Sym.Type != STT_SECTION;
267 }
268
updateAndRemoveSymbols(const CommonConfig & Config,const ELFConfig & ELFConfig,Object & Obj)269 static Error updateAndRemoveSymbols(const CommonConfig &Config,
270 const ELFConfig &ELFConfig, Object &Obj) {
271 // TODO: update or remove symbols only if there is an option that affects
272 // them.
273 if (!Obj.SymbolTable)
274 return Error::success();
275
276 Obj.SymbolTable->updateSymbols([&](Symbol &Sym) {
277 // Common and undefined symbols don't make sense as local symbols, and can
278 // even cause crashes if we localize those, so skip them.
279 if (!Sym.isCommon() && Sym.getShndx() != SHN_UNDEF &&
280 ((ELFConfig.LocalizeHidden &&
281 (Sym.Visibility == STV_HIDDEN || Sym.Visibility == STV_INTERNAL)) ||
282 Config.SymbolsToLocalize.matches(Sym.Name)))
283 Sym.Binding = STB_LOCAL;
284
285 // Note: these two globalize flags have very similar names but different
286 // meanings:
287 //
288 // --globalize-symbol: promote a symbol to global
289 // --keep-global-symbol: all symbols except for these should be made local
290 //
291 // If --globalize-symbol is specified for a given symbol, it will be
292 // global in the output file even if it is not included via
293 // --keep-global-symbol. Because of that, make sure to check
294 // --globalize-symbol second.
295 if (!Config.SymbolsToKeepGlobal.empty() &&
296 !Config.SymbolsToKeepGlobal.matches(Sym.Name) &&
297 Sym.getShndx() != SHN_UNDEF)
298 Sym.Binding = STB_LOCAL;
299
300 if (Config.SymbolsToGlobalize.matches(Sym.Name) &&
301 Sym.getShndx() != SHN_UNDEF)
302 Sym.Binding = STB_GLOBAL;
303
304 // SymbolsToWeaken applies to both STB_GLOBAL and STB_GNU_UNIQUE.
305 if (Config.SymbolsToWeaken.matches(Sym.Name) && Sym.Binding != STB_LOCAL)
306 Sym.Binding = STB_WEAK;
307
308 if (Config.Weaken && Sym.Binding != STB_LOCAL &&
309 Sym.getShndx() != SHN_UNDEF)
310 Sym.Binding = STB_WEAK;
311
312 const auto I = Config.SymbolsToRename.find(Sym.Name);
313 if (I != Config.SymbolsToRename.end())
314 Sym.Name = std::string(I->getValue());
315
316 if (!Config.SymbolsPrefix.empty() && Sym.Type != STT_SECTION)
317 Sym.Name = (Config.SymbolsPrefix + Sym.Name).str();
318 });
319
320 // The purpose of this loop is to mark symbols referenced by sections
321 // (like GroupSection or RelocationSection). This way, we know which
322 // symbols are still 'needed' and which are not.
323 if (Config.StripUnneeded || !Config.UnneededSymbolsToRemove.empty() ||
324 !Config.OnlySection.empty()) {
325 for (SectionBase &Sec : Obj.sections())
326 Sec.markSymbols();
327 }
328
329 auto RemoveSymbolsPred = [&](const Symbol &Sym) {
330 if (Config.SymbolsToKeep.matches(Sym.Name) ||
331 (ELFConfig.KeepFileSymbols && Sym.Type == STT_FILE))
332 return false;
333
334 if (Config.SymbolsToRemove.matches(Sym.Name))
335 return true;
336
337 if (Config.StripAll || Config.StripAllGNU)
338 return true;
339
340 if (isRequiredByABISymbol(Obj, Sym))
341 return false;
342
343 if (Config.StripDebug && Sym.Type == STT_FILE)
344 return true;
345
346 if ((Config.DiscardMode == DiscardType::All ||
347 (Config.DiscardMode == DiscardType::Locals &&
348 StringRef(Sym.Name).startswith(".L"))) &&
349 Sym.Binding == STB_LOCAL && Sym.getShndx() != SHN_UNDEF &&
350 Sym.Type != STT_FILE && Sym.Type != STT_SECTION)
351 return true;
352
353 if ((Config.StripUnneeded ||
354 Config.UnneededSymbolsToRemove.matches(Sym.Name)) &&
355 (!Obj.isRelocatable() || isUnneededSymbol(Sym)))
356 return true;
357
358 // We want to remove undefined symbols if all references have been stripped.
359 if (!Config.OnlySection.empty() && !Sym.Referenced &&
360 Sym.getShndx() == SHN_UNDEF)
361 return true;
362
363 return false;
364 };
365
366 return Obj.removeSymbols(RemoveSymbolsPred);
367 }
368
replaceAndRemoveSections(const CommonConfig & Config,const ELFConfig & ELFConfig,Object & Obj)369 static Error replaceAndRemoveSections(const CommonConfig &Config,
370 const ELFConfig &ELFConfig, Object &Obj) {
371 SectionPred RemovePred = [](const SectionBase &) { return false; };
372
373 // Removes:
374 if (!Config.ToRemove.empty()) {
375 RemovePred = [&Config](const SectionBase &Sec) {
376 return Config.ToRemove.matches(Sec.Name);
377 };
378 }
379
380 if (Config.StripDWO)
381 RemovePred = [RemovePred](const SectionBase &Sec) {
382 return isDWOSection(Sec) || RemovePred(Sec);
383 };
384
385 if (Config.ExtractDWO)
386 RemovePred = [RemovePred, &Obj](const SectionBase &Sec) {
387 return onlyKeepDWOPred(Obj, Sec) || RemovePred(Sec);
388 };
389
390 if (Config.StripAllGNU)
391 RemovePred = [RemovePred, &Obj](const SectionBase &Sec) {
392 if (RemovePred(Sec))
393 return true;
394 if ((Sec.Flags & SHF_ALLOC) != 0)
395 return false;
396 if (&Sec == Obj.SectionNames)
397 return false;
398 switch (Sec.Type) {
399 case SHT_SYMTAB:
400 case SHT_REL:
401 case SHT_RELA:
402 case SHT_STRTAB:
403 return true;
404 }
405 return isDebugSection(Sec);
406 };
407
408 if (Config.StripSections) {
409 RemovePred = [RemovePred](const SectionBase &Sec) {
410 return RemovePred(Sec) || Sec.ParentSegment == nullptr;
411 };
412 }
413
414 if (Config.StripDebug || Config.StripUnneeded) {
415 RemovePred = [RemovePred](const SectionBase &Sec) {
416 return RemovePred(Sec) || isDebugSection(Sec);
417 };
418 }
419
420 if (Config.StripNonAlloc)
421 RemovePred = [RemovePred, &Obj](const SectionBase &Sec) {
422 if (RemovePred(Sec))
423 return true;
424 if (&Sec == Obj.SectionNames)
425 return false;
426 return (Sec.Flags & SHF_ALLOC) == 0 && Sec.ParentSegment == nullptr;
427 };
428
429 if (Config.StripAll)
430 RemovePred = [RemovePred, &Obj](const SectionBase &Sec) {
431 if (RemovePred(Sec))
432 return true;
433 if (&Sec == Obj.SectionNames)
434 return false;
435 if (StringRef(Sec.Name).startswith(".gnu.warning"))
436 return false;
437 // We keep the .ARM.attribute section to maintain compatibility
438 // with Debian derived distributions. This is a bug in their
439 // patchset as documented here:
440 // https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=943798
441 if (Sec.Type == SHT_ARM_ATTRIBUTES)
442 return false;
443 if (Sec.ParentSegment != nullptr)
444 return false;
445 return (Sec.Flags & SHF_ALLOC) == 0;
446 };
447
448 if (Config.ExtractPartition || Config.ExtractMainPartition) {
449 RemovePred = [RemovePred](const SectionBase &Sec) {
450 if (RemovePred(Sec))
451 return true;
452 if (Sec.Type == SHT_LLVM_PART_EHDR || Sec.Type == SHT_LLVM_PART_PHDR)
453 return true;
454 return (Sec.Flags & SHF_ALLOC) != 0 && !Sec.ParentSegment;
455 };
456 }
457
458 // Explicit copies:
459 if (!Config.OnlySection.empty()) {
460 RemovePred = [&Config, RemovePred, &Obj](const SectionBase &Sec) {
461 // Explicitly keep these sections regardless of previous removes.
462 if (Config.OnlySection.matches(Sec.Name))
463 return false;
464
465 // Allow all implicit removes.
466 if (RemovePred(Sec))
467 return true;
468
469 // Keep special sections.
470 if (Obj.SectionNames == &Sec)
471 return false;
472 if (Obj.SymbolTable == &Sec ||
473 (Obj.SymbolTable && Obj.SymbolTable->getStrTab() == &Sec))
474 return false;
475
476 // Remove everything else.
477 return true;
478 };
479 }
480
481 if (!Config.KeepSection.empty()) {
482 RemovePred = [&Config, RemovePred](const SectionBase &Sec) {
483 // Explicitly keep these sections regardless of previous removes.
484 if (Config.KeepSection.matches(Sec.Name))
485 return false;
486 // Otherwise defer to RemovePred.
487 return RemovePred(Sec);
488 };
489 }
490
491 // This has to be the last predicate assignment.
492 // If the option --keep-symbol has been specified
493 // and at least one of those symbols is present
494 // (equivalently, the updated symbol table is not empty)
495 // the symbol table and the string table should not be removed.
496 if ((!Config.SymbolsToKeep.empty() || ELFConfig.KeepFileSymbols) &&
497 Obj.SymbolTable && !Obj.SymbolTable->empty()) {
498 RemovePred = [&Obj, RemovePred](const SectionBase &Sec) {
499 if (&Sec == Obj.SymbolTable || &Sec == Obj.SymbolTable->getStrTab())
500 return false;
501 return RemovePred(Sec);
502 };
503 }
504
505 if (Error E = Obj.removeSections(ELFConfig.AllowBrokenLinks, RemovePred))
506 return E;
507
508 if (Config.CompressionType != DebugCompressionType::None) {
509 if (Error Err = replaceDebugSections(
510 Obj, isCompressable,
511 [&Config, &Obj](const SectionBase *S) -> Expected<SectionBase *> {
512 return &Obj.addSection<CompressedSection>(
513 CompressedSection(*S, Config.CompressionType));
514 }))
515 return Err;
516 } else if (Config.DecompressDebugSections) {
517 if (Error Err = replaceDebugSections(
518 Obj,
519 [](const SectionBase &S) { return isa<CompressedSection>(&S); },
520 [&Obj](const SectionBase *S) {
521 const CompressedSection *CS = cast<CompressedSection>(S);
522 return &Obj.addSection<DecompressedSection>(*CS);
523 }))
524 return Err;
525 }
526
527 return Error::success();
528 }
529
530 // Add symbol to the Object symbol table with the specified properties.
addSymbol(Object & Obj,const NewSymbolInfo & SymInfo,uint8_t DefaultVisibility)531 static void addSymbol(Object &Obj, const NewSymbolInfo &SymInfo,
532 uint8_t DefaultVisibility) {
533 SectionBase *Sec = Obj.findSection(SymInfo.SectionName);
534 uint64_t Value = Sec ? Sec->Addr + SymInfo.Value : SymInfo.Value;
535
536 uint8_t Bind = ELF::STB_GLOBAL;
537 uint8_t Type = ELF::STT_NOTYPE;
538 uint8_t Visibility = DefaultVisibility;
539
540 for (SymbolFlag FlagValue : SymInfo.Flags)
541 switch (FlagValue) {
542 case SymbolFlag::Global:
543 Bind = ELF::STB_GLOBAL;
544 break;
545 case SymbolFlag::Local:
546 Bind = ELF::STB_LOCAL;
547 break;
548 case SymbolFlag::Weak:
549 Bind = ELF::STB_WEAK;
550 break;
551 case SymbolFlag::Default:
552 Visibility = ELF::STV_DEFAULT;
553 break;
554 case SymbolFlag::Hidden:
555 Visibility = ELF::STV_HIDDEN;
556 break;
557 case SymbolFlag::Protected:
558 Visibility = ELF::STV_PROTECTED;
559 break;
560 case SymbolFlag::File:
561 Type = ELF::STT_FILE;
562 break;
563 case SymbolFlag::Section:
564 Type = ELF::STT_SECTION;
565 break;
566 case SymbolFlag::Object:
567 Type = ELF::STT_OBJECT;
568 break;
569 case SymbolFlag::Function:
570 Type = ELF::STT_FUNC;
571 break;
572 case SymbolFlag::IndirectFunction:
573 Type = ELF::STT_GNU_IFUNC;
574 break;
575 default: /* Other flag values are ignored for ELF. */
576 break;
577 };
578
579 Obj.SymbolTable->addSymbol(
580 SymInfo.SymbolName, Bind, Type, Sec, Value, Visibility,
581 Sec ? (uint16_t)SYMBOL_SIMPLE_INDEX : (uint16_t)SHN_ABS, 0);
582 }
583
584 static Error
handleUserSection(const NewSectionInfo & NewSection,function_ref<Error (StringRef,ArrayRef<uint8_t>)> F)585 handleUserSection(const NewSectionInfo &NewSection,
586 function_ref<Error(StringRef, ArrayRef<uint8_t>)> F) {
587 ArrayRef<uint8_t> Data(reinterpret_cast<const uint8_t *>(
588 NewSection.SectionData->getBufferStart()),
589 NewSection.SectionData->getBufferSize());
590 return F(NewSection.SectionName, Data);
591 }
592
593 // This function handles the high level operations of GNU objcopy including
594 // handling command line options. It's important to outline certain properties
595 // we expect to hold of the command line operations. Any operation that "keeps"
596 // should keep regardless of a remove. Additionally any removal should respect
597 // any previous removals. Lastly whether or not something is removed shouldn't
598 // depend a) on the order the options occur in or b) on some opaque priority
599 // system. The only priority is that keeps/copies overrule removes.
handleArgs(const CommonConfig & Config,const ELFConfig & ELFConfig,Object & Obj)600 static Error handleArgs(const CommonConfig &Config, const ELFConfig &ELFConfig,
601 Object &Obj) {
602 if (Config.OutputArch) {
603 Obj.Machine = Config.OutputArch.value().EMachine;
604 Obj.OSABI = Config.OutputArch.value().OSABI;
605 }
606
607 if (!Config.SplitDWO.empty() && Config.ExtractDWO) {
608 return Obj.removeSections(
609 ELFConfig.AllowBrokenLinks,
610 [&Obj](const SectionBase &Sec) { return onlyKeepDWOPred(Obj, Sec); });
611 }
612
613 // Dump sections before add/remove for compatibility with GNU objcopy.
614 for (StringRef Flag : Config.DumpSection) {
615 StringRef SectionName;
616 StringRef FileName;
617 std::tie(SectionName, FileName) = Flag.split('=');
618 if (Error E = dumpSectionToFile(SectionName, FileName, Obj))
619 return E;
620 }
621
622 // It is important to remove the sections first. For example, we want to
623 // remove the relocation sections before removing the symbols. That allows
624 // us to avoid reporting the inappropriate errors about removing symbols
625 // named in relocations.
626 if (Error E = replaceAndRemoveSections(Config, ELFConfig, Obj))
627 return E;
628
629 if (Error E = updateAndRemoveSymbols(Config, ELFConfig, Obj))
630 return E;
631
632 if (!Config.SetSectionAlignment.empty()) {
633 for (SectionBase &Sec : Obj.sections()) {
634 auto I = Config.SetSectionAlignment.find(Sec.Name);
635 if (I != Config.SetSectionAlignment.end())
636 Sec.Align = I->second;
637 }
638 }
639
640 if (Config.OnlyKeepDebug)
641 for (auto &Sec : Obj.sections())
642 if (Sec.Flags & SHF_ALLOC && Sec.Type != SHT_NOTE)
643 Sec.Type = SHT_NOBITS;
644
645 for (const NewSectionInfo &AddedSection : Config.AddSection) {
646 auto AddSection = [&](StringRef Name, ArrayRef<uint8_t> Data) {
647 OwnedDataSection &NewSection =
648 Obj.addSection<OwnedDataSection>(Name, Data);
649 if (Name.startswith(".note") && Name != ".note.GNU-stack")
650 NewSection.Type = SHT_NOTE;
651 return Error::success();
652 };
653 if (Error E = handleUserSection(AddedSection, AddSection))
654 return E;
655 }
656
657 for (const NewSectionInfo &NewSection : Config.UpdateSection) {
658 auto UpdateSection = [&](StringRef Name, ArrayRef<uint8_t> Data) {
659 return Obj.updateSection(Name, Data);
660 };
661 if (Error E = handleUserSection(NewSection, UpdateSection))
662 return E;
663 }
664
665 if (!Config.AddGnuDebugLink.empty())
666 Obj.addSection<GnuDebugLinkSection>(Config.AddGnuDebugLink,
667 Config.GnuDebugLinkCRC32);
668
669 // If the symbol table was previously removed, we need to create a new one
670 // before adding new symbols.
671 if (!Obj.SymbolTable && !Config.SymbolsToAdd.empty())
672 if (Error E = Obj.addNewSymbolTable())
673 return E;
674
675 for (const NewSymbolInfo &SI : Config.SymbolsToAdd)
676 addSymbol(Obj, SI, ELFConfig.NewSymbolVisibility);
677
678 // --set-section-{flags,type} work with sections added by --add-section.
679 if (!Config.SetSectionFlags.empty() || !Config.SetSectionType.empty()) {
680 for (auto &Sec : Obj.sections()) {
681 const auto Iter = Config.SetSectionFlags.find(Sec.Name);
682 if (Iter != Config.SetSectionFlags.end()) {
683 const SectionFlagsUpdate &SFU = Iter->second;
684 setSectionFlagsAndType(Sec, SFU.NewFlags);
685 }
686 auto It2 = Config.SetSectionType.find(Sec.Name);
687 if (It2 != Config.SetSectionType.end())
688 Sec.Type = It2->second;
689 }
690 }
691
692 if (!Config.SectionsToRename.empty()) {
693 std::vector<RelocationSectionBase *> RelocSections;
694 DenseSet<SectionBase *> RenamedSections;
695 for (SectionBase &Sec : Obj.sections()) {
696 auto *RelocSec = dyn_cast<RelocationSectionBase>(&Sec);
697 const auto Iter = Config.SectionsToRename.find(Sec.Name);
698 if (Iter != Config.SectionsToRename.end()) {
699 const SectionRename &SR = Iter->second;
700 Sec.Name = std::string(SR.NewName);
701 if (SR.NewFlags)
702 setSectionFlagsAndType(Sec, SR.NewFlags.value());
703 RenamedSections.insert(&Sec);
704 } else if (RelocSec && !(Sec.Flags & SHF_ALLOC))
705 // Postpone processing relocation sections which are not specified in
706 // their explicit '--rename-section' commands until after their target
707 // sections are renamed.
708 // Dynamic relocation sections (i.e. ones with SHF_ALLOC) should be
709 // renamed only explicitly. Otherwise, renaming, for example, '.got.plt'
710 // would affect '.rela.plt', which is not desirable.
711 RelocSections.push_back(RelocSec);
712 }
713
714 // Rename relocation sections according to their target sections.
715 for (RelocationSectionBase *RelocSec : RelocSections) {
716 auto Iter = RenamedSections.find(RelocSec->getSection());
717 if (Iter != RenamedSections.end())
718 RelocSec->Name = (RelocSec->getNamePrefix() + (*Iter)->Name).str();
719 }
720 }
721
722 // Add a prefix to allocated sections and their relocation sections. This
723 // should be done after renaming the section by Config.SectionToRename to
724 // imitate the GNU objcopy behavior.
725 if (!Config.AllocSectionsPrefix.empty()) {
726 DenseSet<SectionBase *> PrefixedSections;
727 for (SectionBase &Sec : Obj.sections()) {
728 if (Sec.Flags & SHF_ALLOC) {
729 Sec.Name = (Config.AllocSectionsPrefix + Sec.Name).str();
730 PrefixedSections.insert(&Sec);
731 } else if (auto *RelocSec = dyn_cast<RelocationSectionBase>(&Sec)) {
732 // Rename relocation sections associated to the allocated sections.
733 // For example, if we rename .text to .prefix.text, we also rename
734 // .rel.text to .rel.prefix.text.
735 //
736 // Dynamic relocation sections (SHT_REL[A] with SHF_ALLOC) are handled
737 // above, e.g., .rela.plt is renamed to .prefix.rela.plt, not
738 // .rela.prefix.plt since GNU objcopy does so.
739 const SectionBase *TargetSec = RelocSec->getSection();
740 if (TargetSec && (TargetSec->Flags & SHF_ALLOC)) {
741 // If the relocation section comes *after* the target section, we
742 // don't add Config.AllocSectionsPrefix because we've already added
743 // the prefix to TargetSec->Name. Otherwise, if the relocation
744 // section comes *before* the target section, we add the prefix.
745 if (PrefixedSections.count(TargetSec))
746 Sec.Name = (RelocSec->getNamePrefix() + TargetSec->Name).str();
747 else
748 Sec.Name = (RelocSec->getNamePrefix() + Config.AllocSectionsPrefix +
749 TargetSec->Name)
750 .str();
751 }
752 }
753 }
754 }
755
756 if (ELFConfig.EntryExpr)
757 Obj.Entry = ELFConfig.EntryExpr(Obj.Entry);
758 return Error::success();
759 }
760
writeOutput(const CommonConfig & Config,Object & Obj,raw_ostream & Out,ElfType OutputElfType)761 static Error writeOutput(const CommonConfig &Config, Object &Obj,
762 raw_ostream &Out, ElfType OutputElfType) {
763 std::unique_ptr<Writer> Writer =
764 createWriter(Config, Obj, Out, OutputElfType);
765 if (Error E = Writer->finalize())
766 return E;
767 return Writer->write();
768 }
769
executeObjcopyOnIHex(const CommonConfig & Config,const ELFConfig & ELFConfig,MemoryBuffer & In,raw_ostream & Out)770 Error objcopy::elf::executeObjcopyOnIHex(const CommonConfig &Config,
771 const ELFConfig &ELFConfig,
772 MemoryBuffer &In, raw_ostream &Out) {
773 IHexReader Reader(&In);
774 Expected<std::unique_ptr<Object>> Obj = Reader.create(true);
775 if (!Obj)
776 return Obj.takeError();
777
778 const ElfType OutputElfType =
779 getOutputElfType(Config.OutputArch.value_or(MachineInfo()));
780 if (Error E = handleArgs(Config, ELFConfig, **Obj))
781 return E;
782 return writeOutput(Config, **Obj, Out, OutputElfType);
783 }
784
executeObjcopyOnRawBinary(const CommonConfig & Config,const ELFConfig & ELFConfig,MemoryBuffer & In,raw_ostream & Out)785 Error objcopy::elf::executeObjcopyOnRawBinary(const CommonConfig &Config,
786 const ELFConfig &ELFConfig,
787 MemoryBuffer &In,
788 raw_ostream &Out) {
789 BinaryReader Reader(&In, ELFConfig.NewSymbolVisibility);
790 Expected<std::unique_ptr<Object>> Obj = Reader.create(true);
791 if (!Obj)
792 return Obj.takeError();
793
794 // Prefer OutputArch (-O<format>) if set, otherwise fallback to BinaryArch
795 // (-B<arch>).
796 const ElfType OutputElfType =
797 getOutputElfType(Config.OutputArch.value_or(MachineInfo()));
798 if (Error E = handleArgs(Config, ELFConfig, **Obj))
799 return E;
800 return writeOutput(Config, **Obj, Out, OutputElfType);
801 }
802
executeObjcopyOnBinary(const CommonConfig & Config,const ELFConfig & ELFConfig,object::ELFObjectFileBase & In,raw_ostream & Out)803 Error objcopy::elf::executeObjcopyOnBinary(const CommonConfig &Config,
804 const ELFConfig &ELFConfig,
805 object::ELFObjectFileBase &In,
806 raw_ostream &Out) {
807 ELFReader Reader(&In, Config.ExtractPartition);
808 Expected<std::unique_ptr<Object>> Obj =
809 Reader.create(!Config.SymbolsToAdd.empty());
810 if (!Obj)
811 return Obj.takeError();
812 // Prefer OutputArch (-O<format>) if set, otherwise infer it from the input.
813 const ElfType OutputElfType =
814 Config.OutputArch ? getOutputElfType(Config.OutputArch.value())
815 : getOutputElfType(In);
816
817 if (Error E = handleArgs(Config, ELFConfig, **Obj))
818 return createFileError(Config.InputFilename, std::move(E));
819
820 if (Error E = writeOutput(Config, **Obj, Out, OutputElfType))
821 return createFileError(Config.InputFilename, std::move(E));
822
823 return Error::success();
824 }
825