1*01826a49SYabin Cui /*
2*01826a49SYabin Cui * Copyright (c) Meta Platforms, Inc. and affiliates.
3*01826a49SYabin Cui * All rights reserved.
4*01826a49SYabin Cui *
5*01826a49SYabin Cui * This source code is licensed under both the BSD-style license (found in the
6*01826a49SYabin Cui * LICENSE file in the root directory of this source tree) and the GPLv2 (found
7*01826a49SYabin Cui * in the COPYING file in the root directory of this source tree).
8*01826a49SYabin Cui * You may select, at your option, one of the above-listed licenses.
9*01826a49SYabin Cui */
10*01826a49SYabin Cui
11*01826a49SYabin Cui #include "zstd.h"
12*01826a49SYabin Cui #include "zstd_seekable.h"
13*01826a49SYabin Cui #include "fuzz_helpers.h"
14*01826a49SYabin Cui #include "fuzz_data_producer.h"
15*01826a49SYabin Cui
16*01826a49SYabin Cui static ZSTD_seekable *stream = NULL;
17*01826a49SYabin Cui static ZSTD_seekable_CStream *zscs = NULL;
18*01826a49SYabin Cui static const size_t kSeekableOverheadSize = ZSTD_seekTableFooterSize;
19*01826a49SYabin Cui
LLVMFuzzerTestOneInput(const uint8_t * src,size_t size)20*01826a49SYabin Cui int LLVMFuzzerTestOneInput(const uint8_t *src, size_t size)
21*01826a49SYabin Cui {
22*01826a49SYabin Cui /* Give a random portion of src data to the producer, to use for
23*01826a49SYabin Cui parameter generation. The rest will be used for (de)compression */
24*01826a49SYabin Cui FUZZ_dataProducer_t *producer = FUZZ_dataProducer_create(src, size);
25*01826a49SYabin Cui size = FUZZ_dataProducer_reserveDataPrefix(producer);
26*01826a49SYabin Cui size_t const compressedBufferSize = ZSTD_compressBound(size) + kSeekableOverheadSize;
27*01826a49SYabin Cui uint8_t* compressedBuffer = (uint8_t*)malloc(compressedBufferSize);
28*01826a49SYabin Cui uint8_t* decompressedBuffer = (uint8_t*)malloc(size);
29*01826a49SYabin Cui
30*01826a49SYabin Cui int const cLevel = FUZZ_dataProducer_int32Range(producer, ZSTD_minCLevel(), ZSTD_maxCLevel());
31*01826a49SYabin Cui unsigned const checksumFlag = FUZZ_dataProducer_int32Range(producer, 0, 1);
32*01826a49SYabin Cui size_t const uncompressedSize = FUZZ_dataProducer_uint32Range(producer, 0, size);
33*01826a49SYabin Cui size_t const offset = FUZZ_dataProducer_uint32Range(producer, 0, size - uncompressedSize);
34*01826a49SYabin Cui size_t seekSize;
35*01826a49SYabin Cui
36*01826a49SYabin Cui if (!zscs) {
37*01826a49SYabin Cui zscs = ZSTD_seekable_createCStream();
38*01826a49SYabin Cui FUZZ_ASSERT(zscs);
39*01826a49SYabin Cui }
40*01826a49SYabin Cui if (!stream) {
41*01826a49SYabin Cui stream = ZSTD_seekable_create();
42*01826a49SYabin Cui FUZZ_ASSERT(stream);
43*01826a49SYabin Cui }
44*01826a49SYabin Cui
45*01826a49SYabin Cui { /* Perform a compression */
46*01826a49SYabin Cui size_t const initStatus = ZSTD_seekable_initCStream(zscs, cLevel, checksumFlag, size);
47*01826a49SYabin Cui size_t endStatus;
48*01826a49SYabin Cui ZSTD_outBuffer out = { .dst=compressedBuffer, .pos=0, .size=compressedBufferSize };
49*01826a49SYabin Cui ZSTD_inBuffer in = { .src=src, .pos=0, .size=size };
50*01826a49SYabin Cui FUZZ_ASSERT(!ZSTD_isError(initStatus));
51*01826a49SYabin Cui
52*01826a49SYabin Cui do {
53*01826a49SYabin Cui size_t cSize = ZSTD_seekable_compressStream(zscs, &out, &in);
54*01826a49SYabin Cui FUZZ_ASSERT(!ZSTD_isError(cSize));
55*01826a49SYabin Cui } while (in.pos != in.size);
56*01826a49SYabin Cui
57*01826a49SYabin Cui FUZZ_ASSERT(in.pos == in.size);
58*01826a49SYabin Cui endStatus = ZSTD_seekable_endStream(zscs, &out);
59*01826a49SYabin Cui FUZZ_ASSERT(!ZSTD_isError(endStatus));
60*01826a49SYabin Cui seekSize = out.pos;
61*01826a49SYabin Cui }
62*01826a49SYabin Cui
63*01826a49SYabin Cui { /* Decompress at an offset */
64*01826a49SYabin Cui size_t const initStatus = ZSTD_seekable_initBuff(stream, compressedBuffer, seekSize);
65*01826a49SYabin Cui size_t decompressedBytesTotal = 0;
66*01826a49SYabin Cui size_t dSize;
67*01826a49SYabin Cui
68*01826a49SYabin Cui FUZZ_ZASSERT(initStatus);
69*01826a49SYabin Cui do {
70*01826a49SYabin Cui dSize = ZSTD_seekable_decompress(stream, decompressedBuffer, uncompressedSize, offset);
71*01826a49SYabin Cui FUZZ_ASSERT(!ZSTD_isError(dSize));
72*01826a49SYabin Cui decompressedBytesTotal += dSize;
73*01826a49SYabin Cui } while (decompressedBytesTotal < uncompressedSize && dSize > 0);
74*01826a49SYabin Cui FUZZ_ASSERT(decompressedBytesTotal == uncompressedSize);
75*01826a49SYabin Cui }
76*01826a49SYabin Cui
77*01826a49SYabin Cui FUZZ_ASSERT_MSG(!FUZZ_memcmp(src+offset, decompressedBuffer, uncompressedSize), "Corruption!");
78*01826a49SYabin Cui
79*01826a49SYabin Cui free(decompressedBuffer);
80*01826a49SYabin Cui free(compressedBuffer);
81*01826a49SYabin Cui FUZZ_dataProducer_free(producer);
82*01826a49SYabin Cui
83*01826a49SYabin Cui #ifndef STATEFUL_FUZZING
84*01826a49SYabin Cui ZSTD_seekable_free(stream); stream = NULL;
85*01826a49SYabin Cui ZSTD_seekable_freeCStream(zscs); zscs = NULL;
86*01826a49SYabin Cui #endif
87*01826a49SYabin Cui return 0;
88*01826a49SYabin Cui }
89