Thomas Gleixner | 1ccea77 | 2019-05-19 15:51:43 +0200 | [diff] [blame] | 1 | // SPDX-License-Identifier: GPL-2.0-or-later |
Josh Poimboeuf | 442f04c | 2016-02-28 22:22:41 -0600 | [diff] [blame] | 2 | /* |
| 3 | * elf.c - ELF access library |
| 4 | * |
| 5 | * Adapted from kpatch (https://github.com/dynup/kpatch): |
| 6 | * Copyright (C) 2013-2015 Josh Poimboeuf <jpoimboe@redhat.com> |
| 7 | * Copyright (C) 2014 Seth Jennings <sjenning@redhat.com> |
Josh Poimboeuf | 442f04c | 2016-02-28 22:22:41 -0600 | [diff] [blame] | 8 | */ |
| 9 | |
| 10 | #include <sys/types.h> |
| 11 | #include <sys/stat.h> |
| 12 | #include <fcntl.h> |
| 13 | #include <stdio.h> |
| 14 | #include <stdlib.h> |
| 15 | #include <string.h> |
| 16 | #include <unistd.h> |
Josh Poimboeuf | 385d11b | 2018-01-15 08:17:08 -0600 | [diff] [blame] | 17 | #include <errno.h> |
Vasily Gorbik | 7786032 | 2020-11-13 00:03:32 +0100 | [diff] [blame^] | 18 | #include <objtool/builtin.h> |
Josh Poimboeuf | 442f04c | 2016-02-28 22:22:41 -0600 | [diff] [blame] | 19 | |
Vasily Gorbik | 7786032 | 2020-11-13 00:03:32 +0100 | [diff] [blame^] | 20 | #include <objtool/elf.h> |
| 21 | #include <objtool/warn.h> |
Josh Poimboeuf | 442f04c | 2016-02-28 22:22:41 -0600 | [diff] [blame] | 22 | |
Artem Savkov | 22566c1 | 2018-11-20 11:52:16 -0600 | [diff] [blame] | 23 | #define MAX_NAME_LEN 128 |
| 24 | |
Peter Zijlstra | ae35819 | 2020-03-12 09:32:10 +0100 | [diff] [blame] | 25 | static inline u32 str_hash(const char *str) |
| 26 | { |
| 27 | return jhash(str, strlen(str), 0); |
| 28 | } |
| 29 | |
Peter Zijlstra | 34f7c96 | 2020-03-12 14:29:38 +0100 | [diff] [blame] | 30 | static inline int elf_hash_bits(void) |
| 31 | { |
| 32 | return vmlinux ? ELF_HASH_BITS : 16; |
| 33 | } |
| 34 | |
| 35 | #define elf_hash_add(hashtable, node, key) \ |
| 36 | hlist_add_head(node, &hashtable[hash_min(key, elf_hash_bits())]) |
| 37 | |
| 38 | static void elf_hash_init(struct hlist_head *table) |
| 39 | { |
| 40 | __hash_init(table, 1U << elf_hash_bits()); |
| 41 | } |
| 42 | |
| 43 | #define elf_hash_for_each_possible(name, obj, member, key) \ |
| 44 | hlist_for_each_entry(obj, &name[hash_min(key, elf_hash_bits())], member) |
| 45 | |
Peter Zijlstra | 2a362ec | 2020-03-12 09:34:42 +0100 | [diff] [blame] | 46 | static void rb_add(struct rb_root *tree, struct rb_node *node, |
| 47 | int (*cmp)(struct rb_node *, const struct rb_node *)) |
| 48 | { |
| 49 | struct rb_node **link = &tree->rb_node; |
| 50 | struct rb_node *parent = NULL; |
| 51 | |
| 52 | while (*link) { |
| 53 | parent = *link; |
| 54 | if (cmp(node, parent) < 0) |
| 55 | link = &parent->rb_left; |
| 56 | else |
| 57 | link = &parent->rb_right; |
| 58 | } |
| 59 | |
| 60 | rb_link_node(node, parent, link); |
| 61 | rb_insert_color(node, tree); |
| 62 | } |
| 63 | |
Miroslav Benes | b490f45 | 2020-04-24 16:30:42 +0200 | [diff] [blame] | 64 | static struct rb_node *rb_find_first(const struct rb_root *tree, const void *key, |
Peter Zijlstra | 2a362ec | 2020-03-12 09:34:42 +0100 | [diff] [blame] | 65 | int (*cmp)(const void *key, const struct rb_node *)) |
| 66 | { |
| 67 | struct rb_node *node = tree->rb_node; |
| 68 | struct rb_node *match = NULL; |
| 69 | |
| 70 | while (node) { |
| 71 | int c = cmp(key, node); |
| 72 | if (c <= 0) { |
| 73 | if (!c) |
| 74 | match = node; |
| 75 | node = node->rb_left; |
| 76 | } else if (c > 0) { |
| 77 | node = node->rb_right; |
| 78 | } |
| 79 | } |
| 80 | |
| 81 | return match; |
| 82 | } |
| 83 | |
| 84 | static struct rb_node *rb_next_match(struct rb_node *node, const void *key, |
| 85 | int (*cmp)(const void *key, const struct rb_node *)) |
| 86 | { |
| 87 | node = rb_next(node); |
| 88 | if (node && cmp(key, node)) |
| 89 | node = NULL; |
| 90 | return node; |
| 91 | } |
| 92 | |
| 93 | #define rb_for_each(tree, node, key, cmp) \ |
| 94 | for ((node) = rb_find_first((tree), (key), (cmp)); \ |
| 95 | (node); (node) = rb_next_match((node), (key), (cmp))) |
| 96 | |
| 97 | static int symbol_to_offset(struct rb_node *a, const struct rb_node *b) |
| 98 | { |
| 99 | struct symbol *sa = rb_entry(a, struct symbol, node); |
| 100 | struct symbol *sb = rb_entry(b, struct symbol, node); |
| 101 | |
| 102 | if (sa->offset < sb->offset) |
| 103 | return -1; |
| 104 | if (sa->offset > sb->offset) |
| 105 | return 1; |
| 106 | |
| 107 | if (sa->len < sb->len) |
| 108 | return -1; |
| 109 | if (sa->len > sb->len) |
| 110 | return 1; |
| 111 | |
| 112 | sa->alias = sb; |
| 113 | |
| 114 | return 0; |
| 115 | } |
| 116 | |
| 117 | static int symbol_by_offset(const void *key, const struct rb_node *node) |
| 118 | { |
| 119 | const struct symbol *s = rb_entry(node, struct symbol, node); |
| 120 | const unsigned long *o = key; |
| 121 | |
| 122 | if (*o < s->offset) |
| 123 | return -1; |
Julien Thierry | 5377cae | 2020-04-03 14:17:30 +0100 | [diff] [blame] | 124 | if (*o >= s->offset + s->len) |
Peter Zijlstra | 2a362ec | 2020-03-12 09:34:42 +0100 | [diff] [blame] | 125 | return 1; |
| 126 | |
| 127 | return 0; |
| 128 | } |
| 129 | |
Ingo Molnar | 894e48c | 2020-04-22 12:32:03 +0200 | [diff] [blame] | 130 | struct section *find_section_by_name(const struct elf *elf, const char *name) |
Josh Poimboeuf | 442f04c | 2016-02-28 22:22:41 -0600 | [diff] [blame] | 131 | { |
| 132 | struct section *sec; |
| 133 | |
Peter Zijlstra | 34f7c96 | 2020-03-12 14:29:38 +0100 | [diff] [blame] | 134 | elf_hash_for_each_possible(elf->section_name_hash, sec, name_hash, str_hash(name)) |
Josh Poimboeuf | 442f04c | 2016-02-28 22:22:41 -0600 | [diff] [blame] | 135 | if (!strcmp(sec->name, name)) |
| 136 | return sec; |
| 137 | |
| 138 | return NULL; |
| 139 | } |
| 140 | |
| 141 | static struct section *find_section_by_index(struct elf *elf, |
| 142 | unsigned int idx) |
| 143 | { |
| 144 | struct section *sec; |
| 145 | |
Peter Zijlstra | 34f7c96 | 2020-03-12 14:29:38 +0100 | [diff] [blame] | 146 | elf_hash_for_each_possible(elf->section_hash, sec, hash, idx) |
Josh Poimboeuf | 442f04c | 2016-02-28 22:22:41 -0600 | [diff] [blame] | 147 | if (sec->idx == idx) |
| 148 | return sec; |
| 149 | |
| 150 | return NULL; |
| 151 | } |
| 152 | |
| 153 | static struct symbol *find_symbol_by_index(struct elf *elf, unsigned int idx) |
| 154 | { |
Josh Poimboeuf | 442f04c | 2016-02-28 22:22:41 -0600 | [diff] [blame] | 155 | struct symbol *sym; |
| 156 | |
Peter Zijlstra | 34f7c96 | 2020-03-12 14:29:38 +0100 | [diff] [blame] | 157 | elf_hash_for_each_possible(elf->symbol_hash, sym, hash, idx) |
Peter Zijlstra | 65fb11a | 2020-03-10 18:39:45 +0100 | [diff] [blame] | 158 | if (sym->idx == idx) |
| 159 | return sym; |
Josh Poimboeuf | 442f04c | 2016-02-28 22:22:41 -0600 | [diff] [blame] | 160 | |
| 161 | return NULL; |
| 162 | } |
| 163 | |
| 164 | struct symbol *find_symbol_by_offset(struct section *sec, unsigned long offset) |
| 165 | { |
Peter Zijlstra | 2a362ec | 2020-03-12 09:34:42 +0100 | [diff] [blame] | 166 | struct rb_node *node; |
Josh Poimboeuf | 442f04c | 2016-02-28 22:22:41 -0600 | [diff] [blame] | 167 | |
Peter Zijlstra | 2a362ec | 2020-03-12 09:34:42 +0100 | [diff] [blame] | 168 | rb_for_each(&sec->symbol_tree, node, &offset, symbol_by_offset) { |
| 169 | struct symbol *s = rb_entry(node, struct symbol, node); |
| 170 | |
| 171 | if (s->offset == offset && s->type != STT_SECTION) |
| 172 | return s; |
| 173 | } |
Josh Poimboeuf | 7acfe53 | 2020-02-17 21:41:54 -0600 | [diff] [blame] | 174 | |
| 175 | return NULL; |
| 176 | } |
| 177 | |
| 178 | struct symbol *find_func_by_offset(struct section *sec, unsigned long offset) |
| 179 | { |
Peter Zijlstra | 2a362ec | 2020-03-12 09:34:42 +0100 | [diff] [blame] | 180 | struct rb_node *node; |
Josh Poimboeuf | 7acfe53 | 2020-02-17 21:41:54 -0600 | [diff] [blame] | 181 | |
Peter Zijlstra | 2a362ec | 2020-03-12 09:34:42 +0100 | [diff] [blame] | 182 | rb_for_each(&sec->symbol_tree, node, &offset, symbol_by_offset) { |
| 183 | struct symbol *s = rb_entry(node, struct symbol, node); |
| 184 | |
| 185 | if (s->offset == offset && s->type == STT_FUNC) |
| 186 | return s; |
| 187 | } |
| 188 | |
| 189 | return NULL; |
| 190 | } |
| 191 | |
Miroslav Benes | b490f45 | 2020-04-24 16:30:42 +0200 | [diff] [blame] | 192 | struct symbol *find_symbol_containing(const struct section *sec, unsigned long offset) |
Peter Zijlstra | 2a362ec | 2020-03-12 09:34:42 +0100 | [diff] [blame] | 193 | { |
| 194 | struct rb_node *node; |
| 195 | |
| 196 | rb_for_each(&sec->symbol_tree, node, &offset, symbol_by_offset) { |
| 197 | struct symbol *s = rb_entry(node, struct symbol, node); |
| 198 | |
| 199 | if (s->type != STT_SECTION) |
| 200 | return s; |
| 201 | } |
| 202 | |
| 203 | return NULL; |
| 204 | } |
| 205 | |
Peter Zijlstra | 53d2072 | 2020-03-16 10:36:53 +0100 | [diff] [blame] | 206 | struct symbol *find_func_containing(struct section *sec, unsigned long offset) |
Peter Zijlstra | 2a362ec | 2020-03-12 09:34:42 +0100 | [diff] [blame] | 207 | { |
| 208 | struct rb_node *node; |
| 209 | |
| 210 | rb_for_each(&sec->symbol_tree, node, &offset, symbol_by_offset) { |
| 211 | struct symbol *s = rb_entry(node, struct symbol, node); |
| 212 | |
| 213 | if (s->type == STT_FUNC) |
| 214 | return s; |
| 215 | } |
Josh Poimboeuf | 442f04c | 2016-02-28 22:22:41 -0600 | [diff] [blame] | 216 | |
| 217 | return NULL; |
| 218 | } |
| 219 | |
Ingo Molnar | 894e48c | 2020-04-22 12:32:03 +0200 | [diff] [blame] | 220 | struct symbol *find_symbol_by_name(const struct elf *elf, const char *name) |
Josh Poimboeuf | 1381043 | 2018-05-09 22:39:15 -0500 | [diff] [blame] | 221 | { |
Josh Poimboeuf | 1381043 | 2018-05-09 22:39:15 -0500 | [diff] [blame] | 222 | struct symbol *sym; |
| 223 | |
Peter Zijlstra | 34f7c96 | 2020-03-12 14:29:38 +0100 | [diff] [blame] | 224 | elf_hash_for_each_possible(elf->symbol_name_hash, sym, name_hash, str_hash(name)) |
Peter Zijlstra | cdb3d05 | 2020-03-12 10:17:38 +0100 | [diff] [blame] | 225 | if (!strcmp(sym->name, name)) |
| 226 | return sym; |
Josh Poimboeuf | 1381043 | 2018-05-09 22:39:15 -0500 | [diff] [blame] | 227 | |
| 228 | return NULL; |
| 229 | } |
| 230 | |
Matt Helsley | f197422 | 2020-05-29 14:01:13 -0700 | [diff] [blame] | 231 | struct reloc *find_reloc_by_dest_range(const struct elf *elf, struct section *sec, |
Peter Zijlstra | 8b5fa6b | 2020-03-12 11:23:36 +0100 | [diff] [blame] | 232 | unsigned long offset, unsigned int len) |
Josh Poimboeuf | 442f04c | 2016-02-28 22:22:41 -0600 | [diff] [blame] | 233 | { |
Matt Helsley | f197422 | 2020-05-29 14:01:13 -0700 | [diff] [blame] | 234 | struct reloc *reloc, *r = NULL; |
Josh Poimboeuf | 042ba73 | 2016-03-09 00:07:00 -0600 | [diff] [blame] | 235 | unsigned long o; |
Josh Poimboeuf | 442f04c | 2016-02-28 22:22:41 -0600 | [diff] [blame] | 236 | |
Matt Helsley | f197422 | 2020-05-29 14:01:13 -0700 | [diff] [blame] | 237 | if (!sec->reloc) |
Josh Poimboeuf | 442f04c | 2016-02-28 22:22:41 -0600 | [diff] [blame] | 238 | return NULL; |
| 239 | |
Matt Helsley | f197422 | 2020-05-29 14:01:13 -0700 | [diff] [blame] | 240 | sec = sec->reloc; |
Peter Zijlstra | 8b5fa6b | 2020-03-12 11:23:36 +0100 | [diff] [blame] | 241 | |
Peter Zijlstra | 74b873e | 2020-03-12 11:30:50 +0100 | [diff] [blame] | 242 | for_offset_range(o, offset, offset + len) { |
Matt Helsley | f197422 | 2020-05-29 14:01:13 -0700 | [diff] [blame] | 243 | elf_hash_for_each_possible(elf->reloc_hash, reloc, hash, |
Peter Zijlstra | 8b5fa6b | 2020-03-12 11:23:36 +0100 | [diff] [blame] | 244 | sec_offset_hash(sec, o)) { |
Matt Helsley | f197422 | 2020-05-29 14:01:13 -0700 | [diff] [blame] | 245 | if (reloc->sec != sec) |
Peter Zijlstra | 74b873e | 2020-03-12 11:30:50 +0100 | [diff] [blame] | 246 | continue; |
| 247 | |
Matt Helsley | f197422 | 2020-05-29 14:01:13 -0700 | [diff] [blame] | 248 | if (reloc->offset >= offset && reloc->offset < offset + len) { |
| 249 | if (!r || reloc->offset < r->offset) |
| 250 | r = reloc; |
Peter Zijlstra | 74b873e | 2020-03-12 11:30:50 +0100 | [diff] [blame] | 251 | } |
Peter Zijlstra | 8b5fa6b | 2020-03-12 11:23:36 +0100 | [diff] [blame] | 252 | } |
Peter Zijlstra | 74b873e | 2020-03-12 11:30:50 +0100 | [diff] [blame] | 253 | if (r) |
| 254 | return r; |
Peter Zijlstra | 8b5fa6b | 2020-03-12 11:23:36 +0100 | [diff] [blame] | 255 | } |
Josh Poimboeuf | 442f04c | 2016-02-28 22:22:41 -0600 | [diff] [blame] | 256 | |
| 257 | return NULL; |
| 258 | } |
| 259 | |
Matt Helsley | f197422 | 2020-05-29 14:01:13 -0700 | [diff] [blame] | 260 | struct reloc *find_reloc_by_dest(const struct elf *elf, struct section *sec, unsigned long offset) |
Josh Poimboeuf | 442f04c | 2016-02-28 22:22:41 -0600 | [diff] [blame] | 261 | { |
Matt Helsley | f197422 | 2020-05-29 14:01:13 -0700 | [diff] [blame] | 262 | return find_reloc_by_dest_range(elf, sec, offset, 1); |
Josh Poimboeuf | 442f04c | 2016-02-28 22:22:41 -0600 | [diff] [blame] | 263 | } |
| 264 | |
Josh Poimboeuf | 44f6a7c | 2020-12-14 16:04:20 -0600 | [diff] [blame] | 265 | void insn_to_reloc_sym_addend(struct section *sec, unsigned long offset, |
| 266 | struct reloc *reloc) |
| 267 | { |
| 268 | if (sec->sym) { |
| 269 | reloc->sym = sec->sym; |
| 270 | reloc->addend = offset; |
| 271 | return; |
| 272 | } |
| 273 | |
| 274 | /* |
| 275 | * The Clang assembler strips section symbols, so we have to reference |
| 276 | * the function symbol instead: |
| 277 | */ |
| 278 | reloc->sym = find_symbol_containing(sec, offset); |
| 279 | if (!reloc->sym) { |
| 280 | /* |
| 281 | * Hack alert. This happens when we need to reference the NOP |
| 282 | * pad insn immediately after the function. |
| 283 | */ |
| 284 | reloc->sym = find_symbol_containing(sec, offset - 1); |
| 285 | } |
| 286 | |
| 287 | if (reloc->sym) |
| 288 | reloc->addend = offset - reloc->sym->offset; |
| 289 | } |
| 290 | |
Josh Poimboeuf | 442f04c | 2016-02-28 22:22:41 -0600 | [diff] [blame] | 291 | static int read_sections(struct elf *elf) |
| 292 | { |
| 293 | Elf_Scn *s = NULL; |
| 294 | struct section *sec; |
| 295 | size_t shstrndx, sections_nr; |
| 296 | int i; |
| 297 | |
| 298 | if (elf_getshdrnum(elf->elf, §ions_nr)) { |
Josh Poimboeuf | baa4146 | 2017-06-28 10:11:07 -0500 | [diff] [blame] | 299 | WARN_ELF("elf_getshdrnum"); |
Josh Poimboeuf | 442f04c | 2016-02-28 22:22:41 -0600 | [diff] [blame] | 300 | return -1; |
| 301 | } |
| 302 | |
| 303 | if (elf_getshdrstrndx(elf->elf, &shstrndx)) { |
Josh Poimboeuf | baa4146 | 2017-06-28 10:11:07 -0500 | [diff] [blame] | 304 | WARN_ELF("elf_getshdrstrndx"); |
Josh Poimboeuf | 442f04c | 2016-02-28 22:22:41 -0600 | [diff] [blame] | 305 | return -1; |
| 306 | } |
| 307 | |
| 308 | for (i = 0; i < sections_nr; i++) { |
| 309 | sec = malloc(sizeof(*sec)); |
| 310 | if (!sec) { |
| 311 | perror("malloc"); |
| 312 | return -1; |
| 313 | } |
| 314 | memset(sec, 0, sizeof(*sec)); |
| 315 | |
Josh Poimboeuf | a196e17 | 2016-03-09 00:06:57 -0600 | [diff] [blame] | 316 | INIT_LIST_HEAD(&sec->symbol_list); |
Matt Helsley | f197422 | 2020-05-29 14:01:13 -0700 | [diff] [blame] | 317 | INIT_LIST_HEAD(&sec->reloc_list); |
Josh Poimboeuf | 442f04c | 2016-02-28 22:22:41 -0600 | [diff] [blame] | 318 | |
Josh Poimboeuf | 442f04c | 2016-02-28 22:22:41 -0600 | [diff] [blame] | 319 | s = elf_getscn(elf->elf, i); |
| 320 | if (!s) { |
Josh Poimboeuf | baa4146 | 2017-06-28 10:11:07 -0500 | [diff] [blame] | 321 | WARN_ELF("elf_getscn"); |
Josh Poimboeuf | 442f04c | 2016-02-28 22:22:41 -0600 | [diff] [blame] | 322 | return -1; |
| 323 | } |
| 324 | |
| 325 | sec->idx = elf_ndxscn(s); |
| 326 | |
| 327 | if (!gelf_getshdr(s, &sec->sh)) { |
Josh Poimboeuf | baa4146 | 2017-06-28 10:11:07 -0500 | [diff] [blame] | 328 | WARN_ELF("gelf_getshdr"); |
Josh Poimboeuf | 442f04c | 2016-02-28 22:22:41 -0600 | [diff] [blame] | 329 | return -1; |
| 330 | } |
| 331 | |
| 332 | sec->name = elf_strptr(elf->elf, shstrndx, sec->sh.sh_name); |
| 333 | if (!sec->name) { |
Josh Poimboeuf | baa4146 | 2017-06-28 10:11:07 -0500 | [diff] [blame] | 334 | WARN_ELF("elf_strptr"); |
Josh Poimboeuf | 442f04c | 2016-02-28 22:22:41 -0600 | [diff] [blame] | 335 | return -1; |
| 336 | } |
| 337 | |
Petr Vandrovec | df968c9 | 2017-09-15 02:15:05 -0500 | [diff] [blame] | 338 | if (sec->sh.sh_size != 0) { |
| 339 | sec->data = elf_getdata(s, NULL); |
| 340 | if (!sec->data) { |
| 341 | WARN_ELF("elf_getdata"); |
| 342 | return -1; |
| 343 | } |
| 344 | if (sec->data->d_off != 0 || |
| 345 | sec->data->d_size != sec->sh.sh_size) { |
| 346 | WARN("unexpected data attributes for %s", |
| 347 | sec->name); |
| 348 | return -1; |
| 349 | } |
Josh Poimboeuf | 442f04c | 2016-02-28 22:22:41 -0600 | [diff] [blame] | 350 | } |
Petr Vandrovec | df968c9 | 2017-09-15 02:15:05 -0500 | [diff] [blame] | 351 | sec->len = sec->sh.sh_size; |
Peter Zijlstra | 53038996 | 2020-03-10 18:43:35 +0100 | [diff] [blame] | 352 | |
| 353 | list_add_tail(&sec->list, &elf->sections); |
Peter Zijlstra | 34f7c96 | 2020-03-12 14:29:38 +0100 | [diff] [blame] | 354 | elf_hash_add(elf->section_hash, &sec->hash, sec->idx); |
| 355 | elf_hash_add(elf->section_name_hash, &sec->name_hash, str_hash(sec->name)); |
Josh Poimboeuf | 442f04c | 2016-02-28 22:22:41 -0600 | [diff] [blame] | 356 | } |
| 357 | |
Peter Zijlstra | 1e11f3f | 2020-03-12 09:26:29 +0100 | [diff] [blame] | 358 | if (stats) |
| 359 | printf("nr_sections: %lu\n", (unsigned long)sections_nr); |
| 360 | |
Josh Poimboeuf | 442f04c | 2016-02-28 22:22:41 -0600 | [diff] [blame] | 361 | /* sanity check, one more call to elf_nextscn() should return NULL */ |
| 362 | if (elf_nextscn(elf->elf, s)) { |
| 363 | WARN("section entry mismatch"); |
| 364 | return -1; |
| 365 | } |
| 366 | |
| 367 | return 0; |
| 368 | } |
| 369 | |
| 370 | static int read_symbols(struct elf *elf) |
| 371 | { |
Sami Tolvanen | 28fe1d7 | 2020-04-21 15:08:42 -0700 | [diff] [blame] | 372 | struct section *symtab, *symtab_shndx, *sec; |
Peter Zijlstra | 2a362ec | 2020-03-12 09:34:42 +0100 | [diff] [blame] | 373 | struct symbol *sym, *pfunc; |
| 374 | struct list_head *entry; |
| 375 | struct rb_node *pnode; |
Josh Poimboeuf | 442f04c | 2016-02-28 22:22:41 -0600 | [diff] [blame] | 376 | int symbols_nr, i; |
Josh Poimboeuf | 1381043 | 2018-05-09 22:39:15 -0500 | [diff] [blame] | 377 | char *coldstr; |
Sami Tolvanen | 28fe1d7 | 2020-04-21 15:08:42 -0700 | [diff] [blame] | 378 | Elf_Data *shndx_data = NULL; |
| 379 | Elf32_Word shndx; |
Josh Poimboeuf | 442f04c | 2016-02-28 22:22:41 -0600 | [diff] [blame] | 380 | |
| 381 | symtab = find_section_by_name(elf, ".symtab"); |
| 382 | if (!symtab) { |
| 383 | WARN("missing symbol table"); |
| 384 | return -1; |
| 385 | } |
| 386 | |
Sami Tolvanen | 28fe1d7 | 2020-04-21 15:08:42 -0700 | [diff] [blame] | 387 | symtab_shndx = find_section_by_name(elf, ".symtab_shndx"); |
| 388 | if (symtab_shndx) |
| 389 | shndx_data = symtab_shndx->data; |
| 390 | |
Josh Poimboeuf | 442f04c | 2016-02-28 22:22:41 -0600 | [diff] [blame] | 391 | symbols_nr = symtab->sh.sh_size / symtab->sh.sh_entsize; |
| 392 | |
| 393 | for (i = 0; i < symbols_nr; i++) { |
| 394 | sym = malloc(sizeof(*sym)); |
| 395 | if (!sym) { |
| 396 | perror("malloc"); |
| 397 | return -1; |
| 398 | } |
| 399 | memset(sym, 0, sizeof(*sym)); |
Peter Zijlstra | 2a362ec | 2020-03-12 09:34:42 +0100 | [diff] [blame] | 400 | sym->alias = sym; |
Josh Poimboeuf | 442f04c | 2016-02-28 22:22:41 -0600 | [diff] [blame] | 401 | |
| 402 | sym->idx = i; |
| 403 | |
Sami Tolvanen | 28fe1d7 | 2020-04-21 15:08:42 -0700 | [diff] [blame] | 404 | if (!gelf_getsymshndx(symtab->data, shndx_data, i, &sym->sym, |
| 405 | &shndx)) { |
| 406 | WARN_ELF("gelf_getsymshndx"); |
Josh Poimboeuf | 442f04c | 2016-02-28 22:22:41 -0600 | [diff] [blame] | 407 | goto err; |
| 408 | } |
| 409 | |
| 410 | sym->name = elf_strptr(elf->elf, symtab->sh.sh_link, |
| 411 | sym->sym.st_name); |
| 412 | if (!sym->name) { |
Josh Poimboeuf | baa4146 | 2017-06-28 10:11:07 -0500 | [diff] [blame] | 413 | WARN_ELF("elf_strptr"); |
Josh Poimboeuf | 442f04c | 2016-02-28 22:22:41 -0600 | [diff] [blame] | 414 | goto err; |
| 415 | } |
| 416 | |
| 417 | sym->type = GELF_ST_TYPE(sym->sym.st_info); |
| 418 | sym->bind = GELF_ST_BIND(sym->sym.st_info); |
| 419 | |
Sami Tolvanen | 28fe1d7 | 2020-04-21 15:08:42 -0700 | [diff] [blame] | 420 | if ((sym->sym.st_shndx > SHN_UNDEF && |
| 421 | sym->sym.st_shndx < SHN_LORESERVE) || |
| 422 | (shndx_data && sym->sym.st_shndx == SHN_XINDEX)) { |
| 423 | if (sym->sym.st_shndx != SHN_XINDEX) |
| 424 | shndx = sym->sym.st_shndx; |
| 425 | |
| 426 | sym->sec = find_section_by_index(elf, shndx); |
Josh Poimboeuf | 442f04c | 2016-02-28 22:22:41 -0600 | [diff] [blame] | 427 | if (!sym->sec) { |
| 428 | WARN("couldn't find section for symbol %s", |
| 429 | sym->name); |
| 430 | goto err; |
| 431 | } |
| 432 | if (sym->type == STT_SECTION) { |
| 433 | sym->name = sym->sec->name; |
| 434 | sym->sec->sym = sym; |
| 435 | } |
| 436 | } else |
| 437 | sym->sec = find_section_by_index(elf, 0); |
| 438 | |
| 439 | sym->offset = sym->sym.st_value; |
| 440 | sym->len = sym->sym.st_size; |
| 441 | |
Peter Zijlstra | 2a362ec | 2020-03-12 09:34:42 +0100 | [diff] [blame] | 442 | rb_add(&sym->sec->symbol_tree, &sym->node, symbol_to_offset); |
| 443 | pnode = rb_prev(&sym->node); |
| 444 | if (pnode) |
| 445 | entry = &rb_entry(pnode, struct symbol, node)->list; |
| 446 | else |
| 447 | entry = &sym->sec->symbol_list; |
Josh Poimboeuf | 442f04c | 2016-02-28 22:22:41 -0600 | [diff] [blame] | 448 | list_add(&sym->list, entry); |
Peter Zijlstra | 34f7c96 | 2020-03-12 14:29:38 +0100 | [diff] [blame] | 449 | elf_hash_add(elf->symbol_hash, &sym->hash, sym->idx); |
| 450 | elf_hash_add(elf->symbol_name_hash, &sym->name_hash, str_hash(sym->name)); |
Josh Poimboeuf | 442f04c | 2016-02-28 22:22:41 -0600 | [diff] [blame] | 451 | } |
| 452 | |
Peter Zijlstra | 1e11f3f | 2020-03-12 09:26:29 +0100 | [diff] [blame] | 453 | if (stats) |
| 454 | printf("nr_symbols: %lu\n", (unsigned long)symbols_nr); |
| 455 | |
Josh Poimboeuf | 1381043 | 2018-05-09 22:39:15 -0500 | [diff] [blame] | 456 | /* Create parent/child links for any cold subfunctions */ |
| 457 | list_for_each_entry(sec, &elf->sections, list) { |
| 458 | list_for_each_entry(sym, &sec->symbol_list, list) { |
Artem Savkov | 22566c1 | 2018-11-20 11:52:16 -0600 | [diff] [blame] | 459 | char pname[MAX_NAME_LEN + 1]; |
| 460 | size_t pnamelen; |
Josh Poimboeuf | 1381043 | 2018-05-09 22:39:15 -0500 | [diff] [blame] | 461 | if (sym->type != STT_FUNC) |
| 462 | continue; |
Kristen Carlson Accardi | e000acc | 2020-04-15 14:04:43 -0700 | [diff] [blame] | 463 | |
| 464 | if (sym->pfunc == NULL) |
| 465 | sym->pfunc = sym; |
| 466 | |
| 467 | if (sym->cfunc == NULL) |
| 468 | sym->cfunc = sym; |
| 469 | |
Josh Poimboeuf | bcb6fb5 | 2018-10-31 21:57:30 -0500 | [diff] [blame] | 470 | coldstr = strstr(sym->name, ".cold"); |
Josh Poimboeuf | 08b393d | 2018-06-27 17:03:45 -0500 | [diff] [blame] | 471 | if (!coldstr) |
| 472 | continue; |
Josh Poimboeuf | 1381043 | 2018-05-09 22:39:15 -0500 | [diff] [blame] | 473 | |
Artem Savkov | 22566c1 | 2018-11-20 11:52:16 -0600 | [diff] [blame] | 474 | pnamelen = coldstr - sym->name; |
| 475 | if (pnamelen > MAX_NAME_LEN) { |
| 476 | WARN("%s(): parent function name exceeds maximum length of %d characters", |
| 477 | sym->name, MAX_NAME_LEN); |
| 478 | return -1; |
| 479 | } |
| 480 | |
| 481 | strncpy(pname, sym->name, pnamelen); |
| 482 | pname[pnamelen] = '\0'; |
| 483 | pfunc = find_symbol_by_name(elf, pname); |
Josh Poimboeuf | 1381043 | 2018-05-09 22:39:15 -0500 | [diff] [blame] | 484 | |
Josh Poimboeuf | 08b393d | 2018-06-27 17:03:45 -0500 | [diff] [blame] | 485 | if (!pfunc) { |
| 486 | WARN("%s(): can't find parent function", |
| 487 | sym->name); |
Artem Savkov | 0b9301fb | 2018-11-20 11:52:15 -0600 | [diff] [blame] | 488 | return -1; |
Josh Poimboeuf | 08b393d | 2018-06-27 17:03:45 -0500 | [diff] [blame] | 489 | } |
| 490 | |
| 491 | sym->pfunc = pfunc; |
| 492 | pfunc->cfunc = sym; |
| 493 | |
| 494 | /* |
| 495 | * Unfortunately, -fnoreorder-functions puts the child |
| 496 | * inside the parent. Remove the overlap so we can |
| 497 | * have sane assumptions. |
| 498 | * |
| 499 | * Note that pfunc->len now no longer matches |
| 500 | * pfunc->sym.st_size. |
| 501 | */ |
| 502 | if (sym->sec == pfunc->sec && |
| 503 | sym->offset >= pfunc->offset && |
| 504 | sym->offset + sym->len == pfunc->offset + pfunc->len) { |
| 505 | pfunc->len -= sym->len; |
Josh Poimboeuf | 1381043 | 2018-05-09 22:39:15 -0500 | [diff] [blame] | 506 | } |
| 507 | } |
| 508 | } |
| 509 | |
Josh Poimboeuf | 442f04c | 2016-02-28 22:22:41 -0600 | [diff] [blame] | 510 | return 0; |
| 511 | |
| 512 | err: |
| 513 | free(sym); |
| 514 | return -1; |
| 515 | } |
| 516 | |
Matt Helsley | f197422 | 2020-05-29 14:01:13 -0700 | [diff] [blame] | 517 | void elf_add_reloc(struct elf *elf, struct reloc *reloc) |
Peter Zijlstra | 34f7c96 | 2020-03-12 14:29:38 +0100 | [diff] [blame] | 518 | { |
Matt Helsley | f197422 | 2020-05-29 14:01:13 -0700 | [diff] [blame] | 519 | struct section *sec = reloc->sec; |
Peter Zijlstra | 34f7c96 | 2020-03-12 14:29:38 +0100 | [diff] [blame] | 520 | |
Matt Helsley | f197422 | 2020-05-29 14:01:13 -0700 | [diff] [blame] | 521 | list_add_tail(&reloc->list, &sec->reloc_list); |
| 522 | elf_hash_add(elf->reloc_hash, &reloc->hash, reloc_hash(reloc)); |
Peter Zijlstra | 34f7c96 | 2020-03-12 14:29:38 +0100 | [diff] [blame] | 523 | } |
| 524 | |
Matt Helsley | fb41478 | 2020-05-29 14:01:14 -0700 | [diff] [blame] | 525 | static int read_rel_reloc(struct section *sec, int i, struct reloc *reloc, unsigned int *symndx) |
| 526 | { |
| 527 | if (!gelf_getrel(sec->data, i, &reloc->rel)) { |
| 528 | WARN_ELF("gelf_getrel"); |
| 529 | return -1; |
| 530 | } |
| 531 | reloc->type = GELF_R_TYPE(reloc->rel.r_info); |
| 532 | reloc->addend = 0; |
| 533 | reloc->offset = reloc->rel.r_offset; |
| 534 | *symndx = GELF_R_SYM(reloc->rel.r_info); |
| 535 | return 0; |
| 536 | } |
| 537 | |
| 538 | static int read_rela_reloc(struct section *sec, int i, struct reloc *reloc, unsigned int *symndx) |
| 539 | { |
| 540 | if (!gelf_getrela(sec->data, i, &reloc->rela)) { |
| 541 | WARN_ELF("gelf_getrela"); |
| 542 | return -1; |
| 543 | } |
| 544 | reloc->type = GELF_R_TYPE(reloc->rela.r_info); |
| 545 | reloc->addend = reloc->rela.r_addend; |
| 546 | reloc->offset = reloc->rela.r_offset; |
| 547 | *symndx = GELF_R_SYM(reloc->rela.r_info); |
| 548 | return 0; |
| 549 | } |
| 550 | |
Matt Helsley | f197422 | 2020-05-29 14:01:13 -0700 | [diff] [blame] | 551 | static int read_relocs(struct elf *elf) |
Josh Poimboeuf | 442f04c | 2016-02-28 22:22:41 -0600 | [diff] [blame] | 552 | { |
| 553 | struct section *sec; |
Matt Helsley | f197422 | 2020-05-29 14:01:13 -0700 | [diff] [blame] | 554 | struct reloc *reloc; |
Josh Poimboeuf | 442f04c | 2016-02-28 22:22:41 -0600 | [diff] [blame] | 555 | int i; |
| 556 | unsigned int symndx; |
Matt Helsley | f197422 | 2020-05-29 14:01:13 -0700 | [diff] [blame] | 557 | unsigned long nr_reloc, max_reloc = 0, tot_reloc = 0; |
Josh Poimboeuf | 442f04c | 2016-02-28 22:22:41 -0600 | [diff] [blame] | 558 | |
| 559 | list_for_each_entry(sec, &elf->sections, list) { |
Matt Helsley | fb41478 | 2020-05-29 14:01:14 -0700 | [diff] [blame] | 560 | if ((sec->sh.sh_type != SHT_RELA) && |
| 561 | (sec->sh.sh_type != SHT_REL)) |
Josh Poimboeuf | 442f04c | 2016-02-28 22:22:41 -0600 | [diff] [blame] | 562 | continue; |
| 563 | |
Sami Tolvanen | 1e968bf | 2020-04-21 11:25:01 -0700 | [diff] [blame] | 564 | sec->base = find_section_by_index(elf, sec->sh.sh_info); |
Josh Poimboeuf | 442f04c | 2016-02-28 22:22:41 -0600 | [diff] [blame] | 565 | if (!sec->base) { |
Matt Helsley | f197422 | 2020-05-29 14:01:13 -0700 | [diff] [blame] | 566 | WARN("can't find base section for reloc section %s", |
Josh Poimboeuf | 442f04c | 2016-02-28 22:22:41 -0600 | [diff] [blame] | 567 | sec->name); |
| 568 | return -1; |
| 569 | } |
| 570 | |
Matt Helsley | f197422 | 2020-05-29 14:01:13 -0700 | [diff] [blame] | 571 | sec->base->reloc = sec; |
Josh Poimboeuf | 442f04c | 2016-02-28 22:22:41 -0600 | [diff] [blame] | 572 | |
Matt Helsley | f197422 | 2020-05-29 14:01:13 -0700 | [diff] [blame] | 573 | nr_reloc = 0; |
Josh Poimboeuf | 442f04c | 2016-02-28 22:22:41 -0600 | [diff] [blame] | 574 | for (i = 0; i < sec->sh.sh_size / sec->sh.sh_entsize; i++) { |
Matt Helsley | f197422 | 2020-05-29 14:01:13 -0700 | [diff] [blame] | 575 | reloc = malloc(sizeof(*reloc)); |
| 576 | if (!reloc) { |
Josh Poimboeuf | 442f04c | 2016-02-28 22:22:41 -0600 | [diff] [blame] | 577 | perror("malloc"); |
| 578 | return -1; |
| 579 | } |
Matt Helsley | f197422 | 2020-05-29 14:01:13 -0700 | [diff] [blame] | 580 | memset(reloc, 0, sizeof(*reloc)); |
Matt Helsley | fb41478 | 2020-05-29 14:01:14 -0700 | [diff] [blame] | 581 | switch (sec->sh.sh_type) { |
| 582 | case SHT_REL: |
| 583 | if (read_rel_reloc(sec, i, reloc, &symndx)) |
| 584 | return -1; |
| 585 | break; |
| 586 | case SHT_RELA: |
| 587 | if (read_rela_reloc(sec, i, reloc, &symndx)) |
| 588 | return -1; |
| 589 | break; |
| 590 | default: return -1; |
Josh Poimboeuf | 442f04c | 2016-02-28 22:22:41 -0600 | [diff] [blame] | 591 | } |
| 592 | |
Matt Helsley | f197422 | 2020-05-29 14:01:13 -0700 | [diff] [blame] | 593 | reloc->sec = sec; |
Peter Zijlstra | d832c00 | 2020-06-18 17:55:29 +0200 | [diff] [blame] | 594 | reloc->idx = i; |
| 595 | reloc->sym = find_symbol_by_index(elf, symndx); |
Matt Helsley | f197422 | 2020-05-29 14:01:13 -0700 | [diff] [blame] | 596 | if (!reloc->sym) { |
| 597 | WARN("can't find reloc entry symbol %d for %s", |
Josh Poimboeuf | 442f04c | 2016-02-28 22:22:41 -0600 | [diff] [blame] | 598 | symndx, sec->name); |
| 599 | return -1; |
| 600 | } |
Josh Poimboeuf | 042ba73 | 2016-03-09 00:07:00 -0600 | [diff] [blame] | 601 | |
Matt Helsley | f197422 | 2020-05-29 14:01:13 -0700 | [diff] [blame] | 602 | elf_add_reloc(elf, reloc); |
| 603 | nr_reloc++; |
Josh Poimboeuf | 442f04c | 2016-02-28 22:22:41 -0600 | [diff] [blame] | 604 | } |
Matt Helsley | f197422 | 2020-05-29 14:01:13 -0700 | [diff] [blame] | 605 | max_reloc = max(max_reloc, nr_reloc); |
| 606 | tot_reloc += nr_reloc; |
Peter Zijlstra | 1e11f3f | 2020-03-12 09:26:29 +0100 | [diff] [blame] | 607 | } |
| 608 | |
| 609 | if (stats) { |
Matt Helsley | f197422 | 2020-05-29 14:01:13 -0700 | [diff] [blame] | 610 | printf("max_reloc: %lu\n", max_reloc); |
| 611 | printf("tot_reloc: %lu\n", tot_reloc); |
Josh Poimboeuf | 442f04c | 2016-02-28 22:22:41 -0600 | [diff] [blame] | 612 | } |
| 613 | |
| 614 | return 0; |
| 615 | } |
| 616 | |
Ingo Molnar | bc359ff | 2020-04-22 12:32:04 +0200 | [diff] [blame] | 617 | struct elf *elf_open_read(const char *name, int flags) |
Josh Poimboeuf | 442f04c | 2016-02-28 22:22:41 -0600 | [diff] [blame] | 618 | { |
| 619 | struct elf *elf; |
Josh Poimboeuf | 627fce1 | 2017-07-11 10:33:42 -0500 | [diff] [blame] | 620 | Elf_Cmd cmd; |
Josh Poimboeuf | 442f04c | 2016-02-28 22:22:41 -0600 | [diff] [blame] | 621 | |
| 622 | elf_version(EV_CURRENT); |
| 623 | |
| 624 | elf = malloc(sizeof(*elf)); |
| 625 | if (!elf) { |
| 626 | perror("malloc"); |
| 627 | return NULL; |
| 628 | } |
Peter Zijlstra | 34f7c96 | 2020-03-12 14:29:38 +0100 | [diff] [blame] | 629 | memset(elf, 0, offsetof(struct elf, sections)); |
Josh Poimboeuf | 442f04c | 2016-02-28 22:22:41 -0600 | [diff] [blame] | 630 | |
| 631 | INIT_LIST_HEAD(&elf->sections); |
| 632 | |
Peter Zijlstra | 34f7c96 | 2020-03-12 14:29:38 +0100 | [diff] [blame] | 633 | elf_hash_init(elf->symbol_hash); |
| 634 | elf_hash_init(elf->symbol_name_hash); |
| 635 | elf_hash_init(elf->section_hash); |
| 636 | elf_hash_init(elf->section_name_hash); |
Matt Helsley | f197422 | 2020-05-29 14:01:13 -0700 | [diff] [blame] | 637 | elf_hash_init(elf->reloc_hash); |
Peter Zijlstra | 34f7c96 | 2020-03-12 14:29:38 +0100 | [diff] [blame] | 638 | |
Josh Poimboeuf | 627fce1 | 2017-07-11 10:33:42 -0500 | [diff] [blame] | 639 | elf->fd = open(name, flags); |
Josh Poimboeuf | 442f04c | 2016-02-28 22:22:41 -0600 | [diff] [blame] | 640 | if (elf->fd == -1) { |
Josh Poimboeuf | 385d11b | 2018-01-15 08:17:08 -0600 | [diff] [blame] | 641 | fprintf(stderr, "objtool: Can't open '%s': %s\n", |
| 642 | name, strerror(errno)); |
Josh Poimboeuf | 442f04c | 2016-02-28 22:22:41 -0600 | [diff] [blame] | 643 | goto err; |
| 644 | } |
| 645 | |
Josh Poimboeuf | 627fce1 | 2017-07-11 10:33:42 -0500 | [diff] [blame] | 646 | if ((flags & O_ACCMODE) == O_RDONLY) |
| 647 | cmd = ELF_C_READ_MMAP; |
| 648 | else if ((flags & O_ACCMODE) == O_RDWR) |
| 649 | cmd = ELF_C_RDWR; |
| 650 | else /* O_WRONLY */ |
| 651 | cmd = ELF_C_WRITE; |
| 652 | |
| 653 | elf->elf = elf_begin(elf->fd, cmd, NULL); |
Josh Poimboeuf | 442f04c | 2016-02-28 22:22:41 -0600 | [diff] [blame] | 654 | if (!elf->elf) { |
Josh Poimboeuf | baa4146 | 2017-06-28 10:11:07 -0500 | [diff] [blame] | 655 | WARN_ELF("elf_begin"); |
Josh Poimboeuf | 442f04c | 2016-02-28 22:22:41 -0600 | [diff] [blame] | 656 | goto err; |
| 657 | } |
| 658 | |
| 659 | if (!gelf_getehdr(elf->elf, &elf->ehdr)) { |
Josh Poimboeuf | baa4146 | 2017-06-28 10:11:07 -0500 | [diff] [blame] | 660 | WARN_ELF("gelf_getehdr"); |
Josh Poimboeuf | 442f04c | 2016-02-28 22:22:41 -0600 | [diff] [blame] | 661 | goto err; |
| 662 | } |
| 663 | |
| 664 | if (read_sections(elf)) |
| 665 | goto err; |
| 666 | |
| 667 | if (read_symbols(elf)) |
| 668 | goto err; |
| 669 | |
Matt Helsley | f197422 | 2020-05-29 14:01:13 -0700 | [diff] [blame] | 670 | if (read_relocs(elf)) |
Josh Poimboeuf | 442f04c | 2016-02-28 22:22:41 -0600 | [diff] [blame] | 671 | goto err; |
| 672 | |
| 673 | return elf; |
| 674 | |
| 675 | err: |
| 676 | elf_close(elf); |
| 677 | return NULL; |
| 678 | } |
| 679 | |
Josh Poimboeuf | 627fce1 | 2017-07-11 10:33:42 -0500 | [diff] [blame] | 680 | struct section *elf_create_section(struct elf *elf, const char *name, |
Josh Poimboeuf | 1e7e478 | 2020-08-18 15:57:45 +0200 | [diff] [blame] | 681 | unsigned int sh_flags, size_t entsize, int nr) |
Josh Poimboeuf | 627fce1 | 2017-07-11 10:33:42 -0500 | [diff] [blame] | 682 | { |
| 683 | struct section *sec, *shstrtab; |
| 684 | size_t size = entsize * nr; |
Michael Forney | 3c3ea50 | 2019-07-10 16:17:35 -0500 | [diff] [blame] | 685 | Elf_Scn *s; |
Josh Poimboeuf | 627fce1 | 2017-07-11 10:33:42 -0500 | [diff] [blame] | 686 | Elf_Data *data; |
| 687 | |
| 688 | sec = malloc(sizeof(*sec)); |
| 689 | if (!sec) { |
| 690 | perror("malloc"); |
| 691 | return NULL; |
| 692 | } |
| 693 | memset(sec, 0, sizeof(*sec)); |
| 694 | |
| 695 | INIT_LIST_HEAD(&sec->symbol_list); |
Matt Helsley | f197422 | 2020-05-29 14:01:13 -0700 | [diff] [blame] | 696 | INIT_LIST_HEAD(&sec->reloc_list); |
Josh Poimboeuf | 627fce1 | 2017-07-11 10:33:42 -0500 | [diff] [blame] | 697 | |
Josh Poimboeuf | 627fce1 | 2017-07-11 10:33:42 -0500 | [diff] [blame] | 698 | s = elf_newscn(elf->elf); |
| 699 | if (!s) { |
| 700 | WARN_ELF("elf_newscn"); |
| 701 | return NULL; |
| 702 | } |
| 703 | |
| 704 | sec->name = strdup(name); |
| 705 | if (!sec->name) { |
| 706 | perror("strdup"); |
| 707 | return NULL; |
| 708 | } |
| 709 | |
| 710 | sec->idx = elf_ndxscn(s); |
| 711 | sec->len = size; |
| 712 | sec->changed = true; |
| 713 | |
| 714 | sec->data = elf_newdata(s); |
| 715 | if (!sec->data) { |
| 716 | WARN_ELF("elf_newdata"); |
| 717 | return NULL; |
| 718 | } |
| 719 | |
| 720 | sec->data->d_size = size; |
| 721 | sec->data->d_align = 1; |
| 722 | |
| 723 | if (size) { |
| 724 | sec->data->d_buf = malloc(size); |
| 725 | if (!sec->data->d_buf) { |
| 726 | perror("malloc"); |
| 727 | return NULL; |
| 728 | } |
| 729 | memset(sec->data->d_buf, 0, size); |
| 730 | } |
| 731 | |
| 732 | if (!gelf_getshdr(s, &sec->sh)) { |
| 733 | WARN_ELF("gelf_getshdr"); |
| 734 | return NULL; |
| 735 | } |
| 736 | |
| 737 | sec->sh.sh_size = size; |
| 738 | sec->sh.sh_entsize = entsize; |
| 739 | sec->sh.sh_type = SHT_PROGBITS; |
| 740 | sec->sh.sh_addralign = 1; |
Josh Poimboeuf | 1e7e478 | 2020-08-18 15:57:45 +0200 | [diff] [blame] | 741 | sec->sh.sh_flags = SHF_ALLOC | sh_flags; |
Josh Poimboeuf | 627fce1 | 2017-07-11 10:33:42 -0500 | [diff] [blame] | 742 | |
| 743 | |
Simon Ser | 6d77d3b | 2018-07-09 11:17:22 -0500 | [diff] [blame] | 744 | /* Add section name to .shstrtab (or .strtab for Clang) */ |
Josh Poimboeuf | 627fce1 | 2017-07-11 10:33:42 -0500 | [diff] [blame] | 745 | shstrtab = find_section_by_name(elf, ".shstrtab"); |
Simon Ser | 6d77d3b | 2018-07-09 11:17:22 -0500 | [diff] [blame] | 746 | if (!shstrtab) |
| 747 | shstrtab = find_section_by_name(elf, ".strtab"); |
Josh Poimboeuf | 627fce1 | 2017-07-11 10:33:42 -0500 | [diff] [blame] | 748 | if (!shstrtab) { |
Simon Ser | 6d77d3b | 2018-07-09 11:17:22 -0500 | [diff] [blame] | 749 | WARN("can't find .shstrtab or .strtab section"); |
Josh Poimboeuf | 627fce1 | 2017-07-11 10:33:42 -0500 | [diff] [blame] | 750 | return NULL; |
| 751 | } |
| 752 | |
| 753 | s = elf_getscn(elf->elf, shstrtab->idx); |
| 754 | if (!s) { |
| 755 | WARN_ELF("elf_getscn"); |
| 756 | return NULL; |
| 757 | } |
| 758 | |
| 759 | data = elf_newdata(s); |
| 760 | if (!data) { |
| 761 | WARN_ELF("elf_newdata"); |
| 762 | return NULL; |
| 763 | } |
| 764 | |
| 765 | data->d_buf = sec->name; |
| 766 | data->d_size = strlen(name) + 1; |
| 767 | data->d_align = 1; |
| 768 | |
| 769 | sec->sh.sh_name = shstrtab->len; |
| 770 | |
| 771 | shstrtab->len += strlen(name) + 1; |
| 772 | shstrtab->changed = true; |
| 773 | |
Peter Zijlstra | 53038996 | 2020-03-10 18:43:35 +0100 | [diff] [blame] | 774 | list_add_tail(&sec->list, &elf->sections); |
Peter Zijlstra | 34f7c96 | 2020-03-12 14:29:38 +0100 | [diff] [blame] | 775 | elf_hash_add(elf->section_hash, &sec->hash, sec->idx); |
| 776 | elf_hash_add(elf->section_name_hash, &sec->name_hash, str_hash(sec->name)); |
Peter Zijlstra | 53038996 | 2020-03-10 18:43:35 +0100 | [diff] [blame] | 777 | |
Peter Zijlstra | 2b10be2 | 2020-04-17 23:15:00 +0200 | [diff] [blame] | 778 | elf->changed = true; |
| 779 | |
Josh Poimboeuf | 627fce1 | 2017-07-11 10:33:42 -0500 | [diff] [blame] | 780 | return sec; |
| 781 | } |
| 782 | |
Matt Helsley | fb41478 | 2020-05-29 14:01:14 -0700 | [diff] [blame] | 783 | static struct section *elf_create_rel_reloc_section(struct elf *elf, struct section *base) |
| 784 | { |
| 785 | char *relocname; |
| 786 | struct section *sec; |
| 787 | |
| 788 | relocname = malloc(strlen(base->name) + strlen(".rel") + 1); |
| 789 | if (!relocname) { |
| 790 | perror("malloc"); |
| 791 | return NULL; |
| 792 | } |
| 793 | strcpy(relocname, ".rel"); |
| 794 | strcat(relocname, base->name); |
| 795 | |
Josh Poimboeuf | 1e7e478 | 2020-08-18 15:57:45 +0200 | [diff] [blame] | 796 | sec = elf_create_section(elf, relocname, 0, sizeof(GElf_Rel), 0); |
Matt Helsley | fb41478 | 2020-05-29 14:01:14 -0700 | [diff] [blame] | 797 | free(relocname); |
| 798 | if (!sec) |
| 799 | return NULL; |
| 800 | |
| 801 | base->reloc = sec; |
| 802 | sec->base = base; |
| 803 | |
| 804 | sec->sh.sh_type = SHT_REL; |
| 805 | sec->sh.sh_addralign = 8; |
| 806 | sec->sh.sh_link = find_section_by_name(elf, ".symtab")->idx; |
| 807 | sec->sh.sh_info = base->idx; |
| 808 | sec->sh.sh_flags = SHF_INFO_LINK; |
| 809 | |
| 810 | return sec; |
| 811 | } |
| 812 | |
| 813 | static struct section *elf_create_rela_reloc_section(struct elf *elf, struct section *base) |
Josh Poimboeuf | 627fce1 | 2017-07-11 10:33:42 -0500 | [diff] [blame] | 814 | { |
Matt Helsley | f197422 | 2020-05-29 14:01:13 -0700 | [diff] [blame] | 815 | char *relocname; |
Josh Poimboeuf | 627fce1 | 2017-07-11 10:33:42 -0500 | [diff] [blame] | 816 | struct section *sec; |
| 817 | |
Matt Helsley | f197422 | 2020-05-29 14:01:13 -0700 | [diff] [blame] | 818 | relocname = malloc(strlen(base->name) + strlen(".rela") + 1); |
| 819 | if (!relocname) { |
Josh Poimboeuf | 627fce1 | 2017-07-11 10:33:42 -0500 | [diff] [blame] | 820 | perror("malloc"); |
| 821 | return NULL; |
| 822 | } |
Matt Helsley | f197422 | 2020-05-29 14:01:13 -0700 | [diff] [blame] | 823 | strcpy(relocname, ".rela"); |
| 824 | strcat(relocname, base->name); |
Josh Poimboeuf | 627fce1 | 2017-07-11 10:33:42 -0500 | [diff] [blame] | 825 | |
Josh Poimboeuf | 1e7e478 | 2020-08-18 15:57:45 +0200 | [diff] [blame] | 826 | sec = elf_create_section(elf, relocname, 0, sizeof(GElf_Rela), 0); |
Matt Helsley | f197422 | 2020-05-29 14:01:13 -0700 | [diff] [blame] | 827 | free(relocname); |
Josh Poimboeuf | 627fce1 | 2017-07-11 10:33:42 -0500 | [diff] [blame] | 828 | if (!sec) |
| 829 | return NULL; |
| 830 | |
Matt Helsley | f197422 | 2020-05-29 14:01:13 -0700 | [diff] [blame] | 831 | base->reloc = sec; |
Josh Poimboeuf | 627fce1 | 2017-07-11 10:33:42 -0500 | [diff] [blame] | 832 | sec->base = base; |
| 833 | |
| 834 | sec->sh.sh_type = SHT_RELA; |
| 835 | sec->sh.sh_addralign = 8; |
| 836 | sec->sh.sh_link = find_section_by_name(elf, ".symtab")->idx; |
| 837 | sec->sh.sh_info = base->idx; |
| 838 | sec->sh.sh_flags = SHF_INFO_LINK; |
| 839 | |
| 840 | return sec; |
| 841 | } |
| 842 | |
Matt Helsley | fb41478 | 2020-05-29 14:01:14 -0700 | [diff] [blame] | 843 | struct section *elf_create_reloc_section(struct elf *elf, |
| 844 | struct section *base, |
| 845 | int reltype) |
| 846 | { |
| 847 | switch (reltype) { |
| 848 | case SHT_REL: return elf_create_rel_reloc_section(elf, base); |
| 849 | case SHT_RELA: return elf_create_rela_reloc_section(elf, base); |
| 850 | default: return NULL; |
| 851 | } |
| 852 | } |
| 853 | |
| 854 | static int elf_rebuild_rel_reloc_section(struct section *sec, int nr) |
Josh Poimboeuf | 627fce1 | 2017-07-11 10:33:42 -0500 | [diff] [blame] | 855 | { |
Matt Helsley | f197422 | 2020-05-29 14:01:13 -0700 | [diff] [blame] | 856 | struct reloc *reloc; |
Matt Helsley | fb41478 | 2020-05-29 14:01:14 -0700 | [diff] [blame] | 857 | int idx = 0, size; |
Martin Schwidefsky | a1a664e | 2020-11-13 00:03:26 +0100 | [diff] [blame] | 858 | void *buf; |
Matt Helsley | fb41478 | 2020-05-29 14:01:14 -0700 | [diff] [blame] | 859 | |
| 860 | /* Allocate a buffer for relocations */ |
Martin Schwidefsky | a1a664e | 2020-11-13 00:03:26 +0100 | [diff] [blame] | 861 | size = nr * sizeof(GElf_Rel); |
| 862 | buf = malloc(size); |
| 863 | if (!buf) { |
Matt Helsley | fb41478 | 2020-05-29 14:01:14 -0700 | [diff] [blame] | 864 | perror("malloc"); |
| 865 | return -1; |
| 866 | } |
| 867 | |
Martin Schwidefsky | a1a664e | 2020-11-13 00:03:26 +0100 | [diff] [blame] | 868 | sec->data->d_buf = buf; |
Matt Helsley | fb41478 | 2020-05-29 14:01:14 -0700 | [diff] [blame] | 869 | sec->data->d_size = size; |
Martin Schwidefsky | a1a664e | 2020-11-13 00:03:26 +0100 | [diff] [blame] | 870 | sec->data->d_type = ELF_T_REL; |
Matt Helsley | fb41478 | 2020-05-29 14:01:14 -0700 | [diff] [blame] | 871 | |
| 872 | sec->sh.sh_size = size; |
| 873 | |
| 874 | idx = 0; |
| 875 | list_for_each_entry(reloc, &sec->reloc_list, list) { |
Martin Schwidefsky | a1a664e | 2020-11-13 00:03:26 +0100 | [diff] [blame] | 876 | reloc->rel.r_offset = reloc->offset; |
| 877 | reloc->rel.r_info = GELF_R_INFO(reloc->sym->idx, reloc->type); |
| 878 | gelf_update_rel(sec->data, idx, &reloc->rel); |
Matt Helsley | fb41478 | 2020-05-29 14:01:14 -0700 | [diff] [blame] | 879 | idx++; |
| 880 | } |
| 881 | |
| 882 | return 0; |
| 883 | } |
| 884 | |
| 885 | static int elf_rebuild_rela_reloc_section(struct section *sec, int nr) |
| 886 | { |
| 887 | struct reloc *reloc; |
| 888 | int idx = 0, size; |
Martin Schwidefsky | a1a664e | 2020-11-13 00:03:26 +0100 | [diff] [blame] | 889 | void *buf; |
Josh Poimboeuf | 627fce1 | 2017-07-11 10:33:42 -0500 | [diff] [blame] | 890 | |
Matt Helsley | fb41478 | 2020-05-29 14:01:14 -0700 | [diff] [blame] | 891 | /* Allocate a buffer for relocations with addends */ |
Martin Schwidefsky | a1a664e | 2020-11-13 00:03:26 +0100 | [diff] [blame] | 892 | size = nr * sizeof(GElf_Rela); |
| 893 | buf = malloc(size); |
| 894 | if (!buf) { |
Josh Poimboeuf | 627fce1 | 2017-07-11 10:33:42 -0500 | [diff] [blame] | 895 | perror("malloc"); |
| 896 | return -1; |
| 897 | } |
| 898 | |
Martin Schwidefsky | a1a664e | 2020-11-13 00:03:26 +0100 | [diff] [blame] | 899 | sec->data->d_buf = buf; |
Josh Poimboeuf | 627fce1 | 2017-07-11 10:33:42 -0500 | [diff] [blame] | 900 | sec->data->d_size = size; |
Martin Schwidefsky | a1a664e | 2020-11-13 00:03:26 +0100 | [diff] [blame] | 901 | sec->data->d_type = ELF_T_RELA; |
Josh Poimboeuf | 627fce1 | 2017-07-11 10:33:42 -0500 | [diff] [blame] | 902 | |
| 903 | sec->sh.sh_size = size; |
| 904 | |
| 905 | idx = 0; |
Matt Helsley | f197422 | 2020-05-29 14:01:13 -0700 | [diff] [blame] | 906 | list_for_each_entry(reloc, &sec->reloc_list, list) { |
Martin Schwidefsky | a1a664e | 2020-11-13 00:03:26 +0100 | [diff] [blame] | 907 | reloc->rela.r_offset = reloc->offset; |
| 908 | reloc->rela.r_addend = reloc->addend; |
| 909 | reloc->rela.r_info = GELF_R_INFO(reloc->sym->idx, reloc->type); |
| 910 | gelf_update_rela(sec->data, idx, &reloc->rela); |
Josh Poimboeuf | 627fce1 | 2017-07-11 10:33:42 -0500 | [diff] [blame] | 911 | idx++; |
| 912 | } |
| 913 | |
| 914 | return 0; |
| 915 | } |
| 916 | |
Peter Zijlstra | d832c00 | 2020-06-18 17:55:29 +0200 | [diff] [blame] | 917 | int elf_rebuild_reloc_section(struct elf *elf, struct section *sec) |
Matt Helsley | fb41478 | 2020-05-29 14:01:14 -0700 | [diff] [blame] | 918 | { |
| 919 | struct reloc *reloc; |
| 920 | int nr; |
| 921 | |
Peter Zijlstra | d832c00 | 2020-06-18 17:55:29 +0200 | [diff] [blame] | 922 | sec->changed = true; |
| 923 | elf->changed = true; |
| 924 | |
Matt Helsley | fb41478 | 2020-05-29 14:01:14 -0700 | [diff] [blame] | 925 | nr = 0; |
| 926 | list_for_each_entry(reloc, &sec->reloc_list, list) |
| 927 | nr++; |
| 928 | |
| 929 | switch (sec->sh.sh_type) { |
| 930 | case SHT_REL: return elf_rebuild_rel_reloc_section(sec, nr); |
| 931 | case SHT_RELA: return elf_rebuild_rela_reloc_section(sec, nr); |
| 932 | default: return -1; |
| 933 | } |
| 934 | } |
| 935 | |
Peter Zijlstra | fdabdd0 | 2020-06-12 15:43:00 +0200 | [diff] [blame] | 936 | int elf_write_insn(struct elf *elf, struct section *sec, |
| 937 | unsigned long offset, unsigned int len, |
| 938 | const char *insn) |
| 939 | { |
| 940 | Elf_Data *data = sec->data; |
| 941 | |
| 942 | if (data->d_type != ELF_T_BYTE || data->d_off) { |
| 943 | WARN("write to unexpected data for section: %s", sec->name); |
| 944 | return -1; |
| 945 | } |
| 946 | |
| 947 | memcpy(data->d_buf + offset, insn, len); |
| 948 | elf_flagdata(data, ELF_C_SET, ELF_F_DIRTY); |
| 949 | |
| 950 | elf->changed = true; |
| 951 | |
| 952 | return 0; |
| 953 | } |
| 954 | |
Peter Zijlstra | d832c00 | 2020-06-18 17:55:29 +0200 | [diff] [blame] | 955 | int elf_write_reloc(struct elf *elf, struct reloc *reloc) |
Peter Zijlstra | fdabdd0 | 2020-06-12 15:43:00 +0200 | [diff] [blame] | 956 | { |
Peter Zijlstra | d832c00 | 2020-06-18 17:55:29 +0200 | [diff] [blame] | 957 | struct section *sec = reloc->sec; |
Peter Zijlstra | fdabdd0 | 2020-06-12 15:43:00 +0200 | [diff] [blame] | 958 | |
Peter Zijlstra | d832c00 | 2020-06-18 17:55:29 +0200 | [diff] [blame] | 959 | if (sec->sh.sh_type == SHT_REL) { |
| 960 | reloc->rel.r_info = GELF_R_INFO(reloc->sym->idx, reloc->type); |
| 961 | reloc->rel.r_offset = reloc->offset; |
Peter Zijlstra | fdabdd0 | 2020-06-12 15:43:00 +0200 | [diff] [blame] | 962 | |
Peter Zijlstra | d832c00 | 2020-06-18 17:55:29 +0200 | [diff] [blame] | 963 | if (!gelf_update_rel(sec->data, reloc->idx, &reloc->rel)) { |
| 964 | WARN_ELF("gelf_update_rel"); |
| 965 | return -1; |
| 966 | } |
| 967 | } else { |
| 968 | reloc->rela.r_info = GELF_R_INFO(reloc->sym->idx, reloc->type); |
| 969 | reloc->rela.r_addend = reloc->addend; |
| 970 | reloc->rela.r_offset = reloc->offset; |
| 971 | |
| 972 | if (!gelf_update_rela(sec->data, reloc->idx, &reloc->rela)) { |
| 973 | WARN_ELF("gelf_update_rela"); |
| 974 | return -1; |
| 975 | } |
Peter Zijlstra | fdabdd0 | 2020-06-12 15:43:00 +0200 | [diff] [blame] | 976 | } |
| 977 | |
| 978 | elf->changed = true; |
| 979 | |
| 980 | return 0; |
| 981 | } |
| 982 | |
Peter Zijlstra | 2b10be2 | 2020-04-17 23:15:00 +0200 | [diff] [blame] | 983 | int elf_write(struct elf *elf) |
Josh Poimboeuf | 627fce1 | 2017-07-11 10:33:42 -0500 | [diff] [blame] | 984 | { |
| 985 | struct section *sec; |
| 986 | Elf_Scn *s; |
| 987 | |
Josh Poimboeuf | 97dab2a | 2017-09-15 02:17:11 -0500 | [diff] [blame] | 988 | /* Update section headers for changed sections: */ |
Josh Poimboeuf | 627fce1 | 2017-07-11 10:33:42 -0500 | [diff] [blame] | 989 | list_for_each_entry(sec, &elf->sections, list) { |
| 990 | if (sec->changed) { |
| 991 | s = elf_getscn(elf->elf, sec->idx); |
| 992 | if (!s) { |
| 993 | WARN_ELF("elf_getscn"); |
| 994 | return -1; |
| 995 | } |
Josh Poimboeuf | 97dab2a | 2017-09-15 02:17:11 -0500 | [diff] [blame] | 996 | if (!gelf_update_shdr(s, &sec->sh)) { |
Josh Poimboeuf | 627fce1 | 2017-07-11 10:33:42 -0500 | [diff] [blame] | 997 | WARN_ELF("gelf_update_shdr"); |
| 998 | return -1; |
| 999 | } |
Peter Zijlstra | 2b10be2 | 2020-04-17 23:15:00 +0200 | [diff] [blame] | 1000 | |
| 1001 | sec->changed = false; |
Josh Poimboeuf | 627fce1 | 2017-07-11 10:33:42 -0500 | [diff] [blame] | 1002 | } |
| 1003 | } |
| 1004 | |
Josh Poimboeuf | 97dab2a | 2017-09-15 02:17:11 -0500 | [diff] [blame] | 1005 | /* Make sure the new section header entries get updated properly. */ |
| 1006 | elf_flagelf(elf->elf, ELF_C_SET, ELF_F_DIRTY); |
| 1007 | |
| 1008 | /* Write all changes to the file. */ |
Josh Poimboeuf | 627fce1 | 2017-07-11 10:33:42 -0500 | [diff] [blame] | 1009 | if (elf_update(elf->elf, ELF_C_WRITE) < 0) { |
| 1010 | WARN_ELF("elf_update"); |
| 1011 | return -1; |
| 1012 | } |
| 1013 | |
Peter Zijlstra | 2b10be2 | 2020-04-17 23:15:00 +0200 | [diff] [blame] | 1014 | elf->changed = false; |
| 1015 | |
Josh Poimboeuf | 627fce1 | 2017-07-11 10:33:42 -0500 | [diff] [blame] | 1016 | return 0; |
| 1017 | } |
| 1018 | |
Josh Poimboeuf | 442f04c | 2016-02-28 22:22:41 -0600 | [diff] [blame] | 1019 | void elf_close(struct elf *elf) |
| 1020 | { |
| 1021 | struct section *sec, *tmpsec; |
| 1022 | struct symbol *sym, *tmpsym; |
Matt Helsley | f197422 | 2020-05-29 14:01:13 -0700 | [diff] [blame] | 1023 | struct reloc *reloc, *tmpreloc; |
Josh Poimboeuf | 442f04c | 2016-02-28 22:22:41 -0600 | [diff] [blame] | 1024 | |
Josh Poimboeuf | baa4146 | 2017-06-28 10:11:07 -0500 | [diff] [blame] | 1025 | if (elf->elf) |
| 1026 | elf_end(elf->elf); |
| 1027 | |
| 1028 | if (elf->fd > 0) |
| 1029 | close(elf->fd); |
| 1030 | |
Josh Poimboeuf | 442f04c | 2016-02-28 22:22:41 -0600 | [diff] [blame] | 1031 | list_for_each_entry_safe(sec, tmpsec, &elf->sections, list) { |
Josh Poimboeuf | a196e17 | 2016-03-09 00:06:57 -0600 | [diff] [blame] | 1032 | list_for_each_entry_safe(sym, tmpsym, &sec->symbol_list, list) { |
Josh Poimboeuf | 442f04c | 2016-02-28 22:22:41 -0600 | [diff] [blame] | 1033 | list_del(&sym->list); |
Josh Poimboeuf | 042ba73 | 2016-03-09 00:07:00 -0600 | [diff] [blame] | 1034 | hash_del(&sym->hash); |
Josh Poimboeuf | 442f04c | 2016-02-28 22:22:41 -0600 | [diff] [blame] | 1035 | free(sym); |
| 1036 | } |
Matt Helsley | f197422 | 2020-05-29 14:01:13 -0700 | [diff] [blame] | 1037 | list_for_each_entry_safe(reloc, tmpreloc, &sec->reloc_list, list) { |
| 1038 | list_del(&reloc->list); |
| 1039 | hash_del(&reloc->hash); |
| 1040 | free(reloc); |
Josh Poimboeuf | 442f04c | 2016-02-28 22:22:41 -0600 | [diff] [blame] | 1041 | } |
| 1042 | list_del(&sec->list); |
| 1043 | free(sec); |
| 1044 | } |
Josh Poimboeuf | baa4146 | 2017-06-28 10:11:07 -0500 | [diff] [blame] | 1045 | |
Josh Poimboeuf | 442f04c | 2016-02-28 22:22:41 -0600 | [diff] [blame] | 1046 | free(elf); |
| 1047 | } |