zstd_decompress.c 71 KB

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