[llvm-objcopy] Add --add-symbol

[rupprecht]

tools/llvm-objcopy/CopyConfig.cpp

211

I think these would be better as struct defaults, then just declare as "NewSymbolInfo SI;" here

215

Can you elaborate on the bad format, e.g. for this case: missing: '='

220

Here too

228

Some things that I think we should consider:

• This applies flags in order of seeing them, e.g. "file,section" is different than "section,file". Perhaps we should error on any flags that overlap?
• GNU objcopy implements a few more: export, debug, constructor, warning, indirect, synthetic, indirect-function, unique-object, before=<other symbol>. We might want implement those as well, or at least accept them without error but ignore them.

Take a look at parseSectionRenameFlag above and see if some of that pattern helps -- it at least helps for ordering, i.e. do one pass to get parsed flag values, then another pass to apply parsed flags to bind/visibility/type.

248

Include the unsupported flag name, also, this should print the supported flag names.

tools/llvm-objcopy/CopyConfig.h

68

uint64_t

tools/llvm-objcopy/ELF/ELFObjcopy.cpp

573

GNU docs says: "If the section is given, the symbol will be associated with and relative to that section, otherwise it will be an ABS symbol."

I think SHN_ABS is wrong if the section name is given.

tools/llvm-objcopy/ELF/Object.h

811

SecIt->get()

tools/llvm-objcopy/ObjcopyOpts.td

243

All of these could use some more docs:

• Mention default behavior if section is not provided
• Describe the format of value (number, hex, etc.)
• Include all supported flags

[evgeny777]

tools/llvm-objcopy/CopyConfig.cpp

228

Perhaps we should error on any flags that overlap?

I checked parseSectionRenameFlag and looks like it also doesn't check for overlaps (you can pass both code and data, load and noload, etc). FYI GNU objcopy also doesn't check for overlaps.

tools/llvm-objcopy/CopyConfig.h

68

Like I said in D58173 this will not work, because uint64_t is not unsigned long long on 64 bit platforms

tools/llvm-objcopy/ELF/ELFObjcopy.cpp

573

The shndx parameter is ignored when DefinedIn is not nullptr. See addSymbol

[evgeny777]

Addressed some of review comments

[jhenderson]

tools/llvm-objcopy/CopyConfig.cpp

231–235

I'd fold this bit of the comment in with the <flags> bit above, since they are closely linked. Also, I'd remove the word "silently" from it.

256

Could you use a StringSwitch here, using CaseLower to get case insensitivity, perhaps with lambdas, to avoid the if/else list?

tools/llvm-objcopy/CopyConfig.h

68

I don't understand what you mean by this? Symbol values are by definition in the ELF spec up to 64-bit in size, so uint64_t (which is 64-bits in size) is the correct type. unsigned long long is only guaranteed to be at least as big as unsigned long which in turn is only guaranteed to be as big as unisgned int etc.

Related note: The bitness of the platform does not define the size of types by itself. For example, on Windows, unsigned long is always 32 bits, both for 32-bit Windows and 64-bit Windows. On the other hand, unsigned long long is 64 bits on both.

tools/llvm-objcopy/ELF/ELFObjcopy.cpp

573

This should probably be commented. It also feels rather fragile though.

[jhenderson]

tools/llvm-objcopy/CopyConfig.h

68

Okay, I now see what the problem is. It's to do with the call to getAsUnsignedInteger, later on right?

I think this issue could be solved by defining an unsigned long version of getAsUnsignedInteger. That way, it should work regardless of the underlying type of uint64_t. Implementing that would be my preference to working around this by using primitive types in llvm-objcopy rather than fixed-width types.

[jhenderson]

tools/llvm-objcopy/CopyConfig.cpp

252

The return value here is unchecked. What happens if Value is not a valid number?

[evgeny777]

Addressed

[rupprecht]

test/tools/llvm-objcopy/ELF/add-symbol.test

77

nit: add a newline

tools/llvm-objcopy/CopyConfig.cpp

