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 181456f0f9SXin LI typedef struct { 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 2942b10a37SXin LI /// If true, reject files that are unlikely to be .lzma files. 3042b10a37SXin LI /// If false, more non-.lzma files get accepted and will give 3142b10a37SXin LI /// LZMA_DATA_ERROR either immediately or after a few output bytes. 3242b10a37SXin LI bool picky; 3342b10a37SXin 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; 491456f0f9SXin LI } lzma_alone_coder; 5081ad8388SMartin Matuska 5181ad8388SMartin Matuska 5281ad8388SMartin Matuska static lzma_ret 531456f0f9SXin LI alone_decode(void *coder_ptr, 5453200025SRui Paulo const 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 { 601456f0f9SXin LI lzma_alone_coder *coder = coder_ptr; 611456f0f9SXin LI 6281ad8388SMartin Matuska while (*out_pos < out_size 6381ad8388SMartin Matuska && (coder->sequence == SEQ_CODE || *in_pos < in_size)) 6481ad8388SMartin Matuska switch (coder->sequence) { 6581ad8388SMartin Matuska case SEQ_PROPERTIES: 6681ad8388SMartin Matuska if (lzma_lzma_lclppb_decode(&coder->options, in[*in_pos])) 6781ad8388SMartin Matuska return LZMA_FORMAT_ERROR; 6881ad8388SMartin Matuska 6981ad8388SMartin Matuska coder->sequence = SEQ_DICTIONARY_SIZE; 7081ad8388SMartin Matuska ++*in_pos; 7181ad8388SMartin Matuska break; 7281ad8388SMartin Matuska 7381ad8388SMartin Matuska case SEQ_DICTIONARY_SIZE: 7481ad8388SMartin Matuska coder->options.dict_size 7581ad8388SMartin Matuska |= (size_t)(in[*in_pos]) << (coder->pos * 8); 7681ad8388SMartin Matuska 7781ad8388SMartin Matuska if (++coder->pos == 4) { 7842b10a37SXin LI if (coder->picky && coder->options.dict_size 7942b10a37SXin LI != UINT32_MAX) { 8081ad8388SMartin Matuska // A hack to ditch tons of false positives: 8181ad8388SMartin Matuska // We allow only dictionary sizes that are 8281ad8388SMartin Matuska // 2^n or 2^n + 2^(n-1). LZMA_Alone created 8381ad8388SMartin Matuska // only files with 2^n, but accepts any 8442b10a37SXin LI // dictionary size. 8581ad8388SMartin Matuska uint32_t d = coder->options.dict_size - 1; 8681ad8388SMartin Matuska d |= d >> 2; 8781ad8388SMartin Matuska d |= d >> 3; 8881ad8388SMartin Matuska d |= d >> 4; 8981ad8388SMartin Matuska d |= d >> 8; 9081ad8388SMartin Matuska d |= d >> 16; 9181ad8388SMartin Matuska ++d; 9281ad8388SMartin Matuska 9381ad8388SMartin Matuska if (d != coder->options.dict_size) 9481ad8388SMartin Matuska return LZMA_FORMAT_ERROR; 9581ad8388SMartin Matuska } 9681ad8388SMartin Matuska 9781ad8388SMartin Matuska coder->pos = 0; 9881ad8388SMartin Matuska coder->sequence = SEQ_UNCOMPRESSED_SIZE; 9981ad8388SMartin Matuska } 10081ad8388SMartin Matuska 10181ad8388SMartin Matuska ++*in_pos; 10281ad8388SMartin Matuska break; 10381ad8388SMartin Matuska 10481ad8388SMartin Matuska case SEQ_UNCOMPRESSED_SIZE: 10581ad8388SMartin Matuska coder->uncompressed_size 10681ad8388SMartin Matuska |= (lzma_vli)(in[*in_pos]) << (coder->pos * 8); 10781ad8388SMartin Matuska ++*in_pos; 10881ad8388SMartin Matuska if (++coder->pos < 8) 10981ad8388SMartin Matuska break; 11081ad8388SMartin Matuska 11181ad8388SMartin Matuska // Another hack to ditch false positives: Assume that 11281ad8388SMartin Matuska // if the uncompressed size is known, it must be less 11342b10a37SXin LI // than 256 GiB. 11442b10a37SXin LI if (coder->picky 11542b10a37SXin LI && coder->uncompressed_size != LZMA_VLI_UNKNOWN 11681ad8388SMartin Matuska && coder->uncompressed_size 11781ad8388SMartin Matuska >= (LZMA_VLI_C(1) << 38)) 11881ad8388SMartin Matuska return LZMA_FORMAT_ERROR; 11981ad8388SMartin Matuska 12081ad8388SMartin Matuska // Calculate the memory usage so that it is ready 12181ad8388SMartin Matuska // for SEQ_CODER_INIT. 12281ad8388SMartin Matuska coder->memusage = lzma_lzma_decoder_memusage(&coder->options) 12381ad8388SMartin Matuska + LZMA_MEMUSAGE_BASE; 12481ad8388SMartin Matuska 12581ad8388SMartin Matuska coder->pos = 0; 12681ad8388SMartin Matuska coder->sequence = SEQ_CODER_INIT; 12781ad8388SMartin Matuska 12881ad8388SMartin Matuska // Fall through 12981ad8388SMartin Matuska 13081ad8388SMartin Matuska case SEQ_CODER_INIT: { 13181ad8388SMartin Matuska if (coder->memusage > coder->memlimit) 13281ad8388SMartin Matuska return LZMA_MEMLIMIT_ERROR; 13381ad8388SMartin Matuska 13481ad8388SMartin Matuska lzma_filter_info filters[2] = { 13581ad8388SMartin Matuska { 13681ad8388SMartin Matuska .init = &lzma_lzma_decoder_init, 13781ad8388SMartin Matuska .options = &coder->options, 13881ad8388SMartin Matuska }, { 13981ad8388SMartin Matuska .init = NULL, 14081ad8388SMartin Matuska } 14181ad8388SMartin Matuska }; 14281ad8388SMartin Matuska 14381ad8388SMartin Matuska const lzma_ret ret = lzma_next_filter_init(&coder->next, 14481ad8388SMartin Matuska allocator, filters); 14581ad8388SMartin Matuska if (ret != LZMA_OK) 14681ad8388SMartin Matuska return ret; 14781ad8388SMartin Matuska 14881ad8388SMartin Matuska // Use a hack to set the uncompressed size. 14981ad8388SMartin Matuska lzma_lz_decoder_uncompressed(coder->next.coder, 15081ad8388SMartin Matuska coder->uncompressed_size); 15181ad8388SMartin Matuska 15281ad8388SMartin Matuska coder->sequence = SEQ_CODE; 15381ad8388SMartin Matuska break; 15481ad8388SMartin Matuska } 15581ad8388SMartin Matuska 15681ad8388SMartin Matuska case SEQ_CODE: { 15781ad8388SMartin Matuska return coder->next.code(coder->next.coder, 15881ad8388SMartin Matuska allocator, in, in_pos, in_size, 15981ad8388SMartin Matuska out, out_pos, out_size, action); 16081ad8388SMartin Matuska } 16181ad8388SMartin Matuska 16281ad8388SMartin Matuska default: 16381ad8388SMartin Matuska return LZMA_PROG_ERROR; 16481ad8388SMartin Matuska } 16581ad8388SMartin Matuska 16681ad8388SMartin Matuska return LZMA_OK; 16781ad8388SMartin Matuska } 16881ad8388SMartin Matuska 16981ad8388SMartin Matuska 17081ad8388SMartin Matuska static void 1711456f0f9SXin LI alone_decoder_end(void *coder_ptr, const lzma_allocator *allocator) 17281ad8388SMartin Matuska { 1731456f0f9SXin LI lzma_alone_coder *coder = coder_ptr; 17481ad8388SMartin Matuska lzma_next_end(&coder->next, allocator); 17581ad8388SMartin Matuska lzma_free(coder, allocator); 17681ad8388SMartin Matuska return; 17781ad8388SMartin Matuska } 17881ad8388SMartin Matuska 17981ad8388SMartin Matuska 18081ad8388SMartin Matuska static lzma_ret 1811456f0f9SXin LI alone_decoder_memconfig(void *coder_ptr, uint64_t *memusage, 18281ad8388SMartin Matuska uint64_t *old_memlimit, uint64_t new_memlimit) 18381ad8388SMartin Matuska { 1841456f0f9SXin LI lzma_alone_coder *coder = coder_ptr; 1851456f0f9SXin LI 18681ad8388SMartin Matuska *memusage = coder->memusage; 18781ad8388SMartin Matuska *old_memlimit = coder->memlimit; 18881ad8388SMartin Matuska 18981ad8388SMartin Matuska if (new_memlimit != 0) { 19081ad8388SMartin Matuska if (new_memlimit < coder->memusage) 19181ad8388SMartin Matuska return LZMA_MEMLIMIT_ERROR; 19281ad8388SMartin Matuska 19381ad8388SMartin Matuska coder->memlimit = new_memlimit; 19481ad8388SMartin Matuska } 19581ad8388SMartin Matuska 19681ad8388SMartin Matuska return LZMA_OK; 19781ad8388SMartin Matuska } 19881ad8388SMartin Matuska 19981ad8388SMartin Matuska 20081ad8388SMartin Matuska extern lzma_ret 20153200025SRui Paulo lzma_alone_decoder_init(lzma_next_coder *next, const lzma_allocator *allocator, 20242b10a37SXin LI uint64_t memlimit, bool picky) 20381ad8388SMartin Matuska { 20481ad8388SMartin Matuska lzma_next_coder_init(&lzma_alone_decoder_init, next, allocator); 20581ad8388SMartin Matuska 2061456f0f9SXin LI lzma_alone_coder *coder = next->coder; 2071456f0f9SXin LI 2081456f0f9SXin LI if (coder == NULL) { 2091456f0f9SXin LI coder = lzma_alloc(sizeof(lzma_alone_coder), allocator); 2101456f0f9SXin LI if (coder == NULL) 21181ad8388SMartin Matuska return LZMA_MEM_ERROR; 21281ad8388SMartin Matuska 2131456f0f9SXin LI next->coder = coder; 21481ad8388SMartin Matuska next->code = &alone_decode; 21581ad8388SMartin Matuska next->end = &alone_decoder_end; 21681ad8388SMartin Matuska next->memconfig = &alone_decoder_memconfig; 2171456f0f9SXin LI coder->next = LZMA_NEXT_CODER_INIT; 21881ad8388SMartin Matuska } 21981ad8388SMartin Matuska 2201456f0f9SXin LI coder->sequence = SEQ_PROPERTIES; 2211456f0f9SXin LI coder->picky = picky; 2221456f0f9SXin LI coder->pos = 0; 2231456f0f9SXin LI coder->options.dict_size = 0; 2241456f0f9SXin LI coder->options.preset_dict = NULL; 2251456f0f9SXin LI coder->options.preset_dict_size = 0; 2261456f0f9SXin LI coder->uncompressed_size = 0; 227*b71a5db3SXin LI coder->memlimit = my_max(1, memlimit); 2281456f0f9SXin LI coder->memusage = LZMA_MEMUSAGE_BASE; 22981ad8388SMartin Matuska 23081ad8388SMartin Matuska return LZMA_OK; 23181ad8388SMartin Matuska } 23281ad8388SMartin Matuska 23381ad8388SMartin Matuska 23481ad8388SMartin Matuska extern LZMA_API(lzma_ret) 23581ad8388SMartin Matuska lzma_alone_decoder(lzma_stream *strm, uint64_t memlimit) 23681ad8388SMartin Matuska { 23742b10a37SXin LI lzma_next_strm_init(lzma_alone_decoder_init, strm, memlimit, false); 23881ad8388SMartin Matuska 23981ad8388SMartin Matuska strm->internal->supported_actions[LZMA_RUN] = true; 24081ad8388SMartin Matuska strm->internal->supported_actions[LZMA_FINISH] = true; 24181ad8388SMartin Matuska 24281ad8388SMartin Matuska return LZMA_OK; 24381ad8388SMartin Matuska } 244