- fixed (s/-bi/-bb/) and enhanced comment

[packages/rpm.git] / rpm-file-readelf.patch

--- 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, "<unknown>");
-						/*@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, "<unknown>");
+		}
+		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