--- rpm-4.3/file/src/readelf.c.orig 2003-04-15 17:19:30.000000000 +0200 +++ rpm-4.3/file/src/readelf.c 2004-02-24 22:15:06.302161792 +0100 @@ -1,3 +1,31 @@ +/* + * Copyright (c) Christos Zoulas 2003. + * All Rights Reserved. + * + * Redistribution and use in source and binary forms, with or without + * modification, are permitted provided that the following conditions + * are met: + * 1. Redistributions of source code must retain the above copyright + * notice immediately at the beginning of the file, without modification, + * this list of conditions, and the following disclaimer. + * 2. Redistributions in binary form must reproduce the above copyright + * notice, this list of conditions and the following disclaimer in the + * documentation and/or other materials provided with the distribution. + * 3. The name of the author may not be used to endorse or promote products + * derived from this software without specific prior written permission. + * + * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND + * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE + * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE + * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE FOR + * ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL + * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS + * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) + * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT + * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY + * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF + * SUCH DAMAGE. + */ #include "system.h" #ifdef BUILTIN_ELF @@ -8,6 +36,9 @@ FILE_RCSID("@(#)Id: readelf.c,v 1.22 2002/07/03 18:26:38 christos Exp ") /*@access fmagic @*/ +static size_t donote(const fmagic fm, unsigned char *, size_t, size_t, int); + +#define ELF_ALIGN(a) ((((a) + align - 1) / align) * align) /*@-bounds@*/ static uint16_t @@ -100,230 +131,27 @@ #define ph_offset (fm->cls == ELFCLASS32 \ ? getu32(fm, ph32.p_offset) \ : getu64(fm, ph64.p_offset)) -#define ph_align (fm->cls == ELFCLASS32 \ - ? (ph32.p_align ? getu32(fm, ph32.p_align) : 4) \ - : (ph64.p_align ? getu64(fm, ph64.p_align) : 4)) +#define ph_align (int)((fm->cls == ELFCLASS32 \ + ? (off_t) (ph32.p_align ? \ + getu32(fm, ph32.p_align) : 4) \ + : (off_t) (ph64.p_align ? \ + getu64(fm, ph64.p_align) : 4))) #define nh_size (fm->cls == ELFCLASS32 \ - ? sizeof *nh32 \ - : sizeof *nh64) + ? sizeof nh32 \ + : sizeof nh64) #define nh_type (fm->cls == ELFCLASS32 \ - ? getu32(fm, nh32->n_type) \ - : getu32(fm, nh64->n_type)) + ? getu32(fm, nh32.n_type) \ + : getu32(fm, nh64.n_type)) #define nh_namesz (fm->cls == ELFCLASS32 \ - ? getu32(fm, nh32->n_namesz) \ - : getu32(fm, nh64->n_namesz)) + ? getu32(fm, nh32.n_namesz) \ + : getu32(fm, nh64.n_namesz)) #define nh_descsz (fm->cls == ELFCLASS32 \ - ? getu32(fm, nh32->n_descsz) \ - : getu32(fm, nh64->n_descsz)) + ? getu32(fm, nh32.n_descsz) \ + : getu32(fm, nh64.n_descsz)) #define prpsoffsets(i) (fm->cls == ELFCLASS32 \ ? prpsoffsets32[i] \ : prpsoffsets64[i]) -/*@-bounds@*/ -static void -doshn(fmagic fm, off_t off, int num, size_t size) - /*@globals fileSystem @*/ - /*@modifies fm, fileSystem @*/ -{ - Elf32_Shdr sh32; - Elf64_Shdr sh64; - - if (size != sh_size) { - error(EXIT_FAILURE, 0, "corrupted program header size.\n"); - /*@notreached@*/ - } - - if (lseek(fm->fd, off, SEEK_SET) == -1) { - error(EXIT_FAILURE, 0, "lseek failed (%s).\n", strerror(errno)); - /*@notreached@*/ - } - - for ( ; num; num--) { - if (read(fm->fd, sh_addr, size) == -1) { - error(EXIT_FAILURE, 0, "read failed (%s).\n", strerror(errno)); - /*@notreached@*/ - } - if (shs_type == SHT_SYMTAB /* || shs_type == SHT_DYNSYM */) { - file_printf(fm, ", not stripped"); - return; - } - } - file_printf(fm, ", stripped"); -} -/*@=bounds@*/ - -/* - * Look through the program headers of an executable image, searching - * for a PT_INTERP section; if one is found, it's dynamically linked, - * otherwise it's statically linked. - */ -/*@-bounds@*/ -static void -dophn_exec(fmagic fm, off_t off, int num, size_t size) - /*@globals fileSystem @*/ - /*@modifies fm, fileSystem @*/ -{ - Elf32_Phdr ph32; - Elf32_Nhdr *nh32 = NULL; - Elf64_Phdr ph64; - Elf64_Nhdr *nh64 = NULL; - char *linking_style = "statically"; - char *shared_libraries = ""; - char nbuf[BUFSIZ]; - int bufsize; - size_t offset, nameoffset; - - if (size != ph_size) { - error(EXIT_FAILURE, 0, "corrupted program header size.\n"); - /*@notreached@*/ - } - - if (lseek(fm->fd, off, SEEK_SET) == -1) { - error(EXIT_FAILURE, 0, "lseek failed (%s).\n", strerror(errno)); - /*@notreached@*/ - } - - for ( ; num; num--) { - if (read(fm->fd, ph_addr, size) == -1) { - error(EXIT_FAILURE, 0, "read failed (%s).\n", strerror(errno)); - /*@notreached@*/ - } - - switch (ph_type) { - case PT_DYNAMIC: - linking_style = "dynamically"; - /*@switchbreak@*/ break; - case PT_INTERP: - shared_libraries = " (uses shared libs)"; - /*@switchbreak@*/ break; - case PT_NOTE: - /* - * This is a PT_NOTE section; loop through all the notes - * in the section. - */ - if (lseek(fm->fd, (off_t) ph_offset, SEEK_SET) == -1) { - error(EXIT_FAILURE, 0, "lseek failed (%s).\n", strerror(errno)); - /*@notreached@*/ - } - bufsize = read(fm->fd, nbuf, sizeof(nbuf)); - if (bufsize == -1) { - error(EXIT_FAILURE, 0, ": " "read failed (%s).\n", - strerror(errno)); - /*@notreached@*/ - } - offset = 0; - for (;;) { - if (offset >= bufsize) - /*@innerbreak@*/ break; - if (fm->cls == ELFCLASS32) - nh32 = (Elf32_Nhdr *)&nbuf[offset]; - else - nh64 = (Elf64_Nhdr *)&nbuf[offset]; - offset += nh_size; - - if (offset + nh_namesz >= bufsize) { - /* - * We're past the end of the buffer. - */ - /*@innerbreak@*/ break; - } - - nameoffset = offset; - offset += nh_namesz; - offset = ((offset+ph_align-1)/ph_align)*ph_align; - - if ((nh_namesz == 0) && (nh_descsz == 0)) { - /* - * We're out of note headers. - */ - /*@innerbreak@*/ break; - } - - if (offset + nh_descsz >= bufsize) - /*@innerbreak@*/ break; - - if (nh_namesz == 4 && - strcmp(&nbuf[nameoffset], "GNU") == 0 && - nh_type == NT_GNU_VERSION && - nh_descsz == 16) { - uint32_t *desc = - (uint32_t *)&nbuf[offset]; - - file_printf(fm, ", for GNU/"); - switch (getu32(fm, desc[0])) { - case GNU_OS_LINUX: - file_printf(fm, "Linux"); - /*@switchbreak@*/ break; - case GNU_OS_HURD: - file_printf(fm, "Hurd"); - /*@switchbreak@*/ break; - case GNU_OS_SOLARIS: - file_printf(fm, "Solaris"); - /*@switchbreak@*/ break; - default: - file_printf(fm, ""); - /*@switchbreak@*/ break; - } - file_printf(fm, " %d.%d.%d", - getu32(fm, desc[1]), - getu32(fm, desc[2]), - getu32(fm, desc[3])); - } - - if (nh_namesz == 7 && - strcmp(&nbuf[nameoffset], "NetBSD") == 0 && - nh_type == NT_NETBSD_VERSION && - nh_descsz == 4) { - file_printf(fm, ", for NetBSD"); - /* - * Version number is stuck at 199905, - * and hence is basically content-free. - */ - } - - if (nh_namesz == 8 && - strcmp(&nbuf[nameoffset], "FreeBSD") == 0 && - nh_type == NT_FREEBSD_VERSION && - nh_descsz == 4) { - uint32_t desc = getu32(fm, - *(uint32_t *)&nbuf[offset]); - file_printf(fm, ", for FreeBSD"); - /* - * Contents is __FreeBSD_version, - * whose relation to OS versions is - * defined by a huge table in the - * Porters' Handbook. Happily, the - * first three digits are the version - * number, at least in versions of - * FreeBSD that use this note. - */ - - file_printf(fm, " %d.%d", desc / 100000, - desc / 10000 % 10); - if (desc / 1000 % 10 > 0) - file_printf(fm, ".%d", - desc / 1000 % 10); - } - - if (nh_namesz == 8 && - strcmp(&nbuf[nameoffset], "OpenBSD") == 0 && - nh_type == NT_OPENBSD_VERSION && - nh_descsz == 4) { - file_printf(fm, ", for OpenBSD"); - /* Content of note is always 0 */ - } - } - if ((lseek(fm->fd, ph_offset + offset, SEEK_SET)) == -1) { - error(EXIT_FAILURE, 0, "lseek failed (%s).\n", strerror(errno)); - /*@notreached@*/ - } - /*@switchbreak@*/ break; - } - } - file_printf(fm, ", %s linked%s", linking_style, shared_libraries); -} -/*@=bounds@*/ - #ifdef ELFCORE /*@unchecked@*/ /*@observer@*/ static size_t prpsoffsets32[] = { @@ -382,15 +210,10 @@ /*@modifies fm, fileSystem @*/ { Elf32_Phdr ph32; - Elf32_Nhdr *nh32 = NULL; Elf64_Phdr ph64; - Elf64_Nhdr *nh64 = NULL; - size_t offset, nameoffset, noffset, reloffset; - unsigned char c; - int i, j; - char nbuf[BUFSIZ]; - int bufsize; - int os_style = -1; + size_t offset; + unsigned char nbuf[BUFSIZ]; + ssize_t bufsize; if (size != ph_size) { error(EXIT_FAILURE, 0, "corrupted program header size.\n"); @@ -401,11 +224,11 @@ * Loop through all the program headers. */ for ( ; num; num--) { - if (lseek(fm->fd, off, SEEK_SET) == -1) { + if (lseek(fm->fd, off, SEEK_SET) == (off_t)-1) { error(EXIT_FAILURE, 0, "lseek failed (%s).\n", strerror(errno)); /*@notreached@*/ } - if (read(fm->fd, ph_addr, size) == -1) { + if (read(fm->fd, ph_addr, ph_size) == -1) { error(EXIT_FAILURE, 0, "read failed (%s).\n", strerror(errno)); /*@notreached@*/ } @@ -417,7 +240,7 @@ * This is a PT_NOTE section; loop through all the notes * in the section. */ - if (lseek(fm->fd, (off_t) ph_offset, SEEK_SET) == -1) { + if (lseek(fm->fd, (off_t) ph_offset, SEEK_SET) == (off_t)-1) { error(EXIT_FAILURE, 0, "lseek failed (%s).\n", strerror(errno)); /*@notreached@*/ } @@ -428,164 +251,379 @@ } offset = 0; for (;;) { - if (offset >= bufsize) + if (offset >= (size_t)bufsize) /*@innerbreak@*/ break; - if (fm->cls == ELFCLASS32) - nh32 = (Elf32_Nhdr *)&nbuf[offset]; - else - nh64 = (Elf64_Nhdr *)&nbuf[offset]; - offset += nh_size; + offset = donote(fm, nbuf, offset, (size_t)bufsize, + 4); - /* - * Check whether this note has the name "CORE" or - * "FreeBSD", or "NetBSD-CORE". - */ - if (offset + nh_namesz >= bufsize) { - /* - * We're past the end of the buffer. - */ - /*@innerbreak@*/ break; - } + } + } +} +/*@=bounds@*/ +#endif + +/*@-bounds@*/ +static size_t +donote(const fmagic fm, unsigned char *nbuf, size_t offset, size_t size, + int align) +{ + Elf32_Nhdr nh32; + Elf64_Nhdr nh64; + size_t noff, doff; +#ifdef ELFCORE + int os_style = -1; +#endif - nameoffset = offset; - offset += nh_namesz; - offset = ((offset + 3)/4)*4; + if (fm->cls == ELFCLASS32) + memcpy(&nh32, &nbuf[offset], sizeof(nh32)); + else + memcpy(&nh64, &nbuf[offset], sizeof(nh64)); + offset += nh_size; - /* - * Sigh. The 2.0.36 kernel in Debian 2.1, at - * least, doesn't correctly implement name - * sections, in core dumps, as specified by - * the "Program Linking" section of "UNIX(R) System - * V Release 4 Programmer's Guide: ANSI C and - * Programming Support Tools", because my copy - * clearly says "The first 'namesz' bytes in 'name' - * contain a *null-terminated* [emphasis mine] - * character representation of the entry's owner - * or originator", but the 2.0.36 kernel code - * doesn't include the terminating null in the - * name.... - */ - if (os_style == -1) { - if ((nh_namesz == 4 && - strncmp(&nbuf[nameoffset], - "CORE", 4) == 0) || - (nh_namesz == 5 && - strcmp(&nbuf[nameoffset], - "CORE") == 0)) { - os_style = OS_STYLE_SVR4; - } else - if ((nh_namesz == 8 && - strcmp(&nbuf[nameoffset], - "FreeBSD") == 0)) { - os_style = OS_STYLE_FREEBSD; - } else - if ((nh_namesz >= 11 && - strncmp(&nbuf[nameoffset], - "NetBSD-CORE", 11) == 0)) { - os_style = OS_STYLE_NETBSD; - } else - /*@innercontinue@*/ continue; - file_printf(fm, ", %s-style", os_style_names[os_style]); + if ((nh_namesz == 0) && (nh_descsz == 0)) { + /* + * We're out of note headers. + */ + return offset; + } + + noff = offset; + doff = ELF_ALIGN(offset + nh_namesz); + + if (offset + nh_namesz >= size) { + /* + * We're past the end of the buffer. + */ + return doff; + } + + offset = ELF_ALIGN(doff + nh_descsz); + if (offset + nh_descsz >= size) + return offset; + + if (nh_namesz == 4 && strcmp((char *)&nbuf[noff], "GNU") == 0 && + nh_type == NT_GNU_VERSION && nh_descsz == 16) { + uint32_t desc[4]; + (void)memcpy(desc, &nbuf[doff], sizeof(desc)); + + file_printf(fm, ", for GNU/"); + switch (getu32(fm, desc[0])) { + case GNU_OS_LINUX: + file_printf(fm, "Linux"); + break; + case GNU_OS_HURD: + file_printf(fm, "Hurd"); + break; + case GNU_OS_SOLARIS: + file_printf(fm, "Solaris"); + break; + default: + file_printf(fm, ""); + } + file_printf(fm, " %d.%d.%d", getu32(fm, desc[1]), + getu32(fm, desc[2]), getu32(fm, desc[3])); + return size; + } + + if (nh_namesz == 7 && strcmp((char *)&nbuf[noff], "NetBSD") == 0 && + nh_type == NT_NETBSD_VERSION && nh_descsz == 4) { + uint32_t desc; + (void)memcpy(&desc, &nbuf[doff], sizeof(desc)); + desc = getu32(fm, desc); + + file_printf(fm, ", for NetBSD"); + /* + * The version number used to be stuck as 199905, and was thus + * basically content-free. Newer versions of NetBSD have fixed + * this and now use the encoding of __NetBSD_Version__: + * + * MMmmrrpp00 + * + * M = major version + * m = minor version + * r = release ["",A-Z,Z[A-Z] but numeric] + * p = patchlevel + */ + if (desc > 100000000U) { + u_int ver_patch = (desc / 100) % 100; + u_int ver_rel = (desc / 10000) % 100; + u_int ver_min = (desc / 1000000) % 100; + u_int ver_maj = desc / 100000000; + + file_printf(fm, " %u.%u", ver_maj, ver_min); + if (ver_rel == 0 && ver_patch != 0) { + file_printf(fm, ".%u", ver_patch); + } else if (ver_rel != 0) { + while (ver_rel > 26) { + file_printf(fm, "Z"); + ver_rel -= 26; + } + file_printf(fm, "%c", 'A' + ver_rel - 1); } + } + return size; + } - if (os_style == OS_STYLE_NETBSD && - nh_type == NT_NETBSD_CORE_PROCINFO) { - uint32_t signo; + if (nh_namesz == 8 && strcmp((char *)&nbuf[noff], "FreeBSD") == 0 && + nh_type == NT_FREEBSD_VERSION && nh_descsz == 4) { + uint32_t desc; + (void)memcpy(&desc, &nbuf[doff], sizeof(desc)); + desc = getu32(fm, desc); + file_printf(fm, ", for FreeBSD"); + /* + * Contents is __FreeBSD_version, whose relation to OS versions + * is defined by a huge table in the Porters' Handbook. Happily, + * the first three digits are the version number, at least in + * versions of FreeBSD that use this note. + */ + file_printf(fm, " %d.%d", desc / 100000, desc / 10000 % 10); + if (desc / 1000 % 10 > 0) + file_printf(fm, ".%d", desc / 1000 % 10); + return size; + } + if (nh_namesz == 8 && strcmp((char *)&nbuf[noff], "OpenBSD") == 0 && + nh_type == NT_OPENBSD_VERSION && nh_descsz == 4) { + file_printf(fm, ", for OpenBSD"); + /* Content of note is always 0 */ + return size; + } + + /* + * Sigh. The 2.0.36 kernel in Debian 2.1, at + * least, doesn't correctly implement name + * sections, in core dumps, as specified by + * the "Program Linking" section of "UNIX(R) System + * V Release 4 Programmer's Guide: ANSI C and + * Programming Support Tools", because my copy + * clearly says "The first 'namesz' bytes in 'name' + * contain a *null-terminated* [emphasis mine] + * character representation of the entry's owner + * or originator", but the 2.0.36 kernel code + * doesn't include the terminating null in the + * name.... + */ + if ((nh_namesz == 4 && strncmp((char *)&nbuf[noff], "CORE", 4) == 0) || + (nh_namesz == 5 && strcmp((char *)&nbuf[noff], "CORE") == 0)) { + os_style = OS_STYLE_SVR4; + } + + if ((nh_namesz == 8 && strcmp((char *)&nbuf[noff], "FreeBSD") == 0)) { + os_style = OS_STYLE_FREEBSD; + } + + if ((nh_namesz >= 11 && strncmp((char *)&nbuf[noff], "NetBSD-CORE", 11) + == 0)) { + os_style = OS_STYLE_NETBSD; + } + +#ifdef ELFCORE + if (os_style != -1) + file_printf(fm, ", %s-style", os_style_names[os_style]); + + if (os_style == OS_STYLE_NETBSD && nh_type == NT_NETBSD_CORE_PROCINFO) { + uint32_t signo; + /* + * Extract the program name. It is at + * offset 0x7c, and is up to 32-bytes, + * including the terminating NUL. + */ + file_printf(fm, ", from '%.31s'", &nbuf[doff + 0x7c]); + + /* + * Extract the signal number. It is at + * offset 0x08. + */ + memcpy(&signo, &nbuf[doff + 0x08], + sizeof(signo)); + file_printf(fm, " (signal %u)", getu32(fm, signo)); + return size; + } else if (os_style != OS_STYLE_NETBSD && nh_type == NT_PRPSINFO) { + size_t i, j; + unsigned char c; + /* + * Extract the program name. We assume + * it to be 16 characters (that's what it + * is in SunOS 5.x and Linux). + * + * Unfortunately, it's at a different offset + * in varous OSes, so try multiple offsets. + * If the characters aren't all printable, + * reject it. + */ + for (i = 0; i < NOFFSETS; i++) { + size_t reloffset = prpsoffsets(i); + size_t noffset = doff + reloffset; + for (j = 0; j < 16; j++, noffset++, reloffset++) { /* - * Extract the program name. It is at - * offset 0x7c, and is up to 32-bytes, - * including the terminating NUL. - */ - file_printf(fm, ", from '%.31s'", &nbuf[offset + 0x7c]); - - /* - * Extract the signal number. It is at - * offset 0x08. + * Make sure we're not past + * the end of the buffer; if + * we are, just give up. */ - memcpy(&signo, &nbuf[offset + 0x08], - sizeof(signo)); - file_printf(fm, " (signal %u)", getu32(fm, signo)); - } else - if (os_style != OS_STYLE_NETBSD && - nh_type == NT_PRPSINFO) { + if (noffset >= size) + goto tryanother; + /* - * Extract the program name. We assume - * it to be 16 characters (that's what it - * is in SunOS 5.x and Linux). - * - * Unfortunately, it's at a different offset - * in varous OSes, so try multiple offsets. - * If the characters aren't all printable, - * reject it. + * Make sure we're not past + * the end of the contents; + * if we are, this obviously + * isn't the right offset. */ - for (i = 0; i < NOFFSETS; i++) { - reloffset = prpsoffsets(i); - noffset = offset + reloffset; - for (j = 0; j < 16; - j++, noffset++, reloffset++) { - /* - * Make sure we're not past - * the end of the buffer; if - * we are, just give up. - */ - if (noffset >= bufsize) - goto tryanother; - - /* - * Make sure we're not past - * the end of the contents; - * if we are, this obviously - * isn't the right offset. - */ - if (reloffset >= nh_descsz) - goto tryanother; - - c = nbuf[noffset]; - if (c == '\0') { - /* - * A '\0' at the - * beginning is - * obviously wrong. - * Any other '\0' - * means we're done. - */ - if (j == 0) - goto tryanother; - else - /*@innerbreak@*/ break; - } else { - /* - * A nonprintable - * character is also - * wrong. - */ -#define isquote(c) (strchr("'\"`", (c)) != NULL) - if (!isprint(c) || - isquote(c)) - goto tryanother; - } - } + if (reloffset >= nh_descsz) + goto tryanother; + c = nbuf[noffset]; + if (c == '\0') { /* - * Well, that worked. + * A '\0' at the + * beginning is + * obviously wrong. + * Any other '\0' + * means we're done. */ - file_printf(fm, ", from '%.16s'", - &nbuf[offset + prpsoffsets(i)]); - /*@innerbreak@*/ break; - - tryanother: - ; + if (j == 0) + goto tryanother; + else + break; + } else { + /* + * A nonprintable + * character is also + * wrong. + */ +#define isquote(c) (strchr("'\"`", (c)) != NULL) + if (!isprint(c) || isquote(c)) + goto tryanother; } - /*@innerbreak@*/ break; } - offset += nh_descsz; - offset = ((offset + 3)/4)*4; + + /* + * Well, that worked. + */ + file_printf(fm, ", from '%.16s'", + &nbuf[doff + prpsoffsets(i)]); + return size; + + tryanother: + ; + } + return offset; + } +#endif + return offset; +} + +static void +doshn(fmagic fm, off_t off, int num, size_t size) + /*@globals fileSystem @*/ + /*@modifies fm, fileSystem @*/ +{ + Elf32_Shdr sh32; + Elf64_Shdr sh64; + + if (size != sh_size) { + error(EXIT_FAILURE, 0, "corrupted program header size.\n"); + /*@notreached@*/ + } + + if (lseek(fm->fd, off, SEEK_SET) == (off_t)-1) { + error(EXIT_FAILURE, 0, "lseek failed (%s).\n", strerror(errno)); + /*@notreached@*/ + } + + for ( ; num; num--) { + if (read(fm->fd, sh_addr, sh_size) == -1) { + error(EXIT_FAILURE, 0, "read failed (%s).\n", strerror(errno)); + /*@notreached@*/ + } + if (shs_type == SHT_SYMTAB /* || shs_type == SHT_DYNSYM */) { + file_printf(fm, ", not stripped"); + return; + } + } + file_printf(fm, ", stripped"); +} +/*@=bounds@*/ + +/* + * Look through the program headers of an executable image, searching + * for a PT_INTERP section; if one is found, it's dynamically linked, + * otherwise it's statically linked. + */ +/*@-bounds@*/ +static void +dophn_exec(fmagic fm, off_t off, int num, size_t size) + /*@globals fileSystem @*/ + /*@modifies fm, fileSystem @*/ +{ + Elf32_Phdr ph32; + Elf64_Phdr ph64; + const char *linking_style = "statically"; + const char *shared_libraries = ""; + unsigned char nbuf[BUFSIZ]; + int bufsize; + size_t offset; + off_t savedoffset; + + if (size != ph_size) { + error(EXIT_FAILURE, 0, "corrupted program header size.\n"); + /*@notreached@*/ + } + + if (lseek(fm->fd, off, SEEK_SET) == (off_t)-1) { + error(EXIT_FAILURE, 0, "lseek failed (%s).\n", strerror(errno)); + /*@notreached@*/ + } + + for ( ; num; num--) { + if (read(fm->fd, ph_addr, ph_size) == -1) { + error(EXIT_FAILURE, 0, "read failed (%s).\n", strerror(errno)); + /*@notreached@*/ + } + if ((savedoffset = lseek(fm->fd, (off_t)0, SEEK_CUR)) == (off_t)-1) { + error(EXIT_FAILURE, 0, "lseek failed (%s).\n", strerror(errno)); + /*@notreached@*/ + } + + switch (ph_type) { + case PT_DYNAMIC: + linking_style = "dynamically"; + /*@switchbreak@*/ break; + case PT_INTERP: + shared_libraries = " (uses shared libs)"; + /*@switchbreak@*/ break; + case PT_NOTE: + /* + * This is a PT_NOTE section; loop through all the notes + * in the section. + */ + if (lseek(fm->fd, (off_t) ph_offset, SEEK_SET) == -1) { + error(EXIT_FAILURE, 0, "lseek failed (%s).\n", strerror(errno)); + /*@notreached@*/ + } + bufsize = read(fm->fd, nbuf, sizeof(nbuf)); + if (bufsize == -1) { + error(EXIT_FAILURE, 0, ": " "read failed (%s).\n", + strerror(errno)); + /*@notreached@*/ + } + offset = 0; + for (;;) { + if (offset >= (size_t)bufsize) + /*@innerbreak@*/ break; + offset = donote(fm, nbuf, offset, + (size_t)bufsize, ph_align); + } + if ((lseek(fm->fd, savedoffset + offset, SEEK_SET)) == (off_t)-1) { + error(EXIT_FAILURE, 0, "lseek failed (%s).\n", strerror(errno)); + /*@notreached@*/ + } + /*@switchbreak@*/ break; } } + file_printf(fm, ", %s linked%s", linking_style, shared_libraries); } /*@=bounds@*/ -#endif /*@-bounds@*/ void