123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297 |
- //===- COFFObjcopy.cpp ----------------------------------------------------===//
- //
- // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
- // See https://llvm.org/LICENSE.txt for license information.
- // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
- //
- //===----------------------------------------------------------------------===//
- #include "COFFObjcopy.h"
- #include "COFFConfig.h"
- #include "CommonConfig.h"
- #include "Object.h"
- #include "Reader.h"
- #include "Writer.h"
- #include "llvm/Object/Binary.h"
- #include "llvm/Object/COFF.h"
- #include "llvm/Support/CRC.h"
- #include "llvm/Support/Errc.h"
- #include "llvm/Support/Path.h"
- #include <cassert>
- namespace llvm {
- namespace objcopy {
- namespace coff {
- using namespace object;
- using namespace COFF;
- static bool isDebugSection(const Section &Sec) {
- return Sec.Name.startswith(".debug");
- }
- static uint64_t getNextRVA(const Object &Obj) {
- if (Obj.getSections().empty())
- return 0;
- const Section &Last = Obj.getSections().back();
- return alignTo(Last.Header.VirtualAddress + Last.Header.VirtualSize,
- Obj.IsPE ? Obj.PeHeader.SectionAlignment : 1);
- }
- static Expected<std::vector<uint8_t>>
- createGnuDebugLinkSectionContents(StringRef File) {
- ErrorOr<std::unique_ptr<MemoryBuffer>> LinkTargetOrErr =
- MemoryBuffer::getFile(File);
- if (!LinkTargetOrErr)
- return createFileError(File, LinkTargetOrErr.getError());
- auto LinkTarget = std::move(*LinkTargetOrErr);
- uint32_t CRC32 = llvm::crc32(arrayRefFromStringRef(LinkTarget->getBuffer()));
- StringRef FileName = sys::path::filename(File);
- size_t CRCPos = alignTo(FileName.size() + 1, 4);
- std::vector<uint8_t> Data(CRCPos + 4);
- memcpy(Data.data(), FileName.data(), FileName.size());
- support::endian::write32le(Data.data() + CRCPos, CRC32);
- return Data;
- }
- // Adds named section with given contents to the object.
- static void addSection(Object &Obj, StringRef Name, ArrayRef<uint8_t> Contents,
- uint32_t Characteristics) {
- bool NeedVA = Characteristics & (IMAGE_SCN_MEM_EXECUTE | IMAGE_SCN_MEM_READ |
- IMAGE_SCN_MEM_WRITE);
- Section Sec;
- Sec.setOwnedContents(Contents);
- Sec.Name = Name;
- Sec.Header.VirtualSize = NeedVA ? Sec.getContents().size() : 0u;
- Sec.Header.VirtualAddress = NeedVA ? getNextRVA(Obj) : 0u;
- Sec.Header.SizeOfRawData =
- NeedVA ? alignTo(Sec.Header.VirtualSize,
- Obj.IsPE ? Obj.PeHeader.FileAlignment : 1)
- : Sec.getContents().size();
- // Sec.Header.PointerToRawData is filled in by the writer.
- Sec.Header.PointerToRelocations = 0;
- Sec.Header.PointerToLinenumbers = 0;
- // Sec.Header.NumberOfRelocations is filled in by the writer.
- Sec.Header.NumberOfLinenumbers = 0;
- Sec.Header.Characteristics = Characteristics;
- Obj.addSections(Sec);
- }
- static Error addGnuDebugLink(Object &Obj, StringRef DebugLinkFile) {
- Expected<std::vector<uint8_t>> Contents =
- createGnuDebugLinkSectionContents(DebugLinkFile);
- if (!Contents)
- return Contents.takeError();
- addSection(Obj, ".gnu_debuglink", *Contents,
- IMAGE_SCN_CNT_INITIALIZED_DATA | IMAGE_SCN_MEM_READ |
- IMAGE_SCN_MEM_DISCARDABLE);
- return Error::success();
- }
- static uint32_t flagsToCharacteristics(SectionFlag AllFlags, uint32_t OldChar) {
- // Need to preserve alignment flags.
- const uint32_t PreserveMask =
- IMAGE_SCN_ALIGN_1BYTES | IMAGE_SCN_ALIGN_2BYTES | IMAGE_SCN_ALIGN_4BYTES |
- IMAGE_SCN_ALIGN_8BYTES | IMAGE_SCN_ALIGN_16BYTES |
- IMAGE_SCN_ALIGN_32BYTES | IMAGE_SCN_ALIGN_64BYTES |
- IMAGE_SCN_ALIGN_128BYTES | IMAGE_SCN_ALIGN_256BYTES |
- IMAGE_SCN_ALIGN_512BYTES | IMAGE_SCN_ALIGN_1024BYTES |
- IMAGE_SCN_ALIGN_2048BYTES | IMAGE_SCN_ALIGN_4096BYTES |
- IMAGE_SCN_ALIGN_8192BYTES;
- // Setup new section characteristics based on the flags provided in command
- // line.
- uint32_t NewCharacteristics = (OldChar & PreserveMask) | IMAGE_SCN_MEM_READ;
- if ((AllFlags & SectionFlag::SecAlloc) && !(AllFlags & SectionFlag::SecLoad))
- NewCharacteristics |= IMAGE_SCN_CNT_UNINITIALIZED_DATA;
- if (AllFlags & SectionFlag::SecNoload)
- NewCharacteristics |= IMAGE_SCN_LNK_REMOVE;
- if (!(AllFlags & SectionFlag::SecReadonly))
- NewCharacteristics |= IMAGE_SCN_MEM_WRITE;
- if (AllFlags & SectionFlag::SecDebug)
- NewCharacteristics |=
- IMAGE_SCN_CNT_INITIALIZED_DATA | IMAGE_SCN_MEM_DISCARDABLE;
- if (AllFlags & SectionFlag::SecCode)
- NewCharacteristics |= IMAGE_SCN_CNT_CODE | IMAGE_SCN_MEM_EXECUTE;
- if (AllFlags & SectionFlag::SecData)
- NewCharacteristics |= IMAGE_SCN_CNT_INITIALIZED_DATA;
- if (AllFlags & SectionFlag::SecShare)
- NewCharacteristics |= IMAGE_SCN_MEM_SHARED;
- if (AllFlags & SectionFlag::SecExclude)
- NewCharacteristics |= IMAGE_SCN_LNK_REMOVE;
- return NewCharacteristics;
- }
- static Error handleArgs(const CommonConfig &Config,
- const COFFConfig &COFFConfig, Object &Obj) {
- // Perform the actual section removals.
- Obj.removeSections([&Config](const Section &Sec) {
- // Contrary to --only-keep-debug, --only-section fully removes sections that
- // aren't mentioned.
- if (!Config.OnlySection.empty() && !Config.OnlySection.matches(Sec.Name))
- return true;
- if (Config.StripDebug || Config.StripAll || Config.StripAllGNU ||
- Config.DiscardMode == DiscardType::All || Config.StripUnneeded) {
- if (isDebugSection(Sec) &&
- (Sec.Header.Characteristics & IMAGE_SCN_MEM_DISCARDABLE) != 0)
- return true;
- }
- if (Config.ToRemove.matches(Sec.Name))
- return true;
- return false;
- });
- if (Config.OnlyKeepDebug) {
- // For --only-keep-debug, we keep all other sections, but remove their
- // content. The VirtualSize field in the section header is kept intact.
- Obj.truncateSections([](const Section &Sec) {
- return !isDebugSection(Sec) && Sec.Name != ".buildid" &&
- ((Sec.Header.Characteristics &
- (IMAGE_SCN_CNT_CODE | IMAGE_SCN_CNT_INITIALIZED_DATA)) != 0);
- });
- }
- // StripAll removes all symbols and thus also removes all relocations.
- if (Config.StripAll || Config.StripAllGNU)
- for (Section &Sec : Obj.getMutableSections())
- Sec.Relocs.clear();
- // If we need to do per-symbol removals, initialize the Referenced field.
- if (Config.StripUnneeded || Config.DiscardMode == DiscardType::All ||
- !Config.SymbolsToRemove.empty())
- if (Error E = Obj.markSymbols())
- return E;
- for (Symbol &Sym : Obj.getMutableSymbols()) {
- auto I = Config.SymbolsToRename.find(Sym.Name);
- if (I != Config.SymbolsToRename.end())
- Sym.Name = I->getValue();
- }
- auto ToRemove = [&](const Symbol &Sym) -> Expected<bool> {
- // For StripAll, all relocations have been stripped and we remove all
- // symbols.
- if (Config.StripAll || Config.StripAllGNU)
- return true;
- if (Config.SymbolsToRemove.matches(Sym.Name)) {
- // Explicitly removing a referenced symbol is an error.
- if (Sym.Referenced)
- return createStringError(
- llvm::errc::invalid_argument,
- "'" + Config.OutputFilename + "': not stripping symbol '" +
- Sym.Name.str() + "' because it is named in a relocation");
- return true;
- }
- if (!Sym.Referenced) {
- // With --strip-unneeded, GNU objcopy removes all unreferenced local
- // symbols, and any unreferenced undefined external.
- // With --strip-unneeded-symbol we strip only specific unreferenced
- // local symbol instead of removing all of such.
- if (Sym.Sym.StorageClass == IMAGE_SYM_CLASS_STATIC ||
- Sym.Sym.SectionNumber == 0)
- if (Config.StripUnneeded ||
- Config.UnneededSymbolsToRemove.matches(Sym.Name))
- return true;
- // GNU objcopy keeps referenced local symbols and external symbols
- // if --discard-all is set, similar to what --strip-unneeded does,
- // but undefined local symbols are kept when --discard-all is set.
- if (Config.DiscardMode == DiscardType::All &&
- Sym.Sym.StorageClass == IMAGE_SYM_CLASS_STATIC &&
- Sym.Sym.SectionNumber != 0)
- return true;
- }
- return false;
- };
- // Actually do removals of symbols.
- if (Error Err = Obj.removeSymbols(ToRemove))
- return Err;
- if (!Config.SetSectionFlags.empty())
- for (Section &Sec : Obj.getMutableSections()) {
- const auto It = Config.SetSectionFlags.find(Sec.Name);
- if (It != Config.SetSectionFlags.end())
- Sec.Header.Characteristics = flagsToCharacteristics(
- It->second.NewFlags, Sec.Header.Characteristics);
- }
- for (const auto &Flag : Config.AddSection) {
- StringRef SecName, FileName;
- std::tie(SecName, FileName) = Flag.split("=");
- auto BufOrErr = MemoryBuffer::getFile(FileName);
- if (!BufOrErr)
- return createFileError(FileName, errorCodeToError(BufOrErr.getError()));
- auto Buf = std::move(*BufOrErr);
- uint32_t Characteristics;
- const auto It = Config.SetSectionFlags.find(SecName);
- if (It != Config.SetSectionFlags.end())
- Characteristics = flagsToCharacteristics(It->second.NewFlags, 0);
- else
- Characteristics = IMAGE_SCN_CNT_INITIALIZED_DATA | IMAGE_SCN_ALIGN_1BYTES;
- addSection(
- Obj, SecName,
- makeArrayRef(reinterpret_cast<const uint8_t *>(Buf->getBufferStart()),
- Buf->getBufferSize()),
- Characteristics);
- }
- if (!Config.AddGnuDebugLink.empty())
- if (Error E = addGnuDebugLink(Obj, Config.AddGnuDebugLink))
- return E;
- if (COFFConfig.Subsystem || COFFConfig.MajorSubsystemVersion ||
- COFFConfig.MinorSubsystemVersion) {
- if (!Obj.IsPE)
- return createStringError(
- errc::invalid_argument,
- "'" + Config.OutputFilename +
- "': unable to set subsystem on a relocatable object file");
- if (COFFConfig.Subsystem)
- Obj.PeHeader.Subsystem = *COFFConfig.Subsystem;
- if (COFFConfig.MajorSubsystemVersion)
- Obj.PeHeader.MajorSubsystemVersion = *COFFConfig.MajorSubsystemVersion;
- if (COFFConfig.MinorSubsystemVersion)
- Obj.PeHeader.MinorSubsystemVersion = *COFFConfig.MinorSubsystemVersion;
- }
- return Error::success();
- }
- Error executeObjcopyOnBinary(const CommonConfig &Config,
- const COFFConfig &COFFConfig, COFFObjectFile &In,
- raw_ostream &Out) {
- COFFReader Reader(In);
- Expected<std::unique_ptr<Object>> ObjOrErr = Reader.create();
- if (!ObjOrErr)
- return createFileError(Config.InputFilename, ObjOrErr.takeError());
- Object *Obj = ObjOrErr->get();
- assert(Obj && "Unable to deserialize COFF object");
- if (Error E = handleArgs(Config, COFFConfig, *Obj))
- return createFileError(Config.InputFilename, std::move(E));
- COFFWriter Writer(*Obj, Out);
- if (Error E = Writer.write())
- return createFileError(Config.OutputFilename, std::move(E));
- return Error::success();
- }
- } // end namespace coff
- } // end namespace objcopy
- } // end namespace llvm
|