1 | use core::mem; |
2 | |
3 | use crate::elf; |
4 | use crate::endian::{U32, U64}; |
5 | use crate::read::{ReadError, ReadRef, Result, SymbolIndex}; |
6 | |
7 | use super::{FileHeader, Sym, SymbolTable, Version, VersionTable}; |
8 | |
9 | /// A SysV symbol hash table in an ELF file. |
10 | /// |
11 | /// Returned by [`SectionHeader::hash`](super::SectionHeader::hash). |
12 | #[derive (Debug)] |
13 | pub struct HashTable<'data, Elf: FileHeader> { |
14 | buckets: &'data [U32<Elf::Endian>], |
15 | chains: &'data [U32<Elf::Endian>], |
16 | } |
17 | |
18 | impl<'data, Elf: FileHeader> HashTable<'data, Elf> { |
19 | /// Parse a SysV hash table. |
20 | /// |
21 | /// `data` should be from an [`elf::SHT_HASH`] section, or from a |
22 | /// segment pointed to via the [`elf::DT_HASH`] entry. |
23 | /// |
24 | /// The header is read at offset 0 in the given `data`. |
25 | pub fn parse(endian: Elf::Endian, data: &'data [u8]) -> Result<Self> { |
26 | let mut offset = 0; |
27 | let header = data |
28 | .read::<elf::HashHeader<Elf::Endian>>(&mut offset) |
29 | .read_error("Invalid hash header" )?; |
30 | let buckets = data |
31 | .read_slice(&mut offset, header.bucket_count.get(endian) as usize) |
32 | .read_error("Invalid hash buckets" )?; |
33 | let chains = data |
34 | .read_slice(&mut offset, header.chain_count.get(endian) as usize) |
35 | .read_error("Invalid hash chains" )?; |
36 | Ok(HashTable { buckets, chains }) |
37 | } |
38 | |
39 | /// Return the symbol table length. |
40 | pub fn symbol_table_length(&self) -> u32 { |
41 | self.chains.len() as u32 |
42 | } |
43 | |
44 | fn bucket(&self, endian: Elf::Endian, hash: u32) -> SymbolIndex { |
45 | SymbolIndex(self.buckets[(hash as usize) % self.buckets.len()].get(endian) as usize) |
46 | } |
47 | |
48 | fn chain(&self, endian: Elf::Endian, index: SymbolIndex) -> SymbolIndex { |
49 | SymbolIndex(self.chains[index.0].get(endian) as usize) |
50 | } |
51 | |
52 | /// Use the hash table to find the symbol table entry with the given name, hash and version. |
53 | pub fn find<R: ReadRef<'data>>( |
54 | &self, |
55 | endian: Elf::Endian, |
56 | name: &[u8], |
57 | hash: u32, |
58 | version: Option<&Version<'_>>, |
59 | symbols: &SymbolTable<'data, Elf, R>, |
60 | versions: &VersionTable<'data, Elf>, |
61 | ) -> Option<(SymbolIndex, &'data Elf::Sym)> { |
62 | // Get the chain start from the bucket for this hash. |
63 | let mut index = self.bucket(endian, hash); |
64 | // Avoid infinite loop. |
65 | let mut i = 0; |
66 | let strings = symbols.strings(); |
67 | while index != SymbolIndex(0) && i < self.chains.len() { |
68 | if let Ok(symbol) = symbols.symbol(index) { |
69 | if symbol.name(endian, strings) == Ok(name) |
70 | && versions.matches(endian, index, version) |
71 | { |
72 | return Some((index, symbol)); |
73 | } |
74 | } |
75 | index = self.chain(endian, index); |
76 | i += 1; |
77 | } |
78 | None |
79 | } |
80 | } |
81 | |
82 | /// A GNU symbol hash table in an ELF file. |
83 | /// |
84 | /// Returned by [`SectionHeader::gnu_hash`](super::SectionHeader::gnu_hash). |
85 | #[derive (Debug)] |
86 | pub struct GnuHashTable<'data, Elf: FileHeader> { |
87 | symbol_base: u32, |
88 | bloom_shift: u32, |
89 | bloom_filters: &'data [u8], |
90 | buckets: &'data [U32<Elf::Endian>], |
91 | values: &'data [U32<Elf::Endian>], |
92 | } |
93 | |
94 | impl<'data, Elf: FileHeader> GnuHashTable<'data, Elf> { |
95 | /// Parse a GNU hash table. |
96 | /// |
97 | /// `data` should be from an [`elf::SHT_GNU_HASH`] section, or from a |
98 | /// segment pointed to via the [`elf::DT_GNU_HASH`] entry. |
99 | /// |
100 | /// The header is read at offset 0 in the given `data`. |
101 | /// |
102 | /// The header does not contain a length field, and so all of `data` |
103 | /// will be used as the hash table values. It does not matter if this |
104 | /// is longer than needed, and this will often the case when accessing |
105 | /// the hash table via the [`elf::DT_GNU_HASH`] entry. |
106 | pub fn parse(endian: Elf::Endian, data: &'data [u8]) -> Result<Self> { |
107 | let mut offset = 0; |
108 | let header = data |
109 | .read::<elf::GnuHashHeader<Elf::Endian>>(&mut offset) |
110 | .read_error("Invalid GNU hash header" )?; |
111 | let bloom_len = |
112 | u64::from(header.bloom_count.get(endian)) * mem::size_of::<Elf::Word>() as u64; |
113 | let bloom_filters = data |
114 | .read_bytes(&mut offset, bloom_len) |
115 | .read_error("Invalid GNU hash bloom filters" )?; |
116 | let buckets = data |
117 | .read_slice(&mut offset, header.bucket_count.get(endian) as usize) |
118 | .read_error("Invalid GNU hash buckets" )?; |
119 | let chain_count = (data.len() - offset as usize) / 4; |
120 | let values = data |
121 | .read_slice(&mut offset, chain_count) |
122 | .read_error("Invalid GNU hash values" )?; |
123 | Ok(GnuHashTable { |
124 | symbol_base: header.symbol_base.get(endian), |
125 | bloom_shift: header.bloom_shift.get(endian), |
126 | bloom_filters, |
127 | buckets, |
128 | values, |
129 | }) |
130 | } |
131 | |
132 | /// Return the symbol table index of the first symbol in the hash table. |
133 | pub fn symbol_base(&self) -> u32 { |
134 | self.symbol_base |
135 | } |
136 | |
137 | /// Determine the symbol table length by finding the last entry in the hash table. |
138 | /// |
139 | /// Returns `None` if the hash table is empty or invalid. |
140 | pub fn symbol_table_length(&self, endian: Elf::Endian) -> Option<u32> { |
141 | // Ensure we find a non-empty bucket. |
142 | if self.symbol_base == 0 { |
143 | return None; |
144 | } |
145 | |
146 | // Find the highest chain index in a bucket. |
147 | let mut max_symbol = 0; |
148 | for bucket in self.buckets { |
149 | let bucket = bucket.get(endian); |
150 | if max_symbol < bucket { |
151 | max_symbol = bucket; |
152 | } |
153 | } |
154 | |
155 | // Find the end of the chain. |
156 | for value in self |
157 | .values |
158 | .get(max_symbol.checked_sub(self.symbol_base)? as usize..)? |
159 | { |
160 | max_symbol += 1; |
161 | if value.get(endian) & 1 != 0 { |
162 | return Some(max_symbol); |
163 | } |
164 | } |
165 | |
166 | None |
167 | } |
168 | |
169 | fn bucket(&self, endian: Elf::Endian, hash: u32) -> SymbolIndex { |
170 | SymbolIndex(self.buckets[(hash as usize) % self.buckets.len()].get(endian) as usize) |
171 | } |
172 | |
173 | /// Use the hash table to find the symbol table entry with the given name, hash, and version. |
174 | pub fn find<R: ReadRef<'data>>( |
175 | &self, |
176 | endian: Elf::Endian, |
177 | name: &[u8], |
178 | hash: u32, |
179 | version: Option<&Version<'_>>, |
180 | symbols: &SymbolTable<'data, Elf, R>, |
181 | versions: &VersionTable<'data, Elf>, |
182 | ) -> Option<(SymbolIndex, &'data Elf::Sym)> { |
183 | let word_bits = mem::size_of::<Elf::Word>() as u32 * 8; |
184 | |
185 | // Test against bloom filter. |
186 | let bloom_count = self.bloom_filters.len() / mem::size_of::<Elf::Word>(); |
187 | let offset = |
188 | ((hash / word_bits) & (bloom_count as u32 - 1)) * mem::size_of::<Elf::Word>() as u32; |
189 | let filter = if word_bits == 64 { |
190 | self.bloom_filters |
191 | .read_at::<U64<Elf::Endian>>(offset.into()) |
192 | .ok()? |
193 | .get(endian) |
194 | } else { |
195 | self.bloom_filters |
196 | .read_at::<U32<Elf::Endian>>(offset.into()) |
197 | .ok()? |
198 | .get(endian) |
199 | .into() |
200 | }; |
201 | if filter & (1 << (hash % word_bits)) == 0 { |
202 | return None; |
203 | } |
204 | if filter & (1 << ((hash >> self.bloom_shift) % word_bits)) == 0 { |
205 | return None; |
206 | } |
207 | |
208 | // Get the chain start from the bucket for this hash. |
209 | let mut index = self.bucket(endian, hash); |
210 | if index == SymbolIndex(0) { |
211 | return None; |
212 | } |
213 | |
214 | // Test symbols in the chain. |
215 | let strings = symbols.strings(); |
216 | let symbols = symbols.symbols().get(index.0..)?; |
217 | let values = self |
218 | .values |
219 | .get(index.0.checked_sub(self.symbol_base as usize)?..)?; |
220 | for (symbol, value) in symbols.iter().zip(values.iter()) { |
221 | let value = value.get(endian); |
222 | if value | 1 == hash | 1 { |
223 | if symbol.name(endian, strings) == Ok(name) |
224 | && versions.matches(endian, index, version) |
225 | { |
226 | return Some((index, symbol)); |
227 | } |
228 | } |
229 | if value & 1 != 0 { |
230 | break; |
231 | } |
232 | index.0 += 1; |
233 | } |
234 | None |
235 | } |
236 | } |
237 | |