Coverage Report

Created: 2026-05-16 06:03

next uncovered line (L), next uncovered region (R), next uncovered branch (B)
/src/libbpf/elfutils/libelf/elf_strptr.c
Line
Count
Source
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.24k
{
44
2.24k
  size_t zsize, zalign;
45
2.24k
  void *zdata = __libelf_decompress_elf (strscn, &zsize, &zalign);
46
2.24k
  if (zdata == NULL)
47
2.23k
    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.24k
}
55
56
static bool validate_str (const char *str, size_t from, size_t to)
57
82.9k
{
58
82.9k
#if HAVE_DECL_MEMRCHR
59
  // Check end first, which is likely a zero terminator, to prevent function call
60
82.9k
  return ((to > 0 && str[to - 1]  == '\0')
61
35.4k
    || (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
82.9k
}
73
74
char *
75
elf_strptr (Elf *elf, size_t idx, size_t offset)
76
90.7k
{
77
90.7k
  if (elf == NULL)
78
0
    return NULL;
79
80
90.7k
  if (elf->kind != ELF_K_ELF)
81
0
    {
82
0
      __libelf_seterrno (ELF_E_INVALID_HANDLE);
83
0
      return NULL;
84
0
    }
85
86
90.7k
  rwlock_rdlock (elf->lock);
87
88
90.7k
  char *result = NULL;
89
90.7k
  Elf_Scn *strscn;
90
91
  /* Find the section in the list.  */
92
90.7k
  Elf_ScnList *runp = (elf->class == ELFCLASS32
93
90.7k
           || (offsetof (struct Elf, state.elf32.scns)
94
90.7k
         == offsetof (struct Elf, state.elf64.scns))
95
90.7k
           ? &elf->state.elf32.scns : &elf->state.elf64.scns);
96
90.7k
  while (1)
97
90.7k
    {
98
90.7k
      if (idx < runp->max)
99
90.6k
  {
100
90.6k
    if (idx < runp->cnt)
101
90.6k
      strscn = &runp->data[idx];
102
0
    else
103
0
      {
104
0
        __libelf_seterrno (ELF_E_INVALID_INDEX);
105
0
        goto out;
106
0
      }
107
90.6k
    break;
108
90.6k
  }
109
110
51
      idx -= runp->max;
111
112
51
      runp = runp->next;
113
51
      if (runp == NULL)
114
51
  {
115
51
    __libelf_seterrno (ELF_E_INVALID_INDEX);
116
51
    goto out;
117
51
  }
118
51
    }
119
120
90.6k
  size_t sh_size = 0;
121
90.6k
  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
90.6k
  else
148
90.6k
    {
149
90.6k
      Elf64_Shdr *shdr = strscn->shdr.e64 ?: __elf64_getshdr_rdlock (strscn);
150
90.6k
      if (unlikely (shdr == NULL || shdr->sh_type != SHT_STRTAB))
151
796
  {
152
    /* This is no string section.  */
153
796
    __libelf_seterrno (ELF_E_INVALID_SECTION);
154
796
    goto out;
155
796
  }
156
157
89.8k
      if ((shdr->sh_flags & SHF_COMPRESSED) == 0)
158
87.4k
  sh_size = shdr->sh_size;
159
2.43k
      else
160
2.43k
  {
161
2.43k
    if (strscn->zdata_base == NULL && get_zdata (strscn) == NULL)
162
2.23k
      goto out;
163
207
    sh_size = strscn->zdata_size;
164
207
  }
165
166
87.6k
      if (unlikely (offset >= sh_size))
167
4.40k
  {
168
    /* The given offset is too big, it is beyond this section.  */
169
4.40k
    __libelf_seterrno (ELF_E_OFFSET_RANGE);
170
4.40k
    goto out;
171
4.40k
  }
172
87.6k
    }
173
174
83.2k
  if (strscn->rawdata_base == NULL && ! strscn->data_read)
175
315
    {
176
315
      rwlock_unlock (elf->lock);
177
315
      rwlock_wrlock (elf->lock);
178
315
      if (strscn->rawdata_base == NULL && ! strscn->data_read
179
  /* Read the section data.  */
180
315
    && __libelf_set_rawdata_wrlock (strscn) != 0)
181
314
  goto out;
182
315
    }
183
184
82.9k
  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
82.9k
  else if (likely (strscn->data_list_rear == NULL))
194
80.4k
    {
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
80.4k
      if (likely (validate_str (strscn->rawdata_base, offset, sh_size)))
207
80.2k
  result = &strscn->rawdata_base[offset];
208
215
      else
209
215
  __libelf_seterrno (ELF_E_INVALID_INDEX);
210
80.4k
    }
211
2.48k
  else
212
2.48k
    {
213
      /* This is a file which is currently created.  Use the list of
214
   data blocks.  */
215
2.48k
      struct Elf_Data_List *dl = &strscn->data_list;
216
2.48k
      while (dl != NULL)
217
2.48k
  {
218
2.48k
    if (offset >= (size_t) dl->data.d.d_off
219
2.48k
        && offset < dl->data.d.d_off + dl->data.d.d_size)
220
2.48k
      {
221
        /* Make sure the string is NUL terminated.  Start from
222
     the end, which very likely is a NUL char.  */
223
2.48k
        if (likely (validate_str ((char *) dl->data.d.d_buf,
224
2.48k
          offset - dl->data.d.d_off,
225
2.48k
          dl->data.d.d_size)))
226
2.27k
    result = ((char *) dl->data.d.d_buf
227
2.27k
        + (offset - dl->data.d.d_off));
228
210
        else
229
210
    __libelf_seterrno (ELF_E_INVALID_INDEX);
230
2.48k
        break;
231
2.48k
      }
232
233
0
    dl = dl->next;
234
0
  }
235
2.48k
    }
236
237
90.7k
 out:
238
90.7k
  rwlock_unlock (elf->lock);
239
240
90.7k
  return result;
241
82.9k
}
242
INTDEF(elf_strptr)