xref: /freebsd/contrib/xz/src/liblzma/common/alone_decoder.c (revision 42b10a37c6580e4fa7afe04e16a7a6e82188215f)
181ad8388SMartin Matuska ///////////////////////////////////////////////////////////////////////////////
281ad8388SMartin Matuska //
381ad8388SMartin Matuska /// \file       alone_decoder.c
481ad8388SMartin Matuska /// \brief      Decoder for LZMA_Alone files
581ad8388SMartin Matuska //
681ad8388SMartin Matuska //  Author:     Lasse Collin
781ad8388SMartin Matuska //
881ad8388SMartin Matuska //  This file has been put into the public domain.
981ad8388SMartin Matuska //  You can do whatever you want with this file.
1081ad8388SMartin Matuska //
1181ad8388SMartin Matuska ///////////////////////////////////////////////////////////////////////////////
1281ad8388SMartin Matuska 
1381ad8388SMartin Matuska #include "alone_decoder.h"
1481ad8388SMartin Matuska #include "lzma_decoder.h"
1581ad8388SMartin Matuska #include "lz_decoder.h"
1681ad8388SMartin Matuska 
1781ad8388SMartin Matuska 
1881ad8388SMartin Matuska struct lzma_coder_s {
1981ad8388SMartin Matuska 	lzma_next_coder next;
2081ad8388SMartin Matuska 
2181ad8388SMartin Matuska 	enum {
2281ad8388SMartin Matuska 		SEQ_PROPERTIES,
2381ad8388SMartin Matuska 		SEQ_DICTIONARY_SIZE,
2481ad8388SMartin Matuska 		SEQ_UNCOMPRESSED_SIZE,
2581ad8388SMartin Matuska 		SEQ_CODER_INIT,
2681ad8388SMartin Matuska 		SEQ_CODE,
2781ad8388SMartin Matuska 	} sequence;
2881ad8388SMartin Matuska 
29*42b10a37SXin LI 	/// If true, reject files that are unlikely to be .lzma files.
30*42b10a37SXin LI 	/// If false, more non-.lzma files get accepted and will give
31*42b10a37SXin LI 	/// LZMA_DATA_ERROR either immediately or after a few output bytes.
32*42b10a37SXin LI 	bool picky;
33*42b10a37SXin LI 
3481ad8388SMartin Matuska 	/// Position in the header fields
3581ad8388SMartin Matuska 	size_t pos;
3681ad8388SMartin Matuska 
3781ad8388SMartin Matuska 	/// Uncompressed size decoded from the header
3881ad8388SMartin Matuska 	lzma_vli uncompressed_size;
3981ad8388SMartin Matuska 
4081ad8388SMartin Matuska 	/// Memory usage limit
4181ad8388SMartin Matuska 	uint64_t memlimit;
4281ad8388SMartin Matuska 
4381ad8388SMartin Matuska 	/// Amount of memory actually needed (only an estimate)
4481ad8388SMartin Matuska 	uint64_t memusage;
4581ad8388SMartin Matuska 
4681ad8388SMartin Matuska 	/// Options decoded from the header needed to initialize
4781ad8388SMartin Matuska 	/// the LZMA decoder
4881ad8388SMartin Matuska 	lzma_options_lzma options;
4981ad8388SMartin Matuska };
5081ad8388SMartin Matuska 
5181ad8388SMartin Matuska 
5281ad8388SMartin Matuska static lzma_ret
5381ad8388SMartin Matuska alone_decode(lzma_coder *coder,
54e24134bcSMartin Matuska 		lzma_allocator *allocator lzma_attribute((__unused__)),
5581ad8388SMartin Matuska 		const uint8_t *restrict in, size_t *restrict in_pos,
5681ad8388SMartin Matuska 		size_t in_size, uint8_t *restrict out,
5781ad8388SMartin Matuska 		size_t *restrict out_pos, size_t out_size,
5881ad8388SMartin Matuska 		lzma_action action)
5981ad8388SMartin Matuska {
6081ad8388SMartin Matuska 	while (*out_pos < out_size
6181ad8388SMartin Matuska 			&& (coder->sequence == SEQ_CODE || *in_pos < in_size))
6281ad8388SMartin Matuska 	switch (coder->sequence) {
6381ad8388SMartin Matuska 	case SEQ_PROPERTIES:
6481ad8388SMartin Matuska 		if (lzma_lzma_lclppb_decode(&coder->options, in[*in_pos]))
6581ad8388SMartin Matuska 			return LZMA_FORMAT_ERROR;
6681ad8388SMartin Matuska 
6781ad8388SMartin Matuska 		coder->sequence = SEQ_DICTIONARY_SIZE;
6881ad8388SMartin Matuska 		++*in_pos;
6981ad8388SMartin Matuska 		break;
7081ad8388SMartin Matuska 
7181ad8388SMartin Matuska 	case SEQ_DICTIONARY_SIZE:
7281ad8388SMartin Matuska 		coder->options.dict_size
7381ad8388SMartin Matuska 				|= (size_t)(in[*in_pos]) << (coder->pos * 8);
7481ad8388SMartin Matuska 
7581ad8388SMartin Matuska 		if (++coder->pos == 4) {
76*42b10a37SXin LI 			if (coder->picky && coder->options.dict_size
77*42b10a37SXin LI 					!= UINT32_MAX) {
7881ad8388SMartin Matuska 				// A hack to ditch tons of false positives:
7981ad8388SMartin Matuska 				// We allow only dictionary sizes that are
8081ad8388SMartin Matuska 				// 2^n or 2^n + 2^(n-1). LZMA_Alone created
8181ad8388SMartin Matuska 				// only files with 2^n, but accepts any
82*42b10a37SXin LI 				// dictionary size.
8381ad8388SMartin Matuska 				uint32_t d = coder->options.dict_size - 1;
8481ad8388SMartin Matuska 				d |= d >> 2;
8581ad8388SMartin Matuska 				d |= d >> 3;
8681ad8388SMartin Matuska 				d |= d >> 4;
8781ad8388SMartin Matuska 				d |= d >> 8;
8881ad8388SMartin Matuska 				d |= d >> 16;
8981ad8388SMartin Matuska 				++d;
9081ad8388SMartin Matuska 
9181ad8388SMartin Matuska 				if (d != coder->options.dict_size)
9281ad8388SMartin Matuska 					return LZMA_FORMAT_ERROR;
9381ad8388SMartin Matuska 			}
9481ad8388SMartin Matuska 
9581ad8388SMartin Matuska 			coder->pos = 0;
9681ad8388SMartin Matuska 			coder->sequence = SEQ_UNCOMPRESSED_SIZE;
9781ad8388SMartin Matuska 		}
9881ad8388SMartin Matuska 
9981ad8388SMartin Matuska 		++*in_pos;
10081ad8388SMartin Matuska 		break;
10181ad8388SMartin Matuska 
10281ad8388SMartin Matuska 	case SEQ_UNCOMPRESSED_SIZE:
10381ad8388SMartin Matuska 		coder->uncompressed_size
10481ad8388SMartin Matuska 				|= (lzma_vli)(in[*in_pos]) << (coder->pos * 8);
10581ad8388SMartin Matuska 		++*in_pos;
10681ad8388SMartin Matuska 		if (++coder->pos < 8)
10781ad8388SMartin Matuska 			break;
10881ad8388SMartin Matuska 
10981ad8388SMartin Matuska 		// Another hack to ditch false positives: Assume that
11081ad8388SMartin Matuska 		// if the uncompressed size is known, it must be less
111*42b10a37SXin LI 		// than 256 GiB.
112*42b10a37SXin LI 		if (coder->picky
113*42b10a37SXin LI 				&& coder->uncompressed_size != LZMA_VLI_UNKNOWN
11481ad8388SMartin Matuska 				&& coder->uncompressed_size
11581ad8388SMartin Matuska 					>= (LZMA_VLI_C(1) << 38))
11681ad8388SMartin Matuska 			return LZMA_FORMAT_ERROR;
11781ad8388SMartin Matuska 
11881ad8388SMartin Matuska 		// Calculate the memory usage so that it is ready
11981ad8388SMartin Matuska 		// for SEQ_CODER_INIT.
12081ad8388SMartin Matuska 		coder->memusage = lzma_lzma_decoder_memusage(&coder->options)
12181ad8388SMartin Matuska 				+ LZMA_MEMUSAGE_BASE;
12281ad8388SMartin Matuska 
12381ad8388SMartin Matuska 		coder->pos = 0;
12481ad8388SMartin Matuska 		coder->sequence = SEQ_CODER_INIT;
12581ad8388SMartin Matuska 
12681ad8388SMartin Matuska 	// Fall through
12781ad8388SMartin Matuska 
12881ad8388SMartin Matuska 	case SEQ_CODER_INIT: {
12981ad8388SMartin Matuska 		if (coder->memusage > coder->memlimit)
13081ad8388SMartin Matuska 			return LZMA_MEMLIMIT_ERROR;
13181ad8388SMartin Matuska 
13281ad8388SMartin Matuska 		lzma_filter_info filters[2] = {
13381ad8388SMartin Matuska 			{
13481ad8388SMartin Matuska 				.init = &lzma_lzma_decoder_init,
13581ad8388SMartin Matuska 				.options = &coder->options,
13681ad8388SMartin Matuska 			}, {
13781ad8388SMartin Matuska 				.init = NULL,
13881ad8388SMartin Matuska 			}
13981ad8388SMartin Matuska 		};
14081ad8388SMartin Matuska 
14181ad8388SMartin Matuska 		const lzma_ret ret = lzma_next_filter_init(&coder->next,
14281ad8388SMartin Matuska 				allocator, filters);
14381ad8388SMartin Matuska 		if (ret != LZMA_OK)
14481ad8388SMartin Matuska 			return ret;
14581ad8388SMartin Matuska 
14681ad8388SMartin Matuska 		// Use a hack to set the uncompressed size.
14781ad8388SMartin Matuska 		lzma_lz_decoder_uncompressed(coder->next.coder,
14881ad8388SMartin Matuska 				coder->uncompressed_size);
14981ad8388SMartin Matuska 
15081ad8388SMartin Matuska 		coder->sequence = SEQ_CODE;
15181ad8388SMartin Matuska 		break;
15281ad8388SMartin Matuska 	}
15381ad8388SMartin Matuska 
15481ad8388SMartin Matuska 	case SEQ_CODE: {
15581ad8388SMartin Matuska 		return coder->next.code(coder->next.coder,
15681ad8388SMartin Matuska 				allocator, in, in_pos, in_size,
15781ad8388SMartin Matuska 				out, out_pos, out_size, action);
15881ad8388SMartin Matuska 	}
15981ad8388SMartin Matuska 
16081ad8388SMartin Matuska 	default:
16181ad8388SMartin Matuska 		return LZMA_PROG_ERROR;
16281ad8388SMartin Matuska 	}
16381ad8388SMartin Matuska 
16481ad8388SMartin Matuska 	return LZMA_OK;
16581ad8388SMartin Matuska }
16681ad8388SMartin Matuska 
16781ad8388SMartin Matuska 
16881ad8388SMartin Matuska static void
16981ad8388SMartin Matuska alone_decoder_end(lzma_coder *coder, lzma_allocator *allocator)
17081ad8388SMartin Matuska {
17181ad8388SMartin Matuska 	lzma_next_end(&coder->next, allocator);
17281ad8388SMartin Matuska 	lzma_free(coder, allocator);
17381ad8388SMartin Matuska 	return;
17481ad8388SMartin Matuska }
17581ad8388SMartin Matuska 
17681ad8388SMartin Matuska 
17781ad8388SMartin Matuska static lzma_ret
17881ad8388SMartin Matuska alone_decoder_memconfig(lzma_coder *coder, uint64_t *memusage,
17981ad8388SMartin Matuska 		uint64_t *old_memlimit, uint64_t new_memlimit)
18081ad8388SMartin Matuska {
18181ad8388SMartin Matuska 	*memusage = coder->memusage;
18281ad8388SMartin Matuska 	*old_memlimit = coder->memlimit;
18381ad8388SMartin Matuska 
18481ad8388SMartin Matuska 	if (new_memlimit != 0) {
18581ad8388SMartin Matuska 		if (new_memlimit < coder->memusage)
18681ad8388SMartin Matuska 			return LZMA_MEMLIMIT_ERROR;
18781ad8388SMartin Matuska 
18881ad8388SMartin Matuska 		coder->memlimit = new_memlimit;
18981ad8388SMartin Matuska 	}
19081ad8388SMartin Matuska 
19181ad8388SMartin Matuska 	return LZMA_OK;
19281ad8388SMartin Matuska }
19381ad8388SMartin Matuska 
19481ad8388SMartin Matuska 
19581ad8388SMartin Matuska extern lzma_ret
19681ad8388SMartin Matuska lzma_alone_decoder_init(lzma_next_coder *next, lzma_allocator *allocator,
197*42b10a37SXin LI 		uint64_t memlimit, bool picky)
19881ad8388SMartin Matuska {
19981ad8388SMartin Matuska 	lzma_next_coder_init(&lzma_alone_decoder_init, next, allocator);
20081ad8388SMartin Matuska 
20181ad8388SMartin Matuska 	if (memlimit == 0)
20281ad8388SMartin Matuska 		return LZMA_PROG_ERROR;
20381ad8388SMartin Matuska 
20481ad8388SMartin Matuska 	if (next->coder == NULL) {
20581ad8388SMartin Matuska 		next->coder = lzma_alloc(sizeof(lzma_coder), allocator);
20681ad8388SMartin Matuska 		if (next->coder == NULL)
20781ad8388SMartin Matuska 			return LZMA_MEM_ERROR;
20881ad8388SMartin Matuska 
20981ad8388SMartin Matuska 		next->code = &alone_decode;
21081ad8388SMartin Matuska 		next->end = &alone_decoder_end;
21181ad8388SMartin Matuska 		next->memconfig = &alone_decoder_memconfig;
21281ad8388SMartin Matuska 		next->coder->next = LZMA_NEXT_CODER_INIT;
21381ad8388SMartin Matuska 	}
21481ad8388SMartin Matuska 
21581ad8388SMartin Matuska 	next->coder->sequence = SEQ_PROPERTIES;
216*42b10a37SXin LI 	next->coder->picky = picky;
21781ad8388SMartin Matuska 	next->coder->pos = 0;
21881ad8388SMartin Matuska 	next->coder->options.dict_size = 0;
21981ad8388SMartin Matuska 	next->coder->options.preset_dict = NULL;
22081ad8388SMartin Matuska 	next->coder->options.preset_dict_size = 0;
22181ad8388SMartin Matuska 	next->coder->uncompressed_size = 0;
22281ad8388SMartin Matuska 	next->coder->memlimit = memlimit;
22381ad8388SMartin Matuska 	next->coder->memusage = LZMA_MEMUSAGE_BASE;
22481ad8388SMartin Matuska 
22581ad8388SMartin Matuska 	return LZMA_OK;
22681ad8388SMartin Matuska }
22781ad8388SMartin Matuska 
22881ad8388SMartin Matuska 
22981ad8388SMartin Matuska extern LZMA_API(lzma_ret)
23081ad8388SMartin Matuska lzma_alone_decoder(lzma_stream *strm, uint64_t memlimit)
23181ad8388SMartin Matuska {
232*42b10a37SXin LI 	lzma_next_strm_init(lzma_alone_decoder_init, strm, memlimit, false);
23381ad8388SMartin Matuska 
23481ad8388SMartin Matuska 	strm->internal->supported_actions[LZMA_RUN] = true;
23581ad8388SMartin Matuska 	strm->internal->supported_actions[LZMA_FINISH] = true;
23681ad8388SMartin Matuska 
23781ad8388SMartin Matuska 	return LZMA_OK;
23881ad8388SMartin Matuska }
239