228

parseSectionFlagSet (the caller of parseSectionRenameFlag) doesn't check for overlap, but it doesn't look like any active features overlap -- e.g. "load" and "noload" don't do anything (they're just for GNU compatability), so it doesn't error out on details that don't matter.

I don't think GNU objcopy is being helpful if it permits overlaps -- if the user types "hidden,default" (maybe thinking "default" indicates "default binding type"), they might be surprised when the visibility is not hidden.

265

These noops can be combined with CasesLower("debug", "constructor", ...)

[evgeny777]

Addressed

[jhenderson]

tools/llvm-objcopy/CopyConfig.cpp

251

See my comment below about returning Error rather than calling error.

309

I think we're generally aiming to move away from error/reportError in favour of passing Error/Expected back up the stack to be handled at the top level. Please do that instead here and elsewhere where you've added new error messages. You might need to rebase on top of D58316.

334

Could this be folded in with the other ones below?

[evgeny777]

tools/llvm-objcopy/CopyConfig.cpp

334

CasesLower supports up to 5 string parameters. Are you suggesting to add another variant which takes 6 ones?

[jhenderson]

tools/llvm-objcopy/CopyConfig.cpp

334

Ah, I didn't realise that. This is fine then.

[jakehehrlich]

Sorry to be the Grinch again but what is the use case for this? This isn't a feature in GNU objcopy as far as I can tell and the semantics of such a change are quite involved. I think I'd prefer to discuss this in llvm-dev first. I belive this can be given meaningful and consistent semantics and I think it could have a use case but right now I don't see one. This seems like a complicated feature to add without a use case in mind.

[rupprecht]

In D58234#1404801, @jakehehrlich wrote:

Sorry to be the Grinch again but what is the use case for this? This isn't a feature in GNU objcopy as far as I can tell and the semantics of such a change are quite involved.

