1 ///////////////////////////////////////////////////////////////////////////////
3 /// \file stream_decoder.c
4 /// \brief Decodes .xz Streams
6 // Author: Lasse Collin
8 // This file has been put into the public domain.
9 // You can do whatever you want with this file.
11 ///////////////////////////////////////////////////////////////////////////////
13 #include "stream_decoder.h"
14 #include "block_decoder.h"
30 lzma_next_coder block_decoder
;
32 /// Block options decoded by the Block Header decoder and used by
33 /// the Block decoder.
34 lzma_block block_options
;
36 /// Stream Flags from Stream Header
37 lzma_stream_flags stream_flags
;
39 /// Index is hashed so that it can be compared to the sizes of Blocks
40 /// with O(1) memory usage.
41 lzma_index_hash
*index_hash
;
43 /// Memory usage limit
46 /// Amount of memory actually needed (only an estimate)
49 /// If true, LZMA_NO_CHECK is returned if the Stream has
50 /// no integrity check.
53 /// If true, LZMA_UNSUPPORTED_CHECK is returned if the Stream has
54 /// an integrity check that isn't supported by this liblzma build.
55 bool tell_unsupported_check
;
57 /// If true, LZMA_GET_CHECK is returned after decoding Stream Header.
60 /// If true, we will tell the Block decoder to skip calculating
61 /// and verifying the integrity check.
64 /// If true, we will decode concatenated Streams that possibly have
65 /// Stream Padding between or after them. LZMA_STREAM_END is returned
66 /// once the application isn't giving us any new input (LZMA_FINISH),
67 /// and we aren't in the middle of a Stream, and possible
68 /// Stream Padding is a multiple of four bytes.
71 /// When decoding concatenated Streams, this is true as long as we
72 /// are decoding the first Stream. This is needed to avoid misleading
73 /// LZMA_FORMAT_ERROR in case the later Streams don't have valid magic
77 /// Write position in buffer[] and position in Stream Padding
80 /// Buffer to hold Stream Header, Block Header, and Stream Footer.
81 /// Block Header has biggest maximum size.
82 uint8_t buffer
[LZMA_BLOCK_HEADER_SIZE_MAX
];
87 stream_decoder_reset(lzma_stream_coder
*coder
, const lzma_allocator
*allocator
)
89 // Initialize the Index hash used to verify the Index.
90 coder
->index_hash
= lzma_index_hash_init(coder
->index_hash
, allocator
);
91 if (coder
->index_hash
== NULL
)
92 return LZMA_MEM_ERROR
;
94 // Reset the rest of the variables.
95 coder
->sequence
= SEQ_STREAM_HEADER
;
103 stream_decode(void *coder_ptr
, const lzma_allocator
*allocator
,
104 const uint8_t *restrict in
, size_t *restrict in_pos
,
105 size_t in_size
, uint8_t *restrict out
,
106 size_t *restrict out_pos
, size_t out_size
, lzma_action action
)
108 lzma_stream_coder
*coder
= coder_ptr
;
110 // When decoding the actual Block, it may be able to produce more
111 // output even if we don't give it any new input.
113 switch (coder
->sequence
) {
114 case SEQ_STREAM_HEADER
: {
115 // Copy the Stream Header to the internal buffer.
116 lzma_bufcpy(in
, in_pos
, in_size
, coder
->buffer
, &coder
->pos
,
117 LZMA_STREAM_HEADER_SIZE
);
119 // Return if we didn't get the whole Stream Header yet.
120 if (coder
->pos
< LZMA_STREAM_HEADER_SIZE
)
125 // Decode the Stream Header.
126 const lzma_ret ret
= lzma_stream_header_decode(
127 &coder
->stream_flags
, coder
->buffer
);
129 return ret
== LZMA_FORMAT_ERROR
&& !coder
->first_stream
130 ? LZMA_DATA_ERROR
: ret
;
132 // If we are decoding concatenated Streams, and the later
133 // Streams have invalid Header Magic Bytes, we give
134 // LZMA_DATA_ERROR instead of LZMA_FORMAT_ERROR.
135 coder
->first_stream
= false;
137 // Copy the type of the Check so that Block Header and Block
139 coder
->block_options
.check
= coder
->stream_flags
.check
;
141 // Even if we return LZMA_*_CHECK below, we want
142 // to continue from Block Header decoding.
143 coder
->sequence
= SEQ_BLOCK_HEADER
;
145 // Detect if there's no integrity check or if it is
146 // unsupported if those were requested by the application.
147 if (coder
->tell_no_check
&& coder
->stream_flags
.check
149 return LZMA_NO_CHECK
;
151 if (coder
->tell_unsupported_check
152 && !lzma_check_is_supported(
153 coder
->stream_flags
.check
))
154 return LZMA_UNSUPPORTED_CHECK
;
156 if (coder
->tell_any_check
)
157 return LZMA_GET_CHECK
;
162 case SEQ_BLOCK_HEADER
: {
163 if (*in_pos
>= in_size
)
166 if (coder
->pos
== 0) {
167 // Detect if it's Index.
168 if (in
[*in_pos
] == INDEX_INDICATOR
) {
169 coder
->sequence
= SEQ_INDEX
;
173 // Calculate the size of the Block Header. Note that
174 // Block Header decoder wants to see this byte too
175 // so don't advance *in_pos.
176 coder
->block_options
.header_size
177 = lzma_block_header_size_decode(
181 // Copy the Block Header to the internal buffer.
182 lzma_bufcpy(in
, in_pos
, in_size
, coder
->buffer
, &coder
->pos
,
183 coder
->block_options
.header_size
);
185 // Return if we didn't get the whole Block Header yet.
186 if (coder
->pos
< coder
->block_options
.header_size
)
190 coder
->sequence
= SEQ_BLOCK_INIT
;
195 case SEQ_BLOCK_INIT
: {
196 // Checking memusage and doing the initialization needs
197 // its own sequence point because we need to be able to
198 // retry if we return LZMA_MEMLIMIT_ERROR.
200 // Version 1 is needed to support the .ignore_check option.
201 coder
->block_options
.version
= 1;
203 // Set up a buffer to hold the filter chain. Block Header
204 // decoder will initialize all members of this array so
205 // we don't need to do it here.
206 lzma_filter filters
[LZMA_FILTERS_MAX
+ 1];
207 coder
->block_options
.filters
= filters
;
209 // Decode the Block Header.
210 return_if_error(lzma_block_header_decode(&coder
->block_options
,
211 allocator
, coder
->buffer
));
213 // If LZMA_IGNORE_CHECK was used, this flag needs to be set.
214 // It has to be set after lzma_block_header_decode() because
215 // it always resets this to false.
216 coder
->block_options
.ignore_check
= coder
->ignore_check
;
218 // Check the memory usage limit.
219 const uint64_t memusage
= lzma_raw_decoder_memusage(filters
);
222 if (memusage
== UINT64_MAX
) {
223 // One or more unknown Filter IDs.
224 ret
= LZMA_OPTIONS_ERROR
;
226 // Now we can set coder->memusage since we know that
227 // the filter chain is valid. We don't want
228 // lzma_memusage() to return UINT64_MAX in case of
229 // invalid filter chain.
230 coder
->memusage
= memusage
;
232 if (memusage
> coder
->memlimit
) {
233 // The chain would need too much memory.
234 ret
= LZMA_MEMLIMIT_ERROR
;
236 // Memory usage is OK.
237 // Initialize the Block decoder.
238 ret
= lzma_block_decoder_init(
239 &coder
->block_decoder
,
241 &coder
->block_options
);
245 // Free the allocated filter options since they are needed
246 // only to initialize the Block decoder.
247 lzma_filters_free(filters
, allocator
);
248 coder
->block_options
.filters
= NULL
;
250 // Check if memory usage calculation and Block decoder
251 // initialization succeeded.
255 coder
->sequence
= SEQ_BLOCK_RUN
;
260 case SEQ_BLOCK_RUN
: {
261 const lzma_ret ret
= coder
->block_decoder
.code(
262 coder
->block_decoder
.coder
, allocator
,
263 in
, in_pos
, in_size
, out
, out_pos
, out_size
,
266 if (ret
!= LZMA_STREAM_END
)
269 // Block decoded successfully. Add the new size pair to
271 return_if_error(lzma_index_hash_append(coder
->index_hash
,
272 lzma_block_unpadded_size(
273 &coder
->block_options
),
274 coder
->block_options
.uncompressed_size
));
276 coder
->sequence
= SEQ_BLOCK_HEADER
;
281 // If we don't have any input, don't call
282 // lzma_index_hash_decode() since it would return
283 // LZMA_BUF_ERROR, which we must not do here.
284 if (*in_pos
>= in_size
)
287 // Decode the Index and compare it to the hash calculated
288 // from the sizes of the Blocks (if any).
289 const lzma_ret ret
= lzma_index_hash_decode(coder
->index_hash
,
290 in
, in_pos
, in_size
);
291 if (ret
!= LZMA_STREAM_END
)
294 coder
->sequence
= SEQ_STREAM_FOOTER
;
299 case SEQ_STREAM_FOOTER
: {
300 // Copy the Stream Footer to the internal buffer.
301 lzma_bufcpy(in
, in_pos
, in_size
, coder
->buffer
, &coder
->pos
,
302 LZMA_STREAM_HEADER_SIZE
);
304 // Return if we didn't get the whole Stream Footer yet.
305 if (coder
->pos
< LZMA_STREAM_HEADER_SIZE
)
310 // Decode the Stream Footer. The decoder gives
311 // LZMA_FORMAT_ERROR if the magic bytes don't match,
312 // so convert that return code to LZMA_DATA_ERROR.
313 lzma_stream_flags footer_flags
;
314 const lzma_ret ret
= lzma_stream_footer_decode(
315 &footer_flags
, coder
->buffer
);
317 return ret
== LZMA_FORMAT_ERROR
318 ? LZMA_DATA_ERROR
: ret
;
320 // Check that Index Size stored in the Stream Footer matches
321 // the real size of the Index field.
322 if (lzma_index_hash_size(coder
->index_hash
)
323 != footer_flags
.backward_size
)
324 return LZMA_DATA_ERROR
;
326 // Compare that the Stream Flags fields are identical in
327 // both Stream Header and Stream Footer.
328 return_if_error(lzma_stream_flags_compare(
329 &coder
->stream_flags
, &footer_flags
));
331 if (!coder
->concatenated
)
332 return LZMA_STREAM_END
;
334 coder
->sequence
= SEQ_STREAM_PADDING
;
339 case SEQ_STREAM_PADDING
:
340 assert(coder
->concatenated
);
342 // Skip over possible Stream Padding.
344 if (*in_pos
>= in_size
) {
345 // Unless LZMA_FINISH was used, we cannot
346 // know if there's more input coming later.
347 if (action
!= LZMA_FINISH
)
350 // Stream Padding must be a multiple of
352 return coder
->pos
== 0
357 // If the byte is not zero, it probably indicates
358 // beginning of a new Stream (or the file is corrupt).
359 if (in
[*in_pos
] != 0x00)
363 coder
->pos
= (coder
->pos
+ 1) & 3;
366 // Stream Padding must be a multiple of four bytes (empty
367 // Stream Padding is OK).
368 if (coder
->pos
!= 0) {
370 return LZMA_DATA_ERROR
;
373 // Prepare to decode the next Stream.
374 return_if_error(stream_decoder_reset(coder
, allocator
));
379 return LZMA_PROG_ERROR
;
387 stream_decoder_end(void *coder_ptr
, const lzma_allocator
*allocator
)
389 lzma_stream_coder
*coder
= coder_ptr
;
390 lzma_next_end(&coder
->block_decoder
, allocator
);
391 lzma_index_hash_end(coder
->index_hash
, allocator
);
392 lzma_free(coder
, allocator
);
398 stream_decoder_get_check(const void *coder_ptr
)
400 const lzma_stream_coder
*coder
= coder_ptr
;
401 return coder
->stream_flags
.check
;
406 stream_decoder_memconfig(void *coder_ptr
, uint64_t *memusage
,
407 uint64_t *old_memlimit
, uint64_t new_memlimit
)
409 lzma_stream_coder
*coder
= coder_ptr
;
411 *memusage
= coder
->memusage
;
412 *old_memlimit
= coder
->memlimit
;
414 if (new_memlimit
!= 0) {
415 if (new_memlimit
< coder
->memusage
)
416 return LZMA_MEMLIMIT_ERROR
;
418 coder
->memlimit
= new_memlimit
;
426 lzma_stream_decoder_init(
427 lzma_next_coder
*next
, const lzma_allocator
*allocator
,
428 uint64_t memlimit
, uint32_t flags
)
430 lzma_next_coder_init(&lzma_stream_decoder_init
, next
, allocator
);
432 if (flags
& ~LZMA_SUPPORTED_FLAGS
)
433 return LZMA_OPTIONS_ERROR
;
435 lzma_stream_coder
*coder
= next
->coder
;
437 coder
= lzma_alloc(sizeof(lzma_stream_coder
), allocator
);
439 return LZMA_MEM_ERROR
;
442 next
->code
= &stream_decode
;
443 next
->end
= &stream_decoder_end
;
444 next
->get_check
= &stream_decoder_get_check
;
445 next
->memconfig
= &stream_decoder_memconfig
;
447 coder
->block_decoder
= LZMA_NEXT_CODER_INIT
;
448 coder
->index_hash
= NULL
;
451 coder
->memlimit
= my_max(1, memlimit
);
452 coder
->memusage
= LZMA_MEMUSAGE_BASE
;
453 coder
->tell_no_check
= (flags
& LZMA_TELL_NO_CHECK
) != 0;
454 coder
->tell_unsupported_check
455 = (flags
& LZMA_TELL_UNSUPPORTED_CHECK
) != 0;
456 coder
->tell_any_check
= (flags
& LZMA_TELL_ANY_CHECK
) != 0;
457 coder
->ignore_check
= (flags
& LZMA_IGNORE_CHECK
) != 0;
458 coder
->concatenated
= (flags
& LZMA_CONCATENATED
) != 0;
459 coder
->first_stream
= true;
461 return stream_decoder_reset(coder
, allocator
);
465 extern LZMA_API(lzma_ret
)
466 lzma_stream_decoder(lzma_stream
*strm
, uint64_t memlimit
, uint32_t flags
)
468 lzma_next_strm_init(lzma_stream_decoder_init
, strm
, memlimit
, flags
);
470 strm
->internal
->supported_actions
[LZMA_RUN
] = true;
471 strm
->internal
->supported_actions
[LZMA_FINISH
] = true;