Branch data Line data Source code
1 : : // Copyright (c) 2020-2021 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 <common/bloom.h>
6 : : #include <test/fuzz/FuzzedDataProvider.h>
7 : : #include <test/fuzz/fuzz.h>
8 : : #include <test/fuzz/util.h>
9 : : #include <test/util/random.h>
10 : : #include <uint256.h>
11 : :
12 : : #include <cassert>
13 : : #include <cstdint>
14 : : #include <optional>
15 : : #include <string>
16 : : #include <vector>
17 : :
18 [ + - ]: 678 : FUZZ_TARGET(rolling_bloom_filter)
19 : : {
20 : 224 : SeedRandomStateForTest(SeedRand::ZEROS);
21 : 224 : FuzzedDataProvider fuzzed_data_provider(buffer.data(), buffer.size());
22 : :
23 : 224 : CRollingBloomFilter rolling_bloom_filter{
24 : : fuzzed_data_provider.ConsumeIntegralInRange<unsigned int>(1, 1000),
25 : 224 : 0.999 / fuzzed_data_provider.ConsumeIntegralInRange<unsigned int>(1, std::numeric_limits<unsigned int>::max())};
26 [ + + + + ]: 175118 : LIMITED_WHILE(fuzzed_data_provider.remaining_bytes() > 0, 3000)
27 : : {
28 [ + - ]: 174894 : CallOneOf(
29 : : fuzzed_data_provider,
30 : 46566 : [&] {
31 : 46566 : const std::vector<unsigned char> b = ConsumeRandomLengthByteVector(fuzzed_data_provider);
32 [ + - ]: 46566 : (void)rolling_bloom_filter.contains(b);
33 [ + - ]: 46566 : rolling_bloom_filter.insert(b);
34 [ + - ]: 46566 : const bool present = rolling_bloom_filter.contains(b);
35 [ - + ]: 46566 : assert(present);
36 : 46566 : },
37 : 11197 : [&] {
38 : 11197 : const uint256 u256{ConsumeUInt256(fuzzed_data_provider)};
39 : 11197 : (void)rolling_bloom_filter.contains(u256);
40 : 11197 : rolling_bloom_filter.insert(u256);
41 : 11197 : const bool present = rolling_bloom_filter.contains(u256);
42 [ - + ]: 11197 : assert(present);
43 : 11197 : },
44 : 117131 : [&] {
45 : 117131 : rolling_bloom_filter.reset();
46 : 117131 : });
47 : : }
48 : 224 : }
|