1 // SPDX-License-Identifier: 0BSD
3 ///////////////////////////////////////////////////////////////////////////////
5 /// \file stream_decoder.c
6 /// \brief Decodes .xz Streams
8 // Author: Lasse Collin
10 ///////////////////////////////////////////////////////////////////////////////
12 #include "stream_decoder.h"
13 #include "block_decoder.h"
29 lzma_next_coder block_decoder
;
31 /// Block options decoded by the Block Header decoder and used by
32 /// the Block decoder.
33 lzma_block block_options
;
35 /// Stream Flags from Stream Header
36 lzma_stream_flags stream_flags
;
38 /// Index is hashed so that it can be compared to the sizes of Blocks
39 /// with O(1) memory usage.
40 lzma_index_hash
*index_hash
;
42 /// Memory usage limit
45 /// Amount of memory actually needed (only an estimate)
48 /// If true, LZMA_NO_CHECK is returned if the Stream has
49 /// no integrity check.
52 /// If true, LZMA_UNSUPPORTED_CHECK is returned if the Stream has
53 /// an integrity check that isn't supported by this liblzma build.
54 bool tell_unsupported_check
;
56 /// If true, LZMA_GET_CHECK is returned after decoding Stream Header.
59 /// If true, we will tell the Block decoder to skip calculating
60 /// and verifying the integrity check.
63 /// If true, we will decode concatenated Streams that possibly have
64 /// Stream Padding between or after them. LZMA_STREAM_END is returned
65 /// once the application isn't giving us any new input (LZMA_FINISH),
66 /// and we aren't in the middle of a Stream, and possible
67 /// Stream Padding is a multiple of four bytes.
70 /// When decoding concatenated Streams, this is true as long as we
71 /// are decoding the first Stream. This is needed to avoid misleading
72 /// LZMA_FORMAT_ERROR in case the later Streams don't have valid magic
76 /// Write position in buffer[] and position in Stream Padding
79 /// Buffer to hold Stream Header, Block Header, and Stream Footer.
80 /// Block Header has biggest maximum size.
81 uint8_t buffer
[LZMA_BLOCK_HEADER_SIZE_MAX
];
86 stream_decoder_reset(lzma_stream_coder
*coder
, const lzma_allocator
*allocator
)
88 // Initialize the Index hash used to verify the Index.
89 coder
->index_hash
= lzma_index_hash_init(coder
->index_hash
, allocator
);
90 if (coder
->index_hash
== NULL
)
91 return LZMA_MEM_ERROR
;
93 // Reset the rest of the variables.
94 coder
->sequence
= SEQ_STREAM_HEADER
;
102 stream_decode(void *coder_ptr
, const lzma_allocator
*allocator
,
103 const uint8_t *restrict in
, size_t *restrict in_pos
,
104 size_t in_size
, uint8_t *restrict out
,
105 size_t *restrict out_pos
, size_t out_size
, lzma_action action
)
107 lzma_stream_coder
*coder
= coder_ptr
;
109 // When decoding the actual Block, it may be able to produce more
110 // output even if we don't give it any new input.
112 switch (coder
->sequence
) {
113 case SEQ_STREAM_HEADER
: {
114 // Copy the Stream Header to the internal buffer.
115 lzma_bufcpy(in
, in_pos
, in_size
, coder
->buffer
, &coder
->pos
,
116 LZMA_STREAM_HEADER_SIZE
);
118 // Return if we didn't get the whole Stream Header yet.
119 if (coder
->pos
< LZMA_STREAM_HEADER_SIZE
)
124 // Decode the Stream Header.
125 const lzma_ret ret
= lzma_stream_header_decode(
126 &coder
->stream_flags
, coder
->buffer
);
128 return ret
== LZMA_FORMAT_ERROR
&& !coder
->first_stream
129 ? LZMA_DATA_ERROR
: ret
;
131 // If we are decoding concatenated Streams, and the later
132 // Streams have invalid Header Magic Bytes, we give
133 // LZMA_DATA_ERROR instead of LZMA_FORMAT_ERROR.
134 coder
->first_stream
= false;
136 // Copy the type of the Check so that Block Header and Block
138 coder
->block_options
.check
= coder
->stream_flags
.check
;
140 // Even if we return LZMA_*_CHECK below, we want
141 // to continue from Block Header decoding.
142 coder
->sequence
= SEQ_BLOCK_HEADER
;
144 // Detect if there's no integrity check or if it is
145 // unsupported if those were requested by the application.
146 if (coder
->tell_no_check
&& coder
->stream_flags
.check
148 return LZMA_NO_CHECK
;
150 if (coder
->tell_unsupported_check
151 && !lzma_check_is_supported(
152 coder
->stream_flags
.check
))
153 return LZMA_UNSUPPORTED_CHECK
;
155 if (coder
->tell_any_check
)
156 return LZMA_GET_CHECK
;
161 case SEQ_BLOCK_HEADER
: {
162 if (*in_pos
>= in_size
)
165 if (coder
->pos
== 0) {
166 // Detect if it's Index.
167 if (in
[*in_pos
] == INDEX_INDICATOR
) {
168 coder
->sequence
= SEQ_INDEX
;
172 // Calculate the size of the Block Header. Note that
173 // Block Header decoder wants to see this byte too
174 // so don't advance *in_pos.
175 coder
->block_options
.header_size
176 = lzma_block_header_size_decode(
180 // Copy the Block Header to the internal buffer.
181 lzma_bufcpy(in
, in_pos
, in_size
, coder
->buffer
, &coder
->pos
,
182 coder
->block_options
.header_size
);
184 // Return if we didn't get the whole Block Header yet.
185 if (coder
->pos
< coder
->block_options
.header_size
)
189 coder
->sequence
= SEQ_BLOCK_INIT
;
194 case SEQ_BLOCK_INIT
: {
195 // Checking memusage and doing the initialization needs
196 // its own sequence point because we need to be able to
197 // retry if we return LZMA_MEMLIMIT_ERROR.
199 // Version 1 is needed to support the .ignore_check option.
200 coder
->block_options
.version
= 1;
202 // Set up a buffer to hold the filter chain. Block Header
203 // decoder will initialize all members of this array so
204 // we don't need to do it here.
205 lzma_filter filters
[LZMA_FILTERS_MAX
+ 1];
206 coder
->block_options
.filters
= filters
;
208 // Decode the Block Header.
209 return_if_error(lzma_block_header_decode(&coder
->block_options
,
210 allocator
, coder
->buffer
));
212 // If LZMA_IGNORE_CHECK was used, this flag needs to be set.
213 // It has to be set after lzma_block_header_decode() because
214 // it always resets this to false.
215 coder
->block_options
.ignore_check
= coder
->ignore_check
;
217 // Check the memory usage limit.
218 const uint64_t memusage
= lzma_raw_decoder_memusage(filters
);
221 if (memusage
== UINT64_MAX
) {
222 // One or more unknown Filter IDs.
223 ret
= LZMA_OPTIONS_ERROR
;
225 // Now we can set coder->memusage since we know that
226 // the filter chain is valid. We don't want
227 // lzma_memusage() to return UINT64_MAX in case of
228 // invalid filter chain.
229 coder
->memusage
= memusage
;
231 if (memusage
> coder
->memlimit
) {
232 // The chain would need too much memory.
233 ret
= LZMA_MEMLIMIT_ERROR
;
235 // Memory usage is OK.
236 // Initialize the Block decoder.
237 ret
= lzma_block_decoder_init(
238 &coder
->block_decoder
,
240 &coder
->block_options
);
244 // Free the allocated filter options since they are needed
245 // only to initialize the Block decoder.
246 lzma_filters_free(filters
, allocator
);
247 coder
->block_options
.filters
= NULL
;
249 // Check if memory usage calculation and Block decoder
250 // initialization succeeded.
254 coder
->sequence
= SEQ_BLOCK_RUN
;
259 case SEQ_BLOCK_RUN
: {
260 const lzma_ret ret
= coder
->block_decoder
.code(
261 coder
->block_decoder
.coder
, allocator
,
262 in
, in_pos
, in_size
, out
, out_pos
, out_size
,
265 if (ret
!= LZMA_STREAM_END
)
268 // Block decoded successfully. Add the new size pair to
270 return_if_error(lzma_index_hash_append(coder
->index_hash
,
271 lzma_block_unpadded_size(
272 &coder
->block_options
),
273 coder
->block_options
.uncompressed_size
));
275 coder
->sequence
= SEQ_BLOCK_HEADER
;
280 // If we don't have any input, don't call
281 // lzma_index_hash_decode() since it would return
282 // LZMA_BUF_ERROR, which we must not do here.
283 if (*in_pos
>= in_size
)
286 // Decode the Index and compare it to the hash calculated
287 // from the sizes of the Blocks (if any).
288 const lzma_ret ret
= lzma_index_hash_decode(coder
->index_hash
,
289 in
, in_pos
, in_size
);
290 if (ret
!= LZMA_STREAM_END
)
293 coder
->sequence
= SEQ_STREAM_FOOTER
;
298 case SEQ_STREAM_FOOTER
: {
299 // Copy the Stream Footer to the internal buffer.
300 lzma_bufcpy(in
, in_pos
, in_size
, coder
->buffer
, &coder
->pos
,
301 LZMA_STREAM_HEADER_SIZE
);
303 // Return if we didn't get the whole Stream Footer yet.
304 if (coder
->pos
< LZMA_STREAM_HEADER_SIZE
)
309 // Decode the Stream Footer. The decoder gives
310 // LZMA_FORMAT_ERROR if the magic bytes don't match,
311 // so convert that return code to LZMA_DATA_ERROR.
312 lzma_stream_flags footer_flags
;
313 const lzma_ret ret
= lzma_stream_footer_decode(
314 &footer_flags
, coder
->buffer
);
316 return ret
== LZMA_FORMAT_ERROR
317 ? LZMA_DATA_ERROR
: ret
;
319 // Check that Index Size stored in the Stream Footer matches
320 // the real size of the Index field.
321 if (lzma_index_hash_size(coder
->index_hash
)
322 != footer_flags
.backward_size
)
323 return LZMA_DATA_ERROR
;
325 // Compare that the Stream Flags fields are identical in
326 // both Stream Header and Stream Footer.
327 return_if_error(lzma_stream_flags_compare(
328 &coder
->stream_flags
, &footer_flags
));
330 if (!coder
->concatenated
)
331 return LZMA_STREAM_END
;
333 coder
->sequence
= SEQ_STREAM_PADDING
;
338 case SEQ_STREAM_PADDING
:
339 assert(coder
->concatenated
);
341 // Skip over possible Stream Padding.
343 if (*in_pos
>= in_size
) {
344 // Unless LZMA_FINISH was used, we cannot
345 // know if there's more input coming later.
346 if (action
!= LZMA_FINISH
)
349 // Stream Padding must be a multiple of
351 return coder
->pos
== 0
356 // If the byte is not zero, it probably indicates
357 // beginning of a new Stream (or the file is corrupt).
358 if (in
[*in_pos
] != 0x00)
362 coder
->pos
= (coder
->pos
+ 1) & 3;
365 // Stream Padding must be a multiple of four bytes (empty
366 // Stream Padding is OK).
367 if (coder
->pos
!= 0) {
369 return LZMA_DATA_ERROR
;
372 // Prepare to decode the next Stream.
373 return_if_error(stream_decoder_reset(coder
, allocator
));
378 return LZMA_PROG_ERROR
;
386 stream_decoder_end(void *coder_ptr
, const lzma_allocator
*allocator
)
388 lzma_stream_coder
*coder
= coder_ptr
;
389 lzma_next_end(&coder
->block_decoder
, allocator
);
390 lzma_index_hash_end(coder
->index_hash
, allocator
);
391 lzma_free(coder
, allocator
);
397 stream_decoder_get_check(const void *coder_ptr
)
399 const lzma_stream_coder
*coder
= coder_ptr
;
400 return coder
->stream_flags
.check
;
405 stream_decoder_memconfig(void *coder_ptr
, uint64_t *memusage
,
406 uint64_t *old_memlimit
, uint64_t new_memlimit
)
408 lzma_stream_coder
*coder
= coder_ptr
;
410 *memusage
= coder
->memusage
;
411 *old_memlimit
= coder
->memlimit
;
413 if (new_memlimit
!= 0) {
414 if (new_memlimit
< coder
->memusage
)
415 return LZMA_MEMLIMIT_ERROR
;
417 coder
->memlimit
= new_memlimit
;
425 lzma_stream_decoder_init(
426 lzma_next_coder
*next
, const lzma_allocator
*allocator
,
427 uint64_t memlimit
, uint32_t flags
)
429 lzma_next_coder_init(&lzma_stream_decoder_init
, next
, allocator
);
431 if (flags
& ~LZMA_SUPPORTED_FLAGS
)
432 return LZMA_OPTIONS_ERROR
;
434 lzma_stream_coder
*coder
= next
->coder
;
436 coder
= lzma_alloc(sizeof(lzma_stream_coder
), allocator
);
438 return LZMA_MEM_ERROR
;
441 next
->code
= &stream_decode
;
442 next
->end
= &stream_decoder_end
;
443 next
->get_check
= &stream_decoder_get_check
;
444 next
->memconfig
= &stream_decoder_memconfig
;
446 coder
->block_decoder
= LZMA_NEXT_CODER_INIT
;
447 coder
->index_hash
= NULL
;
450 coder
->memlimit
= my_max(1, memlimit
);
451 coder
->memusage
= LZMA_MEMUSAGE_BASE
;
452 coder
->tell_no_check
= (flags
& LZMA_TELL_NO_CHECK
) != 0;
453 coder
->tell_unsupported_check
454 = (flags
& LZMA_TELL_UNSUPPORTED_CHECK
) != 0;
455 coder
->tell_any_check
= (flags
& LZMA_TELL_ANY_CHECK
) != 0;
456 coder
->ignore_check
= (flags
& LZMA_IGNORE_CHECK
) != 0;
457 coder
->concatenated
= (flags
& LZMA_CONCATENATED
) != 0;
458 coder
->first_stream
= true;
460 return stream_decoder_reset(coder
, allocator
);
464 extern LZMA_API(lzma_ret
)
465 lzma_stream_decoder(lzma_stream
*strm
, uint64_t memlimit
, uint32_t flags
)
467 lzma_next_strm_init(lzma_stream_decoder_init
, strm
, memlimit
, flags
);
469 strm
->internal
->supported_actions
[LZMA_RUN
] = true;
470 strm
->internal
->supported_actions
[LZMA_FINISH
] = true;