Not OP (and I don't have a use case), but from man objcopy:

--add-symbol name=[section:]value[,flags]
    Add a new symbol named name while copying the file.  ...

[evgeny777]

Sorry to be the Grinch again but what is the use case for this?

Haha, no that's in fact a good question =)
I'm using it to hack on a stripped binary. You can add symbols here and there and then set breakpoints with gdb.
Makes things a little bit easier

[evgeny777]

Addressed

[rupprecht]

tools/llvm-objcopy/CopyConfig.h

68

uint64_t

tools/llvm-objcopy/ObjcopyOpts.td

242

We should list all all the flags we support here, something like:

"Add new symbol <name> to .symtab. Accepted flags: global, local, weak, default, hidden, file, section, object, function, indirect-function. Accepted but ignored for compatibility: debug, constructor, warning, indirect, synthetic, unique-object, before."

I think string you have is actually fine for --help, but we don't have a man page to put the more verbose info in, so we should include it in --help so we have it somewhere. We should probably create a man page for llvm-objcopy in the llvm-9 release and make these docs simpler.

test/tools/llvm-objcopy/ELF/add-symbol.test

+# RUN: yaml2obj %s -o %t
+# RUN: llvm-objcopy --add-symbol='abs1=1' \ 
+# RUN:              --add-symbol='abs2=2,LoCaL,HiDdEn,FuNcTiOn' \
+# RUN:              --add-symbol='abs3=3,global,default,object' \
+# RUN:              --add-symbol='foo.cpp=0,file' \
+# RUN:              --add-symbol='=.text:0,section' \
+# RUN:              --add-symbol='data=.data:0x100,weak' \
+# RUN:              --add-symbol='ifunc=.text:0,indirect-function' \
+# RUN:              %t %t2
+# RUN: llvm-readelf -s %t2 | FileCheck %s
+
+# Checked ignored options
+# RUN: llvm-objcopy \
+# RUN:   --add-symbol='dummy1=0,indirect,constructor,debug,synthetic' \
+# RUN:   --add-symbol='dummy2=0,before=foo,unique-object,warning' %t %t3
+# RUN: llvm-readelf -s %t3 | FileCheck %s --check-prefix=IGNORED
+
+# Check errors
+# RUN: not llvm-objcopy --add-symbol='test' %t %t4 2>&1 | FileCheck %s --check-prefix=ERR1
+# RUN: not llvm-objcopy --add-symbol='test=:0' %t %t5 2>&1 | FileCheck %s --check-prefix=ERR2
+# RUN: not llvm-objcopy --add-symbol='test=foo:' %t %t6 2>&1 | FileCheck %s --check-prefix=ERR2
+# RUN: not llvm-objcopy --add-symbol='test=0,cool' %t %t7 2>&1 | FileCheck %s --check-prefix=ERR3
+# RUN: not llvm-objcopy --add-symbol='test=xyz' %t %t8 2>&1 | FileCheck %s --check-prefix=ERR4
+
+!ELF
+FileHeader:
+  Class:           ELFCLASS32
+  Data:            ELFDATA2LSB
+  Type:            ET_EXEC
+  Machine:         EM_ARM
+Sections:
+  - Name:            .text
+    Type:            SHT_PROGBITS
+    Flags:           [ SHF_ALLOC, SHF_EXECINSTR ]
+    Address:         0x1000
+    AddressAlign:    0x0000000000001000
+    Size:            64
+  - Name:            .data
+    Type:            SHT_PROGBITS
+    Flags:           [ SHF_ALLOC ]
+    Address:         0x2000
+    AddressAlign:    0x0000000000001000
+    Size:            64
+ProgramHeaders:
+  - Type: PT_LOAD
+    Flags: [ PF_X, PF_R ]
+    VAddr: 0x1000
+    PAddr: 0x1000
+    Align: 0x1000
+    Sections:
+      - Section: .text
+  - Type: PT_LOAD
+    Flags: [ PF_R, PF_W ]
+    VAddr: 0x2000
+    PAddr: 0x2000
+    Align: 0x1000
+    Sections:
+      - Section: .data
+
+# CHECK:      0: 00000000 0 NOTYPE LOCAL DEFAULT UND 
+# CHECK-NEXT: 1: 00000001 0 NOTYPE GLOBAL DEFAULT ABS abs1
+# CHECK-NEXT: 2: 00000002 0 FUNC LOCAL HIDDEN ABS abs2
+# CHECK-NEXT: 3: 00000003 0 OBJECT GLOBAL DEFAULT ABS abs3
+# CHECK-NEXT: 4: 00000000 0 FILE GLOBAL DEFAULT ABS foo.cpp
+# CHECK-NEXT: 5: 00001000 0 SECTION GLOBAL DEFAULT 1 
+# CHECK-NEXT: 6: 00002100 0 NOTYPE WEAK DEFAULT 2 data
+# CHECK-NEXT: 7: 00001000 0 IFUNC GLOBAL DEFAULT 1 ifunc
+
+# IGNORED:       1: 00000000 0 NOTYPE GLOBAL DEFAULT ABS dummy1
+# IGNORED-NEXT:  2: 00000000 0 NOTYPE GLOBAL DEFAULT ABS dummy2
+
+# ERR1: error: bad format for --add-symbol, missing '=' after 'test'
+# ERR2: error: bad format for --add-symbol, missing section name or symbol value
+# ERR3: error: unsupported flag 'cool' for --add-symbol
+# ERR4: error: bad symbol value: 'xyz'
+

tools/llvm-objcopy/COFF/COFFObjcopy.cpp

if (!Config.BuildIdLinkDir.empty() || Config.BuildIdLinkInput ||
       !Config.DumpSection.empty() || !Config.KeepSection.empty() ||
       !Config.SymbolsToGlobalize.empty() || !Config.SymbolsToKeep.empty() ||
       !Config.SymbolsToLocalize.empty() || !Config.SymbolsToWeaken.empty() ||
       !Config.SymbolsToKeepGlobal.empty() || !Config.SectionsToRename.empty() ||
       !Config.SetSectionFlags.empty() || !Config.SymbolsToRename.empty() ||
       Config.ExtractDWO || Config.KeepFileSymbols || Config.LocalizeHidden ||
       Config.PreserveDates || Config.StripDWO || Config.StripNonAlloc ||
       Config.StripSections || Config.Weaken || Config.DecompressDebugSections ||
-      Config.DiscardMode == DiscardType::Locals) {
+      Config.DiscardMode == DiscardType::Locals ||
+      !Config.SymbolsToAdd.empty()) {
     return createStringError(llvm::errc::invalid_argument,
                              "Option not supported by llvm-objcopy for COFF");
   }
 
   return Error::success();
 }
 
 Error executeObjcopyOnBinary(const CopyConfig &Config, COFFObjectFile &In,

tools/llvm-objcopy/CopyConfig.h

 //===- CopyConfig.h -------------------------------------------------------===//
 //
 // 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
 //
 //===----------------------------------------------------------------------===//
 
 #ifndef LLVM_TOOLS_LLVM_OBJCOPY_COPY_CONFIG_H
 #define LLVM_TOOLS_LLVM_OBJCOPY_COPY_CONFIG_H
 
 #include "llvm/ADT/ArrayRef.h"
 #include "llvm/ADT/Optional.h"
 #include "llvm/ADT/SmallVector.h"
 #include "llvm/ADT/StringMap.h"
 #include "llvm/ADT/StringRef.h"
+#include "llvm/Object/ELFTypes.h"
 #include "llvm/Support/Allocator.h"
 #include "llvm/Support/Error.h"
 #include "llvm/Support/Regex.h"
 // Necessary for llvm::DebugCompressionType::None
 #include "llvm/Target/TargetOptions.h"
 #include <vector>
 
 namespace llvm {
class NameOrRegex {
   std::shared_ptr<Regex> R;
 
 public:
   NameOrRegex(StringRef Pattern, bool IsRegex);
   bool operator==(StringRef S) const { return R ? R->match(S) : Name == S; }
   bool operator!=(StringRef S) const { return !operator==(S); }
 };
 
+struct NewSymbolInfo {
+  StringRef SymbolName;
+  StringRef SectionName;
+  unsigned long long Value = 0;
+  uint8_t Type = ELF::STT_NOTYPE;
+  uint8_t Bind = ELF::STB_GLOBAL;
+  uint8_t Visibility = ELF::STV_DEFAULT;
+};
+
 // Configuration for copying/stripping a single file.
 struct CopyConfig {
   // Main input/output options
   StringRef InputFilename;
   StringRef InputFormat;
   StringRef OutputFilename;
   StringRef OutputFormat;
 
struct CopyConfig {
   Optional<StringRef> BuildIdLinkOutput;
   StringRef SplitDWO;
   StringRef SymbolsPrefix;
   DiscardType DiscardMode = DiscardType::None;
 
   // Repeated options
   std::vector<StringRef> AddSection;
   std::vector<StringRef> DumpSection;
+  std::vector<NewSymbolInfo> SymbolsToAdd;
   std::vector<NameOrRegex> KeepSection;
   std::vector<NameOrRegex> OnlySection;
   std::vector<NameOrRegex> SymbolsToGlobalize;
   std::vector<NameOrRegex> SymbolsToKeep;
   std::vector<NameOrRegex> SymbolsToLocalize;
   std::vector<NameOrRegex> SymbolsToRemove;
   std::vector<NameOrRegex> UnneededSymbolsToRemove;
   std::vector<NameOrRegex> SymbolsToWeaken;

tools/llvm-objcopy/CopyConfig.cpp

 //===- CopyConfig.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 "CopyConfig.h"
 #include "llvm-objcopy.h"
 
 #include "llvm/ADT/BitmaskEnum.h"
 #include "llvm/ADT/Optional.h"
 #include "llvm/ADT/SmallVector.h"
 #include "llvm/ADT/StringRef.h"
-#include "llvm/Object/ELFTypes.h"
 #include "llvm/Option/Arg.h"
 #include "llvm/Option/ArgList.h"
 #include "llvm/Support/CommandLine.h"
 #include "llvm/Support/Compression.h"
 #include "llvm/Support/Errc.h"
 #include "llvm/Support/MemoryBuffer.h"
 #include "llvm/Support/StringSaver.h"
 #include <memory>
parseSetSectionFlagValue(StringRef FlagValue) {
   Expected<uint64_t> ParsedFlagSet = parseSectionFlagSet(SectionFlags);
   if (!ParsedFlagSet)
     return ParsedFlagSet.takeError();
   SFU.NewFlags = *ParsedFlagSet;
 
   return SFU;
 }
 
+static const char *getBindAsString(uint8_t Value) {
+  switch (Value) {
+  case ELF::STB_GLOBAL:
+    return "global";
+  case ELF::STB_LOCAL:
+    return "local";
+  case ELF::STB_WEAK:
+    return "weak";
+  default:
+    llvm_unreachable("unexpected bind value");
+  }
+}
+
+static const char *getTypeAsString(uint8_t Value) {
+  switch (Value) {
+  case ELF::STT_FILE:
+    return "file";
+  case ELF::STT_SECTION:
+    return "section";
+  case ELF::STT_FUNC:
+    return "function";
+  case ELF::STT_OBJECT:
+    return "object";
+  case ELF::STT_GNU_IFUNC:
+    return "indirect-function";
+  default:
+    llvm_unreachable("unexpected type value");
+  }
+}
+
+static const char *getVisibilityAsString(uint8_t Value) {
+  switch (Value) {
+  case ELF::STV_DEFAULT:
+    return "default";
+  case ELF::STV_HIDDEN:
+    return "hidden";
+  default:
+    llvm_unreachable("unexpected visibility value");
+  }
+}
+
+static Error setBindOnce(Optional<uint8_t> &Bind, uint8_t Value) {
+  if (Bind)
+    return createStringError(errc::invalid_argument,
+                             "conflicting values for binding: %s and %s",
+                             getBindAsString(*Bind), getBindAsString(Value));
+  Bind = Value;
+  return Error::success();
+}
+
+static Error setTypeOnce(Optional<uint8_t> &Type, uint8_t Value) {
+  if (Type)
+    return createStringError(errc::invalid_argument,
+                             "conflicting values for type: %s and %s",
+                             getTypeAsString(*Type), getTypeAsString(Value));
+  Type = Value;
+  return Error::success();
+}
+
+static Error setVisibilityOnce(Optional<uint8_t> &Vis, uint8_t Value) {
+  if (Vis)
+    return createStringError(
+        errc::invalid_argument, "conflicting values for visibility: %s and %s",
+        getVisibilityAsString(*Vis), getVisibilityAsString(Value));
+  Vis = Value;
+  return Error::success();
+}
+
+static Expected<NewSymbolInfo> parseNewSymbolInfo(StringRef FlagValue) {
+  // Parse value given with --add-symbol option and create the
+  // new symbol if possible. The value format for --add-symbol is:
+  //
+  // <name>=[<section>:]<value>[,<flags>]
+  //
+  // where:
+  // <name> - symbol name, can be empty string
+  // <section> - optional section name. If not given ABS symbol is created
+  // <value> - symbol value, can be decimal or hexadecimal number prefixed
+  //           with 0x.
+  // <flags> - optional flags affecting symbol type, binding or visibility:
+  //           The following are currently supported:
+  //
+  //           global, local, weak, default, hidden, file, section, object,
+  //           indirect-function.
+  //
+  //           The following flags are ignored and provided for GNU
+  //           compatibility only:
+  //
+  //           warning, debug, constructor, indirect, synthetic,
+  //           unique-object, before=<symbol>.
+  NewSymbolInfo SI;
+  StringRef Value;
+  std::tie(SI.SymbolName, Value) = FlagValue.split('=');
+  if (Value.empty())
+    return createStringError(
+        errc::invalid_argument,
+        "bad format for --add-symbol, missing '=' after '%s'",
+        SI.SymbolName.str().c_str());
+
+  if (Value.contains(':')) {
+    std::tie(SI.SectionName, Value) = Value.split(':');
+    if (SI.SectionName.empty() || Value.empty())
+      return createStringError(
+          errc::invalid_argument,
+          "bad format for --add-symbol, missing section name or symbol value");
+  }
+
+  SmallVector<StringRef, 6> Flags;
+  Value.split(Flags, ',');
+  if (Flags[0].getAsInteger(0, SI.Value))
+    return createStringError(errc::invalid_argument, "bad symbol value: '%s'",
+                             Flags[0].str().c_str());
+
+  typedef std::function<Error(void)> Functor;
+  Optional<uint8_t> Type, Bind, Vis;
+  size_t NumFlags = Flags.size();
+  for (size_t I = 1; I < NumFlags; ++I) {
+    Functor F =
+        StringSwitch<Functor>(Flags[I])
+            .CaseLower("global",
+                       [&Bind] { return setBindOnce(Bind, ELF::STB_GLOBAL); })
+            .CaseLower("local",
+                       [&Bind] { return setBindOnce(Bind, ELF::STB_LOCAL); })
+            .CaseLower("weak",
+                       [&Bind] { return setBindOnce(Bind, ELF::STB_WEAK); })
+            .CaseLower(
+                "default",
+                [&Vis] { return setVisibilityOnce(Vis, ELF::STV_DEFAULT); })
+            .CaseLower(
+                "hidden",
+                [&Vis] { return setVisibilityOnce(Vis, ELF::STV_HIDDEN); })
+            .CaseLower("file",
+                       [&Type] { return setTypeOnce(Type, ELF::STT_FILE); })
+            .CaseLower("section",
+                       [&Type] { return setTypeOnce(Type, ELF::STT_SECTION); })
+            .CaseLower("object",
+                       [&Type] { return setTypeOnce(Type, ELF::STT_OBJECT); })
+            .CaseLower("function",
+                       [&Type] { return setTypeOnce(Type, ELF::STT_FUNC); })
+            .CaseLower(
+                "indirect-function",
+                [&Type] { return setTypeOnce(Type, ELF::STT_GNU_IFUNC); })
+            .CaseLower("debug", [] { return Error::success(); })
+            .CasesLower("constructor", "warning", "indirect", "synthetic",
+                        "unique-object", [] { return Error::success(); })
+            .StartsWithLower("before", [] { return Error::success(); })
+            .Default([&] {
+              return createStringError(errc::invalid_argument,
+                                       "unsupported flag '%s' for --add-symbol",
+                                       Flags[I].str().c_str());
+            });
+    if (Error E = F())
+      return std::move(E);
+  }
+  if (Type)
+    SI.Type = *Type;
+  if (Bind)
+    SI.Bind = *Bind;
+  if (Vis)
+    SI.Visibility = *Vis;
+  return SI;
+}
+
 static const StringMap<MachineInfo> ArchMap{
     // Name, {EMachine, 64bit, LittleEndian}
     {"aarch64", {ELF::EM_AARCH64, true, true}},
     {"arm", {ELF::EM_ARM, false, true}},
     {"i386", {ELF::EM_386, false, true}},
     {"i386:x86-64", {ELF::EM_X86_64, true, true}},
     {"powerpc:common64", {ELF::EM_PPC64, true, true}},
     {"sparc", {ELF::EM_SPARC, false, true}},
Expected<DriverConfig> parseObjcopyOptions(ArrayRef<const char *> ArgsArr) {
   for (auto Arg : InputArgs.filtered(OBJCOPY_strip_unneeded_symbol))
     Config.UnneededSymbolsToRemove.emplace_back(Arg->getValue(), UseRegex);
   for (auto Arg : InputArgs.filtered(OBJCOPY_strip_unneeded_symbols))
     if (Error E = addSymbolsFromFile(Config.UnneededSymbolsToRemove, DC.Alloc,
                                      Arg->getValue(), UseRegex))
       return std::move(E);
   for (auto Arg : InputArgs.filtered(OBJCOPY_keep_symbol))
     Config.SymbolsToKeep.emplace_back(Arg->getValue(), UseRegex);
+  for (auto Arg : InputArgs.filtered(OBJCOPY_add_symbol))
+    if (Expected<NewSymbolInfo> SI = parseNewSymbolInfo(Arg->getValue()))
+      Config.SymbolsToAdd.push_back(*SI);
+    else
+      return SI.takeError();
 
   Config.DeterministicArchives = InputArgs.hasFlag(
       OBJCOPY_enable_deterministic_archives,
       OBJCOPY_disable_deterministic_archives, /*default=*/true);
 
   Config.PreserveDates = InputArgs.hasArg(OBJCOPY_preserve_dates);
 
   if (Config.DecompressDebugSections &&

tools/llvm-objcopy/ELF/ELFObjcopy.cpp

for (const auto &Flag : Config.DumpSection) {
       if (Error E = dumpSectionToFile(SecName, File, Obj))
         return createFileError(Config.InputFilename, std::move(E));
     }
   }
 
   if (!Config.AddGnuDebugLink.empty())
     Obj.addSection<GnuDebugLinkSection>(Config.AddGnuDebugLink);
 
+  for (const NewSymbolInfo &SI : Config.SymbolsToAdd) {
+    SectionBase *Sec = Obj.findSection(SI.SectionName);
+    uint64_t Value = Sec ? Sec->Addr + SI.Value : SI.Value;
+    Obj.SymbolTable->addSymbol(SI.SymbolName, SI.Bind, SI.Type, Sec, Value,
+                               SI.Visibility,
+                               Sec ? SYMBOL_SIMPLE_INDEX : SHN_ABS, 0);
+  }
+
   return Error::success();
 }
 
 Error executeObjcopyOnRawBinary(const CopyConfig &Config, MemoryBuffer &In,
                                 Buffer &Out) {
   BinaryReader Reader(Config.BinaryArch, &In);
   std::unique_ptr<Object> Obj = Reader.create();
 

tools/llvm-objcopy/ELF/Object.h

public:
   SymbolTableSection *SymbolTable = nullptr;
   SectionIndexSection *SectionIndexTable = nullptr;
 
   void sortSections();
   SectionTableRef sections() { return SectionTableRef(Sections); }
   ConstRange<SectionBase> sections() const {
     return make_pointee_range(Sections);
   }
+  SectionBase *findSection(StringRef Name) {
+    auto SecIt =
+        find_if(Sections, [&](const SecPtr &Sec) { return Sec->Name == Name; });
+    return SecIt == Sections.end() ? nullptr : SecIt->get();
+  }
   Range<Segment> segments() { return make_pointee_range(Segments); }
   ConstRange<Segment> segments() const { return make_pointee_range(Segments); }
 
   Error removeSections(std::function<bool(const SectionBase &)> ToRemove);
   Error removeSymbols(function_ref<bool(const Symbol &)> ToRemove);
   template <class T, class... Ts> T &addSection(Ts &&... Args) {
     auto Sec = llvm::make_unique<T>(std::forward<Ts>(Args)...);
     auto Ptr = Sec.get();

tools/llvm-objcopy/ObjcopyOpts.td

 defm build_id_link_output
     : Eq<"build-id-link-output", "Hard-link the output to <dir>/xx/xxx<suffix> "
                                  "name derived from hex build ID">,
       MetaVarName<"suffix">;
 
 def regex
     : Flag<["-", "--"], "regex">,
       HelpText<"Permit regular expressions in name comparison">;
+
+defm add_symbol
+     : Eq<"add-symbol", "Add new symbol <name> to .symtab.">,
+       MetaVarName<"name=[section:]value[,flags]">;