xref: /aosp_15_r20/external/zucchini/reloc_elf.h (revision a03ca8b91e029cd15055c20c78c2e087c84792e4)
1*a03ca8b9SKrzysztof Kosiński // Copyright 2018 The Chromium Authors. All rights reserved.
2*a03ca8b9SKrzysztof Kosiński // Use of this source code is governed by a BSD-style license that can be
3*a03ca8b9SKrzysztof Kosiński // found in the LICENSE file.
4*a03ca8b9SKrzysztof Kosiński 
5*a03ca8b9SKrzysztof Kosiński #ifndef COMPONENTS_ZUCCHINI_RELOC_ELF_H_
6*a03ca8b9SKrzysztof Kosiński #define COMPONENTS_ZUCCHINI_RELOC_ELF_H_
7*a03ca8b9SKrzysztof Kosiński 
8*a03ca8b9SKrzysztof Kosiński #include <stddef.h>
9*a03ca8b9SKrzysztof Kosiński #include <stdint.h>
10*a03ca8b9SKrzysztof Kosiński 
11*a03ca8b9SKrzysztof Kosiński #include <optional>
12*a03ca8b9SKrzysztof Kosiński #include <vector>
13*a03ca8b9SKrzysztof Kosiński 
14*a03ca8b9SKrzysztof Kosiński #include "base/numerics/safe_conversions.h"
15*a03ca8b9SKrzysztof Kosiński #include "components/zucchini/address_translator.h"
16*a03ca8b9SKrzysztof Kosiński #include "components/zucchini/buffer_view.h"
17*a03ca8b9SKrzysztof Kosiński #include "components/zucchini/image_utils.h"
18*a03ca8b9SKrzysztof Kosiński #include "components/zucchini/type_elf.h"
19*a03ca8b9SKrzysztof Kosiński 
20*a03ca8b9SKrzysztof Kosiński namespace zucchini {
21*a03ca8b9SKrzysztof Kosiński 
22*a03ca8b9SKrzysztof Kosiński // Section dimensions for ELF files, to store relevant dimensions data from
23*a03ca8b9SKrzysztof Kosiński // Elf32_Shdr and Elf64_Shdr, while reducing code duplication from templates.
24*a03ca8b9SKrzysztof Kosiński struct SectionDimensionsElf {
25*a03ca8b9SKrzysztof Kosiński   SectionDimensionsElf() = default;
26*a03ca8b9SKrzysztof Kosiński 
27*a03ca8b9SKrzysztof Kosiński   template <class Elf_Shdr>
SectionDimensionsElfSectionDimensionsElf28*a03ca8b9SKrzysztof Kosiński   explicit SectionDimensionsElf(const Elf_Shdr& section)
29*a03ca8b9SKrzysztof Kosiński       : region(BufferRegion{base::checked_cast<size_t>(section.sh_offset),
30*a03ca8b9SKrzysztof Kosiński                             base::checked_cast<size_t>(section.sh_size)}),
31*a03ca8b9SKrzysztof Kosiński         entry_size(base::checked_cast<offset_t>(section.sh_entsize)) {}
32*a03ca8b9SKrzysztof Kosiński 
33*a03ca8b9SKrzysztof Kosiński   friend bool operator<(const SectionDimensionsElf& a,
34*a03ca8b9SKrzysztof Kosiński                         const SectionDimensionsElf& b) {
35*a03ca8b9SKrzysztof Kosiński     return a.region.offset < b.region.offset;
36*a03ca8b9SKrzysztof Kosiński   }
37*a03ca8b9SKrzysztof Kosiński 
38*a03ca8b9SKrzysztof Kosiński   friend bool operator<(offset_t offset, const SectionDimensionsElf& section) {
39*a03ca8b9SKrzysztof Kosiński     return offset < section.region.offset;
40*a03ca8b9SKrzysztof Kosiński   }
41*a03ca8b9SKrzysztof Kosiński 
42*a03ca8b9SKrzysztof Kosiński   BufferRegion region;
43*a03ca8b9SKrzysztof Kosiński   offset_t entry_size;  // Varies across REL / RELA sections.
44*a03ca8b9SKrzysztof Kosiński };
45*a03ca8b9SKrzysztof Kosiński 
46*a03ca8b9SKrzysztof Kosiński // A Generator to visit all reloc structs located in [|lo|, |hi|) (excluding
47*a03ca8b9SKrzysztof Kosiński // truncated strct at |lo| but inlcuding truncated struct at |hi|), and emit
48*a03ca8b9SKrzysztof Kosiński // valid References with |rel_type|. This implements a nested loop unrolled into
49*a03ca8b9SKrzysztof Kosiński // a generator: the outer loop has |cur_section_dimensions_| visiting
50*a03ca8b9SKrzysztof Kosiński // |reloc_section_dims| (sorted by |region.offset|), and the inner loop has
51*a03ca8b9SKrzysztof Kosiński // |cursor_| visiting successive reloc structs within |cur_section_dimensions_|.
52*a03ca8b9SKrzysztof Kosiński class RelocReaderElf : public ReferenceReader {
53*a03ca8b9SKrzysztof Kosiński  public:
54*a03ca8b9SKrzysztof Kosiński   RelocReaderElf(
55*a03ca8b9SKrzysztof Kosiński       ConstBufferView image,
56*a03ca8b9SKrzysztof Kosiński       Bitness bitness,
57*a03ca8b9SKrzysztof Kosiński       const std::vector<SectionDimensionsElf>& reloc_section_dimensions,
58*a03ca8b9SKrzysztof Kosiński       uint32_t rel_type,
59*a03ca8b9SKrzysztof Kosiński       offset_t lo,
60*a03ca8b9SKrzysztof Kosiński       offset_t hi,
61*a03ca8b9SKrzysztof Kosiński       const AddressTranslator& translator);
62*a03ca8b9SKrzysztof Kosiński   ~RelocReaderElf() override;
63*a03ca8b9SKrzysztof Kosiński 
64*a03ca8b9SKrzysztof Kosiński   // If |rel| contains |r_offset| for |rel_type_|, return the RVA. Otherwise
65*a03ca8b9SKrzysztof Kosiński   // return |kInvalidRva|. These also handle Elf*_Rela, by using the fact that
66*a03ca8b9SKrzysztof Kosiński   // Elf*_Rel is a prefix of Elf*_Rela.
67*a03ca8b9SKrzysztof Kosiński   rva_t GetRelocationTarget(elf::Elf32_Rel rel) const;
68*a03ca8b9SKrzysztof Kosiński   rva_t GetRelocationTarget(elf::Elf64_Rel rel) const;
69*a03ca8b9SKrzysztof Kosiński 
70*a03ca8b9SKrzysztof Kosiński   // ReferenceReader:
71*a03ca8b9SKrzysztof Kosiński   std::optional<Reference> GetNext() override;
72*a03ca8b9SKrzysztof Kosiński 
73*a03ca8b9SKrzysztof Kosiński  private:
74*a03ca8b9SKrzysztof Kosiński   const ConstBufferView image_;
75*a03ca8b9SKrzysztof Kosiński   const Bitness bitness_;
76*a03ca8b9SKrzysztof Kosiński   const uint32_t rel_type_;
77*a03ca8b9SKrzysztof Kosiński   const std::vector<SectionDimensionsElf>& reloc_section_dimensions_;
78*a03ca8b9SKrzysztof Kosiński   std::vector<SectionDimensionsElf>::const_iterator cur_section_dimensions_;
79*a03ca8b9SKrzysztof Kosiński   offset_t hi_;
80*a03ca8b9SKrzysztof Kosiński   offset_t cursor_;
81*a03ca8b9SKrzysztof Kosiński   AddressTranslator::RvaToOffsetCache target_rva_to_offset_;
82*a03ca8b9SKrzysztof Kosiński };
83*a03ca8b9SKrzysztof Kosiński 
84*a03ca8b9SKrzysztof Kosiński class RelocWriterElf : public ReferenceWriter {
85*a03ca8b9SKrzysztof Kosiński  public:
86*a03ca8b9SKrzysztof Kosiński   RelocWriterElf(MutableBufferView image,
87*a03ca8b9SKrzysztof Kosiński                  Bitness bitness,
88*a03ca8b9SKrzysztof Kosiński                  const AddressTranslator& translator);
89*a03ca8b9SKrzysztof Kosiński   ~RelocWriterElf() override;
90*a03ca8b9SKrzysztof Kosiński 
91*a03ca8b9SKrzysztof Kosiński   // ReferenceWriter:
92*a03ca8b9SKrzysztof Kosiński   void PutNext(Reference ref) override;
93*a03ca8b9SKrzysztof Kosiński 
94*a03ca8b9SKrzysztof Kosiński  private:
95*a03ca8b9SKrzysztof Kosiński   MutableBufferView image_;
96*a03ca8b9SKrzysztof Kosiński   const Bitness bitness_;
97*a03ca8b9SKrzysztof Kosiński   AddressTranslator::OffsetToRvaCache target_offset_to_rva_;
98*a03ca8b9SKrzysztof Kosiński };
99*a03ca8b9SKrzysztof Kosiński 
100*a03ca8b9SKrzysztof Kosiński }  // namespace zucchini
101*a03ca8b9SKrzysztof Kosiński 
102*a03ca8b9SKrzysztof Kosiński #endif  // COMPONENTS_ZUCCHINI_RELOC_ELF_H_
103