/src/libbpf/elfutils/libelf/elf_strptr.c
Line | Count | Source (jump to first uncovered line) |
1 | | /* Return string pointer from string section. |
2 | | Copyright (C) 1998-2002, 2004, 2008, 2009, 2015 Red Hat, Inc. |
3 | | This file is part of elfutils. |
4 | | Contributed by Ulrich Drepper <drepper@redhat.com>, 1998. |
5 | | |
6 | | This file is free software; you can redistribute it and/or modify |
7 | | it under the terms of either |
8 | | |
9 | | * the GNU Lesser General Public License as published by the Free |
10 | | Software Foundation; either version 3 of the License, or (at |
11 | | your option) any later version |
12 | | |
13 | | or |
14 | | |
15 | | * the GNU General Public License as published by the Free |
16 | | Software Foundation; either version 2 of the License, or (at |
17 | | your option) any later version |
18 | | |
19 | | or both in parallel, as here. |
20 | | |
21 | | elfutils is distributed in the hope that it will be useful, but |
22 | | WITHOUT ANY WARRANTY; without even the implied warranty of |
23 | | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU |
24 | | General Public License for more details. |
25 | | |
26 | | You should have received copies of the GNU General Public License and |
27 | | the GNU Lesser General Public License along with this program. If |
28 | | not, see <http://www.gnu.org/licenses/>. */ |
29 | | |
30 | | #ifdef HAVE_CONFIG_H |
31 | | # include <config.h> |
32 | | #endif |
33 | | |
34 | | #include <libelf.h> |
35 | | #include <stdbool.h> |
36 | | #include <stddef.h> |
37 | | |
38 | | #include "libelfP.h" |
39 | | |
40 | | |
41 | | static void * |
42 | | get_zdata (Elf_Scn *strscn) |
43 | 2.51k | { |
44 | 2.51k | size_t zsize, zalign; |
45 | 2.51k | void *zdata = __libelf_decompress_elf (strscn, &zsize, &zalign); |
46 | 2.51k | if (zdata == NULL) |
47 | 2.50k | return NULL; |
48 | | |
49 | 10 | strscn->zdata_base = zdata; |
50 | 10 | strscn->zdata_size = zsize; |
51 | 10 | strscn->zdata_align = zalign; |
52 | | |
53 | 10 | return zdata; |
54 | 2.51k | } |
55 | | |
56 | | static bool validate_str (const char *str, size_t from, size_t to) |
57 | 77.5k | { |
58 | 77.5k | #if HAVE_DECL_MEMRCHR |
59 | | // Check end first, which is likely a zero terminator, to prevent function call |
60 | 77.5k | return ((to > 0 && str[to - 1] == '\0') |
61 | 77.5k | || (to - from > 0 && memrchr (&str[from], '\0', to - from - 1) != NULL)); |
62 | | #else |
63 | | do { |
64 | | if (to <= from) |
65 | | return false; |
66 | | |
67 | | to--; |
68 | | } while (str[to]); |
69 | | |
70 | | return true; |
71 | | #endif |
72 | 77.5k | } |
73 | | |
74 | | char * |
75 | | elf_strptr (Elf *elf, size_t idx, size_t offset) |
76 | 86.0k | { |
77 | 86.0k | if (elf == NULL) |
78 | 0 | return NULL; |
79 | | |
80 | 86.0k | if (elf->kind != ELF_K_ELF) |
81 | 0 | { |
82 | 0 | __libelf_seterrno (ELF_E_INVALID_HANDLE); |
83 | 0 | return NULL; |
84 | 0 | } |
85 | | |
86 | 86.0k | rwlock_rdlock (elf->lock); |
87 | | |
88 | 86.0k | char *result = NULL; |
89 | 86.0k | Elf_Scn *strscn; |
90 | | |
91 | | /* Find the section in the list. */ |
92 | 86.0k | Elf_ScnList *runp = (elf->class == ELFCLASS32 |
93 | 86.0k | || (offsetof (struct Elf, state.elf32.scns) |
94 | 86.0k | == offsetof (struct Elf, state.elf64.scns)) |
95 | 86.0k | ? &elf->state.elf32.scns : &elf->state.elf64.scns); |
96 | 86.0k | while (1) |
97 | 86.0k | { |
98 | 86.0k | if (idx < runp->max) |
99 | 85.9k | { |
100 | 85.9k | if (idx < runp->cnt) |
101 | 85.9k | strscn = &runp->data[idx]; |
102 | 0 | else |
103 | 0 | { |
104 | 0 | __libelf_seterrno (ELF_E_INVALID_INDEX); |
105 | 0 | goto out; |
106 | 0 | } |
107 | 85.9k | break; |
108 | 85.9k | } |
109 | | |
110 | 57 | idx -= runp->max; |
111 | | |
112 | 57 | runp = runp->next; |
113 | 57 | if (runp == NULL) |
114 | 57 | { |
115 | 57 | __libelf_seterrno (ELF_E_INVALID_INDEX); |
116 | 57 | goto out; |
117 | 57 | } |
118 | 57 | } |
119 | | |
120 | 85.9k | size_t sh_size = 0; |
121 | 85.9k | if (elf->class == ELFCLASS32) |
122 | 0 | { |
123 | 0 | Elf32_Shdr *shdr = strscn->shdr.e32 ?: __elf32_getshdr_rdlock (strscn); |
124 | 0 | if (unlikely (shdr == NULL || shdr->sh_type != SHT_STRTAB)) |
125 | 0 | { |
126 | | /* This is no string section. */ |
127 | 0 | __libelf_seterrno (ELF_E_INVALID_SECTION); |
128 | 0 | goto out; |
129 | 0 | } |
130 | | |
131 | 0 | if ((shdr->sh_flags & SHF_COMPRESSED) == 0) |
132 | 0 | sh_size = shdr->sh_size; |
133 | 0 | else |
134 | 0 | { |
135 | 0 | if (strscn->zdata_base == NULL && get_zdata (strscn) == NULL) |
136 | 0 | goto out; |
137 | 0 | sh_size = strscn->zdata_size; |
138 | 0 | } |
139 | | |
140 | 0 | if (unlikely (offset >= sh_size)) |
141 | 0 | { |
142 | | /* The given offset is too big, it is beyond this section. */ |
143 | 0 | __libelf_seterrno (ELF_E_OFFSET_RANGE); |
144 | 0 | goto out; |
145 | 0 | } |
146 | 0 | } |
147 | 85.9k | else |
148 | 85.9k | { |
149 | 85.9k | Elf64_Shdr *shdr = strscn->shdr.e64 ?: __elf64_getshdr_rdlock (strscn); |
150 | 85.9k | if (unlikely (shdr == NULL || shdr->sh_type != SHT_STRTAB)) |
151 | 776 | { |
152 | | /* This is no string section. */ |
153 | 776 | __libelf_seterrno (ELF_E_INVALID_SECTION); |
154 | 776 | goto out; |
155 | 776 | } |
156 | | |
157 | 18.4E | if ((shdr->sh_flags & SHF_COMPRESSED) == 0) |
158 | 82.4k | sh_size = shdr->sh_size; |
159 | 18.4E | else |
160 | 18.4E | { |
161 | 18.4E | if (strscn->zdata_base == NULL && get_zdata (strscn) == NULL) |
162 | 2.50k | goto out; |
163 | 18.4E | sh_size = strscn->zdata_size; |
164 | 18.4E | } |
165 | | |
166 | 18.4E | if (unlikely (offset >= sh_size)) |
167 | 4.50k | { |
168 | | /* The given offset is too big, it is beyond this section. */ |
169 | 4.50k | __libelf_seterrno (ELF_E_OFFSET_RANGE); |
170 | 4.50k | goto out; |
171 | 4.50k | } |
172 | 18.4E | } |
173 | | |
174 | 18.4E | if (strscn->rawdata_base == NULL && ! strscn->data_read) |
175 | 636 | { |
176 | 636 | rwlock_unlock (elf->lock); |
177 | 636 | rwlock_wrlock (elf->lock); |
178 | 636 | if (strscn->rawdata_base == NULL && ! strscn->data_read |
179 | | /* Read the section data. */ |
180 | 636 | && __libelf_set_rawdata_wrlock (strscn) != 0) |
181 | 626 | goto out; |
182 | 636 | } |
183 | | |
184 | 18.4E | if (unlikely (strscn->zdata_base != NULL)) |
185 | 0 | { |
186 | | /* Make sure the string is NUL terminated. Start from the end, |
187 | | which very likely is a NUL char. */ |
188 | 0 | if (likely (validate_str (strscn->zdata_base, offset, sh_size))) |
189 | 0 | result = &strscn->zdata_base[offset]; |
190 | 0 | else |
191 | 0 | __libelf_seterrno (ELF_E_INVALID_INDEX); |
192 | 0 | } |
193 | 18.4E | else if (likely (strscn->data_list_rear == NULL)) |
194 | 75.5k | { |
195 | | // XXX The above is currently correct since elf_newdata will |
196 | | // make sure to convert the rawdata into the datalist if |
197 | | // necessary. But it would be more efficient to keep the rawdata |
198 | | // unconverted and only then iterate over the rest of the (newly |
199 | | // added data) list. Note that when the ELF file is mmapped |
200 | | // rawdata_base can be set while rawdata.d hasn't been |
201 | | // initialized yet (when data_read is zero). So we cannot just |
202 | | // look at the rawdata.d.d_size. |
203 | | |
204 | | /* Make sure the string is NUL terminated. Start from the end, |
205 | | which very likely is a NUL char. */ |
206 | 75.5k | if (likely (validate_str (strscn->rawdata_base, offset, sh_size))) |
207 | 75.2k | result = &strscn->rawdata_base[offset]; |
208 | 215 | else |
209 | 215 | __libelf_seterrno (ELF_E_INVALID_INDEX); |
210 | 75.5k | } |
211 | 18.4E | else |
212 | 18.4E | { |
213 | | /* This is a file which is currently created. Use the list of |
214 | | data blocks. */ |
215 | 18.4E | struct Elf_Data_List *dl = &strscn->data_list; |
216 | 18.4E | while (dl != NULL) |
217 | 2.07k | { |
218 | 2.07k | if (offset >= (size_t) dl->data.d.d_off |
219 | 2.07k | && offset < dl->data.d.d_off + dl->data.d.d_size) |
220 | 2.07k | { |
221 | | /* Make sure the string is NUL terminated. Start from |
222 | | the end, which very likely is a NUL char. */ |
223 | 2.07k | if (likely (validate_str ((char *) dl->data.d.d_buf, |
224 | 2.07k | offset - dl->data.d.d_off, |
225 | 2.07k | dl->data.d.d_size))) |
226 | 1.86k | result = ((char *) dl->data.d.d_buf |
227 | 1.86k | + (offset - dl->data.d.d_off)); |
228 | 210 | else |
229 | 210 | __libelf_seterrno (ELF_E_INVALID_INDEX); |
230 | 2.07k | break; |
231 | 2.07k | } |
232 | | |
233 | 0 | dl = dl->next; |
234 | 0 | } |
235 | 18.4E | } |
236 | | |
237 | 18.4E | out: |
238 | 86.0k | rwlock_unlock (elf->lock); |
239 | | |
240 | 86.0k | return result; |
241 | 18.4E | } |
242 | | INTDEF(elf_strptr) |