-
Notifications
You must be signed in to change notification settings - Fork 284
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge #19972: fuzz: Add fuzzing harness for node eviction logic
5a9ee08 tests: Add fuzzing harness for node eviction logic (practicalswift) Pull request description: Add fuzzing harness for node eviction logic. See [`doc/fuzzing.md`](https://github.com/bitcoin/bitcoin/blob/master/doc/fuzzing.md) for information on how to fuzz Bitcoin Core. Don't forget to contribute any coverage increasing inputs you find to the [Bitcoin Core fuzzing corpus repo](https://github.com/bitcoin-core/qa-assets). Happy fuzzing :) ACKs for top commit: MarcoFalke: cr ACK 5a9ee08 Tree-SHA512: c2401d22134867e23dab1ba94ae7ef36fdf52aa0588fdc4705d9cb765ddf979fd775fdf153ce2359f1bc1787cf60bf0ebcd47c7aa29c672e6a253fa58cac292d
- Loading branch information
Showing
2 changed files
with
45 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,44 @@ | ||
// Copyright (c) 2020 The Bitcoin Core developers | ||
// Distributed under the MIT software license, see the accompanying | ||
// file COPYING or http://www.opensource.org/licenses/mit-license.php. | ||
|
||
#include <net.h> | ||
#include <optional.h> | ||
#include <protocol.h> | ||
#include <test/fuzz/FuzzedDataProvider.h> | ||
#include <test/fuzz/fuzz.h> | ||
#include <test/fuzz/util.h> | ||
|
||
#include <algorithm> | ||
#include <cassert> | ||
#include <cstdint> | ||
#include <optional> | ||
#include <vector> | ||
|
||
FUZZ_TARGET(node_eviction) | ||
{ | ||
FuzzedDataProvider fuzzed_data_provider{buffer.data(), buffer.size()}; | ||
std::vector<NodeEvictionCandidate> eviction_candidates; | ||
while (fuzzed_data_provider.ConsumeBool()) { | ||
eviction_candidates.push_back({ | ||
fuzzed_data_provider.ConsumeIntegral<NodeId>(), | ||
fuzzed_data_provider.ConsumeIntegral<int64_t>(), | ||
fuzzed_data_provider.ConsumeIntegral<int64_t>(), | ||
fuzzed_data_provider.ConsumeIntegral<int64_t>(), | ||
fuzzed_data_provider.ConsumeIntegral<int64_t>(), | ||
fuzzed_data_provider.ConsumeBool(), | ||
fuzzed_data_provider.ConsumeBool(), | ||
fuzzed_data_provider.ConsumeBool(), | ||
fuzzed_data_provider.ConsumeIntegral<uint64_t>(), | ||
fuzzed_data_provider.ConsumeBool(), | ||
fuzzed_data_provider.ConsumeBool(), | ||
}); | ||
} | ||
// Make a copy since eviction_candidates may be in some valid but otherwise | ||
// indeterminate state after the SelectNodeToEvict(&&) call. | ||
const std::vector<NodeEvictionCandidate> eviction_candidates_copy = eviction_candidates; | ||
const Optional<NodeId> node_to_evict = SelectNodeToEvict(std::move(eviction_candidates)); | ||
if (node_to_evict) { | ||
assert(std::any_of(eviction_candidates_copy.begin(), eviction_candidates_copy.end(), [&node_to_evict](const NodeEvictionCandidate& eviction_candidate) { return *node_to_evict == eviction_candidate.id; })); | ||
} | ||
} |