123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119 |
- // dwarf_reader.h -- parse dwarf2/3 debug information for gold -*- C++ -*-
- // Copyright (C) 2007-2015 Free Software Foundation, Inc.
- // Written by Ian Lance Taylor <iant@google.com>.
- // This file is part of gold.
- // This program is free software; you can redistribute it and/or modify
- // it under the terms of the GNU General Public License as published by
- // the Free Software Foundation; either version 3 of the License, or
- // (at your option) any later version.
- // This program is distributed in the hope that it will be useful,
- // but WITHOUT ANY WARRANTY; without even the implied warranty of
- // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
- // GNU General Public License for more details.
- // You should have received a copy of the GNU General Public License
- // along with this program; if not, write to the Free Software
- // Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
- // MA 02110-1301, USA.
- #ifndef GOLD_DWARF_READER_H
- #define GOLD_DWARF_READER_H
- #include <vector>
- #include <map>
- #include <limits.h>
- #include <sys/types.h>
- #include "elfcpp.h"
- #include "elfcpp_swap.h"
- #include "dwarf.h"
- #include "reloc.h"
- namespace gold
- {
- class Dwarf_info_reader;
- struct LineStateMachine;
- // This class is used to extract the section index and offset of
- // the target of a relocation for a given offset within the section.
- class Elf_reloc_mapper
- {
- public:
- Elf_reloc_mapper()
- { }
- virtual
- ~Elf_reloc_mapper()
- { }
- // Initialize the relocation tracker for section RELOC_SHNDX.
- bool
- initialize(unsigned int reloc_shndx, unsigned int reloc_type)
- { return this->do_initialize(reloc_shndx, reloc_type); }
- // Return the next reloc_offset.
- off_t
- next_offset()
- { return this->do_next_offset(); }
- // Advance to the next relocation past OFFSET.
- void
- advance(off_t offset)
- { this->do_advance(offset); }
- // Return the section index and offset within the section of the target
- // of the relocation for RELOC_OFFSET in the referring section.
- unsigned int
- get_reloc_target(off_t reloc_offset, off_t* target_offset)
- { return this->do_get_reloc_target(reloc_offset, target_offset); }
- // Checkpoint the current position in the reloc section.
- uint64_t
- checkpoint() const
- { return this->do_checkpoint(); }
- // Reset the current position to the CHECKPOINT.
- void
- reset(uint64_t checkpoint)
- { this->do_reset(checkpoint); }
- protected:
- virtual bool
- do_initialize(unsigned int, unsigned int) = 0;
- // Return the next reloc_offset.
- virtual off_t
- do_next_offset() = 0;
- // Advance to the next relocation past OFFSET.
- virtual void
- do_advance(off_t offset) = 0;
- virtual unsigned int
- do_get_reloc_target(off_t reloc_offset, off_t* target_offset) = 0;
- // Checkpoint the current position in the reloc section.
- virtual uint64_t
- do_checkpoint() const = 0;
- // Reset the current position to the CHECKPOINT.
- virtual void
- do_reset(uint64_t checkpoint) = 0;
- };
- template<int size, bool big_endian>
- class Sized_elf_reloc_mapper : public Elf_reloc_mapper
- {
- public:
- Sized_elf_reloc_mapper(Object* object, const unsigned char* symtab,
- off_t symtab_size)
- : object_(object), symtab_(symtab), symtab_size_(symtab_size),
- reloc_type_(0), track_relocs_()
- { }
- protected:
- bool
- do_initialize(unsigned int reloc_shndx, unsigned int reloc_type);
- // Return the next reloc_offset.
- virtual off_t
- do_next_offset()
- { return this->track_relocs_.next_offset(); }
- // Advance to the next relocation past OFFSET.
- virtual void
- do_advance(off_t offset)
- { this->track_relocs_.advance(offset); }
- unsigned int
- do_get_reloc_target(off_t reloc_offset, off_t* target_offset);
- // Checkpoint the current position in the reloc section.
- uint64_t
- do_checkpoint() const
- { return this->track_relocs_.checkpoint(); }
- // Reset the current position to the CHECKPOINT.
- void
- do_reset(uint64_t checkpoint)
- { this->track_relocs_.reset(checkpoint); }
- private:
- typedef typename elfcpp::Elf_types<size>::Elf_Addr Address;
- // Return the section index of symbol SYMNDX, and copy its value to *VALUE.
- // Set *IS_ORDINARY true if the section index is an ordinary section index.
- unsigned int
- symbol_section(unsigned int symndx, Address* value, bool* is_ordinary);
- // The object file.
- Object* object_;
- // The ELF symbol table.
- const unsigned char* symtab_;
- // The size of the ELF symbol table.
- off_t symtab_size_;
- // Type of the relocation section (SHT_REL or SHT_RELA).
- unsigned int reloc_type_;
- // Relocations for the referring section.
- Track_relocs<size, big_endian> track_relocs_;
- };
- // This class is used to read the abbreviations table from the
- // .debug_abbrev section of the object file.
- class Dwarf_abbrev_table
- {
- public:
- // An attribute list entry.
- struct Attribute
- {
- Attribute(unsigned int a, unsigned int f)
- : attr(a), form(f)
- { }
- unsigned int attr;
- unsigned int form;
- };
- // An abbrev code entry.
- struct Abbrev_code
- {
- Abbrev_code(unsigned int t, bool hc)
- : tag(t), has_children(hc), has_sibling_attribute(false), attributes()
- {
- this->attributes.reserve(10);
- }
- void
- add_attribute(unsigned int attr, unsigned int form)
- {
- this->attributes.push_back(Attribute(attr, form));
- }
- // The DWARF tag.
- unsigned int tag;
- // True if the DIE has children.
- bool has_children : 1;
- // True if the DIE has a sibling attribute.
- bool has_sibling_attribute : 1;
- // The list of attributes and forms.
- std::vector<Attribute> attributes;
- };
- Dwarf_abbrev_table()
- : abbrev_shndx_(0), abbrev_offset_(0), buffer_(NULL), buffer_end_(NULL),
- owns_buffer_(false), buffer_pos_(NULL), high_abbrev_codes_()
- {
- memset(this->low_abbrev_codes_, 0, sizeof(this->low_abbrev_codes_));
- }
- ~Dwarf_abbrev_table()
- {
- if (this->owns_buffer_ && this->buffer_ != NULL)
- delete[] this->buffer_;
- this->clear_abbrev_codes();
- }
- // Read the abbrev table from an object file.
- bool
- read_abbrevs(Relobj* object,
- unsigned int abbrev_shndx,
- off_t abbrev_offset)
- {
- // If we've already read this abbrev table, return immediately.
- if (this->abbrev_shndx_ > 0
- && this->abbrev_shndx_ == abbrev_shndx
- && this->abbrev_offset_ == abbrev_offset)
- return true;
- return this->do_read_abbrevs(object, abbrev_shndx, abbrev_offset);
- }
- // Return the abbrev code entry for CODE. This is a fast path for
- // abbrev codes that are in the direct lookup table. If not found
- // there, we call do_get_abbrev() to do the hard work.
- const Abbrev_code*
- get_abbrev(unsigned int code)
- {
- if (code < this->low_abbrev_code_max_
- && this->low_abbrev_codes_[code] != NULL)
- return this->low_abbrev_codes_[code];
- return this->do_get_abbrev(code);
- }
- private:
- // Read the abbrev table from an object file.
- bool
- do_read_abbrevs(Relobj* object,
- unsigned int abbrev_shndx,
- off_t abbrev_offset);
- // Lookup the abbrev code entry for CODE.
- const Abbrev_code*
- do_get_abbrev(unsigned int code);
- // Store an abbrev code entry for CODE.
- void
- store_abbrev(unsigned int code, const Abbrev_code* entry)
- {
- if (code < this->low_abbrev_code_max_)
- this->low_abbrev_codes_[code] = entry;
- else
- this->high_abbrev_codes_[code] = entry;
- }
- // Clear the abbrev code table and release the memory it uses.
- void
- clear_abbrev_codes();
- typedef Unordered_map<unsigned int, const Abbrev_code*> Abbrev_code_table;
- // The section index of the current abbrev table.
- unsigned int abbrev_shndx_;
- // The offset within the section of the current abbrev table.
- off_t abbrev_offset_;
- // The buffer containing the .debug_abbrev section.
- const unsigned char* buffer_;
- const unsigned char* buffer_end_;
- // True if this object owns the buffer and needs to delete it.
- bool owns_buffer_;
- // Pointer to the current position in the buffer.
- const unsigned char* buffer_pos_;
- // The table of abbrev codes.
- // We use a direct-lookup array for low abbrev codes,
- // and store the rest in a hash table.
- static const unsigned int low_abbrev_code_max_ = 256;
- const Abbrev_code* low_abbrev_codes_[low_abbrev_code_max_];
- Abbrev_code_table high_abbrev_codes_;
- };
- // A DWARF range list. The start and end offsets are relative
- // to the input section SHNDX. Each range must lie entirely
- // within a single section.
- class Dwarf_range_list
- {
- public:
- struct Range
- {
- Range(unsigned int a_shndx, off_t a_start, off_t a_end)
- : shndx(a_shndx), start(a_start), end(a_end)
- { }
- unsigned int shndx;
- off_t start;
- off_t end;
- };
- Dwarf_range_list()
- : range_list_()
- { }
- void
- add(unsigned int shndx, off_t start, off_t end)
- { this->range_list_.push_back(Range(shndx, start, end)); }
- size_t
- size() const
- { return this->range_list_.size(); }
- const Range&
- operator[](off_t i) const
- { return this->range_list_[i]; }
- private:
- std::vector<Range> range_list_;
- };
- // This class is used to read the ranges table from the
- // .debug_ranges section of the object file.
- class Dwarf_ranges_table
- {
- public:
- Dwarf_ranges_table(Dwarf_info_reader* dwinfo)
- : dwinfo_(dwinfo), ranges_shndx_(0), ranges_buffer_(NULL),
- ranges_buffer_end_(NULL), owns_ranges_buffer_(false),
- ranges_reloc_mapper_(NULL), reloc_type_(0), output_section_offset_(0)
- { }
- ~Dwarf_ranges_table()
- {
- if (this->owns_ranges_buffer_ && this->ranges_buffer_ != NULL)
- delete[] this->ranges_buffer_;
- if (this->ranges_reloc_mapper_ != NULL)
- delete this->ranges_reloc_mapper_;
- }
- // Read the ranges table from an object file.
- bool
- read_ranges_table(Relobj* object,
- const unsigned char* symtab,
- off_t symtab_size,
- unsigned int ranges_shndx);
- // Read the range table from an object file.
- Dwarf_range_list*
- read_range_list(Relobj* object,
- const unsigned char* symtab,
- off_t symtab_size,
- unsigned int address_size,
- unsigned int ranges_shndx,
- off_t ranges_offset);
- // Look for a relocation at offset OFF in the range table,
- // and return the section index and offset of the target.
- unsigned int
- lookup_reloc(off_t off, off_t* target_off);
- private:
- // The Dwarf_info_reader, for reading data.
- Dwarf_info_reader* dwinfo_;
- // The section index of the ranges table.
- unsigned int ranges_shndx_;
- // The buffer containing the .debug_ranges section.
- const unsigned char* ranges_buffer_;
- const unsigned char* ranges_buffer_end_;
- // True if this object owns the buffer and needs to delete it.
- bool owns_ranges_buffer_;
- // Relocation mapper for the .debug_ranges section.
- Elf_reloc_mapper* ranges_reloc_mapper_;
- // Type of the relocation section (SHT_REL or SHT_RELA).
- unsigned int reloc_type_;
- // For incremental update links, this will hold the offset of the
- // input section within the output section. Offsets read from
- // relocated data will be relative to the output section, and need
- // to be corrected before reading data from the input section.
- uint64_t output_section_offset_;
- };
- // This class is used to read the pubnames and pubtypes tables from the
- // .debug_pubnames and .debug_pubtypes sections of the object file.
- class Dwarf_pubnames_table
- {
- public:
- Dwarf_pubnames_table(Dwarf_info_reader* dwinfo, bool is_pubtypes)
- : dwinfo_(dwinfo), buffer_(NULL), buffer_end_(NULL), owns_buffer_(false),
- offset_size_(0), pinfo_(NULL), end_of_table_(NULL),
- is_pubtypes_(is_pubtypes), is_gnu_style_(false),
- unit_length_(0), cu_offset_(0)
- { }
- ~Dwarf_pubnames_table()
- {
- if (this->owns_buffer_ && this->buffer_ != NULL)
- delete[] this->buffer_;
- }
- // Read the pubnames section from the object file, using the symbol
- // table for relocating it.
- bool
- read_section(Relobj* object, const unsigned char* symbol_table,
- off_t symtab_size);
- // Read the header for the set at OFFSET.
- bool
- read_header(off_t offset);
- // Return the offset to the cu within the info or types section.
- off_t
- cu_offset()
- { return this->cu_offset_; }
- // Return the size of this subsection of the table. The unit length
- // doesn't include the size of its own field.
- off_t
- subsection_size()
- { return this->unit_length_; }
- // Read the next name from the set. If the pubname table is gnu-style,
- // FLAG_BYTE is set to the high-byte of a gdb_index version 7 cu_index.
- const char*
- next_name(uint8_t* flag_byte);
- private:
- // The Dwarf_info_reader, for reading data.
- Dwarf_info_reader* dwinfo_;
- // The buffer containing the .debug_ranges section.
- const unsigned char* buffer_;
- const unsigned char* buffer_end_;
- // True if this object owns the buffer and needs to delete it.
- bool owns_buffer_;
- // The size of a DWARF offset for the current set.
- unsigned int offset_size_;
- // The current position within the buffer.
- const unsigned char* pinfo_;
- // The end of the current pubnames table.
- const unsigned char* end_of_table_;
- // TRUE if this is a .debug_pubtypes section.
- bool is_pubtypes_;
- // Gnu-style pubnames table. This style has an extra flag byte between the
- // offset and the name, and is used for generating version 7 of gdb-index.
- bool is_gnu_style_;
- // Fields read from the header.
- uint64_t unit_length_;
- off_t cu_offset_;
- // Track relocations for this table so we can find the CUs that
- // correspond to the subsections.
- Elf_reloc_mapper* reloc_mapper_;
- // Type of the relocation section (SHT_REL or SHT_RELA).
- unsigned int reloc_type_;
- };
- // This class represents a DWARF Debug Info Entry (DIE).
- class Dwarf_die
- {
- public:
- // An attribute value.
- struct Attribute_value
- {
- unsigned int attr;
- unsigned int form;
- union
- {
- int64_t intval;
- uint64_t uintval;
- const char* stringval;
- const unsigned char* blockval;
- off_t refval;
- } val;
- union
- {
- // Section index for reference forms.
- unsigned int shndx;
- // Block length for block forms.
- unsigned int blocklen;
- // Attribute offset for DW_FORM_strp.
- unsigned int attr_off;
- } aux;
- };
- // A list of attribute values.
- typedef std::vector<Attribute_value> Attributes;
- Dwarf_die(Dwarf_info_reader* dwinfo,
- off_t die_offset,
- Dwarf_die* parent);
- // Return the DWARF tag for this DIE.
- unsigned int
- tag() const
- {
- if (this->abbrev_code_ == NULL)
- return 0;
- return this->abbrev_code_->tag;
- }
- // Return true if this DIE has children.
- bool
- has_children() const
- {
- gold_assert(this->abbrev_code_ != NULL);
- return this->abbrev_code_->has_children;
- }
- // Return true if this DIE has a sibling attribute.
- bool
- has_sibling_attribute() const
- {
- gold_assert(this->abbrev_code_ != NULL);
- return this->abbrev_code_->has_sibling_attribute;
- }
- // Return the value of attribute ATTR.
- const Attribute_value*
- attribute(unsigned int attr);
- // Return the value of the DW_AT_name attribute.
- const char*
- name()
- {
- if (this->name_ == NULL)
- this->set_name();
- return this->name_;
- }
- // Return the value of the DW_AT_linkage_name
- // or DW_AT_MIPS_linkage_name attribute.
- const char*
- linkage_name()
- {
- if (this->linkage_name_ == NULL)
- this->set_linkage_name();
- return this->linkage_name_;
- }
- // Return the value of the DW_AT_specification attribute.
- off_t
- specification()
- {
- if (!this->attributes_read_)
- this->read_attributes();
- return this->specification_;
- }
- // Return the value of the DW_AT_abstract_origin attribute.
- off_t
- abstract_origin()
- {
- if (!this->attributes_read_)
- this->read_attributes();
- return this->abstract_origin_;
- }
- // Return the value of attribute ATTR as a string.
- const char*
- string_attribute(unsigned int attr);
- // Return the value of attribute ATTR as an integer.
- int64_t
- int_attribute(unsigned int attr);
- // Return the value of attribute ATTR as an unsigned integer.
- uint64_t
- uint_attribute(unsigned int attr);
- // Return the value of attribute ATTR as a reference.
- off_t
- ref_attribute(unsigned int attr, unsigned int* shndx);
- // Return the value of attribute ATTR as a address.
- off_t
- address_attribute(unsigned int attr, unsigned int* shndx);
- // Return the value of attribute ATTR as a flag.
- bool
- flag_attribute(unsigned int attr)
- { return this->int_attribute(attr) != 0; }
- // Return true if this DIE is a declaration.
- bool
- is_declaration()
- { return this->flag_attribute(elfcpp::DW_AT_declaration); }
- // Return the parent of this DIE.
- Dwarf_die*
- parent() const
- { return this->parent_; }
- // Return the offset of this DIE.
- off_t
- offset() const
- { return this->die_offset_; }
- // Return the offset of this DIE's first child.
- off_t
- child_offset();
- // Set the offset of this DIE's next sibling.
- void
- set_sibling_offset(off_t sibling_offset)
- { this->sibling_offset_ = sibling_offset; }
- // Return the offset of this DIE's next sibling.
- off_t
- sibling_offset();
- private:
- typedef Dwarf_abbrev_table::Abbrev_code Abbrev_code;
- // Read all the attributes of the DIE.
- bool
- read_attributes();
- // Set the name of the DIE if present.
- void
- set_name();
- // Set the linkage name if present.
- void
- set_linkage_name();
- // Skip all the attributes of the DIE and return the offset
- // of the next DIE.
- off_t
- skip_attributes();
- // The Dwarf_info_reader, for reading attributes.
- Dwarf_info_reader* dwinfo_;
- // The parent of this DIE.
- Dwarf_die* parent_;
- // Offset of this DIE within its compilation unit.
- off_t die_offset_;
- // Offset of the first attribute, relative to the beginning of the DIE.
- off_t attr_offset_;
- // Offset of the first child, relative to the compilation unit.
- off_t child_offset_;
- // Offset of the next sibling, relative to the compilation unit.
- off_t sibling_offset_;
- // The abbreviation table entry.
- const Abbrev_code* abbrev_code_;
- // The list of attributes.
- Attributes attributes_;
- // True if the attributes have been read.
- bool attributes_read_;
- // The following fields hold common attributes to avoid a linear
- // search through the attribute list.
- // The DIE name (DW_AT_name).
- const char* name_;
- // Offset of the name in the string table (for DW_FORM_strp).
- off_t name_off_;
- // The linkage name (DW_AT_linkage_name or DW_AT_MIPS_linkage_name).
- const char* linkage_name_;
- // Offset of the linkage name in the string table (for DW_FORM_strp).
- off_t linkage_name_off_;
- // Section index of the string table (for DW_FORM_strp).
- unsigned int string_shndx_;
- // The value of a DW_AT_specification attribute.
- off_t specification_;
- // The value of a DW_AT_abstract_origin attribute.
- off_t abstract_origin_;
- };
- // This class is used to read the debug info from the .debug_info
- // or .debug_types sections. This is a base class that implements
- // the generic parsing of the compilation unit header and DIE
- // structure. The parse() method parses the entire section, and
- // calls the various visit_xxx() methods for each header. Clients
- // should derive a new class from this one and implement the
- // visit_compilation_unit() and visit_type_unit() functions.
- class Dwarf_info_reader
- {
- public:
- Dwarf_info_reader(bool is_type_unit,
- Relobj* object,
- const unsigned char* symtab,
- off_t symtab_size,
- unsigned int shndx,
- unsigned int reloc_shndx,
- unsigned int reloc_type)
- : is_type_unit_(is_type_unit), object_(object), symtab_(symtab),
- symtab_size_(symtab_size), shndx_(shndx), reloc_shndx_(reloc_shndx),
- reloc_type_(reloc_type), abbrev_shndx_(0), string_shndx_(0),
- buffer_(NULL), buffer_end_(NULL), cu_offset_(0), cu_length_(0),
- offset_size_(0), address_size_(0), cu_version_(0),
- abbrev_table_(), ranges_table_(this),
- reloc_mapper_(NULL), string_buffer_(NULL), string_buffer_end_(NULL),
- owns_string_buffer_(false), string_output_section_offset_(0)
- { }
- virtual
- ~Dwarf_info_reader()
- {
- if (this->reloc_mapper_ != NULL)
- delete this->reloc_mapper_;
- if (this->owns_string_buffer_ && this->string_buffer_ != NULL)
- delete[] this->string_buffer_;
- }
- // Begin parsing the debug info. This calls visit_compilation_unit()
- // or visit_type_unit() for each compilation or type unit found in the
- // section, and visit_die() for each top-level DIE.
- void
- parse();
- // Return the abbrev code entry for a CODE.
- const Dwarf_abbrev_table::Abbrev_code*
- get_abbrev(unsigned int code)
- { return this->abbrev_table_.get_abbrev(code); }
- // Return a pointer to the DWARF info buffer at OFFSET.
- const unsigned char*
- buffer_at_offset(off_t offset) const
- {
- const unsigned char* p = this->buffer_ + this->cu_offset_ + offset;
- if (this->check_buffer(p + 1))
- return p;
- return NULL;
- }
- // Read a possibly unaligned integer of SIZE.
- template <int valsize>
- inline typename elfcpp::Valtype_base<valsize>::Valtype
- read_from_pointer(const unsigned char* source);
- // Read a possibly unaligned integer of SIZE. Update SOURCE after read.
- template <int valsize>
- inline typename elfcpp::Valtype_base<valsize>::Valtype
- read_from_pointer(const unsigned char** source);
- // Look for a relocation at offset ATTR_OFF in the dwarf info,
- // and return the section index and offset of the target.
- unsigned int
- lookup_reloc(off_t attr_off, off_t* target_off);
- // Return a string from the DWARF string table.
- const char*
- get_string(off_t str_off, unsigned int string_shndx);
- // Return the size of a DWARF offset.
- unsigned int
- offset_size() const
- { return this->offset_size_; }
- // Return the size of an address.
- unsigned int
- address_size() const
- { return this->address_size_; }
- // Set the section index of the .debug_abbrev section.
- // We use this if there are no relocations for the .debug_info section.
- // If not set, the code parse() routine will search for the section by name.
- void
- set_abbrev_shndx(unsigned int abbrev_shndx)
- { this->abbrev_shndx_ = abbrev_shndx; }
- // Return a pointer to the object file's ELF symbol table.
- const unsigned char*
- symtab() const
- { return this->symtab_; }
- // Return the size of the object file's ELF symbol table.
- off_t
- symtab_size() const
- { return this->symtab_size_; }
- // Return the offset of the current compilation unit.
- off_t
- cu_offset() const
- { return this->cu_offset_; }
- protected:
- // Begin parsing the debug info. This calls visit_compilation_unit()
- // or visit_type_unit() for each compilation or type unit found in the
- // section, and visit_die() for each top-level DIE.
- template<bool big_endian>
- void
- do_parse();
- // The following methods are hooks that are meant to be implemented
- // by a derived class. A default, do-nothing, implementation of
- // each is provided for this base class.
- // Visit a compilation unit.
- virtual void
- visit_compilation_unit(off_t cu_offset, off_t cu_length, Dwarf_die* root_die);
- // Visit a type unit.
- virtual void
- visit_type_unit(off_t tu_offset, off_t tu_length, off_t type_offset,
- uint64_t signature, Dwarf_die* root_die);
- // Read the range table.
- Dwarf_range_list*
- read_range_list(unsigned int ranges_shndx, off_t ranges_offset)
- {
- return this->ranges_table_.read_range_list(this->object_,
- this->symtab_,
- this->symtab_size_,
- this->address_size_,
- ranges_shndx,
- ranges_offset);
- }
- // Return the object.
- Relobj*
- object() const
- { return this->object_; }
- // Checkpoint the relocation tracker.
- uint64_t
- get_reloc_checkpoint() const
- { return this->reloc_mapper_->checkpoint(); }
- // Reset the relocation tracker to the CHECKPOINT.
- void
- reset_relocs(uint64_t checkpoint)
- { this->reloc_mapper_->reset(checkpoint); }
- private:
- // Print a warning about a corrupt debug section.
- void
- warn_corrupt_debug_section() const;
- // Check that P is within the bounds of the current section.
- bool
- check_buffer(const unsigned char* p) const
- {
- if (p > this->buffer_ + this->cu_offset_ + this->cu_length_)
- {
- this->warn_corrupt_debug_section();
- return false;
- }
- return true;
- }
- // Read the DWARF string table.
- bool
- read_string_table(unsigned int string_shndx)
- {
- // If we've already read this string table, return immediately.
- if (this->string_shndx_ > 0 && this->string_shndx_ == string_shndx)
- return true;
- if (string_shndx == 0 && this->string_shndx_ > 0)
- return true;
- return this->do_read_string_table(string_shndx);
- }
- bool
- do_read_string_table(unsigned int string_shndx);
- // True if this is a type unit; false for a compilation unit.
- bool is_type_unit_;
- // The object containing the .debug_info or .debug_types input section.
- Relobj* object_;
- // The ELF symbol table.
- const unsigned char* symtab_;
- // The size of the ELF symbol table.
- off_t symtab_size_;
- // Index of the .debug_info or .debug_types section.
- unsigned int shndx_;
- // Index of the relocation section.
- unsigned int reloc_shndx_;
- // Type of the relocation section (SHT_REL or SHT_RELA).
- unsigned int reloc_type_;
- // Index of the .debug_abbrev section (0 if not known).
- unsigned int abbrev_shndx_;
- // Index of the .debug_str section.
- unsigned int string_shndx_;
- // The buffer for the debug info.
- const unsigned char* buffer_;
- const unsigned char* buffer_end_;
- // Offset of the current compilation unit.
- off_t cu_offset_;
- // Length of the current compilation unit.
- off_t cu_length_;
- // Size of a DWARF offset for the current compilation unit.
- unsigned int offset_size_;
- // Size of an address for the target architecture.
- unsigned int address_size_;
- // Compilation unit version number.
- unsigned int cu_version_;
- // Abbreviations table for current compilation unit.
- Dwarf_abbrev_table abbrev_table_;
- // Ranges table for the current compilation unit.
- Dwarf_ranges_table ranges_table_;
- // Relocation mapper for the section.
- Elf_reloc_mapper* reloc_mapper_;
- // The buffer for the debug string table.
- const char* string_buffer_;
- const char* string_buffer_end_;
- // True if this object owns the buffer and needs to delete it.
- bool owns_string_buffer_;
- // For incremental update links, this will hold the offset of the
- // input .debug_str section within the output section. Offsets read
- // from relocated data will be relative to the output section, and need
- // to be corrected before reading data from the input section.
- uint64_t string_output_section_offset_;
- };
- // We can't do better than to keep the offsets in a sorted vector.
- // Here, offset is the key, and file_num/line_num is the value.
- struct Offset_to_lineno_entry
- {
- off_t offset;
- int header_num; // which file-list to use (i.e. which .o file are we in)
- // A pointer into files_.
- unsigned int file_num : sizeof(int) * CHAR_BIT - 1;
- // True if this was the last entry for the current offset, meaning
- // it's the line that actually applies.
- unsigned int last_line_for_offset : 1;
- // The line number in the source file. -1 to indicate end-of-function.
- int line_num;
- // This sorts by offsets first, and then puts the correct line to
- // report for a given offset at the beginning of the run of equal
- // offsets (so that asking for 1 line gives the best answer). This
- // is not a total ordering.
- bool operator<(const Offset_to_lineno_entry& that) const
- {
- if (this->offset != that.offset)
- return this->offset < that.offset;
- // Note the '>' which makes this sort 'true' first.
- return this->last_line_for_offset > that.last_line_for_offset;
- }
- };
- // This class is used to read the line information from the debugging
- // section of an object file.
- class Dwarf_line_info
- {
- public:
- Dwarf_line_info()
- { }
- virtual
- ~Dwarf_line_info()
- { }
- // Given a section number and an offset, returns the associated
- // file and line-number, as a string: "file:lineno". If unable
- // to do the mapping, returns the empty string. You must call
- // read_line_mappings() before calling this function. If
- // 'other_lines' is non-NULL, fills that in with other line
- // numbers assigned to the same offset.
- std::string
- addr2line(unsigned int shndx, off_t offset,
- std::vector<std::string>* other_lines)
- { return this->do_addr2line(shndx, offset, other_lines); }
- // A helper function for a single addr2line lookup. It also keeps a
- // cache of the last CACHE_SIZE Dwarf_line_info objects it created;
- // set to 0 not to cache at all. The larger CACHE_SIZE is, the more
- // chance this routine won't have to re-create a Dwarf_line_info
- // object for its addr2line computation; such creations are slow.
- // NOTE: Not thread-safe, so only call from one thread at a time.
- static std::string
- one_addr2line(Object* object, unsigned int shndx, off_t offset,
- size_t cache_size, std::vector<std::string>* other_lines);
- // This reclaims all the memory that one_addr2line may have cached.
- // Use this when you know you will not be calling one_addr2line again.
- static void
- clear_addr2line_cache();
- private:
- virtual std::string
- do_addr2line(unsigned int shndx, off_t offset,
- std::vector<std::string>* other_lines) = 0;
- };
- template<int size, bool big_endian>
- class Sized_dwarf_line_info : public Dwarf_line_info
- {
- public:
- // Initializes a .debug_line reader for a given object file.
- // If SHNDX is specified and non-negative, only read the debug
- // information that pertains to the specified section.
- Sized_dwarf_line_info(Object* object, unsigned int read_shndx = -1U);
- virtual
- ~Sized_dwarf_line_info()
- {
- if (this->buffer_start_ != NULL)
- delete[] this->buffer_start_;
- }
- private:
- std::string
- do_addr2line(unsigned int shndx, off_t offset,
- std::vector<std::string>* other_lines);
- // Formats a file and line number to a string like "dirname/filename:lineno".
- std::string
- format_file_lineno(const Offset_to_lineno_entry& lineno) const;
- // Start processing line info, and populates the offset_map_.
- // If SHNDX is non-negative, only store debug information that
- // pertains to the specified section.
- void
- read_line_mappings(unsigned int shndx);
- // Reads the relocation section associated with .debug_line and
- // stores relocation information in reloc_map_.
- void
- read_relocs();
- // Reads the DWARF2/3 header for this line info. Each takes as input
- // a starting buffer position, and returns the ending position.
- const unsigned char*
- read_header_prolog(const unsigned char* lineptr);
- const unsigned char*
- read_header_tables(const unsigned char* lineptr);
- // Reads the DWARF2/3 line information. If shndx is non-negative,
- // discard all line information that doesn't pertain to the given
- // section.
- const unsigned char*
- read_lines(const unsigned char* lineptr, unsigned int shndx);
- // Process a single line info opcode at START using the state
- // machine at LSM. Return true if we should define a line using the
- // current state of the line state machine. Place the length of the
- // opcode in LEN.
- bool
- process_one_opcode(const unsigned char* start,
- struct LineStateMachine* lsm, size_t* len);
- // Some parts of processing differ depending on whether the input
- // was a .o file or not.
- bool input_is_relobj();
- // If we saw anything amiss while parsing, we set this to false.
- // Then addr2line will always fail (rather than return possibly-
- // corrupt data).
- bool data_valid_;
- // A DWARF2/3 line info header. This is not the same size as in the
- // actual file, as the one in the file may have a 32 bit or 64 bit
- // lengths.
- struct Dwarf_line_infoHeader
- {
- off_t total_length;
- int version;
- off_t prologue_length;
- int min_insn_length; // insn stands for instructin
- bool default_is_stmt; // stmt stands for statement
- signed char line_base;
- int line_range;
- unsigned char opcode_base;
- std::vector<unsigned char> std_opcode_lengths;
- int offset_size;
- } header_;
- // buffer is the buffer for our line info, starting at exactly where
- // the line info to read is.
- const unsigned char* buffer_;
- const unsigned char* buffer_end_;
- // If the buffer was allocated temporarily, and therefore must be
- // deallocated in the dtor, this contains a pointer to the start
- // of the buffer.
- const unsigned char* buffer_start_;
- // This has relocations that point into buffer.
- Sized_elf_reloc_mapper<size, big_endian>* reloc_mapper_;
- // The type of the reloc section in track_relocs_--SHT_REL or SHT_RELA.
- unsigned int track_relocs_type_;
- // This is used to figure out what section to apply a relocation to.
- const unsigned char* symtab_buffer_;
- section_size_type symtab_buffer_size_;
- // Holds the directories and files as we see them. We have an array
- // of directory-lists, one for each .o file we're reading (usually
- // there will just be one, but there may be more if input is a .so).
- std::vector<std::vector<std::string> > directories_;
- // The first part is an index into directories_, the second the filename.
- std::vector<std::vector< std::pair<int, std::string> > > files_;
- // An index into the current directories_ and files_ vectors.
- int current_header_index_;
- // A sorted map from offset of the relocation target to the shndx
- // and addend for the relocation.
- typedef std::map<off_t, std::pair<unsigned int, off_t> >
- Reloc_map;
- Reloc_map reloc_map_;
- // We have a vector of offset->lineno entries for every input section.
- typedef Unordered_map<unsigned int, std::vector<Offset_to_lineno_entry> >
- Lineno_map;
- Lineno_map line_number_map_;
- };
- } // End namespace gold.
- #endif // !defined(GOLD_DWARF_READER_H)
|