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 /**
12*01826a49SYabin Cui * This fuzz target performs a zstd round-trip test (compress & decompress),
13*01826a49SYabin Cui * compares the result with the original, and calls abort() on corruption.
14*01826a49SYabin Cui */
15*01826a49SYabin Cui
16*01826a49SYabin Cui #define ZSTD_STATIC_LINKING_ONLY
17*01826a49SYabin Cui
18*01826a49SYabin Cui #include <stddef.h>
19*01826a49SYabin Cui #include <stdlib.h>
20*01826a49SYabin Cui #include <stdio.h>
21*01826a49SYabin Cui #include <string.h>
22*01826a49SYabin Cui #include "fuzz_helpers.h"
23*01826a49SYabin Cui #include "zstd.h"
24*01826a49SYabin Cui #include "zstd_helpers.h"
25*01826a49SYabin Cui #include "fuzz_data_producer.h"
26*01826a49SYabin Cui #include "fuzz_third_party_seq_prod.h"
27*01826a49SYabin Cui
28*01826a49SYabin Cui static ZSTD_CCtx *cctx = NULL;
29*01826a49SYabin Cui static ZSTD_DCtx *dctx = NULL;
30*01826a49SYabin Cui static void* cBuf = NULL;
31*01826a49SYabin Cui static void* rBuf = NULL;
32*01826a49SYabin Cui static size_t bufSize = 0;
33*01826a49SYabin Cui
roundTripTest(void * result,size_t resultCapacity,void * compressed,size_t compressedCapacity,const void * src,size_t srcSize,int cLevel)34*01826a49SYabin Cui static size_t roundTripTest(void *result, size_t resultCapacity,
35*01826a49SYabin Cui void *compressed, size_t compressedCapacity,
36*01826a49SYabin Cui const void *src, size_t srcSize,
37*01826a49SYabin Cui int cLevel)
38*01826a49SYabin Cui {
39*01826a49SYabin Cui ZSTD_parameters const params = ZSTD_getParams(cLevel, srcSize, 0);
40*01826a49SYabin Cui size_t ret = ZSTD_compressBegin_advanced(cctx, NULL, 0, params, srcSize);
41*01826a49SYabin Cui FUZZ_ZASSERT(ret);
42*01826a49SYabin Cui
43*01826a49SYabin Cui ret = ZSTD_compressBlock(cctx, compressed, compressedCapacity, src, srcSize);
44*01826a49SYabin Cui FUZZ_ZASSERT(ret);
45*01826a49SYabin Cui if (ret == 0) {
46*01826a49SYabin Cui FUZZ_ASSERT(resultCapacity >= srcSize);
47*01826a49SYabin Cui if (srcSize > 0) {
48*01826a49SYabin Cui memcpy(result, src, srcSize);
49*01826a49SYabin Cui }
50*01826a49SYabin Cui return srcSize;
51*01826a49SYabin Cui }
52*01826a49SYabin Cui ZSTD_decompressBegin(dctx);
53*01826a49SYabin Cui return ZSTD_decompressBlock(dctx, result, resultCapacity, compressed, ret);
54*01826a49SYabin Cui }
55*01826a49SYabin Cui
LLVMFuzzerTestOneInput(const uint8_t * src,size_t size)56*01826a49SYabin Cui int LLVMFuzzerTestOneInput(const uint8_t *src, size_t size)
57*01826a49SYabin Cui {
58*01826a49SYabin Cui FUZZ_SEQ_PROD_SETUP();
59*01826a49SYabin Cui
60*01826a49SYabin Cui /* Give a random portion of src data to the producer, to use for
61*01826a49SYabin Cui parameter generation. The rest will be used for (de)compression */
62*01826a49SYabin Cui FUZZ_dataProducer_t *producer = FUZZ_dataProducer_create(src, size);
63*01826a49SYabin Cui size = FUZZ_dataProducer_reserveDataPrefix(producer);
64*01826a49SYabin Cui
65*01826a49SYabin Cui int const cLevel = FUZZ_dataProducer_int32Range(producer, kMinClevel, kMaxClevel);
66*01826a49SYabin Cui
67*01826a49SYabin Cui size_t neededBufSize = size;
68*01826a49SYabin Cui if (size > ZSTD_BLOCKSIZE_MAX)
69*01826a49SYabin Cui size = ZSTD_BLOCKSIZE_MAX;
70*01826a49SYabin Cui
71*01826a49SYabin Cui /* Allocate all buffers and contexts if not already allocated */
72*01826a49SYabin Cui if (neededBufSize > bufSize || !cBuf || !rBuf) {
73*01826a49SYabin Cui free(cBuf);
74*01826a49SYabin Cui free(rBuf);
75*01826a49SYabin Cui cBuf = FUZZ_malloc(neededBufSize);
76*01826a49SYabin Cui rBuf = FUZZ_malloc(neededBufSize);
77*01826a49SYabin Cui bufSize = neededBufSize;
78*01826a49SYabin Cui }
79*01826a49SYabin Cui if (!cctx) {
80*01826a49SYabin Cui cctx = ZSTD_createCCtx();
81*01826a49SYabin Cui FUZZ_ASSERT(cctx);
82*01826a49SYabin Cui }
83*01826a49SYabin Cui if (!dctx) {
84*01826a49SYabin Cui dctx = ZSTD_createDCtx();
85*01826a49SYabin Cui FUZZ_ASSERT(dctx);
86*01826a49SYabin Cui }
87*01826a49SYabin Cui
88*01826a49SYabin Cui {
89*01826a49SYabin Cui size_t const result =
90*01826a49SYabin Cui roundTripTest(rBuf, neededBufSize, cBuf, neededBufSize, src, size,
91*01826a49SYabin Cui cLevel);
92*01826a49SYabin Cui FUZZ_ZASSERT(result);
93*01826a49SYabin Cui FUZZ_ASSERT_MSG(result == size, "Incorrect regenerated size");
94*01826a49SYabin Cui FUZZ_ASSERT_MSG(!FUZZ_memcmp(src, rBuf, size), "Corruption!");
95*01826a49SYabin Cui }
96*01826a49SYabin Cui FUZZ_dataProducer_free(producer);
97*01826a49SYabin Cui #ifndef STATEFUL_FUZZING
98*01826a49SYabin Cui ZSTD_freeCCtx(cctx); cctx = NULL;
99*01826a49SYabin Cui ZSTD_freeDCtx(dctx); dctx = NULL;
100*01826a49SYabin Cui #endif
101*01826a49SYabin Cui FUZZ_SEQ_PROD_TEARDOWN();
102*01826a49SYabin Cui return 0;
103*01826a49SYabin Cui }
104