// Writes ELF file. // // The basic layout of the elf file: // Elf_Ehdr - The ELF header. // Elf_Phdr[] - Program headers for the linker. // .note.gnu.build-id - Optional build ID section (SHA-1 digest). // .dynstr - Names for .dynsym. // .dynsym - A few oat-specific dynamic symbols. // .hash - Hash-table for .dynsym. // .dynamic - Tags which let the linker locate .dynsym. // .rodata - Oat metadata. // .text - Compiled code. // .bss - Zero-initialized writeable section. // .dex - Reserved NOBITS space for dex-related data. // .strtab - Names for .symtab. // .symtab - Debug symbols. // .debug_frame - Unwind information (CFI). // .debug_info - Debug information. // .debug_abbrev - Decoding information for .debug_info. // .debug_str - Strings for .debug_info. // .debug_line - Line number tables. // .shstrtab - Names of ELF sections. // Elf_Shdr[] - Section headers. // // Some section are optional (the debug sections in particular). // // To reduce the amount of padding necessary to page-align sections with // different permissions (and thus reduce disk usage), we group most read-only // data sections together at the start of the file. This includes .dynstr, // .dynsym, .hash, and .dynamic, whose contents are dependent on other sections. // Therefore, when building the ELF we initially just reserve space for them, // and write their contents later. // // In the cases where we need to buffer, we write the larger section first // and buffer the smaller one (e.g. .strtab is bigger than .symtab). // // The debug sections are written last for easier stripping. // template <typename ElfTypes> class ElfBuilder final { public: static constexpr size_t kMaxProgramHeaders = 16; // SHA-1 digest. Not using SHA_DIGEST_LENGTH from openssl/sha.h to avoid // spreading this header dependency for just this single constant. static constexpr size_t kBuildIdLen = 20;
using Elf_Addr = typename ElfTypes::Addr; using Elf_Off = typename ElfTypes::Off; using Elf_Word = typename ElfTypes::Word; using Elf_Sword = typename ElfTypes::Sword; using Elf_Ehdr = typename ElfTypes::Ehdr; using Elf_Shdr = typename ElfTypes::Shdr; using Elf_Sym = typename ElfTypes::Sym; using Elf_Phdr = typename ElfTypes::Phdr; using Elf_Dyn = typename ElfTypes::Dyn;
// Base class of all sections. class Section : public OutputStream { public:
Section(ElfBuilder<ElfTypes>* owner, const std::string& name,
Elf_Word type,
Elf_Word flags, const Section* link,
Elf_Word info,
Elf_Word align,
Elf_Word entsize)
: OutputStream(name),
owner_(owner),
header_(),
section_index_(0),
name_(name),
link_(link),
phdr_flags_(PF_R),
phdr_type_(0) {
DCHECK_GE(align, 1u);
header_.sh_type = type;
header_.sh_flags = flags;
header_.sh_info = info;
header_.sh_addralign = align;
header_.sh_entsize = entsize;
}
// Allocate chunk of virtual memory for this section from the owning ElfBuilder. // This must be done at the start for all SHF_ALLOC sections (i.e. mmaped by linker). // It is fine to allocate section but never call Start/End() (e.g. the .bss section). void AllocateVirtualMemory(Elf_Word size) {
AllocateVirtualMemory(owner_->virtual_address_, size);
}
// Start writing file data of this section. virtualvoid Start() {
CHECK(owner_->current_section_ == nullptr);
Elf_Word align = AddSection();
CHECK_EQ(header_.sh_offset, 0u);
header_.sh_offset = owner_->AlignFileOffset(align);
owner_->current_section_ = this;
}
// Finish writing file data of this section. virtualvoid End() {
CHECK(owner_->current_section_ == this);
Elf_Word position = GetPosition();
CHECK(header_.sh_size == 0u || header_.sh_size == position);
header_.sh_size = position;
owner_->current_section_ = nullptr;
}
// Get the number of bytes written so far. // Only valid while writing the section.
Elf_Word GetPosition() const {
CHECK(owner_->current_section_ == this);
off_t file_offset = owner_->stream_.Seek(0, kSeekCurrent);
DCHECK_GE(file_offset, (off_t)header_.sh_offset); return file_offset - header_.sh_offset;
}
// Get the location of this section in virtual memory.
Elf_Addr GetAddress() const {
DCHECK_NE(header_.sh_flags & SHF_ALLOC, 0u);
DCHECK_NE(header_.sh_addr, 0u); return header_.sh_addr;
}
// This function always succeeds to simplify code. // Use builder's Good() to check the actual status. bool WriteFully(constvoid* buffer, size_t byte_count) override {
CHECK(owner_->current_section_ == this); return owner_->stream_.WriteFully(buffer, byte_count);
}
// This function always succeeds to simplify code. // Use builder's Good() to check the actual status.
off_t Seek(off_t offset, Whence whence) override { // Forward the seek as-is and trust the caller to use it reasonably. return owner_->stream_.Seek(offset, whence);
}
// This function flushes the output and returns whether it succeeded. // If there was a previous failure, this does nothing and returns false, i.e. failed. bool Flush() override { return owner_->stream_.Flush();
}
// Returns true if this section has been added. bool Exists() const { return section_index_ != 0;
}
protected: // Add this section to the list of generated ELF sections (if not there already). // It also ensures the alignment is sufficient to generate valid program headers, // since that depends on the previous section. It returns the required alignment.
Elf_Word AddSection() { if (section_index_ == 0) {
std::vector<Section*>& sections = owner_->sections_; // Add alignment if the section needs to be mapped at runtime and its R/W/X flags differ // from the previous section. if ((header_.sh_flags & SHF_ALLOC) != 0) {
Section* prev = !sections.empty() ? sections.back() : nullptr; bool align = false;
if (prev != nullptr && (prev->header_.sh_flags & SHF_ALLOC) == 0) { // ALLOC flag changed.
align = true;
} elseif (header_.sh_type == SHT_NOBITS) { // Always align NOBITS sections. It costs no disk space and ensures the virtual address // starts on a clean page boundary.
align = true;
} elseif (prev != nullptr && prev->header_.sh_type == SHT_NOBITS) { // NOBITS mode changed.
align = true;
} elseif ((prev != nullptr ? prev->phdr_flags_ : PF_R) != phdr_flags_) { // R/W/X flags changed.
align = true;
}
if (align) {
header_.sh_addralign = kElfSegmentAlignment;
}
}
sections.push_back(this);
section_index_ = sections.size(); // First ELF section has index 1.
} return owner_->write_program_headers_ ? header_.sh_addralign : 1;
}
void Write() { // The size fields are 32-bit on both 32-bit and 64-bit systems, confirmed // with the 64-bit linker and libbfd code. The size of name and desc must // be a multiple of 4 and it currently is. this->WriteUint32(4); // namesz. this->WriteUint32(kBuildIdLen); // descsz. this->WriteUint32(3); // type = NT_GNU_BUILD_ID. this->WriteFully("GNU", 4); // name.
digest_start_ = this->Seek(0, kSeekCurrent);
static_assert(kBuildIdLen % 4 == 0, "expecting a mutliple of 4 for build ID length"); this->WriteFully(std::string(kBuildIdLen, '\0').c_str(), kBuildIdLen); // desc.
DCHECK_EQ(this->GetPosition(), GetSize());
}
// File offset where the build ID digest starts. // Populated with zeros first, then updated with the actual value as the // very last thing in the output file creation.
off_t digest_start_;
};
// Reserve space for ELF header and program headers. // We do not know the number of headers until later, so // it is easiest to just reserve a fixed amount of space. // Program headers are required for loading by the linker. // It is possible to omit them for ELF files used for debugging. void Start(bool write_program_headers = true) { int size = sizeof(Elf_Ehdr); if (write_program_headers) {
size += sizeof(Elf_Phdr) * kMaxProgramHeaders;
}
stream_.Seek(size, kSeekSet);
started_ = true;
virtual_address_ += size;
write_program_headers_ = write_program_headers;
}
// Note: loaded_size_ == 0 for tests that don't write .rodata, .text, .bss, // .dynstr, dynsym, .hash and .dynamic. These tests should not read loaded_size_.
CHECK(loaded_size_ == 0 || loaded_size_ == RoundUp(virtual_address_, kElfSegmentAlignment))
<< loaded_size_ << " " << virtual_address_;
// Write section names and finish the section headers.
shstrtab_.Start();
shstrtab_.Write(""); for (auto* section : sections_) {
section->header_.sh_name = shstrtab_.Write(section->name_); if (section->link_ != nullptr) {
section->header_.sh_link = section->link_->GetSectionIndex();
} if (section->header_.sh_offset == 0) {
section->header_.sh_type = SHT_NOBITS;
}
}
shstrtab_.End();
// Write section headers at the end of the ELF file.
std::vector<Elf_Shdr> shdrs;
shdrs.reserve(1u + sections_.size());
shdrs.push_back(Elf_Shdr()); // NULL at index 0. for (auto* section : sections_) {
shdrs.push_back(section->header_);
}
Elf_Off section_headers_offset;
section_headers_offset = AlignFileOffset(sizeof(Elf_Off));
stream_.WriteFully(shdrs.data(), shdrs.size() * sizeof(shdrs[0]));
off_t file_size = stream_.Seek(0, kSeekCurrent);
// Flush everything else before writing the program headers. This should prevent // the OS from reordering writes, so that we don't end up with valid headers // and partially written data if we suddenly lose power, for example.
stream_.Flush();
// The main ELF header.
Elf_Ehdr elf_header = MakeElfHeader(isa_);
elf_header.e_shoff = section_headers_offset;
elf_header.e_shnum = shdrs.size();
elf_header.e_shstrndx = shstrtab_.GetSectionIndex();
// This has the same effect as running the "strip" command line tool. // It removes all debugging sections (but it keeps mini-debug-info). // It returns the ELF file size (as the caller needs to truncate it).
off_t Strip() {
DCHECK(finished_);
finished_ = false;
Elf_Off end = 0;
std::vector<Section*> non_debug_sections; for (Section* section : sections_) { if (section == &shstrtab_ || // Section names will be recreated.
section == &symtab_ ||
section == &strtab_ ||
section->name_.find(".debug_") == 0) {
section->header_.sh_offset = 0;
section->header_.sh_size = 0;
section->section_index_ = 0;
} else { if (section->header_.sh_type != SHT_NOBITS) {
DCHECK_LE(section->header_.sh_offset, end + kElfSegmentAlignment)
<< "Large gap between sections";
end = std::max<off_t>(end, section->header_.sh_offset + section->header_.sh_size);
}
non_debug_sections.push_back(section);
}
}
shstrtab_.Reset(); // Write the non-debug section headers, program headers, and ELF header again.
sections_ = std::move(non_debug_sections);
stream_.Seek(end, kSeekSet); return End();
}
// Reserve space for: .dynstr, .dynsym, .hash and .dynamic. // // Dynamic section content is dependent on subsequent sections. Here, reserve enough // space for it. We will write the content later (in PrepareDynamicSection). void ReserveSpaceForDynamicSection(const std::string& elf_file_path) {
CHECK_EQ(dynamic_sections_start_, 0);
CHECK_EQ(dynamic_sections_reserved_size_, 0u);
CHECK(!rodata_.Exists());
// The running program does not have access to section headers // and the loader is not supposed to use them either. // The dynamic sections therefore replicates some of the layout // information like the address and size of .rodata and .text. // It also contains other metadata like the SONAME. // The .dynamic section is found using the PT_DYNAMIC program header. void PrepareDynamicSection(const std::string& elf_file_path,
Elf_Word rodata_size,
Elf_Word text_size,
Elf_Word data_img_rel_ro_size,
Elf_Word data_img_rel_ro_app_image_offset,
Elf_Word bss_size,
Elf_Word bss_methods_offset,
Elf_Word bss_roots_offset,
Elf_Word bss_strings_offset) {
CHECK_NE(dynamic_sections_reserved_size_, 0u);
// Skip over the reserved memory for dynamic sections - we prepare them later // due to dependencies.
Elf_Addr dynamic_sections_address = virtual_address_;
virtual_address_ += dynamic_sections_reserved_size_;
rodata_.AllocateVirtualMemory(rodata_size);
text_.AllocateVirtualMemory(text_size); if (data_img_rel_ro_size != 0) {
data_img_rel_ro_.AllocateVirtualMemory(data_img_rel_ro_size);
} if (bss_size != 0) {
bss_.AllocateVirtualMemory(bss_size);
}
// Cache .dynstr, .dynsym and .hash data.
dynstr_.Add(""); // dynstr should start with empty string.
Elf_Word oatdata = dynstr_.Add(GetDynamicSymbolName(DynamicSymbol::kOatData));
dynsym_.Add(oatdata, &rodata_, rodata_.GetAddress(), rodata_size, STB_GLOBAL, STT_OBJECT); if (text_size != 0u) { // The runtime does not care about the size of this symbol (it uses the "lastword" symbol). // We use size 0 (meaning "unknown size" in ELF) to prevent overlap with the debug symbols.
Elf_Word oatexec = dynstr_.Add(GetDynamicSymbolName(DynamicSymbol::kOatExec));
dynsym_.Add(oatexec, &text_, text_.GetAddress(), /* size= */ 0, STB_GLOBAL, STT_OBJECT);
Elf_Word oatlastword = dynstr_.Add(GetDynamicSymbolName(DynamicSymbol::kOatLastWord));
Elf_Word oatlastword_address = text_.GetAddress() + text_size - 4;
dynsym_.Add(oatlastword, &text_, oatlastword_address, 4, STB_GLOBAL, STT_OBJECT);
} elseif (rodata_size != 0) { // rodata_ can be size 0 for dwarf_test.
Elf_Word oatlastword = dynstr_.Add(GetDynamicSymbolName(DynamicSymbol::kOatLastWord));
Elf_Word oatlastword_address = rodata_.GetAddress() + rodata_size - 4;
dynsym_.Add(oatlastword, &rodata_, oatlastword_address, 4, STB_GLOBAL, STT_OBJECT);
}
DCHECK_LE(data_img_rel_ro_app_image_offset, data_img_rel_ro_size); if (data_img_rel_ro_size != 0u) {
Elf_Word oatdataimgrelro = dynstr_.Add(GetDynamicSymbolName(DynamicSymbol::kOatDataImgRelRo));
dynsym_.Add(oatdataimgrelro,
&data_img_rel_ro_,
data_img_rel_ro_.GetAddress(),
data_img_rel_ro_size,
STB_GLOBAL,
STT_OBJECT);
Elf_Word oatdataimgrelrolastword =
dynstr_.Add(GetDynamicSymbolName(DynamicSymbol::kOatDataImgRelRoLastWord));
dynsym_.Add(oatdataimgrelrolastword,
&data_img_rel_ro_,
data_img_rel_ro_.GetAddress() + data_img_rel_ro_size - 4, 4,
STB_GLOBAL,
STT_OBJECT); if (data_img_rel_ro_app_image_offset != data_img_rel_ro_size) {
Elf_Word oatdataimgrelroappimage =
dynstr_.Add(GetDynamicSymbolName(DynamicSymbol::kOatDataImgRelRoAppImage));
dynsym_.Add(oatdataimgrelroappimage,
&data_img_rel_ro_,
data_img_rel_ro_.GetAddress() + data_img_rel_ro_app_image_offset,
data_img_rel_ro_app_image_offset,
STB_GLOBAL,
STT_OBJECT);
}
}
DCHECK_LE(bss_methods_offset, bss_roots_offset);
DCHECK_LE(bss_roots_offset, bss_strings_offset);
DCHECK_LE(bss_strings_offset, bss_size); if (bss_size != 0u) {
Elf_Word oatbss = dynstr_.Add(GetDynamicSymbolName(DynamicSymbol::kOatBss));
dynsym_.Add(oatbss, &bss_, bss_.GetAddress(), bss_roots_offset, STB_GLOBAL, STT_OBJECT); // Add a symbol marking the start of the methods part of the .bss, if not empty. if (bss_methods_offset != bss_roots_offset) {
Elf_Word bss_methods_address = bss_.GetAddress() + bss_methods_offset;
Elf_Word bss_methods_size = bss_roots_offset - bss_methods_offset;
Elf_Word oatbssroots = dynstr_.Add(GetDynamicSymbolName(DynamicSymbol::kOatBssMethods));
dynsym_.Add(
oatbssroots, &bss_, bss_methods_address, bss_methods_size, STB_GLOBAL, STT_OBJECT);
} // Add a symbol marking the start of the GC roots part of the .bss, if not empty. if (bss_roots_offset != bss_size) {
Elf_Word bss_roots_address = bss_.GetAddress() + bss_roots_offset;
Elf_Word bss_roots_size = bss_size - bss_roots_offset;
Elf_Word oatbssroots = dynstr_.Add(GetDynamicSymbolName(DynamicSymbol::kOatBssRoots));
dynsym_.Add(
oatbssroots, &bss_, bss_roots_address, bss_roots_size, STB_GLOBAL, STT_OBJECT);
} // Add a symbol marking the start of the strings part of the .bss, if not empty. if (bss_strings_offset != bss_size) {
Elf_Word bss_strings_address = bss_.GetAddress() + bss_strings_offset;
Elf_Word bss_strings_size = bss_size - bss_strings_offset;
Elf_Word oatbssstrings = dynstr_.Add(GetDynamicSymbolName(DynamicSymbol::kOatBssStrings));
dynsym_.Add(
oatbssstrings, &bss_, bss_strings_address, bss_strings_size, STB_GLOBAL, STT_OBJECT);
}
Elf_Word oatbsslastword = dynstr_.Add(GetDynamicSymbolName(DynamicSymbol::kOatBssLastWord));
Elf_Word bsslastword_address = bss_.GetAddress() + bss_size - 4;
dynsym_.Add(oatbsslastword, &bss_, bsslastword_address, 4, STB_GLOBAL, STT_OBJECT);
}
// We do not really need a hash-table since there is so few entries. // However, the hash-table is the only way the linker can actually // determine the number of symbols in .dynsym so it is required. int count = dynsym_.GetCacheSize() / sizeof(Elf_Sym); // Includes NULL.
std::vector<Elf_Word> hash;
PrepareDynamicSymbolHashtable(count, &hash);
hash_.Add(hash.data(), hash.size() * sizeof(hash[0]));
// Create program headers based on written sections.
std::vector<Elf_Phdr> MakeProgramHeaders() {
CHECK(!sections_.empty());
std::vector<Elf_Phdr> phdrs;
{ // The program headers must start with PT_PHDR which is used in // loaded process to determine the number of program headers.
Elf_Phdr phdr = Elf_Phdr();
phdr.p_type = PT_PHDR;
phdr.p_flags = PF_R;
phdr.p_offset = phdr.p_vaddr = phdr.p_paddr = sizeof(Elf_Ehdr);
phdr.p_filesz = phdr.p_memsz = 0; // We need to fill this later.
phdr.p_align = sizeof(Elf_Off);
phdrs.push_back(phdr); // Tell the linker to mmap the start of file to memory.
Elf_Phdr load = Elf_Phdr();
load.p_type = PT_LOAD;
load.p_flags = PF_R;
load.p_offset = load.p_vaddr = load.p_paddr = 0;
load.p_filesz = load.p_memsz = sizeof(Elf_Ehdr) + sizeof(Elf_Phdr) * kMaxProgramHeaders;
load.p_align = kElfSegmentAlignment;
phdrs.push_back(load);
} // Create program headers for sections. for (auto* section : sections_) { const Elf_Shdr& shdr = section->header_; if ((shdr.sh_flags & SHF_ALLOC) != 0 && shdr.sh_size != 0) {
DCHECK(shdr.sh_addr != 0u) << "Allocate virtual memory for the section"; // PT_LOAD tells the linker to mmap part of the file. // The linker can only mmap page-aligned sections. // Single PT_LOAD may contain several ELF sections.
Elf_Phdr& prev = phdrs.back();
Elf_Phdr load = Elf_Phdr();
load.p_type = PT_LOAD;
load.p_flags = section->phdr_flags_;
load.p_offset = shdr.sh_offset;
load.p_vaddr = load.p_paddr = shdr.sh_addr;
load.p_filesz = (shdr.sh_type != SHT_NOBITS ? shdr.sh_size : 0u);
load.p_memsz = shdr.sh_size;
load.p_align = shdr.sh_addralign; if (prev.p_type == load.p_type &&
prev.p_flags == load.p_flags &&
prev.p_filesz == prev.p_memsz && // Do not merge .bss
load.p_filesz == load.p_memsz) { // Do not merge .bss // Merge this PT_LOAD with the previous one.
Elf_Word size = shdr.sh_offset + shdr.sh_size - prev.p_offset;
prev.p_filesz = size;
prev.p_memsz = size;
} else { // If we are adding new load, it must be aligned.
CHECK_EQ(shdr.sh_addralign, (Elf_Word)kElfSegmentAlignment);
phdrs.push_back(load);
}
}
} for (auto* section : sections_) { const Elf_Shdr& shdr = section->header_; if ((shdr.sh_flags & SHF_ALLOC) != 0 && shdr.sh_size != 0) { // Other PT_* types allow the program to locate interesting // parts of memory at runtime. They must overlap with PT_LOAD. if (section->phdr_type_ != 0) {
Elf_Phdr phdr = Elf_Phdr();
phdr.p_type = section->phdr_type_;
phdr.p_flags = section->phdr_flags_;
phdr.p_offset = shdr.sh_offset;
phdr.p_vaddr = phdr.p_paddr = shdr.sh_addr;
phdr.p_filesz = phdr.p_memsz = shdr.sh_size;
phdr.p_align = shdr.sh_addralign;
phdrs.push_back(phdr);
}
}
} // Set the size of the initial PT_PHDR.
CHECK_EQ(phdrs[0].p_type, (Elf_Word)PT_PHDR);
phdrs[0].p_filesz = phdrs[0].p_memsz = phdrs.size() * sizeof(Elf_Phdr);
static constexpr std::string GetDynamicSymbolName(DynamicSymbol sym) { switch (sym) { case DynamicSymbol::kNull: return""; case DynamicSymbol::kOatData: return"oatdata"; case DynamicSymbol::kOatExec: return"oatexec"; case DynamicSymbol::kOatLastWord: return"oatlastword"; case DynamicSymbol::kOatDataImgRelRo: return"oatdataimgrelro"; case DynamicSymbol::kOatDataImgRelRoLastWord: return"oatdataimgrelrolastword"; case DynamicSymbol::kOatDataImgRelRoAppImage: return"oatdataimgrelroappimage"; case DynamicSymbol::kOatBss: return"oatbss"; case DynamicSymbol::kOatBssMethods: return"oatbssmethods"; case DynamicSymbol::kOatBssRoots: return"oatbssroots"; case DynamicSymbol::kOatBssStrings: return"oatbssstrings"; case DynamicSymbol::kOatBssLastWord: return"oatbsslastword";
}
}
// This method builds a hashtable for dynamic symbols using `hashtable` as a storage. // If `hashtable` is nullptr, it just calculate its size in bytes and returns it. static size_t PrepareDynamicSymbolHashtable(size_t count, std::vector<Elf_Word> *hashtable) {
size_t size = 0; auto write = [&size, hashtable](Elf_Word value) { if (hashtable) {
hashtable->push_back(value);
}
size += sizeof(value);
};
write(1); // Number of buckets.
write(count); // Number of chains. // Buckets. Having just one makes it linear search.
write(1); // Point to first non-NULL symbol. // Chains. This creates linked list of symbols.
write(0); // Placeholder entry for the NULL symbol. for (size_t i = 1; i < count - 1; i++) {
write(i + 1); // Each symbol points to the next one.
}
write(0); // Last symbol terminates the chain.
// List of used section in the order in which they were written.
std::vector<Section*> sections_;
Section* current_section_; // The section which is currently being written.
// The size of the memory taken by the ELF file when loaded.
size_t loaded_size_;
// Used for allocation of virtual address space.
Elf_Addr virtual_address_;
// Offset in the ELF where the first dynamic section is written (.dynstr).
off_t dynamic_sections_start_;
// Size reserved for dynamic sections: .dynstr, .dynsym, .hash and .dynamic.
size_t dynamic_sections_reserved_size_;
DISALLOW_COPY_AND_ASSIGN(ElfBuilder);
};
} // namespace art
#endif// ART_LIBELFFILE_ELF_ELF_BUILDER_H_
Messung V0.5 in Prozent
¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.24Angebot
(Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können 2026-06-29)
¤
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.