// SPDX-License-Identifier: BSD-3-Clause

/*

 * ZXC - High-performance lossless compression

 *

 * Copyright (c) Bertrand Lebonnois and contributors.

 */

/**

 * @file fuzz_roundtrip.c

 * @brief Fuzzer for the one-shot compress -> decompress roundtrip.

 *

 * Asserts the core invariant of a lossless codec: decompressing what the

 * compressor produced must reproduce the original bytes exactly. The fuzzer

 * data is the payload to compress (never untrusted decoder input -- that is

 * fuzz_decompress.c's job), so this target hunts for encoder/decoder

 * mismatches rather than malformed-frame handling.

 *

 * Strategy: derive the compression level from the first byte so libFuzzer

 * explores every level, compress the fuzzed bytes, then decompress into an

 * exact-size buffer and assert a bit-exact roundtrip. Buffers are reused

 * across iterations to keep allocator pressure low.

 */

#include <assert.h>

#include <stddef.h>

#include <stdint.h>

#include <stdlib.h>

#include <string.h>

#include "../../include/zxc_buffer.h"

#define FUZZ_ROUNDTRIP_MAX_INPUT (4 << 20) /* 4 MiB */

int LLVMFuzzerTestOneInput(const uint8_t* data, size_t size) {

    static void* comp_buf = NULL;

    static size_t comp_cap = 0;

    static void* decomp_buf = NULL;

    static size_t decomp_cap = 0;

    if (size > FUZZ_ROUNDTRIP_MAX_INPUT) return 0;

    const size_t bound = zxc_compress_bound(size);

    if (bound == 0) return 0;

    if (bound > comp_cap) {

        void* new_buf = realloc(comp_buf, bound);

        if (!new_buf) return 0;

        comp_buf = new_buf;

        comp_cap = bound;

    }

    const int level = size > 0 ? (data[0] % (unsigned)zxc_max_level()) + 1 : 1;

    const int64_t csize = zxc_compress(data, size, comp_buf, bound, level);

    if (csize < 0) return 0;

    if (size == 0) return 0;

    if (size > decomp_cap) {

        void* new_buf = realloc(decomp_buf, size);

        if (!new_buf) return 0;

        decomp_buf = new_buf;

        decomp_cap = size;

    }

    const int64_t dsize = zxc_decompress(comp_buf, (size_t)csize, decomp_buf, size);

    if (dsize >= 0) {

        assert((size_t)dsize == size);

        assert(memcmp(data, decomp_buf, size) == 0);

    }

    return 0;

}