1 /* $NetBSD: libelf_ar.c,v 1.3 2009/12/19 07:59:24 thorpej Exp $ */
4 * Copyright (c) 2006 Joseph Koshy
7 * Redistribution and use in source and binary forms, with or without
8 * modification, are permitted provided that the following conditions
10 * 1. Redistributions of source code must retain the above copyright
11 * notice, this list of conditions and the following disclaimer.
12 * 2. Redistributions in binary form must reproduce the above copyright
13 * notice, this list of conditions and the following disclaimer in the
14 * documentation and/or other materials provided with the distribution.
16 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS `AS IS' AND
17 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
18 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
19 * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
20 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
21 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
22 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
23 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
24 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
25 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
29 #include <sys/cdefs.h>
30 /* __FBSDID("$FreeBSD: src/lib/libelf/libelf_ar.c,v 1.3.10.1.2.1 2009/10/25 01:10:29 kensmith Exp $"); */
41 #define LIBELF_NALLOC_SIZE 16
44 * `ar' archive handling.
46 * `ar' archives start with signature `ARMAG'. Each archive member is
47 * preceded by a header containing meta-data for the member. This
48 * header is described in <ar.h> (struct ar_hdr). The header always
49 * starts on an even address. File data is padded with "\n"
50 * characters to keep this invariant.
52 * Special considerations for `ar' archives:
54 * The `ar' header only has space for a 16 character file name. File
55 * names are terminated with a '/', so this effectively leaves 15
56 * characters for the actual file name. In order to accomodate longer
57 * file names, names may be stored in a separate 'string table' and
58 * referenced indirectly by a member header. The string table itself
59 * appears as an archive member with name "// ". An indirect file name
60 * in an `ar' header matches the pattern "/[0-9]*". The digits form a
61 * decimal number that corresponds to a byte offset into the string
62 * table where the actual file name of the object starts. Strings in
63 * the string table are padded to start on even addresses.
65 * Archives may also have a symbol table (see ranlib(1)), mapping
66 * program symbols to object files inside the archive. A symbol table
67 * uses a file name of "/ " in its archive header. The symbol table
69 * - a 4-byte count of entries stored as a binary value, MSB first
70 * - 'n' 4-byte offsets, stored as binary values, MSB first
71 * - 'n' NUL-terminated strings, for ELF symbol names, stored unpadded.
73 * If the symbol table and string table are is present in an archive
74 * they must be the very first objects and in that order.
78 * Convert a string bounded by `start' and `start+sz' (exclusive) to a
79 * number in the specified base.
82 _libelf_ar_get_number(char *s
, size_t sz
, int base
, size_t *ret
)
92 /* skip leading blanks */
93 for (;s
< e
&& (c
= *s
) == ' '; s
++)
100 if (c
< '0' || c
> '9')
103 if (v
>= base
) /* Illegal digit. */
115 * Retrieve a string from a name field. If `rawname' is set, leave
116 * ar(1) control characters in.
119 _libelf_ar_get_string(const char *buf
, size_t bufsize
, int rawname
)
128 /* Skip back over trailing blanks. */
129 for (q
= buf
+ bufsize
- 1; q
>= buf
&& *q
== ' '; --q
)
134 * If the input buffer only had blanks in it,
135 * return a zero-length string.
141 * Remove the trailing '/' character, but only
142 * if the name isn't one of the special names
146 (q
== (buf
+ 1) && *buf
!= '/'))
149 sz
= q
- buf
+ 2; /* Space for a trailing NUL. */
153 if ((r
= malloc(sz
)) == NULL
) {
154 LIBELF_SET_ERROR(RESOURCE
, 0);
158 (void) strncpy(r
, buf
, sz
);
165 * Retrieve the full name of the archive member.
168 _libelf_ar_get_name(char *buf
, size_t bufsize
, Elf
*e
)
174 assert(e
->e_kind
== ELF_K_AR
);
176 if (buf
[0] == '/' && (c
= buf
[1]) >= '0' && c
<= '9') {
178 * The value in field ar_name is a decimal offset into
179 * the archive string table where the actual name
182 if (_libelf_ar_get_number(buf
+ 1, bufsize
- 1, 10,
184 LIBELF_SET_ERROR(ARCHIVE
, 0);
188 if (offset
> e
->e_u
.e_ar
.e_rawstrtabsz
) {
189 LIBELF_SET_ERROR(ARCHIVE
, 0);
193 s
= q
= e
->e_u
.e_ar
.e_rawstrtab
+ offset
;
194 r
= e
->e_u
.e_ar
.e_rawstrtab
+ e
->e_u
.e_ar
.e_rawstrtabsz
;
196 for (s
= q
; s
< r
&& *s
!= '/'; s
++)
198 len
= s
- q
+ 1; /* space for the trailing NUL */
200 if ((s
= malloc(len
)) == NULL
) {
201 LIBELF_SET_ERROR(RESOURCE
, 0);
205 (void) strncpy(s
, q
, len
);
214 return (_libelf_ar_get_string(buf
, bufsize
, 0));
219 _libelf_ar_gethdr(Elf
*e
)
226 if ((parent
= e
->e_parent
) == NULL
) {
227 LIBELF_SET_ERROR(ARGUMENT
, 0);
231 arh
= (struct ar_hdr
*) ((uintptr_t) e
->e_rawfile
- sizeof(struct ar_hdr
));
233 assert((uintptr_t) arh
>= (uintptr_t) parent
->e_rawfile
+ SARMAG
);
234 assert((uintptr_t) arh
<= (uintptr_t) parent
->e_rawfile
+ parent
->e_rawsize
-
235 sizeof(struct ar_hdr
));
237 if ((eh
= malloc(sizeof(Elf_Arhdr
))) == NULL
) {
238 LIBELF_SET_ERROR(RESOURCE
, 0);
243 eh
->ar_name
= eh
->ar_rawname
= NULL
;
245 if ((eh
->ar_name
= _libelf_ar_get_name(arh
->ar_name
, sizeof(arh
->ar_name
),
249 if (_libelf_ar_get_number(arh
->ar_uid
, sizeof(arh
->ar_uid
), 10, &n
) == 0)
251 eh
->ar_uid
= (uid_t
) n
;
253 if (_libelf_ar_get_number(arh
->ar_gid
, sizeof(arh
->ar_gid
), 10, &n
) == 0)
255 eh
->ar_gid
= (gid_t
) n
;
257 if (_libelf_ar_get_number(arh
->ar_mode
, sizeof(arh
->ar_mode
), 8, &n
) == 0)
259 eh
->ar_mode
= (mode_t
) n
;
261 if (_libelf_ar_get_number(arh
->ar_size
, sizeof(arh
->ar_size
), 10, &n
) == 0)
265 if ((eh
->ar_rawname
= _libelf_ar_get_string(arh
->ar_name
,
266 sizeof(arh
->ar_name
), 1)) == NULL
)
276 free(eh
->ar_rawname
);
285 _libelf_ar_open_member(int fd
, Elf_Cmd c
, Elf
*elf
)
292 assert(elf
->e_kind
== ELF_K_AR
);
294 next
= elf
->e_u
.e_ar
.e_next
;
297 * `next' is only set to zero by elf_next() when the last
298 * member of an archive is processed.
300 if (next
== (off_t
) 0)
303 assert((next
& 1) == 0);
305 arh
= (struct ar_hdr
*) (elf
->e_rawfile
+ next
);
307 if (_libelf_ar_get_number(arh
->ar_size
, sizeof(arh
->ar_size
), 10, &sz
) == 0) {
308 LIBELF_SET_ERROR(ARCHIVE
, 0);
314 arh
++; /* skip over archive member header */
316 if ((e
= elf_memory((char *) arh
, sz
)) == NULL
)
322 elf
->e_u
.e_ar
.e_nchildren
++;
329 _libelf_ar_open(Elf
*e
)
336 e
->e_kind
= ELF_K_AR
;
337 e
->e_u
.e_ar
.e_nchildren
= 0;
338 e
->e_u
.e_ar
.e_next
= (off_t
) -1;
341 * Look for special members.
344 s
= e
->e_rawfile
+ SARMAG
;
345 end
= e
->e_rawfile
+ e
->e_rawsize
;
347 assert(e
->e_rawsize
> 0);
350 * Look for magic names "/ " and "// " in the first two entries
353 for (i
= 0; i
< 2; i
++) {
355 if (s
+ sizeof(arh
) > end
) {
356 LIBELF_SET_ERROR(ARCHIVE
, 0);
360 (void) memcpy(&arh
, s
, sizeof(arh
));
362 if (arh
.ar_fmag
[0] != '`' || arh
.ar_fmag
[1] != '\n') {
363 LIBELF_SET_ERROR(ARCHIVE
, 0);
367 if (arh
.ar_name
[0] != '/') /* not a special symbol */
370 if (_libelf_ar_get_number(arh
.ar_size
, sizeof(arh
.ar_size
), 10, &sz
) == 0) {
371 LIBELF_SET_ERROR(ARCHIVE
, 0);
379 if (arh
.ar_name
[1] == ' ') { /* "/ " => symbol table */
381 e
->e_u
.e_ar
.e_rawsymtab
= s
;
382 e
->e_u
.e_ar
.e_rawsymtabsz
= sz
;
384 } else if (arh
.ar_name
[1] == '/' && arh
.ar_name
[2] == ' ') {
386 /* "// " => string table for long file names */
387 e
->e_u
.e_ar
.e_rawstrtab
= s
;
388 e
->e_u
.e_ar
.e_rawstrtabsz
= sz
;
391 sz
= LIBELF_ADJUST_AR_SIZE(sz
);
396 e
->e_u
.e_ar
.e_next
= (off_t
) (s
- e
->e_rawfile
);
402 * An ar(1) symbol table has the following layout:
404 * The first 4 bytes are a binary count of the number of entries in the
405 * symbol table, stored MSB-first.
407 * Then there are 'n' 4-byte binary offsets, also stored MSB first.
409 * Following this, there are 'n' null-terminated strings.
412 #define GET_WORD(P, V) do { \
414 (V) = (P)[0]; (V) <<= 8; \
415 (V) += (P)[1]; (V) <<= 8; \
416 (V) += (P)[2]; (V) <<= 8; \
418 } while (/*CONSTCOND*/0)
423 _libelf_ar_process_symtab(Elf
*e
, size_t *count
)
425 size_t n
, nentries
, off
;
426 Elf_Arsym
*symtab
, *sym
;
427 unsigned char *p
, *s
, *end
;
430 assert(count
!= NULL
);
432 if (e
->e_u
.e_ar
.e_rawsymtabsz
< INTSZ
) {
433 LIBELF_SET_ERROR(ARCHIVE
, 0);
437 p
= (unsigned char *) e
->e_u
.e_ar
.e_rawsymtab
;
438 end
= p
+ e
->e_u
.e_ar
.e_rawsymtabsz
;
440 GET_WORD(p
, nentries
);
443 if (nentries
== 0 || p
+ nentries
* INTSZ
>= end
) {
444 LIBELF_SET_ERROR(ARCHIVE
, 0);
448 /* Allocate space for a nentries + a sentinel. */
449 if ((symtab
= malloc(sizeof(Elf_Arsym
) * (nentries
+1))) == NULL
) {
450 LIBELF_SET_ERROR(RESOURCE
, 0);
454 s
= p
+ (nentries
* INTSZ
); /* start of the string table. */
456 for (n
= nentries
, sym
= symtab
; n
> 0; n
--) {
462 sym
->as_hash
= elf_hash(s
);
463 sym
->as_name
= (char *)s
;
468 for (; s
< end
&& *s
++ != '\0';) /* skip to next string */
471 LIBELF_SET_ERROR(ARCHIVE
, 0);
477 /* Fill up the sentinel entry. */
480 sym
->as_off
= (off_t
) 0;
482 *count
= e
->e_u
.e_ar
.e_symtabsz
= nentries
+ 1;
483 e
->e_u
.e_ar
.e_symtab
= symtab
;