Branch data Line data Source code
1 : : // Copyright (c) 2020-2022 The Bitcoin Core developers
2 : : // Distributed under the MIT software license, see the accompanying
3 : : // file COPYING or http://www.opensource.org/licenses/mit-license.php.
4 : :
5 : : #include <blockfilter.h>
6 : : #include <serialize.h>
7 : : #include <streams.h>
8 : : #include <test/fuzz/FuzzedDataProvider.h>
9 : : #include <test/fuzz/fuzz.h>
10 : : #include <test/fuzz/util.h>
11 : : #include <util/bytevectorhash.h>
12 : : #include <util/golombrice.h>
13 : :
14 : : #include <algorithm>
15 : : #include <cassert>
16 : : #include <cstdint>
17 : : #include <iosfwd>
18 : : #include <unordered_set>
19 : : #include <vector>
20 : :
21 : : namespace {
22 : :
23 : 20236 : uint64_t HashToRange(const std::vector<uint8_t>& element, const uint64_t f)
24 : : {
25 : 20236 : const uint64_t hash = CSipHasher(0x0706050403020100ULL, 0x0F0E0D0C0B0A0908ULL)
26 : 20236 : .Write(element)
27 : 20236 : .Finalize();
28 : 20236 : return FastRange64(hash, f);
29 : : }
30 : :
31 : 165 : std::vector<uint64_t> BuildHashedSet(const std::unordered_set<std::vector<uint8_t>, ByteVectorHash>& elements, const uint64_t f)
32 : : {
33 : 165 : std::vector<uint64_t> hashed_elements;
34 [ + - ]: 165 : hashed_elements.reserve(elements.size());
35 [ + + ]: 20401 : for (const std::vector<uint8_t>& element : elements) {
36 [ + - + - ]: 20236 : hashed_elements.push_back(HashToRange(element, f));
37 : : }
38 : 165 : std::sort(hashed_elements.begin(), hashed_elements.end());
39 : 165 : return hashed_elements;
40 : 0 : }
41 : : } // namespace
42 : :
43 [ + - ]: 597 : FUZZ_TARGET(golomb_rice)
44 : : {
45 [ + - ]: 185 : FuzzedDataProvider fuzzed_data_provider(buffer.data(), buffer.size());
46 : 185 : std::vector<uint8_t> golomb_rice_data;
47 : 185 : std::vector<uint64_t> encoded_deltas;
48 : 185 : {
49 [ + - ]: 185 : std::unordered_set<std::vector<uint8_t>, ByteVectorHash> elements;
50 : 185 : const int n = fuzzed_data_provider.ConsumeIntegralInRange<int>(0, 512);
51 [ + + ]: 44069 : for (int i = 0; i < n; ++i) {
52 [ + - ]: 43884 : elements.insert(ConsumeRandomLengthByteVector(fuzzed_data_provider, 16));
53 : : }
54 [ + - ]: 185 : VectorWriter stream{golomb_rice_data, 0};
55 [ + - ]: 185 : WriteCompactSize(stream, static_cast<uint32_t>(elements.size()));
56 [ + + ]: 185 : BitStreamWriter bitwriter{stream};
57 [ + + ]: 185 : if (!elements.empty()) {
58 : 165 : uint64_t last_value = 0;
59 [ + - + + ]: 20401 : for (const uint64_t value : BuildHashedSet(elements, static_cast<uint64_t>(elements.size()) * static_cast<uint64_t>(BASIC_FILTER_M))) {
60 : 20236 : const uint64_t delta = value - last_value;
61 [ + - ]: 20236 : encoded_deltas.push_back(delta);
62 [ + - ]: 20236 : GolombRiceEncode(bitwriter, BASIC_FILTER_P, delta);
63 : 20236 : last_value = value;
64 : 165 : }
65 : : }
66 [ + - ]: 185 : bitwriter.Flush();
67 : 185 : }
68 : :
69 : 185 : std::vector<uint64_t> decoded_deltas;
70 : 185 : {
71 [ + - ]: 185 : SpanReader stream{golomb_rice_data};
72 [ + - ]: 185 : BitStreamReader bitreader{stream};
73 [ + - ]: 185 : const uint32_t n = static_cast<uint32_t>(ReadCompactSize(stream));
74 [ + + ]: 20421 : for (uint32_t i = 0; i < n; ++i) {
75 [ + - + - ]: 20236 : decoded_deltas.push_back(GolombRiceDecode(bitreader, BASIC_FILTER_P));
76 : : }
77 : : }
78 : :
79 [ - + ]: 185 : assert(encoded_deltas == decoded_deltas);
80 : :
81 : 185 : {
82 : 185 : const std::vector<uint8_t> random_bytes = ConsumeRandomLengthByteVector(fuzzed_data_provider, 1024);
83 [ + + ]: 185 : SpanReader stream{random_bytes};
84 : 185 : uint32_t n;
85 : 185 : try {
86 [ + + ]: 185 : n = static_cast<uint32_t>(ReadCompactSize(stream));
87 [ - + ]: 115 : } catch (const std::ios_base::failure&) {
88 : 115 : return;
89 : 115 : }
90 : 70 : BitStreamReader bitreader{stream};
91 [ + + + + ]: 17556 : for (uint32_t i = 0; i < std::min<uint32_t>(n, 1024); ++i) {
92 : 11783 : try {
93 [ + + ]: 11783 : (void)GolombRiceDecode(bitreader, BASIC_FILTER_P);
94 [ - + ]: 10564 : } catch (const std::ios_base::failure&) {
95 : 10564 : }
96 : : }
97 : 185 : }
98 : 185 : }
|