1*61145dc2SMartin Matuska // SPDX-License-Identifier: BSD-3-Clause OR GPL-2.0-only
2c03c5b1cSMartin Matuska /*
3c03c5b1cSMartin Matuska * Copyright (c) 2016-2020, Yann Collet, Facebook, Inc.
4c03c5b1cSMartin Matuska * All rights reserved.
5c03c5b1cSMartin Matuska *
6c03c5b1cSMartin Matuska * This source code is licensed under both the BSD-style license (found in the
7c03c5b1cSMartin Matuska * LICENSE file in the root directory of this source tree) and the GPLv2 (found
8c03c5b1cSMartin Matuska * in the COPYING file in the root directory of this source tree).
9c03c5b1cSMartin Matuska * You may select, at your option, one of the above-listed licenses.
10c03c5b1cSMartin Matuska */
11c03c5b1cSMartin Matuska
12c03c5b1cSMartin Matuska
13c03c5b1cSMartin Matuska /* ***************************************************************
14c03c5b1cSMartin Matuska * Tuning parameters
15c03c5b1cSMartin Matuska *****************************************************************/
16c03c5b1cSMartin Matuska /*!
17c03c5b1cSMartin Matuska * HEAPMODE :
18c03c5b1cSMartin Matuska * Select how default decompression function ZSTD_decompress() allocates its context,
19c03c5b1cSMartin Matuska * on stack (0), or into heap (1, default; requires malloc()).
20c03c5b1cSMartin Matuska * Note that functions with explicit context such as ZSTD_decompressDCtx() are unaffected.
21c03c5b1cSMartin Matuska */
22c03c5b1cSMartin Matuska #ifndef ZSTD_HEAPMODE
23c03c5b1cSMartin Matuska # define ZSTD_HEAPMODE 1
24c03c5b1cSMartin Matuska #endif
25c03c5b1cSMartin Matuska
26c03c5b1cSMartin Matuska /*!
27c03c5b1cSMartin Matuska * LEGACY_SUPPORT :
28c03c5b1cSMartin Matuska * if set to 1+, ZSTD_decompress() can decode older formats (v0.1+)
29c03c5b1cSMartin Matuska */
30c03c5b1cSMartin Matuska #ifndef ZSTD_LEGACY_SUPPORT
31c03c5b1cSMartin Matuska # define ZSTD_LEGACY_SUPPORT 0
32c03c5b1cSMartin Matuska #endif
33c03c5b1cSMartin Matuska
34c03c5b1cSMartin Matuska /*!
35c03c5b1cSMartin Matuska * MAXWINDOWSIZE_DEFAULT :
36c03c5b1cSMartin Matuska * maximum window size accepted by DStream __by default__.
37c03c5b1cSMartin Matuska * Frames requiring more memory will be rejected.
38c03c5b1cSMartin Matuska * It's possible to set a different limit using ZSTD_DCtx_setMaxWindowSize().
39c03c5b1cSMartin Matuska */
40c03c5b1cSMartin Matuska #ifndef ZSTD_MAXWINDOWSIZE_DEFAULT
41c03c5b1cSMartin Matuska # define ZSTD_MAXWINDOWSIZE_DEFAULT (((U32)1 << ZSTD_WINDOWLOG_LIMIT_DEFAULT) + 1)
42c03c5b1cSMartin Matuska #endif
43c03c5b1cSMartin Matuska
44c03c5b1cSMartin Matuska /*!
45c03c5b1cSMartin Matuska * NO_FORWARD_PROGRESS_MAX :
46c03c5b1cSMartin Matuska * maximum allowed nb of calls to ZSTD_decompressStream()
47c03c5b1cSMartin Matuska * without any forward progress
48c03c5b1cSMartin Matuska * (defined as: no byte read from input, and no byte flushed to output)
49c03c5b1cSMartin Matuska * before triggering an error.
50c03c5b1cSMartin Matuska */
51c03c5b1cSMartin Matuska #ifndef ZSTD_NO_FORWARD_PROGRESS_MAX
52c03c5b1cSMartin Matuska # define ZSTD_NO_FORWARD_PROGRESS_MAX 16
53c03c5b1cSMartin Matuska #endif
54c03c5b1cSMartin Matuska
55c03c5b1cSMartin Matuska
56c03c5b1cSMartin Matuska /*-*******************************************************
57c03c5b1cSMartin Matuska * Dependencies
58c03c5b1cSMartin Matuska *********************************************************/
59c03c5b1cSMartin Matuska #include <string.h> /* memcpy, memmove, memset */
60c03c5b1cSMartin Matuska #include "../common/cpu.h" /* bmi2 */
61c03c5b1cSMartin Matuska #include "../common/mem.h" /* low level memory routines */
62c03c5b1cSMartin Matuska #define FSE_STATIC_LINKING_ONLY
63c03c5b1cSMartin Matuska #include "../common/fse.h"
64c03c5b1cSMartin Matuska #define HUF_STATIC_LINKING_ONLY
65c03c5b1cSMartin Matuska #include "../common/huf.h"
66c03c5b1cSMartin Matuska #include "../common/zstd_internal.h" /* blockProperties_t */
67c03c5b1cSMartin Matuska #include "zstd_decompress_internal.h" /* ZSTD_DCtx */
68c03c5b1cSMartin Matuska #include "zstd_ddict.h" /* ZSTD_DDictDictContent */
69c03c5b1cSMartin Matuska #include "zstd_decompress_block.h" /* ZSTD_decompressBlock_internal */
70c03c5b1cSMartin Matuska
71c03c5b1cSMartin Matuska #if defined(ZSTD_LEGACY_SUPPORT) && (ZSTD_LEGACY_SUPPORT>=1)
72c03c5b1cSMartin Matuska # include "../legacy/zstd_legacy.h"
73c03c5b1cSMartin Matuska #endif
74c03c5b1cSMartin Matuska
75c03c5b1cSMartin Matuska
76c03c5b1cSMartin Matuska /*-*************************************************************
77c03c5b1cSMartin Matuska * Context management
78c03c5b1cSMartin Matuska ***************************************************************/
ZSTD_sizeof_DCtx(const ZSTD_DCtx * dctx)79c03c5b1cSMartin Matuska size_t ZSTD_sizeof_DCtx (const ZSTD_DCtx* dctx)
80c03c5b1cSMartin Matuska {
81c03c5b1cSMartin Matuska if (dctx==NULL) return 0; /* support sizeof NULL */
82c03c5b1cSMartin Matuska return sizeof(*dctx)
83c03c5b1cSMartin Matuska + ZSTD_sizeof_DDict(dctx->ddictLocal)
84c03c5b1cSMartin Matuska + dctx->inBuffSize + dctx->outBuffSize;
85c03c5b1cSMartin Matuska }
86c03c5b1cSMartin Matuska
ZSTD_estimateDCtxSize(void)87c03c5b1cSMartin Matuska size_t ZSTD_estimateDCtxSize(void) { return sizeof(ZSTD_DCtx); }
88c03c5b1cSMartin Matuska
89c03c5b1cSMartin Matuska
ZSTD_startingInputLength(ZSTD_format_e format)90c03c5b1cSMartin Matuska static size_t ZSTD_startingInputLength(ZSTD_format_e format)
91c03c5b1cSMartin Matuska {
92c03c5b1cSMartin Matuska size_t const startingInputLength = ZSTD_FRAMEHEADERSIZE_PREFIX(format);
93c03c5b1cSMartin Matuska /* only supports formats ZSTD_f_zstd1 and ZSTD_f_zstd1_magicless */
94c03c5b1cSMartin Matuska assert( (format == ZSTD_f_zstd1) || (format == ZSTD_f_zstd1_magicless) );
95c03c5b1cSMartin Matuska return startingInputLength;
96c03c5b1cSMartin Matuska }
97c03c5b1cSMartin Matuska
ZSTD_initDCtx_internal(ZSTD_DCtx * dctx)98c03c5b1cSMartin Matuska static void ZSTD_initDCtx_internal(ZSTD_DCtx* dctx)
99c03c5b1cSMartin Matuska {
100c03c5b1cSMartin Matuska dctx->format = ZSTD_f_zstd1; /* ZSTD_decompressBegin() invokes ZSTD_startingInputLength() with argument dctx->format */
101c03c5b1cSMartin Matuska dctx->staticSize = 0;
102c03c5b1cSMartin Matuska dctx->maxWindowSize = ZSTD_MAXWINDOWSIZE_DEFAULT;
103c03c5b1cSMartin Matuska dctx->ddict = NULL;
104c03c5b1cSMartin Matuska dctx->ddictLocal = NULL;
105c03c5b1cSMartin Matuska dctx->dictEnd = NULL;
106c03c5b1cSMartin Matuska dctx->ddictIsCold = 0;
107c03c5b1cSMartin Matuska dctx->dictUses = ZSTD_dont_use;
108c03c5b1cSMartin Matuska dctx->inBuff = NULL;
109c03c5b1cSMartin Matuska dctx->inBuffSize = 0;
110c03c5b1cSMartin Matuska dctx->outBuffSize = 0;
111c03c5b1cSMartin Matuska dctx->streamStage = zdss_init;
112c03c5b1cSMartin Matuska dctx->legacyContext = NULL;
113c03c5b1cSMartin Matuska dctx->previousLegacyVersion = 0;
114c03c5b1cSMartin Matuska dctx->noForwardProgress = 0;
115c03c5b1cSMartin Matuska dctx->oversizedDuration = 0;
116c03c5b1cSMartin Matuska dctx->bmi2 = ZSTD_cpuid_bmi2(ZSTD_cpuid());
117c03c5b1cSMartin Matuska dctx->outBufferMode = ZSTD_obm_buffered;
118c03c5b1cSMartin Matuska #ifdef FUZZING_BUILD_MODE_UNSAFE_FOR_PRODUCTION
119c03c5b1cSMartin Matuska dctx->dictContentEndForFuzzing = NULL;
120c03c5b1cSMartin Matuska #endif
121c03c5b1cSMartin Matuska }
122c03c5b1cSMartin Matuska
ZSTD_initStaticDCtx(void * workspace,size_t workspaceSize)123c03c5b1cSMartin Matuska ZSTD_DCtx* ZSTD_initStaticDCtx(void *workspace, size_t workspaceSize)
124c03c5b1cSMartin Matuska {
125c03c5b1cSMartin Matuska ZSTD_DCtx* const dctx = (ZSTD_DCtx*) workspace;
126c03c5b1cSMartin Matuska
127c03c5b1cSMartin Matuska if ((size_t)workspace & 7) return NULL; /* 8-aligned */
128c03c5b1cSMartin Matuska if (workspaceSize < sizeof(ZSTD_DCtx)) return NULL; /* minimum size */
129c03c5b1cSMartin Matuska
130c03c5b1cSMartin Matuska ZSTD_initDCtx_internal(dctx);
131c03c5b1cSMartin Matuska dctx->staticSize = workspaceSize;
132c03c5b1cSMartin Matuska dctx->inBuff = (char*)(dctx+1);
133c03c5b1cSMartin Matuska return dctx;
134c03c5b1cSMartin Matuska }
135c03c5b1cSMartin Matuska
ZSTD_createDCtx_advanced(ZSTD_customMem customMem)136c03c5b1cSMartin Matuska ZSTD_DCtx* ZSTD_createDCtx_advanced(ZSTD_customMem customMem)
137c03c5b1cSMartin Matuska {
138c03c5b1cSMartin Matuska if (!customMem.customAlloc ^ !customMem.customFree) return NULL;
139c03c5b1cSMartin Matuska
140c03c5b1cSMartin Matuska { ZSTD_DCtx* const dctx = (ZSTD_DCtx*)ZSTD_malloc(sizeof(*dctx), customMem);
141c03c5b1cSMartin Matuska if (!dctx) return NULL;
142c03c5b1cSMartin Matuska dctx->customMem = customMem;
143c03c5b1cSMartin Matuska ZSTD_initDCtx_internal(dctx);
144c03c5b1cSMartin Matuska return dctx;
145c03c5b1cSMartin Matuska }
146c03c5b1cSMartin Matuska }
147c03c5b1cSMartin Matuska
ZSTD_createDCtx(void)148c03c5b1cSMartin Matuska ZSTD_DCtx* ZSTD_createDCtx(void)
149c03c5b1cSMartin Matuska {
150c03c5b1cSMartin Matuska DEBUGLOG(3, "ZSTD_createDCtx");
151c03c5b1cSMartin Matuska return ZSTD_createDCtx_advanced(ZSTD_defaultCMem);
152c03c5b1cSMartin Matuska }
153c03c5b1cSMartin Matuska
ZSTD_clearDict(ZSTD_DCtx * dctx)154c03c5b1cSMartin Matuska static void ZSTD_clearDict(ZSTD_DCtx* dctx)
155c03c5b1cSMartin Matuska {
156c03c5b1cSMartin Matuska ZSTD_freeDDict(dctx->ddictLocal);
157c03c5b1cSMartin Matuska dctx->ddictLocal = NULL;
158c03c5b1cSMartin Matuska dctx->ddict = NULL;
159c03c5b1cSMartin Matuska dctx->dictUses = ZSTD_dont_use;
160c03c5b1cSMartin Matuska }
161c03c5b1cSMartin Matuska
ZSTD_freeDCtx(ZSTD_DCtx * dctx)162c03c5b1cSMartin Matuska size_t ZSTD_freeDCtx(ZSTD_DCtx* dctx)
163c03c5b1cSMartin Matuska {
164c03c5b1cSMartin Matuska if (dctx==NULL) return 0; /* support free on NULL */
165c03c5b1cSMartin Matuska RETURN_ERROR_IF(dctx->staticSize, memory_allocation, "not compatible with static DCtx");
166c03c5b1cSMartin Matuska { ZSTD_customMem const cMem = dctx->customMem;
167c03c5b1cSMartin Matuska ZSTD_clearDict(dctx);
168c03c5b1cSMartin Matuska ZSTD_free(dctx->inBuff, cMem);
169c03c5b1cSMartin Matuska dctx->inBuff = NULL;
170c03c5b1cSMartin Matuska #if defined(ZSTD_LEGACY_SUPPORT) && (ZSTD_LEGACY_SUPPORT >= 1)
171c03c5b1cSMartin Matuska if (dctx->legacyContext)
172c03c5b1cSMartin Matuska ZSTD_freeLegacyStreamContext(dctx->legacyContext, dctx->previousLegacyVersion);
173c03c5b1cSMartin Matuska #endif
174c03c5b1cSMartin Matuska ZSTD_free(dctx, cMem);
175c03c5b1cSMartin Matuska return 0;
176c03c5b1cSMartin Matuska }
177c03c5b1cSMartin Matuska }
178c03c5b1cSMartin Matuska
179c03c5b1cSMartin Matuska /* no longer useful */
ZSTD_copyDCtx(ZSTD_DCtx * dstDCtx,const ZSTD_DCtx * srcDCtx)180c03c5b1cSMartin Matuska void ZSTD_copyDCtx(ZSTD_DCtx* dstDCtx, const ZSTD_DCtx* srcDCtx)
181c03c5b1cSMartin Matuska {
182c03c5b1cSMartin Matuska size_t const toCopy = (size_t)((char*)(&dstDCtx->inBuff) - (char*)dstDCtx);
183c03c5b1cSMartin Matuska memcpy(dstDCtx, srcDCtx, toCopy); /* no need to copy workspace */
184c03c5b1cSMartin Matuska }
185c03c5b1cSMartin Matuska
186c03c5b1cSMartin Matuska
187c03c5b1cSMartin Matuska /*-*************************************************************
188c03c5b1cSMartin Matuska * Frame header decoding
189c03c5b1cSMartin Matuska ***************************************************************/
190c03c5b1cSMartin Matuska
191c03c5b1cSMartin Matuska /*! ZSTD_isFrame() :
192c03c5b1cSMartin Matuska * Tells if the content of `buffer` starts with a valid Frame Identifier.
193c03c5b1cSMartin Matuska * Note : Frame Identifier is 4 bytes. If `size < 4`, @return will always be 0.
194c03c5b1cSMartin Matuska * Note 2 : Legacy Frame Identifiers are considered valid only if Legacy Support is enabled.
195c03c5b1cSMartin Matuska * Note 3 : Skippable Frame Identifiers are considered valid. */
ZSTD_isFrame(const void * buffer,size_t size)196c03c5b1cSMartin Matuska unsigned ZSTD_isFrame(const void* buffer, size_t size)
197c03c5b1cSMartin Matuska {
198c03c5b1cSMartin Matuska if (size < ZSTD_FRAMEIDSIZE) return 0;
199c03c5b1cSMartin Matuska { U32 const magic = MEM_readLE32(buffer);
200c03c5b1cSMartin Matuska if (magic == ZSTD_MAGICNUMBER) return 1;
201c03c5b1cSMartin Matuska if ((magic & ZSTD_MAGIC_SKIPPABLE_MASK) == ZSTD_MAGIC_SKIPPABLE_START) return 1;
202c03c5b1cSMartin Matuska }
203c03c5b1cSMartin Matuska #if defined(ZSTD_LEGACY_SUPPORT) && (ZSTD_LEGACY_SUPPORT >= 1)
204c03c5b1cSMartin Matuska if (ZSTD_isLegacy(buffer, size)) return 1;
205c03c5b1cSMartin Matuska #endif
206c03c5b1cSMartin Matuska return 0;
207c03c5b1cSMartin Matuska }
208c03c5b1cSMartin Matuska
209c03c5b1cSMartin Matuska /** ZSTD_frameHeaderSize_internal() :
210c03c5b1cSMartin Matuska * srcSize must be large enough to reach header size fields.
211c03c5b1cSMartin Matuska * note : only works for formats ZSTD_f_zstd1 and ZSTD_f_zstd1_magicless.
212c03c5b1cSMartin Matuska * @return : size of the Frame Header
213c03c5b1cSMartin Matuska * or an error code, which can be tested with ZSTD_isError() */
ZSTD_frameHeaderSize_internal(const void * src,size_t srcSize,ZSTD_format_e format)214c03c5b1cSMartin Matuska static size_t ZSTD_frameHeaderSize_internal(const void* src, size_t srcSize, ZSTD_format_e format)
215c03c5b1cSMartin Matuska {
216c03c5b1cSMartin Matuska size_t const minInputSize = ZSTD_startingInputLength(format);
217c03c5b1cSMartin Matuska RETURN_ERROR_IF(srcSize < minInputSize, srcSize_wrong, "");
218c03c5b1cSMartin Matuska
219c03c5b1cSMartin Matuska { BYTE const fhd = ((const BYTE*)src)[minInputSize-1];
220c03c5b1cSMartin Matuska U32 const dictID= fhd & 3;
221c03c5b1cSMartin Matuska U32 const singleSegment = (fhd >> 5) & 1;
222c03c5b1cSMartin Matuska U32 const fcsId = fhd >> 6;
223c03c5b1cSMartin Matuska return minInputSize + !singleSegment
224c03c5b1cSMartin Matuska + ZSTD_did_fieldSize[dictID] + ZSTD_fcs_fieldSize[fcsId]
225c03c5b1cSMartin Matuska + (singleSegment && !fcsId);
226c03c5b1cSMartin Matuska }
227c03c5b1cSMartin Matuska }
228c03c5b1cSMartin Matuska
229c03c5b1cSMartin Matuska /** ZSTD_frameHeaderSize() :
230c03c5b1cSMartin Matuska * srcSize must be >= ZSTD_frameHeaderSize_prefix.
231c03c5b1cSMartin Matuska * @return : size of the Frame Header,
232c03c5b1cSMartin Matuska * or an error code (if srcSize is too small) */
ZSTD_frameHeaderSize(const void * src,size_t srcSize)233c03c5b1cSMartin Matuska size_t ZSTD_frameHeaderSize(const void* src, size_t srcSize)
234c03c5b1cSMartin Matuska {
235c03c5b1cSMartin Matuska return ZSTD_frameHeaderSize_internal(src, srcSize, ZSTD_f_zstd1);
236c03c5b1cSMartin Matuska }
237c03c5b1cSMartin Matuska
238c03c5b1cSMartin Matuska
239c03c5b1cSMartin Matuska /** ZSTD_getFrameHeader_advanced() :
240c03c5b1cSMartin Matuska * decode Frame Header, or require larger `srcSize`.
241c03c5b1cSMartin Matuska * note : only works for formats ZSTD_f_zstd1 and ZSTD_f_zstd1_magicless
242c03c5b1cSMartin Matuska * @return : 0, `zfhPtr` is correctly filled,
243c03c5b1cSMartin Matuska * >0, `srcSize` is too small, value is wanted `srcSize` amount,
244c03c5b1cSMartin Matuska * or an error code, which can be tested using ZSTD_isError() */
ZSTD_getFrameHeader_advanced(ZSTD_frameHeader * zfhPtr,const void * src,size_t srcSize,ZSTD_format_e format)245c03c5b1cSMartin Matuska size_t ZSTD_getFrameHeader_advanced(ZSTD_frameHeader* zfhPtr, const void* src, size_t srcSize, ZSTD_format_e format)
246c03c5b1cSMartin Matuska {
247c03c5b1cSMartin Matuska const BYTE* ip = (const BYTE*)src;
248c03c5b1cSMartin Matuska size_t const minInputSize = ZSTD_startingInputLength(format);
249c03c5b1cSMartin Matuska
250c03c5b1cSMartin Matuska memset(zfhPtr, 0, sizeof(*zfhPtr)); /* not strictly necessary, but static analyzer do not understand that zfhPtr is only going to be read only if return value is zero, since they are 2 different signals */
251c03c5b1cSMartin Matuska if (srcSize < minInputSize) return minInputSize;
252c03c5b1cSMartin Matuska RETURN_ERROR_IF(src==NULL, GENERIC, "invalid parameter");
253c03c5b1cSMartin Matuska
254c03c5b1cSMartin Matuska if ( (format != ZSTD_f_zstd1_magicless)
255c03c5b1cSMartin Matuska && (MEM_readLE32(src) != ZSTD_MAGICNUMBER) ) {
256c03c5b1cSMartin Matuska if ((MEM_readLE32(src) & ZSTD_MAGIC_SKIPPABLE_MASK) == ZSTD_MAGIC_SKIPPABLE_START) {
257c03c5b1cSMartin Matuska /* skippable frame */
258c03c5b1cSMartin Matuska if (srcSize < ZSTD_SKIPPABLEHEADERSIZE)
259c03c5b1cSMartin Matuska return ZSTD_SKIPPABLEHEADERSIZE; /* magic number + frame length */
260c03c5b1cSMartin Matuska memset(zfhPtr, 0, sizeof(*zfhPtr));
261c03c5b1cSMartin Matuska zfhPtr->frameContentSize = MEM_readLE32((const char *)src + ZSTD_FRAMEIDSIZE);
262c03c5b1cSMartin Matuska zfhPtr->frameType = ZSTD_skippableFrame;
263c03c5b1cSMartin Matuska return 0;
264c03c5b1cSMartin Matuska }
265c03c5b1cSMartin Matuska RETURN_ERROR(prefix_unknown, "");
266c03c5b1cSMartin Matuska }
267c03c5b1cSMartin Matuska
268c03c5b1cSMartin Matuska /* ensure there is enough `srcSize` to fully read/decode frame header */
269c03c5b1cSMartin Matuska { size_t const fhsize = ZSTD_frameHeaderSize_internal(src, srcSize, format);
270c03c5b1cSMartin Matuska if (srcSize < fhsize) return fhsize;
271c03c5b1cSMartin Matuska zfhPtr->headerSize = (U32)fhsize;
272c03c5b1cSMartin Matuska }
273c03c5b1cSMartin Matuska
274c03c5b1cSMartin Matuska { BYTE const fhdByte = ip[minInputSize-1];
275c03c5b1cSMartin Matuska size_t pos = minInputSize;
276c03c5b1cSMartin Matuska U32 const dictIDSizeCode = fhdByte&3;
277c03c5b1cSMartin Matuska U32 const checksumFlag = (fhdByte>>2)&1;
278c03c5b1cSMartin Matuska U32 const singleSegment = (fhdByte>>5)&1;
279c03c5b1cSMartin Matuska U32 const fcsID = fhdByte>>6;
280c03c5b1cSMartin Matuska U64 windowSize = 0;
281c03c5b1cSMartin Matuska U32 dictID = 0;
282c03c5b1cSMartin Matuska U64 frameContentSize = ZSTD_CONTENTSIZE_UNKNOWN;
283c03c5b1cSMartin Matuska RETURN_ERROR_IF((fhdByte & 0x08) != 0, frameParameter_unsupported,
284c03c5b1cSMartin Matuska "reserved bits, must be zero");
285c03c5b1cSMartin Matuska
286c03c5b1cSMartin Matuska if (!singleSegment) {
287c03c5b1cSMartin Matuska BYTE const wlByte = ip[pos++];
288c03c5b1cSMartin Matuska U32 const windowLog = (wlByte >> 3) + ZSTD_WINDOWLOG_ABSOLUTEMIN;
289c03c5b1cSMartin Matuska RETURN_ERROR_IF(windowLog > ZSTD_WINDOWLOG_MAX, frameParameter_windowTooLarge, "");
290c03c5b1cSMartin Matuska windowSize = (1ULL << windowLog);
291c03c5b1cSMartin Matuska windowSize += (windowSize >> 3) * (wlByte&7);
292c03c5b1cSMartin Matuska }
293c03c5b1cSMartin Matuska switch(dictIDSizeCode)
294c03c5b1cSMartin Matuska {
295c03c5b1cSMartin Matuska default: assert(0); /* impossible */
296c03c5b1cSMartin Matuska case 0 : break;
297c03c5b1cSMartin Matuska case 1 : dictID = ip[pos]; pos++; break;
298c03c5b1cSMartin Matuska case 2 : dictID = MEM_readLE16(ip+pos); pos+=2; break;
299c03c5b1cSMartin Matuska case 3 : dictID = MEM_readLE32(ip+pos); pos+=4; break;
300c03c5b1cSMartin Matuska }
301c03c5b1cSMartin Matuska switch(fcsID)
302c03c5b1cSMartin Matuska {
303c03c5b1cSMartin Matuska default: assert(0); /* impossible */
304c03c5b1cSMartin Matuska case 0 : if (singleSegment) frameContentSize = ip[pos]; break;
305c03c5b1cSMartin Matuska case 1 : frameContentSize = MEM_readLE16(ip+pos)+256; break;
306c03c5b1cSMartin Matuska case 2 : frameContentSize = MEM_readLE32(ip+pos); break;
307c03c5b1cSMartin Matuska case 3 : frameContentSize = MEM_readLE64(ip+pos); break;
308c03c5b1cSMartin Matuska }
309c03c5b1cSMartin Matuska if (singleSegment) windowSize = frameContentSize;
310c03c5b1cSMartin Matuska
311c03c5b1cSMartin Matuska zfhPtr->frameType = ZSTD_frame;
312c03c5b1cSMartin Matuska zfhPtr->frameContentSize = frameContentSize;
313c03c5b1cSMartin Matuska zfhPtr->windowSize = windowSize;
314c03c5b1cSMartin Matuska zfhPtr->blockSizeMax = (unsigned) MIN(windowSize, ZSTD_BLOCKSIZE_MAX);
315c03c5b1cSMartin Matuska zfhPtr->dictID = dictID;
316c03c5b1cSMartin Matuska zfhPtr->checksumFlag = checksumFlag;
317c03c5b1cSMartin Matuska }
318c03c5b1cSMartin Matuska return 0;
319c03c5b1cSMartin Matuska }
320c03c5b1cSMartin Matuska
321c03c5b1cSMartin Matuska /** ZSTD_getFrameHeader() :
322c03c5b1cSMartin Matuska * decode Frame Header, or require larger `srcSize`.
323c03c5b1cSMartin Matuska * note : this function does not consume input, it only reads it.
324c03c5b1cSMartin Matuska * @return : 0, `zfhPtr` is correctly filled,
325c03c5b1cSMartin Matuska * >0, `srcSize` is too small, value is wanted `srcSize` amount,
326c03c5b1cSMartin Matuska * or an error code, which can be tested using ZSTD_isError() */
ZSTD_getFrameHeader(ZSTD_frameHeader * zfhPtr,const void * src,size_t srcSize)327c03c5b1cSMartin Matuska size_t ZSTD_getFrameHeader(ZSTD_frameHeader* zfhPtr, const void* src, size_t srcSize)
328c03c5b1cSMartin Matuska {
329c03c5b1cSMartin Matuska return ZSTD_getFrameHeader_advanced(zfhPtr, src, srcSize, ZSTD_f_zstd1);
330c03c5b1cSMartin Matuska }
331c03c5b1cSMartin Matuska
332c03c5b1cSMartin Matuska
333c03c5b1cSMartin Matuska /** ZSTD_getFrameContentSize() :
334c03c5b1cSMartin Matuska * compatible with legacy mode
335c03c5b1cSMartin Matuska * @return : decompressed size of the single frame pointed to be `src` if known, otherwise
336c03c5b1cSMartin Matuska * - ZSTD_CONTENTSIZE_UNKNOWN if the size cannot be determined
337c03c5b1cSMartin Matuska * - ZSTD_CONTENTSIZE_ERROR if an error occurred (e.g. invalid magic number, srcSize too small) */
ZSTD_getFrameContentSize(const void * src,size_t srcSize)338c03c5b1cSMartin Matuska unsigned long long ZSTD_getFrameContentSize(const void *src, size_t srcSize)
339c03c5b1cSMartin Matuska {
340c03c5b1cSMartin Matuska #if defined(ZSTD_LEGACY_SUPPORT) && (ZSTD_LEGACY_SUPPORT >= 1)
341c03c5b1cSMartin Matuska if (ZSTD_isLegacy(src, srcSize)) {
342c03c5b1cSMartin Matuska unsigned long long const ret = ZSTD_getDecompressedSize_legacy(src, srcSize);
343c03c5b1cSMartin Matuska return ret == 0 ? ZSTD_CONTENTSIZE_UNKNOWN : ret;
344c03c5b1cSMartin Matuska }
345c03c5b1cSMartin Matuska #endif
346c03c5b1cSMartin Matuska { ZSTD_frameHeader zfh;
347c03c5b1cSMartin Matuska if (ZSTD_getFrameHeader(&zfh, src, srcSize) != 0)
348c03c5b1cSMartin Matuska return ZSTD_CONTENTSIZE_ERROR;
349c03c5b1cSMartin Matuska if (zfh.frameType == ZSTD_skippableFrame) {
350c03c5b1cSMartin Matuska return 0;
351c03c5b1cSMartin Matuska } else {
352c03c5b1cSMartin Matuska return zfh.frameContentSize;
353c03c5b1cSMartin Matuska } }
354c03c5b1cSMartin Matuska }
355c03c5b1cSMartin Matuska
readSkippableFrameSize(void const * src,size_t srcSize)356c03c5b1cSMartin Matuska static size_t readSkippableFrameSize(void const* src, size_t srcSize)
357c03c5b1cSMartin Matuska {
358c03c5b1cSMartin Matuska size_t const skippableHeaderSize = ZSTD_SKIPPABLEHEADERSIZE;
359c03c5b1cSMartin Matuska U32 sizeU32;
360c03c5b1cSMartin Matuska
361c03c5b1cSMartin Matuska RETURN_ERROR_IF(srcSize < ZSTD_SKIPPABLEHEADERSIZE, srcSize_wrong, "");
362c03c5b1cSMartin Matuska
363c03c5b1cSMartin Matuska sizeU32 = MEM_readLE32((BYTE const*)src + ZSTD_FRAMEIDSIZE);
364c03c5b1cSMartin Matuska RETURN_ERROR_IF((U32)(sizeU32 + ZSTD_SKIPPABLEHEADERSIZE) < sizeU32,
365c03c5b1cSMartin Matuska frameParameter_unsupported, "");
366c03c5b1cSMartin Matuska {
367c03c5b1cSMartin Matuska size_t const skippableSize = skippableHeaderSize + sizeU32;
368c03c5b1cSMartin Matuska RETURN_ERROR_IF(skippableSize > srcSize, srcSize_wrong, "");
369c03c5b1cSMartin Matuska return skippableSize;
370c03c5b1cSMartin Matuska }
371c03c5b1cSMartin Matuska }
372c03c5b1cSMartin Matuska
373c03c5b1cSMartin Matuska /** ZSTD_findDecompressedSize() :
374c03c5b1cSMartin Matuska * compatible with legacy mode
375c03c5b1cSMartin Matuska * `srcSize` must be the exact length of some number of ZSTD compressed and/or
376c03c5b1cSMartin Matuska * skippable frames
377c03c5b1cSMartin Matuska * @return : decompressed size of the frames contained */
ZSTD_findDecompressedSize(const void * src,size_t srcSize)378c03c5b1cSMartin Matuska unsigned long long ZSTD_findDecompressedSize(const void* src, size_t srcSize)
379c03c5b1cSMartin Matuska {
380c03c5b1cSMartin Matuska unsigned long long totalDstSize = 0;
381c03c5b1cSMartin Matuska
382c03c5b1cSMartin Matuska while (srcSize >= ZSTD_startingInputLength(ZSTD_f_zstd1)) {
383c03c5b1cSMartin Matuska U32 const magicNumber = MEM_readLE32(src);
384c03c5b1cSMartin Matuska
385c03c5b1cSMartin Matuska if ((magicNumber & ZSTD_MAGIC_SKIPPABLE_MASK) == ZSTD_MAGIC_SKIPPABLE_START) {
386c03c5b1cSMartin Matuska size_t const skippableSize = readSkippableFrameSize(src, srcSize);
387c03c5b1cSMartin Matuska if (ZSTD_isError(skippableSize)) {
388c03c5b1cSMartin Matuska return ZSTD_CONTENTSIZE_ERROR;
389c03c5b1cSMartin Matuska }
390c03c5b1cSMartin Matuska assert(skippableSize <= srcSize);
391c03c5b1cSMartin Matuska
392c03c5b1cSMartin Matuska src = (const BYTE *)src + skippableSize;
393c03c5b1cSMartin Matuska srcSize -= skippableSize;
394c03c5b1cSMartin Matuska continue;
395c03c5b1cSMartin Matuska }
396c03c5b1cSMartin Matuska
397c03c5b1cSMartin Matuska { unsigned long long const ret = ZSTD_getFrameContentSize(src, srcSize);
398c03c5b1cSMartin Matuska if (ret >= ZSTD_CONTENTSIZE_ERROR) return ret;
399c03c5b1cSMartin Matuska
400c03c5b1cSMartin Matuska /* check for overflow */
401c03c5b1cSMartin Matuska if (totalDstSize + ret < totalDstSize) return ZSTD_CONTENTSIZE_ERROR;
402c03c5b1cSMartin Matuska totalDstSize += ret;
403c03c5b1cSMartin Matuska }
404c03c5b1cSMartin Matuska { size_t const frameSrcSize = ZSTD_findFrameCompressedSize(src, srcSize);
405c03c5b1cSMartin Matuska if (ZSTD_isError(frameSrcSize)) {
406c03c5b1cSMartin Matuska return ZSTD_CONTENTSIZE_ERROR;
407c03c5b1cSMartin Matuska }
408c03c5b1cSMartin Matuska
409c03c5b1cSMartin Matuska src = (const BYTE *)src + frameSrcSize;
410c03c5b1cSMartin Matuska srcSize -= frameSrcSize;
411c03c5b1cSMartin Matuska }
412c03c5b1cSMartin Matuska } /* while (srcSize >= ZSTD_frameHeaderSize_prefix) */
413c03c5b1cSMartin Matuska
414c03c5b1cSMartin Matuska if (srcSize) return ZSTD_CONTENTSIZE_ERROR;
415c03c5b1cSMartin Matuska
416c03c5b1cSMartin Matuska return totalDstSize;
417c03c5b1cSMartin Matuska }
418c03c5b1cSMartin Matuska
419c03c5b1cSMartin Matuska /** ZSTD_getDecompressedSize() :
420c03c5b1cSMartin Matuska * compatible with legacy mode
421c03c5b1cSMartin Matuska * @return : decompressed size if known, 0 otherwise
422c03c5b1cSMartin Matuska note : 0 can mean any of the following :
423c03c5b1cSMartin Matuska - frame content is empty
424c03c5b1cSMartin Matuska - decompressed size field is not present in frame header
425c03c5b1cSMartin Matuska - frame header unknown / not supported
426c03c5b1cSMartin Matuska - frame header not complete (`srcSize` too small) */
ZSTD_getDecompressedSize(const void * src,size_t srcSize)427c03c5b1cSMartin Matuska unsigned long long ZSTD_getDecompressedSize(const void* src, size_t srcSize)
428c03c5b1cSMartin Matuska {
429c03c5b1cSMartin Matuska unsigned long long const ret = ZSTD_getFrameContentSize(src, srcSize);
430c03c5b1cSMartin Matuska ZSTD_STATIC_ASSERT(ZSTD_CONTENTSIZE_ERROR < ZSTD_CONTENTSIZE_UNKNOWN);
431c03c5b1cSMartin Matuska return (ret >= ZSTD_CONTENTSIZE_ERROR) ? 0 : ret;
432c03c5b1cSMartin Matuska }
433c03c5b1cSMartin Matuska
434c03c5b1cSMartin Matuska
435c03c5b1cSMartin Matuska /** ZSTD_decodeFrameHeader() :
436c03c5b1cSMartin Matuska * `headerSize` must be the size provided by ZSTD_frameHeaderSize().
437c03c5b1cSMartin Matuska * @return : 0 if success, or an error code, which can be tested using ZSTD_isError() */
ZSTD_decodeFrameHeader(ZSTD_DCtx * dctx,const void * src,size_t headerSize)438c03c5b1cSMartin Matuska static size_t ZSTD_decodeFrameHeader(ZSTD_DCtx* dctx, const void* src, size_t headerSize)
439c03c5b1cSMartin Matuska {
440c03c5b1cSMartin Matuska size_t const result = ZSTD_getFrameHeader_advanced(&(dctx->fParams), src, headerSize, dctx->format);
441c03c5b1cSMartin Matuska if (ZSTD_isError(result)) return result; /* invalid header */
442c03c5b1cSMartin Matuska RETURN_ERROR_IF(result>0, srcSize_wrong, "headerSize too small");
443c03c5b1cSMartin Matuska #ifndef FUZZING_BUILD_MODE_UNSAFE_FOR_PRODUCTION
444c03c5b1cSMartin Matuska /* Skip the dictID check in fuzzing mode, because it makes the search
445c03c5b1cSMartin Matuska * harder.
446c03c5b1cSMartin Matuska */
447c03c5b1cSMartin Matuska RETURN_ERROR_IF(dctx->fParams.dictID && (dctx->dictID != dctx->fParams.dictID),
448c03c5b1cSMartin Matuska dictionary_wrong, "");
449c03c5b1cSMartin Matuska #endif
450c03c5b1cSMartin Matuska if (dctx->fParams.checksumFlag) XXH64_reset(&dctx->xxhState, 0);
451c03c5b1cSMartin Matuska return 0;
452c03c5b1cSMartin Matuska }
453c03c5b1cSMartin Matuska
ZSTD_errorFrameSizeInfo(size_t ret)454c03c5b1cSMartin Matuska static ZSTD_frameSizeInfo ZSTD_errorFrameSizeInfo(size_t ret)
455c03c5b1cSMartin Matuska {
456c03c5b1cSMartin Matuska ZSTD_frameSizeInfo frameSizeInfo;
457c03c5b1cSMartin Matuska frameSizeInfo.compressedSize = ret;
458c03c5b1cSMartin Matuska frameSizeInfo.decompressedBound = ZSTD_CONTENTSIZE_ERROR;
459c03c5b1cSMartin Matuska return frameSizeInfo;
460c03c5b1cSMartin Matuska }
461c03c5b1cSMartin Matuska
ZSTD_findFrameSizeInfo(const void * src,size_t srcSize)462c03c5b1cSMartin Matuska static ZSTD_frameSizeInfo ZSTD_findFrameSizeInfo(const void* src, size_t srcSize)
463c03c5b1cSMartin Matuska {
464c03c5b1cSMartin Matuska ZSTD_frameSizeInfo frameSizeInfo;
465c03c5b1cSMartin Matuska memset(&frameSizeInfo, 0, sizeof(ZSTD_frameSizeInfo));
466c03c5b1cSMartin Matuska
467c03c5b1cSMartin Matuska #if defined(ZSTD_LEGACY_SUPPORT) && (ZSTD_LEGACY_SUPPORT >= 1)
468c03c5b1cSMartin Matuska if (ZSTD_isLegacy(src, srcSize))
469c03c5b1cSMartin Matuska return ZSTD_findFrameSizeInfoLegacy(src, srcSize);
470c03c5b1cSMartin Matuska #endif
471c03c5b1cSMartin Matuska
472c03c5b1cSMartin Matuska if ((srcSize >= ZSTD_SKIPPABLEHEADERSIZE)
473c03c5b1cSMartin Matuska && (MEM_readLE32(src) & ZSTD_MAGIC_SKIPPABLE_MASK) == ZSTD_MAGIC_SKIPPABLE_START) {
474c03c5b1cSMartin Matuska frameSizeInfo.compressedSize = readSkippableFrameSize(src, srcSize);
475c03c5b1cSMartin Matuska assert(ZSTD_isError(frameSizeInfo.compressedSize) ||
476c03c5b1cSMartin Matuska frameSizeInfo.compressedSize <= srcSize);
477c03c5b1cSMartin Matuska return frameSizeInfo;
478c03c5b1cSMartin Matuska } else {
479c03c5b1cSMartin Matuska const BYTE* ip = (const BYTE*)src;
480c03c5b1cSMartin Matuska const BYTE* const ipstart = ip;
481c03c5b1cSMartin Matuska size_t remainingSize = srcSize;
482c03c5b1cSMartin Matuska size_t nbBlocks = 0;
483c03c5b1cSMartin Matuska ZSTD_frameHeader zfh;
484c03c5b1cSMartin Matuska
485c03c5b1cSMartin Matuska /* Extract Frame Header */
486c03c5b1cSMartin Matuska { size_t const ret = ZSTD_getFrameHeader(&zfh, src, srcSize);
487c03c5b1cSMartin Matuska if (ZSTD_isError(ret))
488c03c5b1cSMartin Matuska return ZSTD_errorFrameSizeInfo(ret);
489c03c5b1cSMartin Matuska if (ret > 0)
490c03c5b1cSMartin Matuska return ZSTD_errorFrameSizeInfo(ERROR(srcSize_wrong));
491c03c5b1cSMartin Matuska }
492c03c5b1cSMartin Matuska
493c03c5b1cSMartin Matuska ip += zfh.headerSize;
494c03c5b1cSMartin Matuska remainingSize -= zfh.headerSize;
495c03c5b1cSMartin Matuska
496c03c5b1cSMartin Matuska /* Iterate over each block */
497c03c5b1cSMartin Matuska while (1) {
498c03c5b1cSMartin Matuska blockProperties_t blockProperties;
499c03c5b1cSMartin Matuska size_t const cBlockSize = ZSTD_getcBlockSize(ip, remainingSize, &blockProperties);
500c03c5b1cSMartin Matuska if (ZSTD_isError(cBlockSize))
501c03c5b1cSMartin Matuska return ZSTD_errorFrameSizeInfo(cBlockSize);
502c03c5b1cSMartin Matuska
503c03c5b1cSMartin Matuska if (ZSTD_blockHeaderSize + cBlockSize > remainingSize)
504c03c5b1cSMartin Matuska return ZSTD_errorFrameSizeInfo(ERROR(srcSize_wrong));
505c03c5b1cSMartin Matuska
506c03c5b1cSMartin Matuska ip += ZSTD_blockHeaderSize + cBlockSize;
507c03c5b1cSMartin Matuska remainingSize -= ZSTD_blockHeaderSize + cBlockSize;
508c03c5b1cSMartin Matuska nbBlocks++;
509c03c5b1cSMartin Matuska
510c03c5b1cSMartin Matuska if (blockProperties.lastBlock) break;
511c03c5b1cSMartin Matuska }
512c03c5b1cSMartin Matuska
513c03c5b1cSMartin Matuska /* Final frame content checksum */
514c03c5b1cSMartin Matuska if (zfh.checksumFlag) {
515c03c5b1cSMartin Matuska if (remainingSize < 4)
516c03c5b1cSMartin Matuska return ZSTD_errorFrameSizeInfo(ERROR(srcSize_wrong));
517c03c5b1cSMartin Matuska ip += 4;
518c03c5b1cSMartin Matuska }
519c03c5b1cSMartin Matuska
520c03c5b1cSMartin Matuska frameSizeInfo.compressedSize = ip - ipstart;
521c03c5b1cSMartin Matuska frameSizeInfo.decompressedBound = (zfh.frameContentSize != ZSTD_CONTENTSIZE_UNKNOWN)
522c03c5b1cSMartin Matuska ? zfh.frameContentSize
523c03c5b1cSMartin Matuska : nbBlocks * zfh.blockSizeMax;
524c03c5b1cSMartin Matuska return frameSizeInfo;
525c03c5b1cSMartin Matuska }
526c03c5b1cSMartin Matuska }
527c03c5b1cSMartin Matuska
528c03c5b1cSMartin Matuska /** ZSTD_findFrameCompressedSize() :
529c03c5b1cSMartin Matuska * compatible with legacy mode
530c03c5b1cSMartin Matuska * `src` must point to the start of a ZSTD frame, ZSTD legacy frame, or skippable frame
531c03c5b1cSMartin Matuska * `srcSize` must be at least as large as the frame contained
532c03c5b1cSMartin Matuska * @return : the compressed size of the frame starting at `src` */
ZSTD_findFrameCompressedSize(const void * src,size_t srcSize)533c03c5b1cSMartin Matuska size_t ZSTD_findFrameCompressedSize(const void *src, size_t srcSize)
534c03c5b1cSMartin Matuska {
535c03c5b1cSMartin Matuska ZSTD_frameSizeInfo const frameSizeInfo = ZSTD_findFrameSizeInfo(src, srcSize);
536c03c5b1cSMartin Matuska return frameSizeInfo.compressedSize;
537c03c5b1cSMartin Matuska }
538c03c5b1cSMartin Matuska
539c03c5b1cSMartin Matuska /** ZSTD_decompressBound() :
540c03c5b1cSMartin Matuska * compatible with legacy mode
541c03c5b1cSMartin Matuska * `src` must point to the start of a ZSTD frame or a skippeable frame
542c03c5b1cSMartin Matuska * `srcSize` must be at least as large as the frame contained
543c03c5b1cSMartin Matuska * @return : the maximum decompressed size of the compressed source
544c03c5b1cSMartin Matuska */
ZSTD_decompressBound(const void * src,size_t srcSize)545c03c5b1cSMartin Matuska unsigned long long ZSTD_decompressBound(const void* src, size_t srcSize)
546c03c5b1cSMartin Matuska {
547c03c5b1cSMartin Matuska unsigned long long bound = 0;
548c03c5b1cSMartin Matuska /* Iterate over each frame */
549c03c5b1cSMartin Matuska while (srcSize > 0) {
550c03c5b1cSMartin Matuska ZSTD_frameSizeInfo const frameSizeInfo = ZSTD_findFrameSizeInfo(src, srcSize);
551c03c5b1cSMartin Matuska size_t const compressedSize = frameSizeInfo.compressedSize;
552c03c5b1cSMartin Matuska unsigned long long const decompressedBound = frameSizeInfo.decompressedBound;
553c03c5b1cSMartin Matuska if (ZSTD_isError(compressedSize) || decompressedBound == ZSTD_CONTENTSIZE_ERROR)
554c03c5b1cSMartin Matuska return ZSTD_CONTENTSIZE_ERROR;
555c03c5b1cSMartin Matuska assert(srcSize >= compressedSize);
556c03c5b1cSMartin Matuska src = (const BYTE*)src + compressedSize;
557c03c5b1cSMartin Matuska srcSize -= compressedSize;
558c03c5b1cSMartin Matuska bound += decompressedBound;
559c03c5b1cSMartin Matuska }
560c03c5b1cSMartin Matuska return bound;
561c03c5b1cSMartin Matuska }
562c03c5b1cSMartin Matuska
563c03c5b1cSMartin Matuska
564c03c5b1cSMartin Matuska /*-*************************************************************
565c03c5b1cSMartin Matuska * Frame decoding
566c03c5b1cSMartin Matuska ***************************************************************/
567c03c5b1cSMartin Matuska
568c03c5b1cSMartin Matuska /** ZSTD_insertBlock() :
569c03c5b1cSMartin Matuska * insert `src` block into `dctx` history. Useful to track uncompressed blocks. */
ZSTD_insertBlock(ZSTD_DCtx * dctx,const void * blockStart,size_t blockSize)570c03c5b1cSMartin Matuska size_t ZSTD_insertBlock(ZSTD_DCtx* dctx, const void* blockStart, size_t blockSize)
571c03c5b1cSMartin Matuska {
572c03c5b1cSMartin Matuska DEBUGLOG(5, "ZSTD_insertBlock: %u bytes", (unsigned)blockSize);
573c03c5b1cSMartin Matuska ZSTD_checkContinuity(dctx, blockStart);
574c03c5b1cSMartin Matuska dctx->previousDstEnd = (const char*)blockStart + blockSize;
575c03c5b1cSMartin Matuska return blockSize;
576c03c5b1cSMartin Matuska }
577c03c5b1cSMartin Matuska
578c03c5b1cSMartin Matuska
ZSTD_copyRawBlock(void * dst,size_t dstCapacity,const void * src,size_t srcSize)579c03c5b1cSMartin Matuska static size_t ZSTD_copyRawBlock(void* dst, size_t dstCapacity,
580c03c5b1cSMartin Matuska const void* src, size_t srcSize)
581c03c5b1cSMartin Matuska {
582c03c5b1cSMartin Matuska DEBUGLOG(5, "ZSTD_copyRawBlock");
583c03c5b1cSMartin Matuska if (dst == NULL) {
584c03c5b1cSMartin Matuska if (srcSize == 0) return 0;
585c03c5b1cSMartin Matuska RETURN_ERROR(dstBuffer_null, "");
586c03c5b1cSMartin Matuska }
587c03c5b1cSMartin Matuska RETURN_ERROR_IF(srcSize > dstCapacity, dstSize_tooSmall, "");
588c03c5b1cSMartin Matuska memcpy(dst, src, srcSize);
589c03c5b1cSMartin Matuska return srcSize;
590c03c5b1cSMartin Matuska }
591c03c5b1cSMartin Matuska
ZSTD_setRleBlock(void * dst,size_t dstCapacity,BYTE b,size_t regenSize)592c03c5b1cSMartin Matuska static size_t ZSTD_setRleBlock(void* dst, size_t dstCapacity,
593c03c5b1cSMartin Matuska BYTE b,
594c03c5b1cSMartin Matuska size_t regenSize)
595c03c5b1cSMartin Matuska {
596c03c5b1cSMartin Matuska if (dst == NULL) {
597c03c5b1cSMartin Matuska if (regenSize == 0) return 0;
598c03c5b1cSMartin Matuska RETURN_ERROR(dstBuffer_null, "");
599c03c5b1cSMartin Matuska }
600c03c5b1cSMartin Matuska RETURN_ERROR_IF(regenSize > dstCapacity, dstSize_tooSmall, "");
601c03c5b1cSMartin Matuska memset(dst, b, regenSize);
602c03c5b1cSMartin Matuska return regenSize;
603c03c5b1cSMartin Matuska }
604c03c5b1cSMartin Matuska
605c03c5b1cSMartin Matuska
606c03c5b1cSMartin Matuska /*! ZSTD_decompressFrame() :
607c03c5b1cSMartin Matuska * @dctx must be properly initialized
608c03c5b1cSMartin Matuska * will update *srcPtr and *srcSizePtr,
609c03c5b1cSMartin Matuska * to make *srcPtr progress by one frame. */
ZSTD_decompressFrame(ZSTD_DCtx * dctx,void * dst,size_t dstCapacity,const void ** srcPtr,size_t * srcSizePtr)610c03c5b1cSMartin Matuska static size_t ZSTD_decompressFrame(ZSTD_DCtx* dctx,
611c03c5b1cSMartin Matuska void* dst, size_t dstCapacity,
612c03c5b1cSMartin Matuska const void** srcPtr, size_t *srcSizePtr)
613c03c5b1cSMartin Matuska {
614c03c5b1cSMartin Matuska const BYTE* ip = (const BYTE*)(*srcPtr);
615c03c5b1cSMartin Matuska BYTE* const ostart = (BYTE* const)dst;
616c03c5b1cSMartin Matuska BYTE* const oend = dstCapacity != 0 ? ostart + dstCapacity : ostart;
617c03c5b1cSMartin Matuska BYTE* op = ostart;
618c03c5b1cSMartin Matuska size_t remainingSrcSize = *srcSizePtr;
619c03c5b1cSMartin Matuska
620c03c5b1cSMartin Matuska DEBUGLOG(4, "ZSTD_decompressFrame (srcSize:%i)", (int)*srcSizePtr);
621c03c5b1cSMartin Matuska
622c03c5b1cSMartin Matuska /* check */
623c03c5b1cSMartin Matuska RETURN_ERROR_IF(
624c03c5b1cSMartin Matuska remainingSrcSize < ZSTD_FRAMEHEADERSIZE_MIN(dctx->format)+ZSTD_blockHeaderSize,
625c03c5b1cSMartin Matuska srcSize_wrong, "");
626c03c5b1cSMartin Matuska
627c03c5b1cSMartin Matuska /* Frame Header */
628c03c5b1cSMartin Matuska { size_t const frameHeaderSize = ZSTD_frameHeaderSize_internal(
629c03c5b1cSMartin Matuska ip, ZSTD_FRAMEHEADERSIZE_PREFIX(dctx->format), dctx->format);
630c03c5b1cSMartin Matuska if (ZSTD_isError(frameHeaderSize)) return frameHeaderSize;
631c03c5b1cSMartin Matuska RETURN_ERROR_IF(remainingSrcSize < frameHeaderSize+ZSTD_blockHeaderSize,
632c03c5b1cSMartin Matuska srcSize_wrong, "");
633c03c5b1cSMartin Matuska FORWARD_IF_ERROR( ZSTD_decodeFrameHeader(dctx, ip, frameHeaderSize) , "");
634c03c5b1cSMartin Matuska ip += frameHeaderSize; remainingSrcSize -= frameHeaderSize;
635c03c5b1cSMartin Matuska }
636c03c5b1cSMartin Matuska
637c03c5b1cSMartin Matuska /* Loop on each block */
638c03c5b1cSMartin Matuska while (1) {
639c03c5b1cSMartin Matuska size_t decodedSize;
640c03c5b1cSMartin Matuska blockProperties_t blockProperties;
641c03c5b1cSMartin Matuska size_t const cBlockSize = ZSTD_getcBlockSize(ip, remainingSrcSize, &blockProperties);
642c03c5b1cSMartin Matuska if (ZSTD_isError(cBlockSize)) return cBlockSize;
643c03c5b1cSMartin Matuska
644c03c5b1cSMartin Matuska ip += ZSTD_blockHeaderSize;
645c03c5b1cSMartin Matuska remainingSrcSize -= ZSTD_blockHeaderSize;
646c03c5b1cSMartin Matuska RETURN_ERROR_IF(cBlockSize > remainingSrcSize, srcSize_wrong, "");
647c03c5b1cSMartin Matuska
648c03c5b1cSMartin Matuska switch(blockProperties.blockType)
649c03c5b1cSMartin Matuska {
650c03c5b1cSMartin Matuska case bt_compressed:
651c03c5b1cSMartin Matuska decodedSize = ZSTD_decompressBlock_internal(dctx, op, oend-op, ip, cBlockSize, /* frame */ 1);
652c03c5b1cSMartin Matuska break;
653c03c5b1cSMartin Matuska case bt_raw :
654c03c5b1cSMartin Matuska decodedSize = ZSTD_copyRawBlock(op, oend-op, ip, cBlockSize);
655c03c5b1cSMartin Matuska break;
656c03c5b1cSMartin Matuska case bt_rle :
657c03c5b1cSMartin Matuska decodedSize = ZSTD_setRleBlock(op, oend-op, *ip, blockProperties.origSize);
658c03c5b1cSMartin Matuska break;
659c03c5b1cSMartin Matuska case bt_reserved :
660c03c5b1cSMartin Matuska default:
661c03c5b1cSMartin Matuska RETURN_ERROR(corruption_detected, "invalid block type");
662c03c5b1cSMartin Matuska }
663c03c5b1cSMartin Matuska
664c03c5b1cSMartin Matuska if (ZSTD_isError(decodedSize)) return decodedSize;
665c03c5b1cSMartin Matuska if (dctx->fParams.checksumFlag)
666c03c5b1cSMartin Matuska XXH64_update(&dctx->xxhState, op, decodedSize);
667c03c5b1cSMartin Matuska if (decodedSize != 0)
668c03c5b1cSMartin Matuska op += decodedSize;
669c03c5b1cSMartin Matuska assert(ip != NULL);
670c03c5b1cSMartin Matuska ip += cBlockSize;
671c03c5b1cSMartin Matuska remainingSrcSize -= cBlockSize;
672c03c5b1cSMartin Matuska if (blockProperties.lastBlock) break;
673c03c5b1cSMartin Matuska }
674c03c5b1cSMartin Matuska
675c03c5b1cSMartin Matuska if (dctx->fParams.frameContentSize != ZSTD_CONTENTSIZE_UNKNOWN) {
676c03c5b1cSMartin Matuska RETURN_ERROR_IF((U64)(op-ostart) != dctx->fParams.frameContentSize,
677c03c5b1cSMartin Matuska corruption_detected, "");
678c03c5b1cSMartin Matuska }
679c03c5b1cSMartin Matuska if (dctx->fParams.checksumFlag) { /* Frame content checksum verification */
680c03c5b1cSMartin Matuska U32 const checkCalc = (U32)XXH64_digest(&dctx->xxhState);
681c03c5b1cSMartin Matuska U32 checkRead;
682c03c5b1cSMartin Matuska RETURN_ERROR_IF(remainingSrcSize<4, checksum_wrong, "");
683c03c5b1cSMartin Matuska checkRead = MEM_readLE32(ip);
684c03c5b1cSMartin Matuska RETURN_ERROR_IF(checkRead != checkCalc, checksum_wrong, "");
685c03c5b1cSMartin Matuska ip += 4;
686c03c5b1cSMartin Matuska remainingSrcSize -= 4;
687c03c5b1cSMartin Matuska }
688c03c5b1cSMartin Matuska
689c03c5b1cSMartin Matuska /* Allow caller to get size read */
690c03c5b1cSMartin Matuska *srcPtr = ip;
691c03c5b1cSMartin Matuska *srcSizePtr = remainingSrcSize;
692c03c5b1cSMartin Matuska return op-ostart;
693c03c5b1cSMartin Matuska }
694c03c5b1cSMartin Matuska
ZSTD_decompressMultiFrame(ZSTD_DCtx * dctx,void * dst,size_t dstCapacity,const void * src,size_t srcSize,const void * dict,size_t dictSize,const ZSTD_DDict * ddict)695c03c5b1cSMartin Matuska static size_t ZSTD_decompressMultiFrame(ZSTD_DCtx* dctx,
696c03c5b1cSMartin Matuska void* dst, size_t dstCapacity,
697c03c5b1cSMartin Matuska const void* src, size_t srcSize,
698c03c5b1cSMartin Matuska const void* dict, size_t dictSize,
699c03c5b1cSMartin Matuska const ZSTD_DDict* ddict)
700c03c5b1cSMartin Matuska {
701c03c5b1cSMartin Matuska void* const dststart = dst;
702c03c5b1cSMartin Matuska int moreThan1Frame = 0;
703c03c5b1cSMartin Matuska
704c03c5b1cSMartin Matuska DEBUGLOG(5, "ZSTD_decompressMultiFrame");
705c03c5b1cSMartin Matuska assert(dict==NULL || ddict==NULL); /* either dict or ddict set, not both */
706c03c5b1cSMartin Matuska
707c03c5b1cSMartin Matuska if (ddict) {
708c03c5b1cSMartin Matuska dict = ZSTD_DDict_dictContent(ddict);
709c03c5b1cSMartin Matuska dictSize = ZSTD_DDict_dictSize(ddict);
710c03c5b1cSMartin Matuska }
711c03c5b1cSMartin Matuska
712c03c5b1cSMartin Matuska while (srcSize >= ZSTD_startingInputLength(dctx->format)) {
713c03c5b1cSMartin Matuska
714c03c5b1cSMartin Matuska #if defined(ZSTD_LEGACY_SUPPORT) && (ZSTD_LEGACY_SUPPORT >= 1)
715c03c5b1cSMartin Matuska if (ZSTD_isLegacy(src, srcSize)) {
716c03c5b1cSMartin Matuska size_t decodedSize;
717c03c5b1cSMartin Matuska size_t const frameSize = ZSTD_findFrameCompressedSizeLegacy(src, srcSize);
718c03c5b1cSMartin Matuska if (ZSTD_isError(frameSize)) return frameSize;
719c03c5b1cSMartin Matuska RETURN_ERROR_IF(dctx->staticSize, memory_allocation,
720c03c5b1cSMartin Matuska "legacy support is not compatible with static dctx");
721c03c5b1cSMartin Matuska
722c03c5b1cSMartin Matuska decodedSize = ZSTD_decompressLegacy(dst, dstCapacity, src, frameSize, dict, dictSize);
723c03c5b1cSMartin Matuska if (ZSTD_isError(decodedSize)) return decodedSize;
724c03c5b1cSMartin Matuska
725c03c5b1cSMartin Matuska assert(decodedSize <=- dstCapacity);
726c03c5b1cSMartin Matuska dst = (BYTE*)dst + decodedSize;
727c03c5b1cSMartin Matuska dstCapacity -= decodedSize;
728c03c5b1cSMartin Matuska
729c03c5b1cSMartin Matuska src = (const BYTE*)src + frameSize;
730c03c5b1cSMartin Matuska srcSize -= frameSize;
731c03c5b1cSMartin Matuska
732c03c5b1cSMartin Matuska continue;
733c03c5b1cSMartin Matuska }
734c03c5b1cSMartin Matuska #endif
735c03c5b1cSMartin Matuska
736c03c5b1cSMartin Matuska { U32 const magicNumber = MEM_readLE32(src);
737c03c5b1cSMartin Matuska DEBUGLOG(4, "reading magic number %08X (expecting %08X)",
738c03c5b1cSMartin Matuska (unsigned)magicNumber, ZSTD_MAGICNUMBER);
739c03c5b1cSMartin Matuska if ((magicNumber & ZSTD_MAGIC_SKIPPABLE_MASK) == ZSTD_MAGIC_SKIPPABLE_START) {
740c03c5b1cSMartin Matuska size_t const skippableSize = readSkippableFrameSize(src, srcSize);
741c03c5b1cSMartin Matuska FORWARD_IF_ERROR(skippableSize, "readSkippableFrameSize failed");
742c03c5b1cSMartin Matuska assert(skippableSize <= srcSize);
743c03c5b1cSMartin Matuska
744c03c5b1cSMartin Matuska src = (const BYTE *)src + skippableSize;
745c03c5b1cSMartin Matuska srcSize -= skippableSize;
746c03c5b1cSMartin Matuska continue;
747c03c5b1cSMartin Matuska } }
748c03c5b1cSMartin Matuska
749c03c5b1cSMartin Matuska if (ddict) {
750c03c5b1cSMartin Matuska /* we were called from ZSTD_decompress_usingDDict */
751c03c5b1cSMartin Matuska FORWARD_IF_ERROR(ZSTD_decompressBegin_usingDDict(dctx, ddict), "");
752c03c5b1cSMartin Matuska } else {
753c03c5b1cSMartin Matuska /* this will initialize correctly with no dict if dict == NULL, so
754c03c5b1cSMartin Matuska * use this in all cases but ddict */
755c03c5b1cSMartin Matuska FORWARD_IF_ERROR(ZSTD_decompressBegin_usingDict(dctx, dict, dictSize), "");
756c03c5b1cSMartin Matuska }
757c03c5b1cSMartin Matuska ZSTD_checkContinuity(dctx, dst);
758c03c5b1cSMartin Matuska
759c03c5b1cSMartin Matuska { const size_t res = ZSTD_decompressFrame(dctx, dst, dstCapacity,
760c03c5b1cSMartin Matuska &src, &srcSize);
761c03c5b1cSMartin Matuska RETURN_ERROR_IF(
762c03c5b1cSMartin Matuska (ZSTD_getErrorCode(res) == ZSTD_error_prefix_unknown)
763c03c5b1cSMartin Matuska && (moreThan1Frame==1),
764c03c5b1cSMartin Matuska srcSize_wrong,
765c03c5b1cSMartin Matuska "at least one frame successfully completed, but following "
766c03c5b1cSMartin Matuska "bytes are garbage: it's more likely to be a srcSize error, "
767c03c5b1cSMartin Matuska "specifying more bytes than compressed size of frame(s). This "
768c03c5b1cSMartin Matuska "error message replaces ERROR(prefix_unknown), which would be "
769c03c5b1cSMartin Matuska "confusing, as the first header is actually correct. Note that "
770c03c5b1cSMartin Matuska "one could be unlucky, it might be a corruption error instead, "
771c03c5b1cSMartin Matuska "happening right at the place where we expect zstd magic "
772c03c5b1cSMartin Matuska "bytes. But this is _much_ less likely than a srcSize field "
773c03c5b1cSMartin Matuska "error.");
774c03c5b1cSMartin Matuska if (ZSTD_isError(res)) return res;
775c03c5b1cSMartin Matuska assert(res <= dstCapacity);
776c03c5b1cSMartin Matuska if (res != 0)
777c03c5b1cSMartin Matuska dst = (BYTE*)dst + res;
778c03c5b1cSMartin Matuska dstCapacity -= res;
779c03c5b1cSMartin Matuska }
780c03c5b1cSMartin Matuska moreThan1Frame = 1;
781c03c5b1cSMartin Matuska } /* while (srcSize >= ZSTD_frameHeaderSize_prefix) */
782c03c5b1cSMartin Matuska
783c03c5b1cSMartin Matuska RETURN_ERROR_IF(srcSize, srcSize_wrong, "input not entirely consumed");
784c03c5b1cSMartin Matuska
785c03c5b1cSMartin Matuska return (BYTE*)dst - (BYTE*)dststart;
786c03c5b1cSMartin Matuska }
787c03c5b1cSMartin Matuska
ZSTD_decompress_usingDict(ZSTD_DCtx * dctx,void * dst,size_t dstCapacity,const void * src,size_t srcSize,const void * dict,size_t dictSize)788c03c5b1cSMartin Matuska size_t ZSTD_decompress_usingDict(ZSTD_DCtx* dctx,
789c03c5b1cSMartin Matuska void* dst, size_t dstCapacity,
790c03c5b1cSMartin Matuska const void* src, size_t srcSize,
791c03c5b1cSMartin Matuska const void* dict, size_t dictSize)
792c03c5b1cSMartin Matuska {
793c03c5b1cSMartin Matuska return ZSTD_decompressMultiFrame(dctx, dst, dstCapacity, src, srcSize, dict, dictSize, NULL);
794c03c5b1cSMartin Matuska }
795c03c5b1cSMartin Matuska
796c03c5b1cSMartin Matuska
ZSTD_getDDict(ZSTD_DCtx * dctx)797c03c5b1cSMartin Matuska static ZSTD_DDict const* ZSTD_getDDict(ZSTD_DCtx* dctx)
798c03c5b1cSMartin Matuska {
799c03c5b1cSMartin Matuska switch (dctx->dictUses) {
800c03c5b1cSMartin Matuska default:
801c03c5b1cSMartin Matuska assert(0 /* Impossible */);
802c03c5b1cSMartin Matuska /* fall-through */
803c03c5b1cSMartin Matuska case ZSTD_dont_use:
804c03c5b1cSMartin Matuska ZSTD_clearDict(dctx);
805c03c5b1cSMartin Matuska return NULL;
806c03c5b1cSMartin Matuska case ZSTD_use_indefinitely:
807c03c5b1cSMartin Matuska return dctx->ddict;
808c03c5b1cSMartin Matuska case ZSTD_use_once:
809c03c5b1cSMartin Matuska dctx->dictUses = ZSTD_dont_use;
810c03c5b1cSMartin Matuska return dctx->ddict;
811c03c5b1cSMartin Matuska }
812c03c5b1cSMartin Matuska }
813c03c5b1cSMartin Matuska
ZSTD_decompressDCtx(ZSTD_DCtx * dctx,void * dst,size_t dstCapacity,const void * src,size_t srcSize)814c03c5b1cSMartin Matuska size_t ZSTD_decompressDCtx(ZSTD_DCtx* dctx, void* dst, size_t dstCapacity, const void* src, size_t srcSize)
815c03c5b1cSMartin Matuska {
816c03c5b1cSMartin Matuska return ZSTD_decompress_usingDDict(dctx, dst, dstCapacity, src, srcSize, ZSTD_getDDict(dctx));
817c03c5b1cSMartin Matuska }
818c03c5b1cSMartin Matuska
819c03c5b1cSMartin Matuska
ZSTD_decompress(void * dst,size_t dstCapacity,const void * src,size_t srcSize)820c03c5b1cSMartin Matuska size_t ZSTD_decompress(void* dst, size_t dstCapacity, const void* src, size_t srcSize)
821c03c5b1cSMartin Matuska {
822c03c5b1cSMartin Matuska #if defined(ZSTD_HEAPMODE) && (ZSTD_HEAPMODE>=1)
823c03c5b1cSMartin Matuska size_t regenSize;
824c03c5b1cSMartin Matuska ZSTD_DCtx* const dctx = ZSTD_createDCtx();
825c03c5b1cSMartin Matuska RETURN_ERROR_IF(dctx==NULL, memory_allocation, "NULL pointer!");
826c03c5b1cSMartin Matuska regenSize = ZSTD_decompressDCtx(dctx, dst, dstCapacity, src, srcSize);
827c03c5b1cSMartin Matuska ZSTD_freeDCtx(dctx);
828c03c5b1cSMartin Matuska return regenSize;
829c03c5b1cSMartin Matuska #else /* stack mode */
830c03c5b1cSMartin Matuska ZSTD_DCtx dctx;
831c03c5b1cSMartin Matuska ZSTD_initDCtx_internal(&dctx);
832c03c5b1cSMartin Matuska return ZSTD_decompressDCtx(&dctx, dst, dstCapacity, src, srcSize);
833c03c5b1cSMartin Matuska #endif
834c03c5b1cSMartin Matuska }
835c03c5b1cSMartin Matuska
836c03c5b1cSMartin Matuska
837c03c5b1cSMartin Matuska /*-**************************************
838c03c5b1cSMartin Matuska * Advanced Streaming Decompression API
839c03c5b1cSMartin Matuska * Bufferless and synchronous
840c03c5b1cSMartin Matuska ****************************************/
ZSTD_nextSrcSizeToDecompress(ZSTD_DCtx * dctx)841c03c5b1cSMartin Matuska size_t ZSTD_nextSrcSizeToDecompress(ZSTD_DCtx* dctx) { return dctx->expected; }
842c03c5b1cSMartin Matuska
843c03c5b1cSMartin Matuska /**
844c03c5b1cSMartin Matuska * Similar to ZSTD_nextSrcSizeToDecompress(), but when when a block input can be streamed,
845c03c5b1cSMartin Matuska * we allow taking a partial block as the input. Currently only raw uncompressed blocks can
846c03c5b1cSMartin Matuska * be streamed.
847c03c5b1cSMartin Matuska *
848c03c5b1cSMartin Matuska * For blocks that can be streamed, this allows us to reduce the latency until we produce
849c03c5b1cSMartin Matuska * output, and avoid copying the input.
850c03c5b1cSMartin Matuska *
851c03c5b1cSMartin Matuska * @param inputSize - The total amount of input that the caller currently has.
852c03c5b1cSMartin Matuska */
ZSTD_nextSrcSizeToDecompressWithInputSize(ZSTD_DCtx * dctx,size_t inputSize)853c03c5b1cSMartin Matuska static size_t ZSTD_nextSrcSizeToDecompressWithInputSize(ZSTD_DCtx* dctx, size_t inputSize) {
854c03c5b1cSMartin Matuska if (!(dctx->stage == ZSTDds_decompressBlock || dctx->stage == ZSTDds_decompressLastBlock))
855c03c5b1cSMartin Matuska return dctx->expected;
856c03c5b1cSMartin Matuska if (dctx->bType != bt_raw)
857c03c5b1cSMartin Matuska return dctx->expected;
858c03c5b1cSMartin Matuska return MIN(MAX(inputSize, 1), dctx->expected);
859c03c5b1cSMartin Matuska }
860c03c5b1cSMartin Matuska
ZSTD_nextInputType(ZSTD_DCtx * dctx)861c03c5b1cSMartin Matuska ZSTD_nextInputType_e ZSTD_nextInputType(ZSTD_DCtx* dctx) {
862c03c5b1cSMartin Matuska switch(dctx->stage)
863c03c5b1cSMartin Matuska {
864c03c5b1cSMartin Matuska default: /* should not happen */
865c03c5b1cSMartin Matuska assert(0);
866c03c5b1cSMartin Matuska case ZSTDds_getFrameHeaderSize:
867c03c5b1cSMartin Matuska case ZSTDds_decodeFrameHeader:
868c03c5b1cSMartin Matuska return ZSTDnit_frameHeader;
869c03c5b1cSMartin Matuska case ZSTDds_decodeBlockHeader:
870c03c5b1cSMartin Matuska return ZSTDnit_blockHeader;
871c03c5b1cSMartin Matuska case ZSTDds_decompressBlock:
872c03c5b1cSMartin Matuska return ZSTDnit_block;
873c03c5b1cSMartin Matuska case ZSTDds_decompressLastBlock:
874c03c5b1cSMartin Matuska return ZSTDnit_lastBlock;
875c03c5b1cSMartin Matuska case ZSTDds_checkChecksum:
876c03c5b1cSMartin Matuska return ZSTDnit_checksum;
877c03c5b1cSMartin Matuska case ZSTDds_decodeSkippableHeader:
878c03c5b1cSMartin Matuska case ZSTDds_skipFrame:
879c03c5b1cSMartin Matuska return ZSTDnit_skippableFrame;
880c03c5b1cSMartin Matuska }
881c03c5b1cSMartin Matuska }
882c03c5b1cSMartin Matuska
ZSTD_isSkipFrame(ZSTD_DCtx * dctx)883c03c5b1cSMartin Matuska static int ZSTD_isSkipFrame(ZSTD_DCtx* dctx) { return dctx->stage == ZSTDds_skipFrame; }
884c03c5b1cSMartin Matuska
885c03c5b1cSMartin Matuska /** ZSTD_decompressContinue() :
886c03c5b1cSMartin Matuska * srcSize : must be the exact nb of bytes expected (see ZSTD_nextSrcSizeToDecompress())
887c03c5b1cSMartin Matuska * @return : nb of bytes generated into `dst` (necessarily <= `dstCapacity)
888c03c5b1cSMartin Matuska * or an error code, which can be tested using ZSTD_isError() */
ZSTD_decompressContinue(ZSTD_DCtx * dctx,void * dst,size_t dstCapacity,const void * src,size_t srcSize)889c03c5b1cSMartin Matuska size_t ZSTD_decompressContinue(ZSTD_DCtx* dctx, void* dst, size_t dstCapacity, const void* src, size_t srcSize)
890c03c5b1cSMartin Matuska {
891c03c5b1cSMartin Matuska DEBUGLOG(5, "ZSTD_decompressContinue (srcSize:%u)", (unsigned)srcSize);
892c03c5b1cSMartin Matuska /* Sanity check */
893c03c5b1cSMartin Matuska RETURN_ERROR_IF(srcSize != ZSTD_nextSrcSizeToDecompressWithInputSize(dctx, srcSize), srcSize_wrong, "not allowed");
894c03c5b1cSMartin Matuska if (dstCapacity) ZSTD_checkContinuity(dctx, dst);
895c03c5b1cSMartin Matuska
896c03c5b1cSMartin Matuska switch (dctx->stage)
897c03c5b1cSMartin Matuska {
898c03c5b1cSMartin Matuska case ZSTDds_getFrameHeaderSize :
899c03c5b1cSMartin Matuska assert(src != NULL);
900c03c5b1cSMartin Matuska if (dctx->format == ZSTD_f_zstd1) { /* allows header */
901c03c5b1cSMartin Matuska assert(srcSize >= ZSTD_FRAMEIDSIZE); /* to read skippable magic number */
902c03c5b1cSMartin Matuska if ((MEM_readLE32(src) & ZSTD_MAGIC_SKIPPABLE_MASK) == ZSTD_MAGIC_SKIPPABLE_START) { /* skippable frame */
903c03c5b1cSMartin Matuska memcpy(dctx->headerBuffer, src, srcSize);
904c03c5b1cSMartin Matuska dctx->expected = ZSTD_SKIPPABLEHEADERSIZE - srcSize; /* remaining to load to get full skippable frame header */
905c03c5b1cSMartin Matuska dctx->stage = ZSTDds_decodeSkippableHeader;
906c03c5b1cSMartin Matuska return 0;
907c03c5b1cSMartin Matuska } }
908c03c5b1cSMartin Matuska dctx->headerSize = ZSTD_frameHeaderSize_internal(src, srcSize, dctx->format);
909c03c5b1cSMartin Matuska if (ZSTD_isError(dctx->headerSize)) return dctx->headerSize;
910c03c5b1cSMartin Matuska memcpy(dctx->headerBuffer, src, srcSize);
911c03c5b1cSMartin Matuska dctx->expected = dctx->headerSize - srcSize;
912c03c5b1cSMartin Matuska dctx->stage = ZSTDds_decodeFrameHeader;
913c03c5b1cSMartin Matuska return 0;
914c03c5b1cSMartin Matuska
915c03c5b1cSMartin Matuska case ZSTDds_decodeFrameHeader:
916c03c5b1cSMartin Matuska assert(src != NULL);
917c03c5b1cSMartin Matuska memcpy(dctx->headerBuffer + (dctx->headerSize - srcSize), src, srcSize);
918c03c5b1cSMartin Matuska FORWARD_IF_ERROR(ZSTD_decodeFrameHeader(dctx, dctx->headerBuffer, dctx->headerSize), "");
919c03c5b1cSMartin Matuska dctx->expected = ZSTD_blockHeaderSize;
920c03c5b1cSMartin Matuska dctx->stage = ZSTDds_decodeBlockHeader;
921c03c5b1cSMartin Matuska return 0;
922c03c5b1cSMartin Matuska
923c03c5b1cSMartin Matuska case ZSTDds_decodeBlockHeader:
924c03c5b1cSMartin Matuska { blockProperties_t bp;
925c03c5b1cSMartin Matuska size_t const cBlockSize = ZSTD_getcBlockSize(src, ZSTD_blockHeaderSize, &bp);
926c03c5b1cSMartin Matuska if (ZSTD_isError(cBlockSize)) return cBlockSize;
927c03c5b1cSMartin Matuska RETURN_ERROR_IF(cBlockSize > dctx->fParams.blockSizeMax, corruption_detected, "Block Size Exceeds Maximum");
928c03c5b1cSMartin Matuska dctx->expected = cBlockSize;
929c03c5b1cSMartin Matuska dctx->bType = bp.blockType;
930c03c5b1cSMartin Matuska dctx->rleSize = bp.origSize;
931c03c5b1cSMartin Matuska if (cBlockSize) {
932c03c5b1cSMartin Matuska dctx->stage = bp.lastBlock ? ZSTDds_decompressLastBlock : ZSTDds_decompressBlock;
933c03c5b1cSMartin Matuska return 0;
934c03c5b1cSMartin Matuska }
935c03c5b1cSMartin Matuska /* empty block */
936c03c5b1cSMartin Matuska if (bp.lastBlock) {
937c03c5b1cSMartin Matuska if (dctx->fParams.checksumFlag) {
938c03c5b1cSMartin Matuska dctx->expected = 4;
939c03c5b1cSMartin Matuska dctx->stage = ZSTDds_checkChecksum;
940c03c5b1cSMartin Matuska } else {
941c03c5b1cSMartin Matuska dctx->expected = 0; /* end of frame */
942c03c5b1cSMartin Matuska dctx->stage = ZSTDds_getFrameHeaderSize;
943c03c5b1cSMartin Matuska }
944c03c5b1cSMartin Matuska } else {
945c03c5b1cSMartin Matuska dctx->expected = ZSTD_blockHeaderSize; /* jump to next header */
946c03c5b1cSMartin Matuska dctx->stage = ZSTDds_decodeBlockHeader;
947c03c5b1cSMartin Matuska }
948c03c5b1cSMartin Matuska return 0;
949c03c5b1cSMartin Matuska }
950c03c5b1cSMartin Matuska
951c03c5b1cSMartin Matuska case ZSTDds_decompressLastBlock:
952c03c5b1cSMartin Matuska case ZSTDds_decompressBlock:
953c03c5b1cSMartin Matuska DEBUGLOG(5, "ZSTD_decompressContinue: case ZSTDds_decompressBlock");
954c03c5b1cSMartin Matuska { size_t rSize;
955c03c5b1cSMartin Matuska switch(dctx->bType)
956c03c5b1cSMartin Matuska {
957c03c5b1cSMartin Matuska case bt_compressed:
958c03c5b1cSMartin Matuska DEBUGLOG(5, "ZSTD_decompressContinue: case bt_compressed");
959c03c5b1cSMartin Matuska rSize = ZSTD_decompressBlock_internal(dctx, dst, dstCapacity, src, srcSize, /* frame */ 1);
960c03c5b1cSMartin Matuska dctx->expected = 0; /* Streaming not supported */
961c03c5b1cSMartin Matuska break;
962c03c5b1cSMartin Matuska case bt_raw :
963c03c5b1cSMartin Matuska assert(srcSize <= dctx->expected);
964c03c5b1cSMartin Matuska rSize = ZSTD_copyRawBlock(dst, dstCapacity, src, srcSize);
965c03c5b1cSMartin Matuska FORWARD_IF_ERROR(rSize, "ZSTD_copyRawBlock failed");
966c03c5b1cSMartin Matuska assert(rSize == srcSize);
967c03c5b1cSMartin Matuska dctx->expected -= rSize;
968c03c5b1cSMartin Matuska break;
969c03c5b1cSMartin Matuska case bt_rle :
970c03c5b1cSMartin Matuska rSize = ZSTD_setRleBlock(dst, dstCapacity, *(const BYTE*)src, dctx->rleSize);
971c03c5b1cSMartin Matuska dctx->expected = 0; /* Streaming not supported */
972c03c5b1cSMartin Matuska break;
973c03c5b1cSMartin Matuska case bt_reserved : /* should never happen */
974c03c5b1cSMartin Matuska default:
975c03c5b1cSMartin Matuska RETURN_ERROR(corruption_detected, "invalid block type");
976c03c5b1cSMartin Matuska }
977c03c5b1cSMartin Matuska FORWARD_IF_ERROR(rSize, "");
978c03c5b1cSMartin Matuska RETURN_ERROR_IF(rSize > dctx->fParams.blockSizeMax, corruption_detected, "Decompressed Block Size Exceeds Maximum");
979c03c5b1cSMartin Matuska DEBUGLOG(5, "ZSTD_decompressContinue: decoded size from block : %u", (unsigned)rSize);
980c03c5b1cSMartin Matuska dctx->decodedSize += rSize;
981c03c5b1cSMartin Matuska if (dctx->fParams.checksumFlag) XXH64_update(&dctx->xxhState, dst, rSize);
982c03c5b1cSMartin Matuska dctx->previousDstEnd = (char*)dst + rSize;
983c03c5b1cSMartin Matuska
984c03c5b1cSMartin Matuska /* Stay on the same stage until we are finished streaming the block. */
985c03c5b1cSMartin Matuska if (dctx->expected > 0) {
986c03c5b1cSMartin Matuska return rSize;
987c03c5b1cSMartin Matuska }
988c03c5b1cSMartin Matuska
989c03c5b1cSMartin Matuska if (dctx->stage == ZSTDds_decompressLastBlock) { /* end of frame */
990c03c5b1cSMartin Matuska DEBUGLOG(4, "ZSTD_decompressContinue: decoded size from frame : %u", (unsigned)dctx->decodedSize);
991c03c5b1cSMartin Matuska RETURN_ERROR_IF(
992c03c5b1cSMartin Matuska dctx->fParams.frameContentSize != ZSTD_CONTENTSIZE_UNKNOWN
993c03c5b1cSMartin Matuska && dctx->decodedSize != dctx->fParams.frameContentSize,
994c03c5b1cSMartin Matuska corruption_detected, "");
995c03c5b1cSMartin Matuska if (dctx->fParams.checksumFlag) { /* another round for frame checksum */
996c03c5b1cSMartin Matuska dctx->expected = 4;
997c03c5b1cSMartin Matuska dctx->stage = ZSTDds_checkChecksum;
998c03c5b1cSMartin Matuska } else {
999c03c5b1cSMartin Matuska dctx->expected = 0; /* ends here */
1000c03c5b1cSMartin Matuska dctx->stage = ZSTDds_getFrameHeaderSize;
1001c03c5b1cSMartin Matuska }
1002c03c5b1cSMartin Matuska } else {
1003c03c5b1cSMartin Matuska dctx->stage = ZSTDds_decodeBlockHeader;
1004c03c5b1cSMartin Matuska dctx->expected = ZSTD_blockHeaderSize;
1005c03c5b1cSMartin Matuska }
1006c03c5b1cSMartin Matuska return rSize;
1007c03c5b1cSMartin Matuska }
1008c03c5b1cSMartin Matuska
1009c03c5b1cSMartin Matuska case ZSTDds_checkChecksum:
1010c03c5b1cSMartin Matuska assert(srcSize == 4); /* guaranteed by dctx->expected */
1011c03c5b1cSMartin Matuska { U32 const h32 = (U32)XXH64_digest(&dctx->xxhState);
1012c03c5b1cSMartin Matuska U32 const check32 = MEM_readLE32(src);
1013c03c5b1cSMartin Matuska DEBUGLOG(4, "ZSTD_decompressContinue: checksum : calculated %08X :: %08X read", (unsigned)h32, (unsigned)check32);
1014c03c5b1cSMartin Matuska RETURN_ERROR_IF(check32 != h32, checksum_wrong, "");
1015c03c5b1cSMartin Matuska dctx->expected = 0;
1016c03c5b1cSMartin Matuska dctx->stage = ZSTDds_getFrameHeaderSize;
1017c03c5b1cSMartin Matuska return 0;
1018c03c5b1cSMartin Matuska }
1019c03c5b1cSMartin Matuska
1020c03c5b1cSMartin Matuska case ZSTDds_decodeSkippableHeader:
1021c03c5b1cSMartin Matuska assert(src != NULL);
1022c03c5b1cSMartin Matuska assert(srcSize <= ZSTD_SKIPPABLEHEADERSIZE);
1023c03c5b1cSMartin Matuska memcpy(dctx->headerBuffer + (ZSTD_SKIPPABLEHEADERSIZE - srcSize), src, srcSize); /* complete skippable header */
1024c03c5b1cSMartin Matuska dctx->expected = MEM_readLE32(dctx->headerBuffer + ZSTD_FRAMEIDSIZE); /* note : dctx->expected can grow seriously large, beyond local buffer size */
1025c03c5b1cSMartin Matuska dctx->stage = ZSTDds_skipFrame;
1026c03c5b1cSMartin Matuska return 0;
1027c03c5b1cSMartin Matuska
1028c03c5b1cSMartin Matuska case ZSTDds_skipFrame:
1029c03c5b1cSMartin Matuska dctx->expected = 0;
1030c03c5b1cSMartin Matuska dctx->stage = ZSTDds_getFrameHeaderSize;
1031c03c5b1cSMartin Matuska return 0;
1032c03c5b1cSMartin Matuska
1033c03c5b1cSMartin Matuska default:
1034c03c5b1cSMartin Matuska assert(0); /* impossible */
1035c03c5b1cSMartin Matuska RETURN_ERROR(GENERIC, "impossible to reach"); /* some compiler require default to do something */
1036c03c5b1cSMartin Matuska }
1037c03c5b1cSMartin Matuska }
1038c03c5b1cSMartin Matuska
1039c03c5b1cSMartin Matuska
ZSTD_refDictContent(ZSTD_DCtx * dctx,const void * dict,size_t dictSize)1040c03c5b1cSMartin Matuska static size_t ZSTD_refDictContent(ZSTD_DCtx* dctx, const void* dict, size_t dictSize)
1041c03c5b1cSMartin Matuska {
1042c03c5b1cSMartin Matuska dctx->dictEnd = dctx->previousDstEnd;
1043c03c5b1cSMartin Matuska dctx->virtualStart = (const char*)dict - ((const char*)(dctx->previousDstEnd) - (const char*)(dctx->prefixStart));
1044c03c5b1cSMartin Matuska dctx->prefixStart = dict;
1045c03c5b1cSMartin Matuska dctx->previousDstEnd = (const char*)dict + dictSize;
1046c03c5b1cSMartin Matuska #ifdef FUZZING_BUILD_MODE_UNSAFE_FOR_PRODUCTION
1047c03c5b1cSMartin Matuska dctx->dictContentBeginForFuzzing = dctx->prefixStart;
1048c03c5b1cSMartin Matuska dctx->dictContentEndForFuzzing = dctx->previousDstEnd;
1049c03c5b1cSMartin Matuska #endif
1050c03c5b1cSMartin Matuska return 0;
1051c03c5b1cSMartin Matuska }
1052c03c5b1cSMartin Matuska
1053c03c5b1cSMartin Matuska /*! ZSTD_loadDEntropy() :
1054c03c5b1cSMartin Matuska * dict : must point at beginning of a valid zstd dictionary.
1055c03c5b1cSMartin Matuska * @return : size of entropy tables read */
1056c03c5b1cSMartin Matuska size_t
ZSTD_loadDEntropy(ZSTD_entropyDTables_t * entropy,const void * const dict,size_t const dictSize)1057c03c5b1cSMartin Matuska ZSTD_loadDEntropy(ZSTD_entropyDTables_t* entropy,
1058c03c5b1cSMartin Matuska const void* const dict, size_t const dictSize)
1059c03c5b1cSMartin Matuska {
1060c03c5b1cSMartin Matuska const BYTE* dictPtr = (const BYTE*)dict;
1061c03c5b1cSMartin Matuska const BYTE* const dictEnd = dictPtr + dictSize;
1062c03c5b1cSMartin Matuska
1063c03c5b1cSMartin Matuska RETURN_ERROR_IF(dictSize <= 8, dictionary_corrupted, "dict is too small");
1064c03c5b1cSMartin Matuska assert(MEM_readLE32(dict) == ZSTD_MAGIC_DICTIONARY); /* dict must be valid */
1065c03c5b1cSMartin Matuska dictPtr += 8; /* skip header = magic + dictID */
1066c03c5b1cSMartin Matuska
1067c03c5b1cSMartin Matuska ZSTD_STATIC_ASSERT(offsetof(ZSTD_entropyDTables_t, OFTable) == offsetof(ZSTD_entropyDTables_t, LLTable) + sizeof(entropy->LLTable));
1068c03c5b1cSMartin Matuska ZSTD_STATIC_ASSERT(offsetof(ZSTD_entropyDTables_t, MLTable) == offsetof(ZSTD_entropyDTables_t, OFTable) + sizeof(entropy->OFTable));
1069c03c5b1cSMartin Matuska ZSTD_STATIC_ASSERT(sizeof(entropy->LLTable) + sizeof(entropy->OFTable) + sizeof(entropy->MLTable) >= HUF_DECOMPRESS_WORKSPACE_SIZE);
1070c03c5b1cSMartin Matuska { void* const workspace = &entropy->LLTable; /* use fse tables as temporary workspace; implies fse tables are grouped together */
1071c03c5b1cSMartin Matuska size_t const workspaceSize = sizeof(entropy->LLTable) + sizeof(entropy->OFTable) + sizeof(entropy->MLTable);
1072c03c5b1cSMartin Matuska #ifdef HUF_FORCE_DECOMPRESS_X1
1073c03c5b1cSMartin Matuska /* in minimal huffman, we always use X1 variants */
1074c03c5b1cSMartin Matuska size_t const hSize = HUF_readDTableX1_wksp(entropy->hufTable,
1075c03c5b1cSMartin Matuska dictPtr, dictEnd - dictPtr,
1076c03c5b1cSMartin Matuska workspace, workspaceSize);
1077c03c5b1cSMartin Matuska #else
1078c03c5b1cSMartin Matuska size_t const hSize = HUF_readDTableX2_wksp(entropy->hufTable,
1079c03c5b1cSMartin Matuska dictPtr, dictEnd - dictPtr,
1080c03c5b1cSMartin Matuska workspace, workspaceSize);
1081c03c5b1cSMartin Matuska #endif
1082c03c5b1cSMartin Matuska RETURN_ERROR_IF(HUF_isError(hSize), dictionary_corrupted, "");
1083c03c5b1cSMartin Matuska dictPtr += hSize;
1084c03c5b1cSMartin Matuska }
1085c03c5b1cSMartin Matuska
1086c03c5b1cSMartin Matuska { short offcodeNCount[MaxOff+1];
1087c03c5b1cSMartin Matuska unsigned offcodeMaxValue = MaxOff, offcodeLog;
1088c03c5b1cSMartin Matuska size_t const offcodeHeaderSize = FSE_readNCount(offcodeNCount, &offcodeMaxValue, &offcodeLog, dictPtr, dictEnd-dictPtr);
1089c03c5b1cSMartin Matuska RETURN_ERROR_IF(FSE_isError(offcodeHeaderSize), dictionary_corrupted, "");
1090c03c5b1cSMartin Matuska RETURN_ERROR_IF(offcodeMaxValue > MaxOff, dictionary_corrupted, "");
1091c03c5b1cSMartin Matuska RETURN_ERROR_IF(offcodeLog > OffFSELog, dictionary_corrupted, "");
1092c03c5b1cSMartin Matuska ZSTD_buildFSETable( entropy->OFTable,
1093c03c5b1cSMartin Matuska offcodeNCount, offcodeMaxValue,
1094c03c5b1cSMartin Matuska OF_base, OF_bits,
1095c03c5b1cSMartin Matuska offcodeLog);
1096c03c5b1cSMartin Matuska dictPtr += offcodeHeaderSize;
1097c03c5b1cSMartin Matuska }
1098c03c5b1cSMartin Matuska
1099c03c5b1cSMartin Matuska { short matchlengthNCount[MaxML+1];
1100c03c5b1cSMartin Matuska unsigned matchlengthMaxValue = MaxML, matchlengthLog;
1101c03c5b1cSMartin Matuska size_t const matchlengthHeaderSize = FSE_readNCount(matchlengthNCount, &matchlengthMaxValue, &matchlengthLog, dictPtr, dictEnd-dictPtr);
1102c03c5b1cSMartin Matuska RETURN_ERROR_IF(FSE_isError(matchlengthHeaderSize), dictionary_corrupted, "");
1103c03c5b1cSMartin Matuska RETURN_ERROR_IF(matchlengthMaxValue > MaxML, dictionary_corrupted, "");
1104c03c5b1cSMartin Matuska RETURN_ERROR_IF(matchlengthLog > MLFSELog, dictionary_corrupted, "");
1105c03c5b1cSMartin Matuska ZSTD_buildFSETable( entropy->MLTable,
1106c03c5b1cSMartin Matuska matchlengthNCount, matchlengthMaxValue,
1107c03c5b1cSMartin Matuska ML_base, ML_bits,
1108c03c5b1cSMartin Matuska matchlengthLog);
1109c03c5b1cSMartin Matuska dictPtr += matchlengthHeaderSize;
1110c03c5b1cSMartin Matuska }
1111c03c5b1cSMartin Matuska
1112c03c5b1cSMartin Matuska { short litlengthNCount[MaxLL+1];
1113c03c5b1cSMartin Matuska unsigned litlengthMaxValue = MaxLL, litlengthLog;
1114c03c5b1cSMartin Matuska size_t const litlengthHeaderSize = FSE_readNCount(litlengthNCount, &litlengthMaxValue, &litlengthLog, dictPtr, dictEnd-dictPtr);
1115c03c5b1cSMartin Matuska RETURN_ERROR_IF(FSE_isError(litlengthHeaderSize), dictionary_corrupted, "");
1116c03c5b1cSMartin Matuska RETURN_ERROR_IF(litlengthMaxValue > MaxLL, dictionary_corrupted, "");
1117c03c5b1cSMartin Matuska RETURN_ERROR_IF(litlengthLog > LLFSELog, dictionary_corrupted, "");
1118c03c5b1cSMartin Matuska ZSTD_buildFSETable( entropy->LLTable,
1119c03c5b1cSMartin Matuska litlengthNCount, litlengthMaxValue,
1120c03c5b1cSMartin Matuska LL_base, LL_bits,
1121c03c5b1cSMartin Matuska litlengthLog);
1122c03c5b1cSMartin Matuska dictPtr += litlengthHeaderSize;
1123c03c5b1cSMartin Matuska }
1124c03c5b1cSMartin Matuska
1125c03c5b1cSMartin Matuska RETURN_ERROR_IF(dictPtr+12 > dictEnd, dictionary_corrupted, "");
1126c03c5b1cSMartin Matuska { int i;
1127c03c5b1cSMartin Matuska size_t const dictContentSize = (size_t)(dictEnd - (dictPtr+12));
1128c03c5b1cSMartin Matuska for (i=0; i<3; i++) {
1129c03c5b1cSMartin Matuska U32 const rep = MEM_readLE32(dictPtr); dictPtr += 4;
1130c03c5b1cSMartin Matuska RETURN_ERROR_IF(rep==0 || rep > dictContentSize,
1131c03c5b1cSMartin Matuska dictionary_corrupted, "");
1132c03c5b1cSMartin Matuska entropy->rep[i] = rep;
1133c03c5b1cSMartin Matuska } }
1134c03c5b1cSMartin Matuska
1135c03c5b1cSMartin Matuska return dictPtr - (const BYTE*)dict;
1136c03c5b1cSMartin Matuska }
1137c03c5b1cSMartin Matuska
ZSTD_decompress_insertDictionary(ZSTD_DCtx * dctx,const void * dict,size_t dictSize)1138c03c5b1cSMartin Matuska static size_t ZSTD_decompress_insertDictionary(ZSTD_DCtx* dctx, const void* dict, size_t dictSize)
1139c03c5b1cSMartin Matuska {
1140c03c5b1cSMartin Matuska if (dictSize < 8) return ZSTD_refDictContent(dctx, dict, dictSize);
1141c03c5b1cSMartin Matuska { U32 const magic = MEM_readLE32(dict);
1142c03c5b1cSMartin Matuska if (magic != ZSTD_MAGIC_DICTIONARY) {
1143c03c5b1cSMartin Matuska return ZSTD_refDictContent(dctx, dict, dictSize); /* pure content mode */
1144c03c5b1cSMartin Matuska } }
1145c03c5b1cSMartin Matuska dctx->dictID = MEM_readLE32((const char*)dict + ZSTD_FRAMEIDSIZE);
1146c03c5b1cSMartin Matuska
1147c03c5b1cSMartin Matuska /* load entropy tables */
1148c03c5b1cSMartin Matuska { size_t const eSize = ZSTD_loadDEntropy(&dctx->entropy, dict, dictSize);
1149c03c5b1cSMartin Matuska RETURN_ERROR_IF(ZSTD_isError(eSize), dictionary_corrupted, "");
1150c03c5b1cSMartin Matuska dict = (const char*)dict + eSize;
1151c03c5b1cSMartin Matuska dictSize -= eSize;
1152c03c5b1cSMartin Matuska }
1153c03c5b1cSMartin Matuska dctx->litEntropy = dctx->fseEntropy = 1;
1154c03c5b1cSMartin Matuska
1155c03c5b1cSMartin Matuska /* reference dictionary content */
1156c03c5b1cSMartin Matuska return ZSTD_refDictContent(dctx, dict, dictSize);
1157c03c5b1cSMartin Matuska }
1158c03c5b1cSMartin Matuska
ZSTD_decompressBegin(ZSTD_DCtx * dctx)1159c03c5b1cSMartin Matuska size_t ZSTD_decompressBegin(ZSTD_DCtx* dctx)
1160c03c5b1cSMartin Matuska {
1161c03c5b1cSMartin Matuska assert(dctx != NULL);
1162c03c5b1cSMartin Matuska dctx->expected = ZSTD_startingInputLength(dctx->format); /* dctx->format must be properly set */
1163c03c5b1cSMartin Matuska dctx->stage = ZSTDds_getFrameHeaderSize;
1164c03c5b1cSMartin Matuska dctx->decodedSize = 0;
1165c03c5b1cSMartin Matuska dctx->previousDstEnd = NULL;
1166c03c5b1cSMartin Matuska dctx->prefixStart = NULL;
1167c03c5b1cSMartin Matuska dctx->virtualStart = NULL;
1168c03c5b1cSMartin Matuska dctx->dictEnd = NULL;
1169c03c5b1cSMartin Matuska dctx->entropy.hufTable[0] = (HUF_DTable)((HufLog)*0x1000001); /* cover both little and big endian */
1170c03c5b1cSMartin Matuska dctx->litEntropy = dctx->fseEntropy = 0;
1171c03c5b1cSMartin Matuska dctx->dictID = 0;
1172c03c5b1cSMartin Matuska dctx->bType = bt_reserved;
1173c03c5b1cSMartin Matuska ZSTD_STATIC_ASSERT(sizeof(dctx->entropy.rep) == sizeof(repStartValue));
1174c03c5b1cSMartin Matuska memcpy(dctx->entropy.rep, repStartValue, sizeof(repStartValue)); /* initial repcodes */
1175c03c5b1cSMartin Matuska dctx->LLTptr = dctx->entropy.LLTable;
1176c03c5b1cSMartin Matuska dctx->MLTptr = dctx->entropy.MLTable;
1177c03c5b1cSMartin Matuska dctx->OFTptr = dctx->entropy.OFTable;
1178c03c5b1cSMartin Matuska dctx->HUFptr = dctx->entropy.hufTable;
1179c03c5b1cSMartin Matuska return 0;
1180c03c5b1cSMartin Matuska }
1181c03c5b1cSMartin Matuska
ZSTD_decompressBegin_usingDict(ZSTD_DCtx * dctx,const void * dict,size_t dictSize)1182c03c5b1cSMartin Matuska size_t ZSTD_decompressBegin_usingDict(ZSTD_DCtx* dctx, const void* dict, size_t dictSize)
1183c03c5b1cSMartin Matuska {
1184c03c5b1cSMartin Matuska FORWARD_IF_ERROR( ZSTD_decompressBegin(dctx) , "");
1185c03c5b1cSMartin Matuska if (dict && dictSize)
1186c03c5b1cSMartin Matuska RETURN_ERROR_IF(
1187c03c5b1cSMartin Matuska ZSTD_isError(ZSTD_decompress_insertDictionary(dctx, dict, dictSize)),
1188c03c5b1cSMartin Matuska dictionary_corrupted, "");
1189c03c5b1cSMartin Matuska return 0;
1190c03c5b1cSMartin Matuska }
1191c03c5b1cSMartin Matuska
1192c03c5b1cSMartin Matuska
1193c03c5b1cSMartin Matuska /* ====== ZSTD_DDict ====== */
1194c03c5b1cSMartin Matuska
ZSTD_decompressBegin_usingDDict(ZSTD_DCtx * dctx,const ZSTD_DDict * ddict)1195c03c5b1cSMartin Matuska size_t ZSTD_decompressBegin_usingDDict(ZSTD_DCtx* dctx, const ZSTD_DDict* ddict)
1196c03c5b1cSMartin Matuska {
1197c03c5b1cSMartin Matuska DEBUGLOG(4, "ZSTD_decompressBegin_usingDDict");
1198c03c5b1cSMartin Matuska assert(dctx != NULL);
1199c03c5b1cSMartin Matuska if (ddict) {
1200c03c5b1cSMartin Matuska const char* const dictStart = (const char*)ZSTD_DDict_dictContent(ddict);
1201c03c5b1cSMartin Matuska size_t const dictSize = ZSTD_DDict_dictSize(ddict);
1202c03c5b1cSMartin Matuska const void* const dictEnd = dictStart + dictSize;
1203c03c5b1cSMartin Matuska dctx->ddictIsCold = (dctx->dictEnd != dictEnd);
1204c03c5b1cSMartin Matuska DEBUGLOG(4, "DDict is %s",
1205c03c5b1cSMartin Matuska dctx->ddictIsCold ? "~cold~" : "hot!");
1206c03c5b1cSMartin Matuska }
1207c03c5b1cSMartin Matuska FORWARD_IF_ERROR( ZSTD_decompressBegin(dctx) , "");
1208c03c5b1cSMartin Matuska if (ddict) { /* NULL ddict is equivalent to no dictionary */
1209c03c5b1cSMartin Matuska ZSTD_copyDDictParameters(dctx, ddict);
1210c03c5b1cSMartin Matuska }
1211c03c5b1cSMartin Matuska return 0;
1212c03c5b1cSMartin Matuska }
1213c03c5b1cSMartin Matuska
1214c03c5b1cSMartin Matuska /*! ZSTD_getDictID_fromDict() :
1215c03c5b1cSMartin Matuska * Provides the dictID stored within dictionary.
1216c03c5b1cSMartin Matuska * if @return == 0, the dictionary is not conformant with Zstandard specification.
1217c03c5b1cSMartin Matuska * It can still be loaded, but as a content-only dictionary. */
ZSTD_getDictID_fromDict(const void * dict,size_t dictSize)1218c03c5b1cSMartin Matuska unsigned ZSTD_getDictID_fromDict(const void* dict, size_t dictSize)
1219c03c5b1cSMartin Matuska {
1220c03c5b1cSMartin Matuska if (dictSize < 8) return 0;
1221c03c5b1cSMartin Matuska if (MEM_readLE32(dict) != ZSTD_MAGIC_DICTIONARY) return 0;
1222c03c5b1cSMartin Matuska return MEM_readLE32((const char*)dict + ZSTD_FRAMEIDSIZE);
1223c03c5b1cSMartin Matuska }
1224c03c5b1cSMartin Matuska
1225c03c5b1cSMartin Matuska /*! ZSTD_getDictID_fromFrame() :
1226c03c5b1cSMartin Matuska * Provides the dictID required to decompress frame stored within `src`.
1227c03c5b1cSMartin Matuska * If @return == 0, the dictID could not be decoded.
1228c03c5b1cSMartin Matuska * This could for one of the following reasons :
1229c03c5b1cSMartin Matuska * - The frame does not require a dictionary (most common case).
1230c03c5b1cSMartin Matuska * - The frame was built with dictID intentionally removed.
1231c03c5b1cSMartin Matuska * Needed dictionary is a hidden information.
1232c03c5b1cSMartin Matuska * Note : this use case also happens when using a non-conformant dictionary.
1233c03c5b1cSMartin Matuska * - `srcSize` is too small, and as a result, frame header could not be decoded.
1234c03c5b1cSMartin Matuska * Note : possible if `srcSize < ZSTD_FRAMEHEADERSIZE_MAX`.
1235c03c5b1cSMartin Matuska * - This is not a Zstandard frame.
1236c03c5b1cSMartin Matuska * When identifying the exact failure cause, it's possible to use
1237c03c5b1cSMartin Matuska * ZSTD_getFrameHeader(), which will provide a more precise error code. */
ZSTD_getDictID_fromFrame(const void * src,size_t srcSize)1238c03c5b1cSMartin Matuska unsigned ZSTD_getDictID_fromFrame(const void* src, size_t srcSize)
1239c03c5b1cSMartin Matuska {
1240c03c5b1cSMartin Matuska ZSTD_frameHeader zfp = { 0, 0, 0, ZSTD_frame, 0, 0, 0 };
1241c03c5b1cSMartin Matuska size_t const hError = ZSTD_getFrameHeader(&zfp, src, srcSize);
1242c03c5b1cSMartin Matuska if (ZSTD_isError(hError)) return 0;
1243c03c5b1cSMartin Matuska return zfp.dictID;
1244c03c5b1cSMartin Matuska }
1245c03c5b1cSMartin Matuska
1246c03c5b1cSMartin Matuska
1247c03c5b1cSMartin Matuska /*! ZSTD_decompress_usingDDict() :
1248c03c5b1cSMartin Matuska * Decompression using a pre-digested Dictionary
1249c03c5b1cSMartin Matuska * Use dictionary without significant overhead. */
ZSTD_decompress_usingDDict(ZSTD_DCtx * dctx,void * dst,size_t dstCapacity,const void * src,size_t srcSize,const ZSTD_DDict * ddict)1250c03c5b1cSMartin Matuska size_t ZSTD_decompress_usingDDict(ZSTD_DCtx* dctx,
1251c03c5b1cSMartin Matuska void* dst, size_t dstCapacity,
1252c03c5b1cSMartin Matuska const void* src, size_t srcSize,
1253c03c5b1cSMartin Matuska const ZSTD_DDict* ddict)
1254c03c5b1cSMartin Matuska {
1255c03c5b1cSMartin Matuska /* pass content and size in case legacy frames are encountered */
1256c03c5b1cSMartin Matuska return ZSTD_decompressMultiFrame(dctx, dst, dstCapacity, src, srcSize,
1257c03c5b1cSMartin Matuska NULL, 0,
1258c03c5b1cSMartin Matuska ddict);
1259c03c5b1cSMartin Matuska }
1260c03c5b1cSMartin Matuska
1261c03c5b1cSMartin Matuska
1262c03c5b1cSMartin Matuska /*=====================================
1263c03c5b1cSMartin Matuska * Streaming decompression
1264c03c5b1cSMartin Matuska *====================================*/
1265c03c5b1cSMartin Matuska
ZSTD_createDStream(void)1266c03c5b1cSMartin Matuska ZSTD_DStream* ZSTD_createDStream(void)
1267c03c5b1cSMartin Matuska {
1268c03c5b1cSMartin Matuska DEBUGLOG(3, "ZSTD_createDStream");
1269c03c5b1cSMartin Matuska return ZSTD_createDStream_advanced(ZSTD_defaultCMem);
1270c03c5b1cSMartin Matuska }
1271c03c5b1cSMartin Matuska
ZSTD_initStaticDStream(void * workspace,size_t workspaceSize)1272c03c5b1cSMartin Matuska ZSTD_DStream* ZSTD_initStaticDStream(void *workspace, size_t workspaceSize)
1273c03c5b1cSMartin Matuska {
1274c03c5b1cSMartin Matuska return ZSTD_initStaticDCtx(workspace, workspaceSize);
1275c03c5b1cSMartin Matuska }
1276c03c5b1cSMartin Matuska
ZSTD_createDStream_advanced(ZSTD_customMem customMem)1277c03c5b1cSMartin Matuska ZSTD_DStream* ZSTD_createDStream_advanced(ZSTD_customMem customMem)
1278c03c5b1cSMartin Matuska {
1279c03c5b1cSMartin Matuska return ZSTD_createDCtx_advanced(customMem);
1280c03c5b1cSMartin Matuska }
1281c03c5b1cSMartin Matuska
ZSTD_freeDStream(ZSTD_DStream * zds)1282c03c5b1cSMartin Matuska size_t ZSTD_freeDStream(ZSTD_DStream* zds)
1283c03c5b1cSMartin Matuska {
1284c03c5b1cSMartin Matuska return ZSTD_freeDCtx(zds);
1285c03c5b1cSMartin Matuska }
1286c03c5b1cSMartin Matuska
1287c03c5b1cSMartin Matuska
1288c03c5b1cSMartin Matuska /* *** Initialization *** */
1289c03c5b1cSMartin Matuska
ZSTD_DStreamInSize(void)1290c03c5b1cSMartin Matuska size_t ZSTD_DStreamInSize(void) { return ZSTD_BLOCKSIZE_MAX + ZSTD_blockHeaderSize; }
ZSTD_DStreamOutSize(void)1291c03c5b1cSMartin Matuska size_t ZSTD_DStreamOutSize(void) { return ZSTD_BLOCKSIZE_MAX; }
1292c03c5b1cSMartin Matuska
ZSTD_DCtx_loadDictionary_advanced(ZSTD_DCtx * dctx,const void * dict,size_t dictSize,ZSTD_dictLoadMethod_e dictLoadMethod,ZSTD_dictContentType_e dictContentType)1293c03c5b1cSMartin Matuska size_t ZSTD_DCtx_loadDictionary_advanced(ZSTD_DCtx* dctx,
1294c03c5b1cSMartin Matuska const void* dict, size_t dictSize,
1295c03c5b1cSMartin Matuska ZSTD_dictLoadMethod_e dictLoadMethod,
1296c03c5b1cSMartin Matuska ZSTD_dictContentType_e dictContentType)
1297c03c5b1cSMartin Matuska {
1298c03c5b1cSMartin Matuska RETURN_ERROR_IF(dctx->streamStage != zdss_init, stage_wrong, "");
1299c03c5b1cSMartin Matuska ZSTD_clearDict(dctx);
1300c03c5b1cSMartin Matuska if (dict && dictSize != 0) {
1301c03c5b1cSMartin Matuska dctx->ddictLocal = ZSTD_createDDict_advanced(dict, dictSize, dictLoadMethod, dictContentType, dctx->customMem);
1302c03c5b1cSMartin Matuska RETURN_ERROR_IF(dctx->ddictLocal == NULL, memory_allocation, "NULL pointer!");
1303c03c5b1cSMartin Matuska dctx->ddict = dctx->ddictLocal;
1304c03c5b1cSMartin Matuska dctx->dictUses = ZSTD_use_indefinitely;
1305c03c5b1cSMartin Matuska }
1306c03c5b1cSMartin Matuska return 0;
1307c03c5b1cSMartin Matuska }
1308c03c5b1cSMartin Matuska
ZSTD_DCtx_loadDictionary_byReference(ZSTD_DCtx * dctx,const void * dict,size_t dictSize)1309c03c5b1cSMartin Matuska size_t ZSTD_DCtx_loadDictionary_byReference(ZSTD_DCtx* dctx, const void* dict, size_t dictSize)
1310c03c5b1cSMartin Matuska {
1311c03c5b1cSMartin Matuska return ZSTD_DCtx_loadDictionary_advanced(dctx, dict, dictSize, ZSTD_dlm_byRef, ZSTD_dct_auto);
1312c03c5b1cSMartin Matuska }
1313c03c5b1cSMartin Matuska
ZSTD_DCtx_loadDictionary(ZSTD_DCtx * dctx,const void * dict,size_t dictSize)1314c03c5b1cSMartin Matuska size_t ZSTD_DCtx_loadDictionary(ZSTD_DCtx* dctx, const void* dict, size_t dictSize)
1315c03c5b1cSMartin Matuska {
1316c03c5b1cSMartin Matuska return ZSTD_DCtx_loadDictionary_advanced(dctx, dict, dictSize, ZSTD_dlm_byCopy, ZSTD_dct_auto);
1317c03c5b1cSMartin Matuska }
1318c03c5b1cSMartin Matuska
ZSTD_DCtx_refPrefix_advanced(ZSTD_DCtx * dctx,const void * prefix,size_t prefixSize,ZSTD_dictContentType_e dictContentType)1319c03c5b1cSMartin Matuska size_t ZSTD_DCtx_refPrefix_advanced(ZSTD_DCtx* dctx, const void* prefix, size_t prefixSize, ZSTD_dictContentType_e dictContentType)
1320c03c5b1cSMartin Matuska {
1321c03c5b1cSMartin Matuska FORWARD_IF_ERROR(ZSTD_DCtx_loadDictionary_advanced(dctx, prefix, prefixSize, ZSTD_dlm_byRef, dictContentType), "");
1322c03c5b1cSMartin Matuska dctx->dictUses = ZSTD_use_once;
1323c03c5b1cSMartin Matuska return 0;
1324c03c5b1cSMartin Matuska }
1325c03c5b1cSMartin Matuska
ZSTD_DCtx_refPrefix(ZSTD_DCtx * dctx,const void * prefix,size_t prefixSize)1326c03c5b1cSMartin Matuska size_t ZSTD_DCtx_refPrefix(ZSTD_DCtx* dctx, const void* prefix, size_t prefixSize)
1327c03c5b1cSMartin Matuska {
1328c03c5b1cSMartin Matuska return ZSTD_DCtx_refPrefix_advanced(dctx, prefix, prefixSize, ZSTD_dct_rawContent);
1329c03c5b1cSMartin Matuska }
1330c03c5b1cSMartin Matuska
1331c03c5b1cSMartin Matuska
1332c03c5b1cSMartin Matuska /* ZSTD_initDStream_usingDict() :
1333c03c5b1cSMartin Matuska * return : expected size, aka ZSTD_startingInputLength().
1334c03c5b1cSMartin Matuska * this function cannot fail */
ZSTD_initDStream_usingDict(ZSTD_DStream * zds,const void * dict,size_t dictSize)1335c03c5b1cSMartin Matuska size_t ZSTD_initDStream_usingDict(ZSTD_DStream* zds, const void* dict, size_t dictSize)
1336c03c5b1cSMartin Matuska {
1337c03c5b1cSMartin Matuska DEBUGLOG(4, "ZSTD_initDStream_usingDict");
1338c03c5b1cSMartin Matuska FORWARD_IF_ERROR( ZSTD_DCtx_reset(zds, ZSTD_reset_session_only) , "");
1339c03c5b1cSMartin Matuska FORWARD_IF_ERROR( ZSTD_DCtx_loadDictionary(zds, dict, dictSize) , "");
1340c03c5b1cSMartin Matuska return ZSTD_startingInputLength(zds->format);
1341c03c5b1cSMartin Matuska }
1342c03c5b1cSMartin Matuska
1343c03c5b1cSMartin Matuska /* note : this variant can't fail */
ZSTD_initDStream(ZSTD_DStream * zds)1344c03c5b1cSMartin Matuska size_t ZSTD_initDStream(ZSTD_DStream* zds)
1345c03c5b1cSMartin Matuska {
1346c03c5b1cSMartin Matuska DEBUGLOG(4, "ZSTD_initDStream");
1347c03c5b1cSMartin Matuska return ZSTD_initDStream_usingDDict(zds, NULL);
1348c03c5b1cSMartin Matuska }
1349c03c5b1cSMartin Matuska
1350c03c5b1cSMartin Matuska /* ZSTD_initDStream_usingDDict() :
1351c03c5b1cSMartin Matuska * ddict will just be referenced, and must outlive decompression session
1352c03c5b1cSMartin Matuska * this function cannot fail */
ZSTD_initDStream_usingDDict(ZSTD_DStream * dctx,const ZSTD_DDict * ddict)1353c03c5b1cSMartin Matuska size_t ZSTD_initDStream_usingDDict(ZSTD_DStream* dctx, const ZSTD_DDict* ddict)
1354c03c5b1cSMartin Matuska {
1355c03c5b1cSMartin Matuska FORWARD_IF_ERROR( ZSTD_DCtx_reset(dctx, ZSTD_reset_session_only) , "");
1356c03c5b1cSMartin Matuska FORWARD_IF_ERROR( ZSTD_DCtx_refDDict(dctx, ddict) , "");
1357c03c5b1cSMartin Matuska return ZSTD_startingInputLength(dctx->format);
1358c03c5b1cSMartin Matuska }
1359c03c5b1cSMartin Matuska
1360c03c5b1cSMartin Matuska /* ZSTD_resetDStream() :
1361c03c5b1cSMartin Matuska * return : expected size, aka ZSTD_startingInputLength().
1362c03c5b1cSMartin Matuska * this function cannot fail */
ZSTD_resetDStream(ZSTD_DStream * dctx)1363c03c5b1cSMartin Matuska size_t ZSTD_resetDStream(ZSTD_DStream* dctx)
1364c03c5b1cSMartin Matuska {
1365c03c5b1cSMartin Matuska FORWARD_IF_ERROR(ZSTD_DCtx_reset(dctx, ZSTD_reset_session_only), "");
1366c03c5b1cSMartin Matuska return ZSTD_startingInputLength(dctx->format);
1367c03c5b1cSMartin Matuska }
1368c03c5b1cSMartin Matuska
1369c03c5b1cSMartin Matuska
ZSTD_DCtx_refDDict(ZSTD_DCtx * dctx,const ZSTD_DDict * ddict)1370c03c5b1cSMartin Matuska size_t ZSTD_DCtx_refDDict(ZSTD_DCtx* dctx, const ZSTD_DDict* ddict)
1371c03c5b1cSMartin Matuska {
1372c03c5b1cSMartin Matuska RETURN_ERROR_IF(dctx->streamStage != zdss_init, stage_wrong, "");
1373c03c5b1cSMartin Matuska ZSTD_clearDict(dctx);
1374c03c5b1cSMartin Matuska if (ddict) {
1375c03c5b1cSMartin Matuska dctx->ddict = ddict;
1376c03c5b1cSMartin Matuska dctx->dictUses = ZSTD_use_indefinitely;
1377c03c5b1cSMartin Matuska }
1378c03c5b1cSMartin Matuska return 0;
1379c03c5b1cSMartin Matuska }
1380c03c5b1cSMartin Matuska
1381c03c5b1cSMartin Matuska /* ZSTD_DCtx_setMaxWindowSize() :
1382c03c5b1cSMartin Matuska * note : no direct equivalence in ZSTD_DCtx_setParameter,
1383c03c5b1cSMartin Matuska * since this version sets windowSize, and the other sets windowLog */
ZSTD_DCtx_setMaxWindowSize(ZSTD_DCtx * dctx,size_t maxWindowSize)1384c03c5b1cSMartin Matuska size_t ZSTD_DCtx_setMaxWindowSize(ZSTD_DCtx* dctx, size_t maxWindowSize)
1385c03c5b1cSMartin Matuska {
1386c03c5b1cSMartin Matuska ZSTD_bounds const bounds = ZSTD_dParam_getBounds(ZSTD_d_windowLogMax);
1387c03c5b1cSMartin Matuska size_t const min = (size_t)1 << bounds.lowerBound;
1388c03c5b1cSMartin Matuska size_t const max = (size_t)1 << bounds.upperBound;
1389c03c5b1cSMartin Matuska RETURN_ERROR_IF(dctx->streamStage != zdss_init, stage_wrong, "");
1390c03c5b1cSMartin Matuska RETURN_ERROR_IF(maxWindowSize < min, parameter_outOfBound, "");
1391c03c5b1cSMartin Matuska RETURN_ERROR_IF(maxWindowSize > max, parameter_outOfBound, "");
1392c03c5b1cSMartin Matuska dctx->maxWindowSize = maxWindowSize;
1393c03c5b1cSMartin Matuska return 0;
1394c03c5b1cSMartin Matuska }
1395c03c5b1cSMartin Matuska
ZSTD_DCtx_setFormat(ZSTD_DCtx * dctx,ZSTD_format_e format)1396c03c5b1cSMartin Matuska size_t ZSTD_DCtx_setFormat(ZSTD_DCtx* dctx, ZSTD_format_e format)
1397c03c5b1cSMartin Matuska {
1398c03c5b1cSMartin Matuska return ZSTD_DCtx_setParameter(dctx, ZSTD_d_format, format);
1399c03c5b1cSMartin Matuska }
1400c03c5b1cSMartin Matuska
ZSTD_dParam_getBounds(ZSTD_dParameter dParam)1401c03c5b1cSMartin Matuska ZSTD_bounds ZSTD_dParam_getBounds(ZSTD_dParameter dParam)
1402c03c5b1cSMartin Matuska {
1403c03c5b1cSMartin Matuska ZSTD_bounds bounds = { 0, 0, 0 };
1404c03c5b1cSMartin Matuska switch(dParam) {
1405c03c5b1cSMartin Matuska case ZSTD_d_windowLogMax:
1406c03c5b1cSMartin Matuska bounds.lowerBound = ZSTD_WINDOWLOG_ABSOLUTEMIN;
1407c03c5b1cSMartin Matuska bounds.upperBound = ZSTD_WINDOWLOG_MAX;
1408c03c5b1cSMartin Matuska return bounds;
1409c03c5b1cSMartin Matuska case ZSTD_d_format:
1410c03c5b1cSMartin Matuska bounds.lowerBound = (int)ZSTD_f_zstd1;
1411c03c5b1cSMartin Matuska bounds.upperBound = (int)ZSTD_f_zstd1_magicless;
1412c03c5b1cSMartin Matuska ZSTD_STATIC_ASSERT(ZSTD_f_zstd1 < ZSTD_f_zstd1_magicless);
1413c03c5b1cSMartin Matuska return bounds;
1414c03c5b1cSMartin Matuska case ZSTD_d_stableOutBuffer:
1415c03c5b1cSMartin Matuska bounds.lowerBound = (int)ZSTD_obm_buffered;
1416c03c5b1cSMartin Matuska bounds.upperBound = (int)ZSTD_obm_stable;
1417c03c5b1cSMartin Matuska return bounds;
1418c03c5b1cSMartin Matuska default:;
1419c03c5b1cSMartin Matuska }
1420c03c5b1cSMartin Matuska bounds.error = ERROR(parameter_unsupported);
1421c03c5b1cSMartin Matuska return bounds;
1422c03c5b1cSMartin Matuska }
1423c03c5b1cSMartin Matuska
1424c03c5b1cSMartin Matuska /* ZSTD_dParam_withinBounds:
1425c03c5b1cSMartin Matuska * @return 1 if value is within dParam bounds,
1426c03c5b1cSMartin Matuska * 0 otherwise */
ZSTD_dParam_withinBounds(ZSTD_dParameter dParam,int value)1427c03c5b1cSMartin Matuska static int ZSTD_dParam_withinBounds(ZSTD_dParameter dParam, int value)
1428c03c5b1cSMartin Matuska {
1429c03c5b1cSMartin Matuska ZSTD_bounds const bounds = ZSTD_dParam_getBounds(dParam);
1430c03c5b1cSMartin Matuska if (ZSTD_isError(bounds.error)) return 0;
1431c03c5b1cSMartin Matuska if (value < bounds.lowerBound) return 0;
1432c03c5b1cSMartin Matuska if (value > bounds.upperBound) return 0;
1433c03c5b1cSMartin Matuska return 1;
1434c03c5b1cSMartin Matuska }
1435c03c5b1cSMartin Matuska
1436c03c5b1cSMartin Matuska #define CHECK_DBOUNDS(p,v) { \
1437c03c5b1cSMartin Matuska RETURN_ERROR_IF(!ZSTD_dParam_withinBounds(p, v), parameter_outOfBound, ""); \
1438c03c5b1cSMartin Matuska }
1439c03c5b1cSMartin Matuska
ZSTD_DCtx_setParameter(ZSTD_DCtx * dctx,ZSTD_dParameter dParam,int value)1440c03c5b1cSMartin Matuska size_t ZSTD_DCtx_setParameter(ZSTD_DCtx* dctx, ZSTD_dParameter dParam, int value)
1441c03c5b1cSMartin Matuska {
1442c03c5b1cSMartin Matuska RETURN_ERROR_IF(dctx->streamStage != zdss_init, stage_wrong, "");
1443c03c5b1cSMartin Matuska switch(dParam) {
1444c03c5b1cSMartin Matuska case ZSTD_d_windowLogMax:
1445c03c5b1cSMartin Matuska if (value == 0) value = ZSTD_WINDOWLOG_LIMIT_DEFAULT;
1446c03c5b1cSMartin Matuska CHECK_DBOUNDS(ZSTD_d_windowLogMax, value);
1447c03c5b1cSMartin Matuska dctx->maxWindowSize = ((size_t)1) << value;
1448c03c5b1cSMartin Matuska return 0;
1449c03c5b1cSMartin Matuska case ZSTD_d_format:
1450c03c5b1cSMartin Matuska CHECK_DBOUNDS(ZSTD_d_format, value);
1451c03c5b1cSMartin Matuska dctx->format = (ZSTD_format_e)value;
1452c03c5b1cSMartin Matuska return 0;
1453c03c5b1cSMartin Matuska case ZSTD_d_stableOutBuffer:
1454c03c5b1cSMartin Matuska CHECK_DBOUNDS(ZSTD_d_stableOutBuffer, value);
1455c03c5b1cSMartin Matuska dctx->outBufferMode = (ZSTD_outBufferMode_e)value;
1456c03c5b1cSMartin Matuska return 0;
1457c03c5b1cSMartin Matuska default:;
1458c03c5b1cSMartin Matuska }
1459c03c5b1cSMartin Matuska RETURN_ERROR(parameter_unsupported, "");
1460c03c5b1cSMartin Matuska }
1461c03c5b1cSMartin Matuska
ZSTD_DCtx_reset(ZSTD_DCtx * dctx,ZSTD_ResetDirective reset)1462c03c5b1cSMartin Matuska size_t ZSTD_DCtx_reset(ZSTD_DCtx* dctx, ZSTD_ResetDirective reset)
1463c03c5b1cSMartin Matuska {
1464c03c5b1cSMartin Matuska if ( (reset == ZSTD_reset_session_only)
1465c03c5b1cSMartin Matuska || (reset == ZSTD_reset_session_and_parameters) ) {
1466c03c5b1cSMartin Matuska dctx->streamStage = zdss_init;
1467c03c5b1cSMartin Matuska dctx->noForwardProgress = 0;
1468c03c5b1cSMartin Matuska }
1469c03c5b1cSMartin Matuska if ( (reset == ZSTD_reset_parameters)
1470c03c5b1cSMartin Matuska || (reset == ZSTD_reset_session_and_parameters) ) {
1471c03c5b1cSMartin Matuska RETURN_ERROR_IF(dctx->streamStage != zdss_init, stage_wrong, "");
1472c03c5b1cSMartin Matuska ZSTD_clearDict(dctx);
1473c03c5b1cSMartin Matuska dctx->format = ZSTD_f_zstd1;
1474c03c5b1cSMartin Matuska dctx->maxWindowSize = ZSTD_MAXWINDOWSIZE_DEFAULT;
1475c03c5b1cSMartin Matuska }
1476c03c5b1cSMartin Matuska return 0;
1477c03c5b1cSMartin Matuska }
1478c03c5b1cSMartin Matuska
1479c03c5b1cSMartin Matuska
ZSTD_sizeof_DStream(const ZSTD_DStream * dctx)1480c03c5b1cSMartin Matuska size_t ZSTD_sizeof_DStream(const ZSTD_DStream* dctx)
1481c03c5b1cSMartin Matuska {
1482c03c5b1cSMartin Matuska return ZSTD_sizeof_DCtx(dctx);
1483c03c5b1cSMartin Matuska }
1484c03c5b1cSMartin Matuska
ZSTD_decodingBufferSize_min(unsigned long long windowSize,unsigned long long frameContentSize)1485c03c5b1cSMartin Matuska size_t ZSTD_decodingBufferSize_min(unsigned long long windowSize, unsigned long long frameContentSize)
1486c03c5b1cSMartin Matuska {
1487c03c5b1cSMartin Matuska size_t const blockSize = (size_t) MIN(windowSize, ZSTD_BLOCKSIZE_MAX);
1488c03c5b1cSMartin Matuska unsigned long long const neededRBSize = windowSize + blockSize + (WILDCOPY_OVERLENGTH * 2);
1489c03c5b1cSMartin Matuska unsigned long long const neededSize = MIN(frameContentSize, neededRBSize);
1490c03c5b1cSMartin Matuska size_t const minRBSize = (size_t) neededSize;
1491c03c5b1cSMartin Matuska RETURN_ERROR_IF((unsigned long long)minRBSize != neededSize,
1492c03c5b1cSMartin Matuska frameParameter_windowTooLarge, "");
1493c03c5b1cSMartin Matuska return minRBSize;
1494c03c5b1cSMartin Matuska }
1495c03c5b1cSMartin Matuska
ZSTD_estimateDStreamSize(size_t windowSize)1496c03c5b1cSMartin Matuska size_t ZSTD_estimateDStreamSize(size_t windowSize)
1497c03c5b1cSMartin Matuska {
1498c03c5b1cSMartin Matuska size_t const blockSize = MIN(windowSize, ZSTD_BLOCKSIZE_MAX);
1499c03c5b1cSMartin Matuska size_t const inBuffSize = blockSize; /* no block can be larger */
1500c03c5b1cSMartin Matuska size_t const outBuffSize = ZSTD_decodingBufferSize_min(windowSize, ZSTD_CONTENTSIZE_UNKNOWN);
1501c03c5b1cSMartin Matuska return ZSTD_estimateDCtxSize() + inBuffSize + outBuffSize;
1502c03c5b1cSMartin Matuska }
1503c03c5b1cSMartin Matuska
ZSTD_estimateDStreamSize_fromFrame(const void * src,size_t srcSize)1504c03c5b1cSMartin Matuska size_t ZSTD_estimateDStreamSize_fromFrame(const void* src, size_t srcSize)
1505c03c5b1cSMartin Matuska {
1506c03c5b1cSMartin Matuska U32 const windowSizeMax = 1U << ZSTD_WINDOWLOG_MAX; /* note : should be user-selectable, but requires an additional parameter (or a dctx) */
1507c03c5b1cSMartin Matuska ZSTD_frameHeader zfh;
1508c03c5b1cSMartin Matuska size_t const err = ZSTD_getFrameHeader(&zfh, src, srcSize);
1509c03c5b1cSMartin Matuska if (ZSTD_isError(err)) return err;
1510c03c5b1cSMartin Matuska RETURN_ERROR_IF(err>0, srcSize_wrong, "");
1511c03c5b1cSMartin Matuska RETURN_ERROR_IF(zfh.windowSize > windowSizeMax,
1512c03c5b1cSMartin Matuska frameParameter_windowTooLarge, "");
1513c03c5b1cSMartin Matuska return ZSTD_estimateDStreamSize((size_t)zfh.windowSize);
1514c03c5b1cSMartin Matuska }
1515c03c5b1cSMartin Matuska
1516c03c5b1cSMartin Matuska
1517c03c5b1cSMartin Matuska /* ***** Decompression ***** */
1518c03c5b1cSMartin Matuska
ZSTD_DCtx_isOverflow(ZSTD_DStream * zds,size_t const neededInBuffSize,size_t const neededOutBuffSize)1519c03c5b1cSMartin Matuska static int ZSTD_DCtx_isOverflow(ZSTD_DStream* zds, size_t const neededInBuffSize, size_t const neededOutBuffSize)
1520c03c5b1cSMartin Matuska {
1521c03c5b1cSMartin Matuska return (zds->inBuffSize + zds->outBuffSize) >= (neededInBuffSize + neededOutBuffSize) * ZSTD_WORKSPACETOOLARGE_FACTOR;
1522c03c5b1cSMartin Matuska }
1523c03c5b1cSMartin Matuska
ZSTD_DCtx_updateOversizedDuration(ZSTD_DStream * zds,size_t const neededInBuffSize,size_t const neededOutBuffSize)1524c03c5b1cSMartin Matuska static void ZSTD_DCtx_updateOversizedDuration(ZSTD_DStream* zds, size_t const neededInBuffSize, size_t const neededOutBuffSize)
1525c03c5b1cSMartin Matuska {
1526c03c5b1cSMartin Matuska if (ZSTD_DCtx_isOverflow(zds, neededInBuffSize, neededOutBuffSize))
1527c03c5b1cSMartin Matuska zds->oversizedDuration++;
1528c03c5b1cSMartin Matuska else
1529c03c5b1cSMartin Matuska zds->oversizedDuration = 0;
1530c03c5b1cSMartin Matuska }
1531c03c5b1cSMartin Matuska
ZSTD_DCtx_isOversizedTooLong(ZSTD_DStream * zds)1532c03c5b1cSMartin Matuska static int ZSTD_DCtx_isOversizedTooLong(ZSTD_DStream* zds)
1533c03c5b1cSMartin Matuska {
1534c03c5b1cSMartin Matuska return zds->oversizedDuration >= ZSTD_WORKSPACETOOLARGE_MAXDURATION;
1535c03c5b1cSMartin Matuska }
1536c03c5b1cSMartin Matuska
1537c03c5b1cSMartin Matuska /* Checks that the output buffer hasn't changed if ZSTD_obm_stable is used. */
ZSTD_checkOutBuffer(ZSTD_DStream const * zds,ZSTD_outBuffer const * output)1538c03c5b1cSMartin Matuska static size_t ZSTD_checkOutBuffer(ZSTD_DStream const* zds, ZSTD_outBuffer const* output)
1539c03c5b1cSMartin Matuska {
1540c03c5b1cSMartin Matuska ZSTD_outBuffer const expect = zds->expectedOutBuffer;
1541c03c5b1cSMartin Matuska /* No requirement when ZSTD_obm_stable is not enabled. */
1542c03c5b1cSMartin Matuska if (zds->outBufferMode != ZSTD_obm_stable)
1543c03c5b1cSMartin Matuska return 0;
1544c03c5b1cSMartin Matuska /* Any buffer is allowed in zdss_init, this must be the same for every other call until
1545c03c5b1cSMartin Matuska * the context is reset.
1546c03c5b1cSMartin Matuska */
1547c03c5b1cSMartin Matuska if (zds->streamStage == zdss_init)
1548c03c5b1cSMartin Matuska return 0;
1549c03c5b1cSMartin Matuska /* The buffer must match our expectation exactly. */
1550c03c5b1cSMartin Matuska if (expect.dst == output->dst && expect.pos == output->pos && expect.size == output->size)
1551c03c5b1cSMartin Matuska return 0;
1552c03c5b1cSMartin Matuska RETURN_ERROR(dstBuffer_wrong, "ZSTD_obm_stable enabled but output differs!");
1553c03c5b1cSMartin Matuska }
1554c03c5b1cSMartin Matuska
1555c03c5b1cSMartin Matuska /* Calls ZSTD_decompressContinue() with the right parameters for ZSTD_decompressStream()
1556c03c5b1cSMartin Matuska * and updates the stage and the output buffer state. This call is extracted so it can be
1557c03c5b1cSMartin Matuska * used both when reading directly from the ZSTD_inBuffer, and in buffered input mode.
1558c03c5b1cSMartin Matuska * NOTE: You must break after calling this function since the streamStage is modified.
1559c03c5b1cSMartin Matuska */
ZSTD_decompressContinueStream(ZSTD_DStream * zds,char ** op,char * oend,void const * src,size_t srcSize)1560c03c5b1cSMartin Matuska static size_t ZSTD_decompressContinueStream(
1561c03c5b1cSMartin Matuska ZSTD_DStream* zds, char** op, char* oend,
1562c03c5b1cSMartin Matuska void const* src, size_t srcSize) {
1563c03c5b1cSMartin Matuska int const isSkipFrame = ZSTD_isSkipFrame(zds);
1564c03c5b1cSMartin Matuska if (zds->outBufferMode == ZSTD_obm_buffered) {
1565c03c5b1cSMartin Matuska size_t const dstSize = isSkipFrame ? 0 : zds->outBuffSize - zds->outStart;
1566c03c5b1cSMartin Matuska size_t const decodedSize = ZSTD_decompressContinue(zds,
1567c03c5b1cSMartin Matuska zds->outBuff + zds->outStart, dstSize, src, srcSize);
1568c03c5b1cSMartin Matuska FORWARD_IF_ERROR(decodedSize, "");
1569c03c5b1cSMartin Matuska if (!decodedSize && !isSkipFrame) {
1570c03c5b1cSMartin Matuska zds->streamStage = zdss_read;
1571c03c5b1cSMartin Matuska } else {
1572c03c5b1cSMartin Matuska zds->outEnd = zds->outStart + decodedSize;
1573c03c5b1cSMartin Matuska zds->streamStage = zdss_flush;
1574c03c5b1cSMartin Matuska }
1575c03c5b1cSMartin Matuska } else {
1576c03c5b1cSMartin Matuska /* Write directly into the output buffer */
1577c03c5b1cSMartin Matuska size_t const dstSize = isSkipFrame ? 0 : oend - *op;
1578c03c5b1cSMartin Matuska size_t const decodedSize = ZSTD_decompressContinue(zds, *op, dstSize, src, srcSize);
1579c03c5b1cSMartin Matuska FORWARD_IF_ERROR(decodedSize, "");
1580c03c5b1cSMartin Matuska *op += decodedSize;
1581c03c5b1cSMartin Matuska /* Flushing is not needed. */
1582c03c5b1cSMartin Matuska zds->streamStage = zdss_read;
1583c03c5b1cSMartin Matuska assert(*op <= oend);
1584c03c5b1cSMartin Matuska assert(zds->outBufferMode == ZSTD_obm_stable);
1585c03c5b1cSMartin Matuska }
1586c03c5b1cSMartin Matuska return 0;
1587c03c5b1cSMartin Matuska }
1588c03c5b1cSMartin Matuska
ZSTD_decompressStream(ZSTD_DStream * zds,ZSTD_outBuffer * output,ZSTD_inBuffer * input)1589c03c5b1cSMartin Matuska size_t ZSTD_decompressStream(ZSTD_DStream* zds, ZSTD_outBuffer* output, ZSTD_inBuffer* input)
1590c03c5b1cSMartin Matuska {
1591c03c5b1cSMartin Matuska const char* const src = (const char*)input->src;
1592c03c5b1cSMartin Matuska const char* const istart = input->pos != 0 ? src + input->pos : src;
1593c03c5b1cSMartin Matuska const char* const iend = input->size != 0 ? src + input->size : src;
1594c03c5b1cSMartin Matuska const char* ip = istart;
1595c03c5b1cSMartin Matuska char* const dst = (char*)output->dst;
1596c03c5b1cSMartin Matuska char* const ostart = output->pos != 0 ? dst + output->pos : dst;
1597c03c5b1cSMartin Matuska char* const oend = output->size != 0 ? dst + output->size : dst;
1598c03c5b1cSMartin Matuska char* op = ostart;
1599c03c5b1cSMartin Matuska U32 someMoreWork = 1;
1600c03c5b1cSMartin Matuska
1601c03c5b1cSMartin Matuska DEBUGLOG(5, "ZSTD_decompressStream");
1602c03c5b1cSMartin Matuska RETURN_ERROR_IF(
1603c03c5b1cSMartin Matuska input->pos > input->size,
1604c03c5b1cSMartin Matuska srcSize_wrong,
1605c03c5b1cSMartin Matuska "forbidden. in: pos: %u vs size: %u",
1606c03c5b1cSMartin Matuska (U32)input->pos, (U32)input->size);
1607c03c5b1cSMartin Matuska RETURN_ERROR_IF(
1608c03c5b1cSMartin Matuska output->pos > output->size,
1609c03c5b1cSMartin Matuska dstSize_tooSmall,
1610c03c5b1cSMartin Matuska "forbidden. out: pos: %u vs size: %u",
1611c03c5b1cSMartin Matuska (U32)output->pos, (U32)output->size);
1612c03c5b1cSMartin Matuska DEBUGLOG(5, "input size : %u", (U32)(input->size - input->pos));
1613c03c5b1cSMartin Matuska FORWARD_IF_ERROR(ZSTD_checkOutBuffer(zds, output), "");
1614c03c5b1cSMartin Matuska
1615c03c5b1cSMartin Matuska while (someMoreWork) {
1616c03c5b1cSMartin Matuska switch(zds->streamStage)
1617c03c5b1cSMartin Matuska {
1618c03c5b1cSMartin Matuska case zdss_init :
1619c03c5b1cSMartin Matuska DEBUGLOG(5, "stage zdss_init => transparent reset ");
1620c03c5b1cSMartin Matuska zds->streamStage = zdss_loadHeader;
1621c03c5b1cSMartin Matuska zds->lhSize = zds->inPos = zds->outStart = zds->outEnd = 0;
1622c03c5b1cSMartin Matuska zds->legacyVersion = 0;
1623c03c5b1cSMartin Matuska zds->hostageByte = 0;
1624c03c5b1cSMartin Matuska zds->expectedOutBuffer = *output;
1625c03c5b1cSMartin Matuska /* fall-through */
1626c03c5b1cSMartin Matuska
1627c03c5b1cSMartin Matuska case zdss_loadHeader :
1628c03c5b1cSMartin Matuska DEBUGLOG(5, "stage zdss_loadHeader (srcSize : %u)", (U32)(iend - ip));
1629c03c5b1cSMartin Matuska #if defined(ZSTD_LEGACY_SUPPORT) && (ZSTD_LEGACY_SUPPORT>=1)
1630c03c5b1cSMartin Matuska if (zds->legacyVersion) {
1631c03c5b1cSMartin Matuska RETURN_ERROR_IF(zds->staticSize, memory_allocation,
1632c03c5b1cSMartin Matuska "legacy support is incompatible with static dctx");
1633c03c5b1cSMartin Matuska { size_t const hint = ZSTD_decompressLegacyStream(zds->legacyContext, zds->legacyVersion, output, input);
1634c03c5b1cSMartin Matuska if (hint==0) zds->streamStage = zdss_init;
1635c03c5b1cSMartin Matuska return hint;
1636c03c5b1cSMartin Matuska } }
1637c03c5b1cSMartin Matuska #endif
1638c03c5b1cSMartin Matuska { size_t const hSize = ZSTD_getFrameHeader_advanced(&zds->fParams, zds->headerBuffer, zds->lhSize, zds->format);
1639c03c5b1cSMartin Matuska DEBUGLOG(5, "header size : %u", (U32)hSize);
1640c03c5b1cSMartin Matuska if (ZSTD_isError(hSize)) {
1641c03c5b1cSMartin Matuska #if defined(ZSTD_LEGACY_SUPPORT) && (ZSTD_LEGACY_SUPPORT>=1)
1642c03c5b1cSMartin Matuska U32 const legacyVersion = ZSTD_isLegacy(istart, iend-istart);
1643c03c5b1cSMartin Matuska if (legacyVersion) {
1644c03c5b1cSMartin Matuska ZSTD_DDict const* const ddict = ZSTD_getDDict(zds);
1645c03c5b1cSMartin Matuska const void* const dict = ddict ? ZSTD_DDict_dictContent(ddict) : NULL;
1646c03c5b1cSMartin Matuska size_t const dictSize = ddict ? ZSTD_DDict_dictSize(ddict) : 0;
1647c03c5b1cSMartin Matuska DEBUGLOG(5, "ZSTD_decompressStream: detected legacy version v0.%u", legacyVersion);
1648c03c5b1cSMartin Matuska RETURN_ERROR_IF(zds->staticSize, memory_allocation,
1649c03c5b1cSMartin Matuska "legacy support is incompatible with static dctx");
1650c03c5b1cSMartin Matuska FORWARD_IF_ERROR(ZSTD_initLegacyStream(&zds->legacyContext,
1651c03c5b1cSMartin Matuska zds->previousLegacyVersion, legacyVersion,
1652c03c5b1cSMartin Matuska dict, dictSize), "");
1653c03c5b1cSMartin Matuska zds->legacyVersion = zds->previousLegacyVersion = legacyVersion;
1654c03c5b1cSMartin Matuska { size_t const hint = ZSTD_decompressLegacyStream(zds->legacyContext, legacyVersion, output, input);
1655c03c5b1cSMartin Matuska if (hint==0) zds->streamStage = zdss_init; /* or stay in stage zdss_loadHeader */
1656c03c5b1cSMartin Matuska return hint;
1657c03c5b1cSMartin Matuska } }
1658c03c5b1cSMartin Matuska #endif
1659c03c5b1cSMartin Matuska return hSize; /* error */
1660c03c5b1cSMartin Matuska }
1661c03c5b1cSMartin Matuska if (hSize != 0) { /* need more input */
1662c03c5b1cSMartin Matuska size_t const toLoad = hSize - zds->lhSize; /* if hSize!=0, hSize > zds->lhSize */
1663c03c5b1cSMartin Matuska size_t const remainingInput = (size_t)(iend-ip);
1664c03c5b1cSMartin Matuska assert(iend >= ip);
1665c03c5b1cSMartin Matuska if (toLoad > remainingInput) { /* not enough input to load full header */
1666c03c5b1cSMartin Matuska if (remainingInput > 0) {
1667c03c5b1cSMartin Matuska memcpy(zds->headerBuffer + zds->lhSize, ip, remainingInput);
1668c03c5b1cSMartin Matuska zds->lhSize += remainingInput;
1669c03c5b1cSMartin Matuska }
1670c03c5b1cSMartin Matuska input->pos = input->size;
1671c03c5b1cSMartin Matuska return (MAX((size_t)ZSTD_FRAMEHEADERSIZE_MIN(zds->format), hSize) - zds->lhSize) + ZSTD_blockHeaderSize; /* remaining header bytes + next block header */
1672c03c5b1cSMartin Matuska }
1673c03c5b1cSMartin Matuska assert(ip != NULL);
1674c03c5b1cSMartin Matuska memcpy(zds->headerBuffer + zds->lhSize, ip, toLoad); zds->lhSize = hSize; ip += toLoad;
1675c03c5b1cSMartin Matuska break;
1676c03c5b1cSMartin Matuska } }
1677c03c5b1cSMartin Matuska
1678c03c5b1cSMartin Matuska /* check for single-pass mode opportunity */
1679c03c5b1cSMartin Matuska if (zds->fParams.frameContentSize != ZSTD_CONTENTSIZE_UNKNOWN
1680c03c5b1cSMartin Matuska && zds->fParams.frameType != ZSTD_skippableFrame
1681c03c5b1cSMartin Matuska && (U64)(size_t)(oend-op) >= zds->fParams.frameContentSize) {
1682c03c5b1cSMartin Matuska size_t const cSize = ZSTD_findFrameCompressedSize(istart, iend-istart);
1683c03c5b1cSMartin Matuska if (cSize <= (size_t)(iend-istart)) {
1684c03c5b1cSMartin Matuska /* shortcut : using single-pass mode */
1685c03c5b1cSMartin Matuska size_t const decompressedSize = ZSTD_decompress_usingDDict(zds, op, oend-op, istart, cSize, ZSTD_getDDict(zds));
1686c03c5b1cSMartin Matuska if (ZSTD_isError(decompressedSize)) return decompressedSize;
1687c03c5b1cSMartin Matuska DEBUGLOG(4, "shortcut to single-pass ZSTD_decompress_usingDDict()")
1688c03c5b1cSMartin Matuska ip = istart + cSize;
1689c03c5b1cSMartin Matuska op += decompressedSize;
1690c03c5b1cSMartin Matuska zds->expected = 0;
1691c03c5b1cSMartin Matuska zds->streamStage = zdss_init;
1692c03c5b1cSMartin Matuska someMoreWork = 0;
1693c03c5b1cSMartin Matuska break;
1694c03c5b1cSMartin Matuska } }
1695c03c5b1cSMartin Matuska
1696c03c5b1cSMartin Matuska /* Check output buffer is large enough for ZSTD_odm_stable. */
1697c03c5b1cSMartin Matuska if (zds->outBufferMode == ZSTD_obm_stable
1698c03c5b1cSMartin Matuska && zds->fParams.frameType != ZSTD_skippableFrame
1699c03c5b1cSMartin Matuska && zds->fParams.frameContentSize != ZSTD_CONTENTSIZE_UNKNOWN
1700c03c5b1cSMartin Matuska && (U64)(size_t)(oend-op) < zds->fParams.frameContentSize) {
1701c03c5b1cSMartin Matuska RETURN_ERROR(dstSize_tooSmall, "ZSTD_obm_stable passed but ZSTD_outBuffer is too small");
1702c03c5b1cSMartin Matuska }
1703c03c5b1cSMartin Matuska
1704c03c5b1cSMartin Matuska /* Consume header (see ZSTDds_decodeFrameHeader) */
1705c03c5b1cSMartin Matuska DEBUGLOG(4, "Consume header");
1706c03c5b1cSMartin Matuska FORWARD_IF_ERROR(ZSTD_decompressBegin_usingDDict(zds, ZSTD_getDDict(zds)), "");
1707c03c5b1cSMartin Matuska
1708c03c5b1cSMartin Matuska if ((MEM_readLE32(zds->headerBuffer) & ZSTD_MAGIC_SKIPPABLE_MASK) == ZSTD_MAGIC_SKIPPABLE_START) { /* skippable frame */
1709c03c5b1cSMartin Matuska zds->expected = MEM_readLE32(zds->headerBuffer + ZSTD_FRAMEIDSIZE);
1710c03c5b1cSMartin Matuska zds->stage = ZSTDds_skipFrame;
1711c03c5b1cSMartin Matuska } else {
1712c03c5b1cSMartin Matuska FORWARD_IF_ERROR(ZSTD_decodeFrameHeader(zds, zds->headerBuffer, zds->lhSize), "");
1713c03c5b1cSMartin Matuska zds->expected = ZSTD_blockHeaderSize;
1714c03c5b1cSMartin Matuska zds->stage = ZSTDds_decodeBlockHeader;
1715c03c5b1cSMartin Matuska }
1716c03c5b1cSMartin Matuska
1717c03c5b1cSMartin Matuska /* control buffer memory usage */
1718c03c5b1cSMartin Matuska DEBUGLOG(4, "Control max memory usage (%u KB <= max %u KB)",
1719c03c5b1cSMartin Matuska (U32)(zds->fParams.windowSize >>10),
1720c03c5b1cSMartin Matuska (U32)(zds->maxWindowSize >> 10) );
1721c03c5b1cSMartin Matuska zds->fParams.windowSize = MAX(zds->fParams.windowSize, 1U << ZSTD_WINDOWLOG_ABSOLUTEMIN);
1722c03c5b1cSMartin Matuska RETURN_ERROR_IF(zds->fParams.windowSize > zds->maxWindowSize,
1723c03c5b1cSMartin Matuska frameParameter_windowTooLarge, "");
1724c03c5b1cSMartin Matuska
1725c03c5b1cSMartin Matuska /* Adapt buffer sizes to frame header instructions */
1726c03c5b1cSMartin Matuska { size_t const neededInBuffSize = MAX(zds->fParams.blockSizeMax, 4 /* frame checksum */);
1727c03c5b1cSMartin Matuska size_t const neededOutBuffSize = zds->outBufferMode == ZSTD_obm_buffered
1728c03c5b1cSMartin Matuska ? ZSTD_decodingBufferSize_min(zds->fParams.windowSize, zds->fParams.frameContentSize)
1729c03c5b1cSMartin Matuska : 0;
1730c03c5b1cSMartin Matuska
1731c03c5b1cSMartin Matuska ZSTD_DCtx_updateOversizedDuration(zds, neededInBuffSize, neededOutBuffSize);
1732c03c5b1cSMartin Matuska
1733c03c5b1cSMartin Matuska { int const tooSmall = (zds->inBuffSize < neededInBuffSize) || (zds->outBuffSize < neededOutBuffSize);
1734c03c5b1cSMartin Matuska int const tooLarge = ZSTD_DCtx_isOversizedTooLong(zds);
1735c03c5b1cSMartin Matuska
1736c03c5b1cSMartin Matuska if (tooSmall || tooLarge) {
1737c03c5b1cSMartin Matuska size_t const bufferSize = neededInBuffSize + neededOutBuffSize;
1738c03c5b1cSMartin Matuska DEBUGLOG(4, "inBuff : from %u to %u",
1739c03c5b1cSMartin Matuska (U32)zds->inBuffSize, (U32)neededInBuffSize);
1740c03c5b1cSMartin Matuska DEBUGLOG(4, "outBuff : from %u to %u",
1741c03c5b1cSMartin Matuska (U32)zds->outBuffSize, (U32)neededOutBuffSize);
1742c03c5b1cSMartin Matuska if (zds->staticSize) { /* static DCtx */
1743c03c5b1cSMartin Matuska DEBUGLOG(4, "staticSize : %u", (U32)zds->staticSize);
1744c03c5b1cSMartin Matuska assert(zds->staticSize >= sizeof(ZSTD_DCtx)); /* controlled at init */
1745c03c5b1cSMartin Matuska RETURN_ERROR_IF(
1746c03c5b1cSMartin Matuska bufferSize > zds->staticSize - sizeof(ZSTD_DCtx),
1747c03c5b1cSMartin Matuska memory_allocation, "");
1748c03c5b1cSMartin Matuska } else {
1749c03c5b1cSMartin Matuska ZSTD_free(zds->inBuff, zds->customMem);
1750c03c5b1cSMartin Matuska zds->inBuffSize = 0;
1751c03c5b1cSMartin Matuska zds->outBuffSize = 0;
1752c03c5b1cSMartin Matuska zds->inBuff = (char*)ZSTD_malloc(bufferSize, zds->customMem);
1753c03c5b1cSMartin Matuska RETURN_ERROR_IF(zds->inBuff == NULL, memory_allocation, "");
1754c03c5b1cSMartin Matuska }
1755c03c5b1cSMartin Matuska zds->inBuffSize = neededInBuffSize;
1756c03c5b1cSMartin Matuska zds->outBuff = zds->inBuff + zds->inBuffSize;
1757c03c5b1cSMartin Matuska zds->outBuffSize = neededOutBuffSize;
1758c03c5b1cSMartin Matuska } } }
1759c03c5b1cSMartin Matuska zds->streamStage = zdss_read;
1760c03c5b1cSMartin Matuska /* fall-through */
1761c03c5b1cSMartin Matuska
1762c03c5b1cSMartin Matuska case zdss_read:
1763c03c5b1cSMartin Matuska DEBUGLOG(5, "stage zdss_read");
1764c03c5b1cSMartin Matuska { size_t const neededInSize = ZSTD_nextSrcSizeToDecompressWithInputSize(zds, iend - ip);
1765c03c5b1cSMartin Matuska DEBUGLOG(5, "neededInSize = %u", (U32)neededInSize);
1766c03c5b1cSMartin Matuska if (neededInSize==0) { /* end of frame */
1767c03c5b1cSMartin Matuska zds->streamStage = zdss_init;
1768c03c5b1cSMartin Matuska someMoreWork = 0;
1769c03c5b1cSMartin Matuska break;
1770c03c5b1cSMartin Matuska }
1771c03c5b1cSMartin Matuska if ((size_t)(iend-ip) >= neededInSize) { /* decode directly from src */
1772c03c5b1cSMartin Matuska FORWARD_IF_ERROR(ZSTD_decompressContinueStream(zds, &op, oend, ip, neededInSize), "");
1773c03c5b1cSMartin Matuska ip += neededInSize;
1774c03c5b1cSMartin Matuska /* Function modifies the stage so we must break */
1775c03c5b1cSMartin Matuska break;
1776c03c5b1cSMartin Matuska } }
1777c03c5b1cSMartin Matuska if (ip==iend) { someMoreWork = 0; break; } /* no more input */
1778c03c5b1cSMartin Matuska zds->streamStage = zdss_load;
1779c03c5b1cSMartin Matuska /* fall-through */
1780c03c5b1cSMartin Matuska
1781c03c5b1cSMartin Matuska case zdss_load:
1782c03c5b1cSMartin Matuska { size_t const neededInSize = ZSTD_nextSrcSizeToDecompress(zds);
1783c03c5b1cSMartin Matuska size_t const toLoad = neededInSize - zds->inPos;
1784c03c5b1cSMartin Matuska int const isSkipFrame = ZSTD_isSkipFrame(zds);
1785c03c5b1cSMartin Matuska size_t loadedSize;
1786c03c5b1cSMartin Matuska /* At this point we shouldn't be decompressing a block that we can stream. */
1787c03c5b1cSMartin Matuska assert(neededInSize == ZSTD_nextSrcSizeToDecompressWithInputSize(zds, iend - ip));
1788c03c5b1cSMartin Matuska if (isSkipFrame) {
1789c03c5b1cSMartin Matuska loadedSize = MIN(toLoad, (size_t)(iend-ip));
1790c03c5b1cSMartin Matuska } else {
1791c03c5b1cSMartin Matuska RETURN_ERROR_IF(toLoad > zds->inBuffSize - zds->inPos,
1792c03c5b1cSMartin Matuska corruption_detected,
1793c03c5b1cSMartin Matuska "should never happen");
1794c03c5b1cSMartin Matuska loadedSize = ZSTD_limitCopy(zds->inBuff + zds->inPos, toLoad, ip, iend-ip);
1795c03c5b1cSMartin Matuska }
1796c03c5b1cSMartin Matuska ip += loadedSize;
1797c03c5b1cSMartin Matuska zds->inPos += loadedSize;
1798c03c5b1cSMartin Matuska if (loadedSize < toLoad) { someMoreWork = 0; break; } /* not enough input, wait for more */
1799c03c5b1cSMartin Matuska
1800c03c5b1cSMartin Matuska /* decode loaded input */
1801c03c5b1cSMartin Matuska zds->inPos = 0; /* input is consumed */
1802c03c5b1cSMartin Matuska FORWARD_IF_ERROR(ZSTD_decompressContinueStream(zds, &op, oend, zds->inBuff, neededInSize), "");
1803c03c5b1cSMartin Matuska /* Function modifies the stage so we must break */
1804c03c5b1cSMartin Matuska break;
1805c03c5b1cSMartin Matuska }
1806c03c5b1cSMartin Matuska case zdss_flush:
1807c03c5b1cSMartin Matuska { size_t const toFlushSize = zds->outEnd - zds->outStart;
1808c03c5b1cSMartin Matuska size_t const flushedSize = ZSTD_limitCopy(op, oend-op, zds->outBuff + zds->outStart, toFlushSize);
1809c03c5b1cSMartin Matuska op += flushedSize;
1810c03c5b1cSMartin Matuska zds->outStart += flushedSize;
1811c03c5b1cSMartin Matuska if (flushedSize == toFlushSize) { /* flush completed */
1812c03c5b1cSMartin Matuska zds->streamStage = zdss_read;
1813c03c5b1cSMartin Matuska if ( (zds->outBuffSize < zds->fParams.frameContentSize)
1814c03c5b1cSMartin Matuska && (zds->outStart + zds->fParams.blockSizeMax > zds->outBuffSize) ) {
1815c03c5b1cSMartin Matuska DEBUGLOG(5, "restart filling outBuff from beginning (left:%i, needed:%u)",
1816c03c5b1cSMartin Matuska (int)(zds->outBuffSize - zds->outStart),
1817c03c5b1cSMartin Matuska (U32)zds->fParams.blockSizeMax);
1818c03c5b1cSMartin Matuska zds->outStart = zds->outEnd = 0;
1819c03c5b1cSMartin Matuska }
1820c03c5b1cSMartin Matuska break;
1821c03c5b1cSMartin Matuska } }
1822c03c5b1cSMartin Matuska /* cannot complete flush */
1823c03c5b1cSMartin Matuska someMoreWork = 0;
1824c03c5b1cSMartin Matuska break;
1825c03c5b1cSMartin Matuska
1826c03c5b1cSMartin Matuska default:
1827c03c5b1cSMartin Matuska assert(0); /* impossible */
1828c03c5b1cSMartin Matuska RETURN_ERROR(GENERIC, "impossible to reach"); /* some compiler require default to do something */
1829c03c5b1cSMartin Matuska } }
1830c03c5b1cSMartin Matuska
1831c03c5b1cSMartin Matuska /* result */
1832c03c5b1cSMartin Matuska input->pos = (size_t)(ip - (const char*)(input->src));
1833c03c5b1cSMartin Matuska output->pos = (size_t)(op - (char*)(output->dst));
1834c03c5b1cSMartin Matuska
1835c03c5b1cSMartin Matuska /* Update the expected output buffer for ZSTD_obm_stable. */
1836c03c5b1cSMartin Matuska zds->expectedOutBuffer = *output;
1837c03c5b1cSMartin Matuska
1838c03c5b1cSMartin Matuska if ((ip==istart) && (op==ostart)) { /* no forward progress */
1839c03c5b1cSMartin Matuska zds->noForwardProgress ++;
1840c03c5b1cSMartin Matuska if (zds->noForwardProgress >= ZSTD_NO_FORWARD_PROGRESS_MAX) {
1841c03c5b1cSMartin Matuska RETURN_ERROR_IF(op==oend, dstSize_tooSmall, "");
1842c03c5b1cSMartin Matuska RETURN_ERROR_IF(ip==iend, srcSize_wrong, "");
1843c03c5b1cSMartin Matuska assert(0);
1844c03c5b1cSMartin Matuska }
1845c03c5b1cSMartin Matuska } else {
1846c03c5b1cSMartin Matuska zds->noForwardProgress = 0;
1847c03c5b1cSMartin Matuska }
1848c03c5b1cSMartin Matuska { size_t nextSrcSizeHint = ZSTD_nextSrcSizeToDecompress(zds);
1849c03c5b1cSMartin Matuska if (!nextSrcSizeHint) { /* frame fully decoded */
1850c03c5b1cSMartin Matuska if (zds->outEnd == zds->outStart) { /* output fully flushed */
1851c03c5b1cSMartin Matuska if (zds->hostageByte) {
1852c03c5b1cSMartin Matuska if (input->pos >= input->size) {
1853c03c5b1cSMartin Matuska /* can't release hostage (not present) */
1854c03c5b1cSMartin Matuska zds->streamStage = zdss_read;
1855c03c5b1cSMartin Matuska return 1;
1856c03c5b1cSMartin Matuska }
1857c03c5b1cSMartin Matuska input->pos++; /* release hostage */
1858c03c5b1cSMartin Matuska } /* zds->hostageByte */
1859c03c5b1cSMartin Matuska return 0;
1860c03c5b1cSMartin Matuska } /* zds->outEnd == zds->outStart */
1861c03c5b1cSMartin Matuska if (!zds->hostageByte) { /* output not fully flushed; keep last byte as hostage; will be released when all output is flushed */
1862c03c5b1cSMartin Matuska input->pos--; /* note : pos > 0, otherwise, impossible to finish reading last block */
1863c03c5b1cSMartin Matuska zds->hostageByte=1;
1864c03c5b1cSMartin Matuska }
1865c03c5b1cSMartin Matuska return 1;
1866c03c5b1cSMartin Matuska } /* nextSrcSizeHint==0 */
1867c03c5b1cSMartin Matuska nextSrcSizeHint += ZSTD_blockHeaderSize * (ZSTD_nextInputType(zds) == ZSTDnit_block); /* preload header of next block */
1868c03c5b1cSMartin Matuska assert(zds->inPos <= nextSrcSizeHint);
1869c03c5b1cSMartin Matuska nextSrcSizeHint -= zds->inPos; /* part already loaded*/
1870c03c5b1cSMartin Matuska return nextSrcSizeHint;
1871c03c5b1cSMartin Matuska }
1872c03c5b1cSMartin Matuska }
1873c03c5b1cSMartin Matuska
ZSTD_decompressStream_simpleArgs(ZSTD_DCtx * dctx,void * dst,size_t dstCapacity,size_t * dstPos,const void * src,size_t srcSize,size_t * srcPos)1874c03c5b1cSMartin Matuska size_t ZSTD_decompressStream_simpleArgs (
1875c03c5b1cSMartin Matuska ZSTD_DCtx* dctx,
1876c03c5b1cSMartin Matuska void* dst, size_t dstCapacity, size_t* dstPos,
1877c03c5b1cSMartin Matuska const void* src, size_t srcSize, size_t* srcPos)
1878c03c5b1cSMartin Matuska {
1879c03c5b1cSMartin Matuska ZSTD_outBuffer output = { dst, dstCapacity, *dstPos };
1880c03c5b1cSMartin Matuska ZSTD_inBuffer input = { src, srcSize, *srcPos };
1881c03c5b1cSMartin Matuska /* ZSTD_compress_generic() will check validity of dstPos and srcPos */
1882c03c5b1cSMartin Matuska size_t const cErr = ZSTD_decompressStream(dctx, &output, &input);
1883c03c5b1cSMartin Matuska *dstPos = output.pos;
1884c03c5b1cSMartin Matuska *srcPos = input.pos;
1885c03c5b1cSMartin Matuska return cErr;
1886c03c5b1cSMartin Matuska }
1887