xref: /freebsd-src/usr.bin/gzip/unpack.c (revision 2a63c3be158216222d89a073dcbd6a72ee4aab5a)
190f528e8SXin LI /*	$NetBSD: unpack.c,v 1.3 2017/08/04 07:27:08 mrg Exp $	*/
290f528e8SXin LI 
34ca8a62bSXin LI /*-
4*4d846d26SWarner Losh  * SPDX-License-Identifier: BSD-2-Clause
51de7b4b8SPedro F. Giffuni  *
64ca8a62bSXin LI  * Copyright (c) 2009 Xin LI <delphij@FreeBSD.org>
74ca8a62bSXin LI  *
84ca8a62bSXin LI  * Redistribution and use in source and binary forms, with or without
94ca8a62bSXin LI  * modification, are permitted provided that the following conditions
104ca8a62bSXin LI  * are met:
114ca8a62bSXin LI  * 1. Redistributions of source code must retain the above copyright
124ca8a62bSXin LI  *    notice, this list of conditions and the following disclaimer.
134ca8a62bSXin LI  * 2. Redistributions in binary form must reproduce the above copyright
144ca8a62bSXin LI  *    notice, this list of conditions and the following disclaimer in the
154ca8a62bSXin LI  *    documentation and/or other materials provided with the distribution.
164ca8a62bSXin LI  *
174ca8a62bSXin LI  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
184ca8a62bSXin LI  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
194ca8a62bSXin LI  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
204ca8a62bSXin LI  * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
214ca8a62bSXin LI  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
224ca8a62bSXin LI  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
234ca8a62bSXin LI  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
244ca8a62bSXin LI  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
254ca8a62bSXin LI  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
264ca8a62bSXin LI  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
274ca8a62bSXin LI  * SUCH DAMAGE.
284ca8a62bSXin LI  */
294ca8a62bSXin LI 
304ca8a62bSXin LI /* This file is #included by gzip.c */
314ca8a62bSXin LI 
324ca8a62bSXin LI /*
334ca8a62bSXin LI  * pack(1) file format:
344ca8a62bSXin LI  *
354ca8a62bSXin LI  * The first 7 bytes is the header:
364ca8a62bSXin LI  *	00, 01 - Signature (US, RS), we already validated it earlier.
374ca8a62bSXin LI  *	02..05 - Uncompressed size
384ca8a62bSXin LI  *	    06 - Level for the huffman tree (<=24)
394ca8a62bSXin LI  *
404ca8a62bSXin LI  * pack(1) will then store symbols (leaf) nodes count in each huffman
414ca8a62bSXin LI  * tree levels, each level would consume 1 byte (See [1]).
424ca8a62bSXin LI  *
434ca8a62bSXin LI  * After the symbol count table, there is the symbol table, storing
44c4fadc2bSBenedict Reuschling  * symbols represented by corresponding leaf node.  EOB is not being
454ca8a62bSXin LI  * explicitly transmitted (not necessary anyway) in the symbol table.
464ca8a62bSXin LI  *
474ca8a62bSXin LI  * Compressed data goes after the symbol table.
484ca8a62bSXin LI  *
494ca8a62bSXin LI  * NOTES
504ca8a62bSXin LI  *
514ca8a62bSXin LI  * [1] If we count EOB into the symbols, that would mean that we will
524ca8a62bSXin LI  * have at most 256 symbols in the huffman tree.  pack(1) rejects empty
534ca8a62bSXin LI  * file and files that just repeats one character, which means that we
544ca8a62bSXin LI  * will have at least 2 symbols.  Therefore, pack(1) would reduce the
554ca8a62bSXin LI  * last level symbol count by 2 which makes it a number in
564ca8a62bSXin LI  * range [0..254], so all levels' symbol count would fit into 1 byte.
574ca8a62bSXin LI  */
584ca8a62bSXin LI 
594ca8a62bSXin LI #define	PACK_HEADER_LENGTH	7
604ca8a62bSXin LI #define	HTREE_MAXLEVEL		24
614ca8a62bSXin LI 
624ca8a62bSXin LI /*
634ca8a62bSXin LI  * unpack descriptor
644ca8a62bSXin LI  *
65c4fadc2bSBenedict Reuschling  * Represent the huffman tree in a similar way that pack(1) would
664ca8a62bSXin LI  * store in a packed file.  We store all symbols in a linear table,
674ca8a62bSXin LI  * and store pointers to each level's first symbol.  In addition to
684ca8a62bSXin LI  * that, maintain two counts for each level: inner nodes count and
694ca8a62bSXin LI  * leaf nodes count.
704ca8a62bSXin LI  */
714ca8a62bSXin LI typedef struct {
724ca8a62bSXin LI 	int	symbol_size;		/* Size of the symbol table */
734ca8a62bSXin LI 	int	treelevels;		/* Levels for the huffman tree */
744ca8a62bSXin LI 
75104b0f4aSXin LI 	int    *symbolsin;		/* Table of leaf symbols count in each
76104b0f4aSXin LI 					 * level */
774ca8a62bSXin LI 	int    *inodesin;		/* Table of internal nodes count in
78104b0f4aSXin LI 					 * each level */
794ca8a62bSXin LI 
804ca8a62bSXin LI 	char   *symbol;			/* The symbol table */
814ca8a62bSXin LI 	char   *symbol_eob;		/* Pointer to the EOB symbol */
824ca8a62bSXin LI 	char  **tree;			/* Decoding huffman tree (pointers to
83104b0f4aSXin LI 					 * first symbol of each tree level */
844ca8a62bSXin LI 
854ca8a62bSXin LI 	off_t	uncompressed_size;	/* Uncompressed size */
864ca8a62bSXin LI 	FILE   *fpIn;			/* Input stream */
874ca8a62bSXin LI 	FILE   *fpOut;			/* Output stream */
884ca8a62bSXin LI } unpack_descriptor_t;
894ca8a62bSXin LI 
904ca8a62bSXin LI /*
914ca8a62bSXin LI  * Release resource allocated to an unpack descriptor.
924ca8a62bSXin LI  *
934ca8a62bSXin LI  * Caller is responsible to make sure that all of these pointers are
944ca8a62bSXin LI  * initialized (in our case, they all point to valid memory block).
954ca8a62bSXin LI  * We don't zero out pointers here because nobody else would ever
96c4fadc2bSBenedict Reuschling  * reference the memory block without scrubbing them.
974ca8a62bSXin LI  */
984ca8a62bSXin LI static void
unpack_descriptor_fini(unpack_descriptor_t * unpackd)994ca8a62bSXin LI unpack_descriptor_fini(unpack_descriptor_t *unpackd)
1004ca8a62bSXin LI {
1014ca8a62bSXin LI 
1024ca8a62bSXin LI 	free(unpackd->symbolsin);
1034ca8a62bSXin LI 	free(unpackd->inodesin);
1044ca8a62bSXin LI 	free(unpackd->symbol);
1054ca8a62bSXin LI 	free(unpackd->tree);
1064ca8a62bSXin LI 
1074ca8a62bSXin LI 	fclose(unpackd->fpIn);
1084ca8a62bSXin LI 	fclose(unpackd->fpOut);
1094ca8a62bSXin LI }
1104ca8a62bSXin LI 
1114ca8a62bSXin LI /*
1124ca8a62bSXin LI  * Recursively fill the internal node count table
1134ca8a62bSXin LI  */
1144ca8a62bSXin LI static void
unpackd_fill_inodesin(const unpack_descriptor_t * unpackd,int level)1154ca8a62bSXin LI unpackd_fill_inodesin(const unpack_descriptor_t *unpackd, int level)
1164ca8a62bSXin LI {
1174ca8a62bSXin LI 
1184ca8a62bSXin LI 	/*
1194ca8a62bSXin LI 	 * The internal nodes would be 1/2 of total internal nodes and
1204ca8a62bSXin LI 	 * leaf nodes in the next level.  For the last level there
121c4fadc2bSBenedict Reuschling 	 * would be no internal node by definition.
1224ca8a62bSXin LI 	 */
1234ca8a62bSXin LI 	if (level < unpackd->treelevels) {
1244ca8a62bSXin LI 		unpackd_fill_inodesin(unpackd, level + 1);
1254ca8a62bSXin LI 		unpackd->inodesin[level] = (unpackd->inodesin[level + 1] +
1264ca8a62bSXin LI 		    unpackd->symbolsin[level + 1]) / 2;
1274ca8a62bSXin LI 	} else
1284ca8a62bSXin LI 		unpackd->inodesin[level] = 0;
1294ca8a62bSXin LI }
1304ca8a62bSXin LI 
1314ca8a62bSXin LI /*
1324ca8a62bSXin LI  * Update counter for accepted bytes
1334ca8a62bSXin LI  */
1344ca8a62bSXin LI static void
accepted_bytes(off_t * bytes_in,off_t newbytes)1354ca8a62bSXin LI accepted_bytes(off_t *bytes_in, off_t newbytes)
1364ca8a62bSXin LI {
1374ca8a62bSXin LI 
1384ca8a62bSXin LI 	if (bytes_in != NULL)
1394ca8a62bSXin LI 		(*bytes_in) += newbytes;
1404ca8a62bSXin LI }
1414ca8a62bSXin LI 
1424ca8a62bSXin LI /*
1434ca8a62bSXin LI  * Read file header and construct the tree.  Also, prepare the buffered I/O
144c4fadc2bSBenedict Reuschling  * for decode routine.
1454ca8a62bSXin LI  *
1464ca8a62bSXin LI  * Return value is uncompressed size.
1474ca8a62bSXin LI  */
1484ca8a62bSXin LI static void
unpack_parse_header(int in,int out,char * pre,size_t prelen,off_t * bytes_in,unpack_descriptor_t * unpackd)1494ca8a62bSXin LI unpack_parse_header(int in, int out, char *pre, size_t prelen, off_t *bytes_in,
1504ca8a62bSXin LI     unpack_descriptor_t *unpackd)
1514ca8a62bSXin LI {
1524ca8a62bSXin LI 	unsigned char hdr[PACK_HEADER_LENGTH];	/* buffer for header */
1534ca8a62bSXin LI 	ssize_t bytesread;		/* Bytes read from the file */
1544ca8a62bSXin LI 	int i, j, thisbyte;
1554ca8a62bSXin LI 
1564ca8a62bSXin LI 	/* Prepend the header buffer if we already read some data */
1574ca8a62bSXin LI 	if (prelen != 0)
1584ca8a62bSXin LI 		memcpy(hdr, pre, prelen);
1594ca8a62bSXin LI 
1604ca8a62bSXin LI 	/* Read in and fill the rest bytes of header */
1614ca8a62bSXin LI 	bytesread = read(in, hdr + prelen, PACK_HEADER_LENGTH - prelen);
1624ca8a62bSXin LI 	if (bytesread < 0)
1634ca8a62bSXin LI 		maybe_err("Error reading pack header");
16490f528e8SXin LI 	infile_newdata(bytesread);
1654ca8a62bSXin LI 
1664ca8a62bSXin LI 	accepted_bytes(bytes_in, PACK_HEADER_LENGTH);
1674ca8a62bSXin LI 
1684ca8a62bSXin LI 	/* Obtain uncompressed length (bytes 2,3,4,5) */
1694ca8a62bSXin LI 	unpackd->uncompressed_size = 0;
1704ca8a62bSXin LI 	for (i = 2; i <= 5; i++) {
1714ca8a62bSXin LI 		unpackd->uncompressed_size <<= 8;
1724ca8a62bSXin LI 		unpackd->uncompressed_size |= hdr[i];
1734ca8a62bSXin LI 	}
1744ca8a62bSXin LI 
1754ca8a62bSXin LI 	/* Get the levels of the tree */
1764ca8a62bSXin LI 	unpackd->treelevels = hdr[6];
1774ca8a62bSXin LI 	if (unpackd->treelevels > HTREE_MAXLEVEL || unpackd->treelevels < 1)
1784ca8a62bSXin LI 		maybe_errx("Huffman tree has insane levels");
1794ca8a62bSXin LI 
1804ca8a62bSXin LI 	/* Let libc take care for buffering from now on */
1814ca8a62bSXin LI 	if ((unpackd->fpIn = fdopen(in, "r")) == NULL)
1824ca8a62bSXin LI 		maybe_err("Can not fdopen() input stream");
1834ca8a62bSXin LI 	if ((unpackd->fpOut = fdopen(out, "w")) == NULL)
1844ca8a62bSXin LI 		maybe_err("Can not fdopen() output stream");
1854ca8a62bSXin LI 
1864ca8a62bSXin LI 	/* Allocate for the tables of bounds and the tree itself */
1874ca8a62bSXin LI 	unpackd->inodesin =
1884ca8a62bSXin LI 	    calloc(unpackd->treelevels, sizeof(*(unpackd->inodesin)));
1894ca8a62bSXin LI 	unpackd->symbolsin =
1904ca8a62bSXin LI 	    calloc(unpackd->treelevels, sizeof(*(unpackd->symbolsin)));
1914ca8a62bSXin LI 	unpackd->tree =
1924ca8a62bSXin LI 	    calloc(unpackd->treelevels, (sizeof(*(unpackd->tree))));
1934ca8a62bSXin LI 	if (unpackd->inodesin == NULL || unpackd->symbolsin == NULL ||
1944ca8a62bSXin LI 	    unpackd->tree == NULL)
1954ca8a62bSXin LI 		maybe_err("calloc");
1964ca8a62bSXin LI 
1974ca8a62bSXin LI 	/* We count from 0 so adjust to match array upper bound */
1984ca8a62bSXin LI 	unpackd->treelevels--;
1994ca8a62bSXin LI 
200c4fadc2bSBenedict Reuschling 	/* Read the levels symbol count table and calculate total */
2014ca8a62bSXin LI 	unpackd->symbol_size = 1;	/* EOB */
2024ca8a62bSXin LI 	for (i = 0; i <= unpackd->treelevels; i++) {
2034ca8a62bSXin LI 		if ((thisbyte = fgetc(unpackd->fpIn)) == EOF)
2044ca8a62bSXin LI 			maybe_err("File appears to be truncated");
2054ca8a62bSXin LI 		unpackd->symbolsin[i] = (unsigned char)thisbyte;
2064ca8a62bSXin LI 		unpackd->symbol_size += unpackd->symbolsin[i];
2074ca8a62bSXin LI 	}
2084ca8a62bSXin LI 	accepted_bytes(bytes_in, unpackd->treelevels);
2094ca8a62bSXin LI 	if (unpackd->symbol_size > 256)
2104ca8a62bSXin LI 		maybe_errx("Bad symbol table");
21190f528e8SXin LI 	infile_newdata(unpackd->treelevels);
2124ca8a62bSXin LI 
2134ca8a62bSXin LI 	/* Allocate for the symbol table, point symbol_eob at the beginning */
2144ca8a62bSXin LI 	unpackd->symbol_eob = unpackd->symbol = calloc(1, unpackd->symbol_size);
2154ca8a62bSXin LI 	if (unpackd->symbol == NULL)
2164ca8a62bSXin LI 		maybe_err("calloc");
2174ca8a62bSXin LI 
2184ca8a62bSXin LI 	/*
2194ca8a62bSXin LI 	 * Read in the symbol table, which contain [2, 256] symbols.
2204ca8a62bSXin LI 	 * In order to fit the count in one byte, pack(1) would offset
2214ca8a62bSXin LI 	 * it by reducing 2 from the actual number from the last level.
2224ca8a62bSXin LI 	 *
2234ca8a62bSXin LI 	 * We adjust the last level's symbol count by 1 here, because
2244ca8a62bSXin LI 	 * the EOB symbol is not being transmitted explicitly.  Another
2254ca8a62bSXin LI 	 * adjustment would be done later afterward.
2264ca8a62bSXin LI 	 */
2274ca8a62bSXin LI 	unpackd->symbolsin[unpackd->treelevels]++;
2284ca8a62bSXin LI 	for (i = 0; i <= unpackd->treelevels; i++) {
2294ca8a62bSXin LI 		unpackd->tree[i] = unpackd->symbol_eob;
2304ca8a62bSXin LI 		for (j = 0; j < unpackd->symbolsin[i]; j++) {
2314ca8a62bSXin LI 			if ((thisbyte = fgetc(unpackd->fpIn)) == EOF)
2324ca8a62bSXin LI 				maybe_errx("Symbol table truncated");
2334ca8a62bSXin LI 			*unpackd->symbol_eob++ = (char)thisbyte;
2344ca8a62bSXin LI 		}
23590f528e8SXin LI 		infile_newdata(unpackd->symbolsin[i]);
2364ca8a62bSXin LI 		accepted_bytes(bytes_in, unpackd->symbolsin[i]);
2374ca8a62bSXin LI 	}
2384ca8a62bSXin LI 
2394ca8a62bSXin LI 	/* Now, take account for the EOB symbol as well */
2404ca8a62bSXin LI 	unpackd->symbolsin[unpackd->treelevels]++;
2414ca8a62bSXin LI 
2424ca8a62bSXin LI 	/*
2434ca8a62bSXin LI 	 * The symbolsin table has been constructed now.
244c4fadc2bSBenedict Reuschling 	 * Calculate the internal nodes count table based on it.
2454ca8a62bSXin LI 	 */
2464ca8a62bSXin LI 	unpackd_fill_inodesin(unpackd, 0);
2474ca8a62bSXin LI }
2484ca8a62bSXin LI 
2494ca8a62bSXin LI /*
2504ca8a62bSXin LI  * Decode huffman stream, based on the huffman tree.
2514ca8a62bSXin LI  */
2524ca8a62bSXin LI static void
unpack_decode(const unpack_descriptor_t * unpackd,off_t * bytes_in)2534ca8a62bSXin LI unpack_decode(const unpack_descriptor_t *unpackd, off_t *bytes_in)
2544ca8a62bSXin LI {
2554ca8a62bSXin LI 	int thislevel, thiscode, thisbyte, inlevelindex;
2564ca8a62bSXin LI 	int i;
2574ca8a62bSXin LI 	off_t bytes_out = 0;
2584ca8a62bSXin LI 	const char *thissymbol;	/* The symbol pointer decoded from stream */
2594ca8a62bSXin LI 
2604ca8a62bSXin LI 	/*
2614ca8a62bSXin LI 	 * Decode huffman.  Fetch every bytes from the file, get it
2624ca8a62bSXin LI 	 * into 'thiscode' bit-by-bit, then output the symbol we got
2634ca8a62bSXin LI 	 * when one has been found.
2644ca8a62bSXin LI 	 *
2654ca8a62bSXin LI 	 * Assumption: sizeof(int) > ((max tree levels + 1) / 8).
2664ca8a62bSXin LI 	 * bad things could happen if not.
2674ca8a62bSXin LI 	 */
2684ca8a62bSXin LI 	thislevel = 0;
2694ca8a62bSXin LI 	thiscode = thisbyte = 0;
2704ca8a62bSXin LI 
2714ca8a62bSXin LI 	while ((thisbyte = fgetc(unpackd->fpIn)) != EOF) {
2724ca8a62bSXin LI 		accepted_bytes(bytes_in, 1);
27390f528e8SXin LI 		infile_newdata(1);
27490f528e8SXin LI 		check_siginfo();
2754ca8a62bSXin LI 
2764ca8a62bSXin LI 		/*
2774ca8a62bSXin LI 		 * Split one bit from thisbyte, from highest to lowest,
2784ca8a62bSXin LI 		 * feed the bit into thiscode, until we got a symbol from
2794ca8a62bSXin LI 		 * the tree.
2804ca8a62bSXin LI 		 */
2814ca8a62bSXin LI 		for (i = 7; i >= 0; i--) {
2824ca8a62bSXin LI 			thiscode = (thiscode << 1) | ((thisbyte >> i) & 1);
2834ca8a62bSXin LI 
2844ca8a62bSXin LI 			/* Did we got a symbol? (referencing leaf node) */
2854ca8a62bSXin LI 			if (thiscode >= unpackd->inodesin[thislevel]) {
2864ca8a62bSXin LI 				inlevelindex =
2874ca8a62bSXin LI 				    thiscode - unpackd->inodesin[thislevel];
2884ca8a62bSXin LI 				if (inlevelindex > unpackd->symbolsin[thislevel])
2894ca8a62bSXin LI 					maybe_errx("File corrupt");
2904ca8a62bSXin LI 
2914ca8a62bSXin LI 				thissymbol =
2924ca8a62bSXin LI 				    &(unpackd->tree[thislevel][inlevelindex]);
2934ca8a62bSXin LI 				if ((thissymbol == unpackd->symbol_eob) &&
2944ca8a62bSXin LI 				    (bytes_out == unpackd->uncompressed_size))
2954ca8a62bSXin LI 					goto finished;
2964ca8a62bSXin LI 
2974ca8a62bSXin LI 				fputc((*thissymbol), unpackd->fpOut);
2984ca8a62bSXin LI 				bytes_out++;
2994ca8a62bSXin LI 
3004ca8a62bSXin LI 				/* Prepare for next input */
3014ca8a62bSXin LI 				thislevel = 0; thiscode = 0;
3024ca8a62bSXin LI 			} else {
3034ca8a62bSXin LI 				thislevel++;
3044ca8a62bSXin LI 				if (thislevel > unpackd->treelevels)
3054ca8a62bSXin LI 					maybe_errx("File corrupt");
3064ca8a62bSXin LI 			}
3074ca8a62bSXin LI 		}
3084ca8a62bSXin LI 	}
3094ca8a62bSXin LI 
3104ca8a62bSXin LI finished:
3114ca8a62bSXin LI 	if (bytes_out != unpackd->uncompressed_size)
3124ca8a62bSXin LI 		maybe_errx("Premature EOF");
3134ca8a62bSXin LI }
3144ca8a62bSXin LI 
3154ca8a62bSXin LI /* Handler for pack(1)'ed file */
3164ca8a62bSXin LI static off_t
unpack(int in,int out,char * pre,size_t prelen,off_t * bytes_in)3174ca8a62bSXin LI unpack(int in, int out, char *pre, size_t prelen, off_t *bytes_in)
3184ca8a62bSXin LI {
3194ca8a62bSXin LI 	unpack_descriptor_t unpackd;
3204ca8a62bSXin LI 
321c38fa7e0SXin LI 	in = dup(in);
322c38fa7e0SXin LI 	if (in == -1)
323c38fa7e0SXin LI 		maybe_err("dup");
324c38fa7e0SXin LI 	out = dup(out);
325c38fa7e0SXin LI 	if (out == -1)
326c38fa7e0SXin LI 		maybe_err("dup");
327c38fa7e0SXin LI 
328c38fa7e0SXin LI 	unpack_parse_header(in, out, pre, prelen, bytes_in, &unpackd);
3294ca8a62bSXin LI 	unpack_decode(&unpackd, bytes_in);
3304ca8a62bSXin LI 	unpack_descriptor_fini(&unpackd);
3314ca8a62bSXin LI 
3324ca8a62bSXin LI 	/* If we reached here, the unpack was successful */
3334ca8a62bSXin LI 	return (unpackd.uncompressed_size);
3344ca8a62bSXin LI }
335