• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 //===- tools/dsymutil/MachODebugMapParser.cpp - Parse STABS debug maps ----===//
2 //
3 //                             The LLVM Linker
4 //
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9 
10 #include "BinaryHolder.h"
11 #include "DebugMap.h"
12 #include "dsymutil.h"
13 #include "llvm/ADT/Optional.h"
14 #include "llvm/Object/MachO.h"
15 #include "llvm/Support/Path.h"
16 #include "llvm/Support/raw_ostream.h"
17 
18 namespace {
19 using namespace llvm;
20 using namespace llvm::dsymutil;
21 using namespace llvm::object;
22 
23 class MachODebugMapParser {
24 public:
MachODebugMapParser(StringRef BinaryPath,ArrayRef<std::string> Archs,StringRef PathPrefix="",bool Verbose=false)25   MachODebugMapParser(StringRef BinaryPath, ArrayRef<std::string> Archs,
26                       StringRef PathPrefix = "", bool Verbose = false)
27       : BinaryPath(BinaryPath), Archs(Archs.begin(), Archs.end()),
28         PathPrefix(PathPrefix), MainBinaryHolder(Verbose),
29         CurrentObjectHolder(Verbose), CurrentDebugMapObject(nullptr) {}
30 
31   /// \brief Parses and returns the DebugMaps of the input binary.
32   /// The binary contains multiple maps in case it is a universal
33   /// binary.
34   /// \returns an error in case the provided BinaryPath doesn't exist
35   /// or isn't of a supported type.
36   ErrorOr<std::vector<std::unique_ptr<DebugMap>>> parse();
37 
38   /// Walk the symbol table and dump it.
39   bool dumpStab();
40 
41 private:
42   std::string BinaryPath;
43   SmallVector<StringRef, 1> Archs;
44   std::string PathPrefix;
45 
46   /// Owns the MemoryBuffer for the main binary.
47   BinaryHolder MainBinaryHolder;
48   /// Map of the binary symbol addresses.
49   StringMap<uint64_t> MainBinarySymbolAddresses;
50   StringRef MainBinaryStrings;
51   /// The constructed DebugMap.
52   std::unique_ptr<DebugMap> Result;
53 
54   /// Owns the MemoryBuffer for the currently handled object file.
55   BinaryHolder CurrentObjectHolder;
56   /// Map of the currently processed object file symbol addresses.
57   StringMap<Optional<uint64_t>> CurrentObjectAddresses;
58   /// Element of the debug map corresponfing to the current object file.
59   DebugMapObject *CurrentDebugMapObject;
60 
61   /// Holds function info while function scope processing.
62   const char *CurrentFunctionName;
63   uint64_t CurrentFunctionAddress;
64 
65   std::unique_ptr<DebugMap> parseOneBinary(const MachOObjectFile &MainBinary,
66                                            StringRef BinaryPath);
67 
68   void switchToNewDebugMapObject(StringRef Filename, sys::TimeValue Timestamp);
69   void resetParserState();
70   uint64_t getMainBinarySymbolAddress(StringRef Name);
71   void loadMainBinarySymbols(const MachOObjectFile &MainBinary);
72   void loadCurrentObjectFileSymbols(const object::MachOObjectFile &Obj);
73   void handleStabSymbolTableEntry(uint32_t StringIndex, uint8_t Type,
74                                   uint8_t SectionIndex, uint16_t Flags,
75                                   uint64_t Value);
76 
handleStabDebugMapEntry(const STEType & STE)77   template <typename STEType> void handleStabDebugMapEntry(const STEType &STE) {
78     handleStabSymbolTableEntry(STE.n_strx, STE.n_type, STE.n_sect, STE.n_desc,
79                                STE.n_value);
80   }
81 
82   /// Dump the symbol table output header.
83   void dumpSymTabHeader(raw_ostream &OS, StringRef Arch);
84 
85   /// Dump the contents of nlist entries.
86   void dumpSymTabEntry(raw_ostream &OS, uint64_t Index, uint32_t StringIndex,
87                        uint8_t Type, uint8_t SectionIndex, uint16_t Flags,
88                        uint64_t Value);
89 
90   template <typename STEType>
dumpSymTabEntry(raw_ostream & OS,uint64_t Index,const STEType & STE)91   void dumpSymTabEntry(raw_ostream &OS, uint64_t Index, const STEType &STE) {
92     dumpSymTabEntry(OS, Index, STE.n_strx, STE.n_type, STE.n_sect, STE.n_desc,
93                     STE.n_value);
94   }
95   void dumpOneBinaryStab(const MachOObjectFile &MainBinary,
96                          StringRef BinaryPath);
97 };
98 
Warning(const Twine & Msg)99 static void Warning(const Twine &Msg) { errs() << "warning: " + Msg + "\n"; }
100 } // anonymous namespace
101 
102 /// Reset the parser state coresponding to the current object
103 /// file. This is to be called after an object file is finished
104 /// processing.
resetParserState()105 void MachODebugMapParser::resetParserState() {
106   CurrentObjectAddresses.clear();
107   CurrentDebugMapObject = nullptr;
108 }
109 
110 /// Create a new DebugMapObject. This function resets the state of the
111 /// parser that was referring to the last object file and sets
112 /// everything up to add symbols to the new one.
switchToNewDebugMapObject(StringRef Filename,sys::TimeValue Timestamp)113 void MachODebugMapParser::switchToNewDebugMapObject(StringRef Filename,
114                                                     sys::TimeValue Timestamp) {
115   resetParserState();
116 
117   SmallString<80> Path(PathPrefix);
118   sys::path::append(Path, Filename);
119 
120   auto MachOOrError =
121       CurrentObjectHolder.GetFilesAs<MachOObjectFile>(Path, Timestamp);
122   if (auto Error = MachOOrError.getError()) {
123     Warning(Twine("cannot open debug object \"") + Path.str() + "\": " +
124             Error.message() + "\n");
125     return;
126   }
127 
128   auto ErrOrAchObj =
129       CurrentObjectHolder.GetAs<MachOObjectFile>(Result->getTriple());
130   if (auto Err = ErrOrAchObj.getError()) {
131     return Warning(Twine("cannot open debug object \"") + Path.str() + "\": " +
132                    Err.message() + "\n");
133   }
134 
135   CurrentDebugMapObject = &Result->addDebugMapObject(Path, Timestamp);
136   loadCurrentObjectFileSymbols(*ErrOrAchObj);
137 }
138 
getArchName(const object::MachOObjectFile & Obj)139 static std::string getArchName(const object::MachOObjectFile &Obj) {
140   Triple T = Obj.getArchTriple();
141   return T.getArchName();
142 }
143 
144 std::unique_ptr<DebugMap>
parseOneBinary(const MachOObjectFile & MainBinary,StringRef BinaryPath)145 MachODebugMapParser::parseOneBinary(const MachOObjectFile &MainBinary,
146                                     StringRef BinaryPath) {
147   loadMainBinarySymbols(MainBinary);
148   Result = make_unique<DebugMap>(MainBinary.getArchTriple(), BinaryPath);
149   MainBinaryStrings = MainBinary.getStringTableData();
150   for (const SymbolRef &Symbol : MainBinary.symbols()) {
151     const DataRefImpl &DRI = Symbol.getRawDataRefImpl();
152     if (MainBinary.is64Bit())
153       handleStabDebugMapEntry(MainBinary.getSymbol64TableEntry(DRI));
154     else
155       handleStabDebugMapEntry(MainBinary.getSymbolTableEntry(DRI));
156   }
157 
158   resetParserState();
159   return std::move(Result);
160 }
161 
162 // Table that maps Darwin's Mach-O stab constants to strings to allow printing.
163 // llvm-nm has very similar code, the strings used here are however slightly
164 // different and part of the interface of dsymutil (some project's build-systems
165 // parse the ouptut of dsymutil -s), thus they shouldn't be changed.
166 struct DarwinStabName {
167   uint8_t NType;
168   const char *Name;
169 };
170 
171 static const struct DarwinStabName DarwinStabNames[] = {
172     {MachO::N_GSYM, "N_GSYM"},    {MachO::N_FNAME, "N_FNAME"},
173     {MachO::N_FUN, "N_FUN"},      {MachO::N_STSYM, "N_STSYM"},
174     {MachO::N_LCSYM, "N_LCSYM"},  {MachO::N_BNSYM, "N_BNSYM"},
175     {MachO::N_PC, "N_PC"},        {MachO::N_AST, "N_AST"},
176     {MachO::N_OPT, "N_OPT"},      {MachO::N_RSYM, "N_RSYM"},
177     {MachO::N_SLINE, "N_SLINE"},  {MachO::N_ENSYM, "N_ENSYM"},
178     {MachO::N_SSYM, "N_SSYM"},    {MachO::N_SO, "N_SO"},
179     {MachO::N_OSO, "N_OSO"},      {MachO::N_LSYM, "N_LSYM"},
180     {MachO::N_BINCL, "N_BINCL"},  {MachO::N_SOL, "N_SOL"},
181     {MachO::N_PARAMS, "N_PARAM"}, {MachO::N_VERSION, "N_VERS"},
182     {MachO::N_OLEVEL, "N_OLEV"},  {MachO::N_PSYM, "N_PSYM"},
183     {MachO::N_EINCL, "N_EINCL"},  {MachO::N_ENTRY, "N_ENTRY"},
184     {MachO::N_LBRAC, "N_LBRAC"},  {MachO::N_EXCL, "N_EXCL"},
185     {MachO::N_RBRAC, "N_RBRAC"},  {MachO::N_BCOMM, "N_BCOMM"},
186     {MachO::N_ECOMM, "N_ECOMM"},  {MachO::N_ECOML, "N_ECOML"},
187     {MachO::N_LENG, "N_LENG"},    {0, nullptr}};
188 
getDarwinStabString(uint8_t NType)189 static const char *getDarwinStabString(uint8_t NType) {
190   for (unsigned i = 0; DarwinStabNames[i].Name; i++) {
191     if (DarwinStabNames[i].NType == NType)
192       return DarwinStabNames[i].Name;
193   }
194   return nullptr;
195 }
196 
dumpSymTabHeader(raw_ostream & OS,StringRef Arch)197 void MachODebugMapParser::dumpSymTabHeader(raw_ostream &OS, StringRef Arch) {
198   OS << "-----------------------------------"
199         "-----------------------------------\n";
200   OS << "Symbol table for: '" << BinaryPath << "' (" << Arch.data() << ")\n";
201   OS << "-----------------------------------"
202         "-----------------------------------\n";
203   OS << "Index    n_strx   n_type             n_sect n_desc n_value\n";
204   OS << "======== -------- ------------------ ------ ------ ----------------\n";
205 }
206 
dumpSymTabEntry(raw_ostream & OS,uint64_t Index,uint32_t StringIndex,uint8_t Type,uint8_t SectionIndex,uint16_t Flags,uint64_t Value)207 void MachODebugMapParser::dumpSymTabEntry(raw_ostream &OS, uint64_t Index,
208                                           uint32_t StringIndex, uint8_t Type,
209                                           uint8_t SectionIndex, uint16_t Flags,
210                                           uint64_t Value) {
211   // Index
212   OS << '[' << format_decimal(Index, 6) << "] "
213      // n_strx
214      << format_hex_no_prefix(StringIndex, 8) << ' '
215      // n_type...
216      << format_hex_no_prefix(Type, 2) << " (";
217 
218   if (Type & MachO::N_STAB)
219     OS << left_justify(getDarwinStabString(Type), 13);
220   else {
221     if (Type & MachO::N_PEXT)
222       OS << "PEXT ";
223     else
224       OS << "     ";
225     switch (Type & MachO::N_TYPE) {
226     case MachO::N_UNDF: // 0x0 undefined, n_sect == NO_SECT
227       OS << "UNDF";
228       break;
229     case MachO::N_ABS: // 0x2 absolute, n_sect == NO_SECT
230       OS << "ABS ";
231       break;
232     case MachO::N_SECT: // 0xe defined in section number n_sect
233       OS << "SECT";
234       break;
235     case MachO::N_PBUD: // 0xc prebound undefined (defined in a dylib)
236       OS << "PBUD";
237       break;
238     case MachO::N_INDR: // 0xa indirect
239       OS << "INDR";
240       break;
241     default:
242       OS << format_hex_no_prefix(Type, 2) << "    ";
243       break;
244     }
245     if (Type & MachO::N_EXT)
246       OS << " EXT";
247     else
248       OS << "    ";
249   }
250 
251   OS << ") "
252      // n_sect
253      << format_hex_no_prefix(SectionIndex, 2) << "     "
254      // n_desc
255      << format_hex_no_prefix(Flags, 4) << "   "
256      // n_value
257      << format_hex_no_prefix(Value, 16);
258 
259   const char *Name = &MainBinaryStrings.data()[StringIndex];
260   if (Name && Name[0])
261     OS << " '" << Name << "'";
262 
263   OS << "\n";
264 }
265 
dumpOneBinaryStab(const MachOObjectFile & MainBinary,StringRef BinaryPath)266 void MachODebugMapParser::dumpOneBinaryStab(const MachOObjectFile &MainBinary,
267                                             StringRef BinaryPath) {
268   loadMainBinarySymbols(MainBinary);
269   MainBinaryStrings = MainBinary.getStringTableData();
270   raw_ostream &OS(llvm::outs());
271 
272   dumpSymTabHeader(OS, getArchName(MainBinary));
273   uint64_t Idx = 0;
274   for (const SymbolRef &Symbol : MainBinary.symbols()) {
275     const DataRefImpl &DRI = Symbol.getRawDataRefImpl();
276     if (MainBinary.is64Bit())
277       dumpSymTabEntry(OS, Idx, MainBinary.getSymbol64TableEntry(DRI));
278     else
279       dumpSymTabEntry(OS, Idx, MainBinary.getSymbolTableEntry(DRI));
280     Idx++;
281   }
282 
283   OS << "\n\n";
284   resetParserState();
285 }
286 
shouldLinkArch(SmallVectorImpl<StringRef> & Archs,StringRef Arch)287 static bool shouldLinkArch(SmallVectorImpl<StringRef> &Archs, StringRef Arch) {
288   if (Archs.empty() ||
289       std::find(Archs.begin(), Archs.end(), "all") != Archs.end() ||
290       std::find(Archs.begin(), Archs.end(), "*") != Archs.end())
291     return true;
292 
293   if (Arch.startswith("arm") && Arch != "arm64" &&
294       std::find(Archs.begin(), Archs.end(), "arm") != Archs.end())
295     return true;
296 
297   SmallString<16> ArchName = Arch;
298   if (Arch.startswith("thumb"))
299     ArchName = ("arm" + Arch.substr(5)).str();
300 
301   return std::find(Archs.begin(), Archs.end(), ArchName) != Archs.end();
302 }
303 
dumpStab()304 bool MachODebugMapParser::dumpStab() {
305   auto MainBinOrError =
306       MainBinaryHolder.GetFilesAs<MachOObjectFile>(BinaryPath);
307   if (auto Error = MainBinOrError.getError()) {
308     llvm::errs() << "Cannot get '" << BinaryPath
309                  << "' as MachO file: " << Error.message() << "\n";
310     return false;
311   }
312 
313   for (const auto *Binary : *MainBinOrError)
314     if (shouldLinkArch(Archs, Binary->getArchTriple().getArchName()))
315       dumpOneBinaryStab(*Binary, BinaryPath);
316 
317   return true;
318 }
319 
320 /// This main parsing routine tries to open the main binary and if
321 /// successful iterates over the STAB entries. The real parsing is
322 /// done in handleStabSymbolTableEntry.
parse()323 ErrorOr<std::vector<std::unique_ptr<DebugMap>>> MachODebugMapParser::parse() {
324   auto MainBinOrError =
325       MainBinaryHolder.GetFilesAs<MachOObjectFile>(BinaryPath);
326   if (auto Error = MainBinOrError.getError())
327     return Error;
328 
329   std::vector<std::unique_ptr<DebugMap>> Results;
330   for (const auto *Binary : *MainBinOrError)
331     if (shouldLinkArch(Archs, Binary->getArchTriple().getArchName()))
332       Results.push_back(parseOneBinary(*Binary, BinaryPath));
333 
334   return std::move(Results);
335 }
336 
337 /// Interpret the STAB entries to fill the DebugMap.
handleStabSymbolTableEntry(uint32_t StringIndex,uint8_t Type,uint8_t SectionIndex,uint16_t Flags,uint64_t Value)338 void MachODebugMapParser::handleStabSymbolTableEntry(uint32_t StringIndex,
339                                                      uint8_t Type,
340                                                      uint8_t SectionIndex,
341                                                      uint16_t Flags,
342                                                      uint64_t Value) {
343   if (!(Type & MachO::N_STAB))
344     return;
345 
346   const char *Name = &MainBinaryStrings.data()[StringIndex];
347 
348   // An N_OSO entry represents the start of a new object file description.
349   if (Type == MachO::N_OSO) {
350     sys::TimeValue Timestamp;
351     Timestamp.fromEpochTime(Value);
352     return switchToNewDebugMapObject(Name, Timestamp);
353   }
354 
355   // If the last N_OSO object file wasn't found,
356   // CurrentDebugMapObject will be null. Do not update anything
357   // until we find the next valid N_OSO entry.
358   if (!CurrentDebugMapObject)
359     return;
360 
361   uint32_t Size = 0;
362   switch (Type) {
363   case MachO::N_GSYM:
364     // This is a global variable. We need to query the main binary
365     // symbol table to find its address as it might not be in the
366     // debug map (for common symbols).
367     Value = getMainBinarySymbolAddress(Name);
368     break;
369   case MachO::N_FUN:
370     // Functions are scopes in STABS. They have an end marker that
371     // contains the function size.
372     if (Name[0] == '\0') {
373       Size = Value;
374       Value = CurrentFunctionAddress;
375       Name = CurrentFunctionName;
376       break;
377     } else {
378       CurrentFunctionName = Name;
379       CurrentFunctionAddress = Value;
380       return;
381     }
382   case MachO::N_STSYM:
383     break;
384   default:
385     return;
386   }
387 
388   auto ObjectSymIt = CurrentObjectAddresses.find(Name);
389   if (ObjectSymIt == CurrentObjectAddresses.end())
390     return Warning("could not find object file symbol for symbol " +
391                    Twine(Name));
392   if (!CurrentDebugMapObject->addSymbol(Name, ObjectSymIt->getValue(), Value,
393                                         Size))
394     return Warning(Twine("failed to insert symbol '") + Name +
395                    "' in the debug map.");
396 }
397 
398 /// Load the current object file symbols into CurrentObjectAddresses.
loadCurrentObjectFileSymbols(const object::MachOObjectFile & Obj)399 void MachODebugMapParser::loadCurrentObjectFileSymbols(
400     const object::MachOObjectFile &Obj) {
401   CurrentObjectAddresses.clear();
402 
403   for (auto Sym : Obj.symbols()) {
404     uint64_t Addr = Sym.getValue();
405     Expected<StringRef> Name = Sym.getName();
406     if (!Name) {
407       // TODO: Actually report errors helpfully.
408       consumeError(Name.takeError());
409       continue;
410     }
411     // The value of some categories of symbols isn't meaningful. For
412     // example common symbols store their size in the value field, not
413     // their address. Absolute symbols have a fixed address that can
414     // conflict with standard symbols. These symbols (especially the
415     // common ones), might still be referenced by relocations. These
416     // relocations will use the symbol itself, and won't need an
417     // object file address. The object file address field is optional
418     // in the DebugMap, leave it unassigned for these symbols.
419     if (Sym.getFlags() & (SymbolRef::SF_Absolute | SymbolRef::SF_Common))
420       CurrentObjectAddresses[*Name] = None;
421     else
422       CurrentObjectAddresses[*Name] = Addr;
423   }
424 }
425 
426 /// Lookup a symbol address in the main binary symbol table. The
427 /// parser only needs to query common symbols, thus not every symbol's
428 /// address is available through this function.
getMainBinarySymbolAddress(StringRef Name)429 uint64_t MachODebugMapParser::getMainBinarySymbolAddress(StringRef Name) {
430   auto Sym = MainBinarySymbolAddresses.find(Name);
431   if (Sym == MainBinarySymbolAddresses.end())
432     return 0;
433   return Sym->second;
434 }
435 
436 /// Load the interesting main binary symbols' addresses into
437 /// MainBinarySymbolAddresses.
loadMainBinarySymbols(const MachOObjectFile & MainBinary)438 void MachODebugMapParser::loadMainBinarySymbols(
439     const MachOObjectFile &MainBinary) {
440   section_iterator Section = MainBinary.section_end();
441   MainBinarySymbolAddresses.clear();
442   for (const auto &Sym : MainBinary.symbols()) {
443     Expected<SymbolRef::Type> TypeOrErr = Sym.getType();
444     if (!TypeOrErr) {
445       // TODO: Actually report errors helpfully.
446       consumeError(TypeOrErr.takeError());
447       continue;
448     }
449     SymbolRef::Type Type = *TypeOrErr;
450     // Skip undefined and STAB entries.
451     if ((Type & SymbolRef::ST_Debug) || (Type & SymbolRef::ST_Unknown))
452       continue;
453     // The only symbols of interest are the global variables. These
454     // are the only ones that need to be queried because the address
455     // of common data won't be described in the debug map. All other
456     // addresses should be fetched for the debug map.
457     if (!(Sym.getFlags() & SymbolRef::SF_Global))
458       continue;
459     Expected<section_iterator> SectionOrErr = Sym.getSection();
460     if (!SectionOrErr) {
461       // TODO: Actually report errors helpfully.
462       consumeError(SectionOrErr.takeError());
463       continue;
464     }
465     Section = *SectionOrErr;
466     if (Section == MainBinary.section_end() || Section->isText())
467       continue;
468     uint64_t Addr = Sym.getValue();
469     Expected<StringRef> NameOrErr = Sym.getName();
470     if (!NameOrErr) {
471       // TODO: Actually report errors helpfully.
472       consumeError(NameOrErr.takeError());
473       continue;
474     }
475     StringRef Name = *NameOrErr;
476     if (Name.size() == 0 || Name[0] == '\0')
477       continue;
478     MainBinarySymbolAddresses[Name] = Addr;
479   }
480 }
481 
482 namespace llvm {
483 namespace dsymutil {
484 llvm::ErrorOr<std::vector<std::unique_ptr<DebugMap>>>
parseDebugMap(StringRef InputFile,ArrayRef<std::string> Archs,StringRef PrependPath,bool Verbose,bool InputIsYAML)485 parseDebugMap(StringRef InputFile, ArrayRef<std::string> Archs,
486               StringRef PrependPath, bool Verbose, bool InputIsYAML) {
487   if (!InputIsYAML) {
488     MachODebugMapParser Parser(InputFile, Archs, PrependPath, Verbose);
489     return Parser.parse();
490   } else {
491     return DebugMap::parseYAMLDebugMap(InputFile, PrependPath, Verbose);
492   }
493 }
494 
dumpStab(StringRef InputFile,ArrayRef<std::string> Archs,StringRef PrependPath)495 bool dumpStab(StringRef InputFile, ArrayRef<std::string> Archs,
496               StringRef PrependPath) {
497   MachODebugMapParser Parser(InputFile, Archs, PrependPath, false);
498   return Parser.dumpStab();
499 }
500 } // namespace dsymutil
501 } // namespace llvm
502