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