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 <span.h>
6 : : #include <streams.h>
7 : : #include <test/fuzz/FuzzedDataProvider.h>
8 : : #include <test/fuzz/fuzz.h>
9 : : #include <test/fuzz/util.h>
10 : :
11 : : #include <array>
12 : : #include <cstddef>
13 : : #include <cstdio>
14 : : #include <iostream>
15 : : #include <vector>
16 : :
17 [ + - ]: 888 : FUZZ_TARGET(autofile)
18 : : {
19 : 474 : FuzzedDataProvider fuzzed_data_provider{buffer.data(), buffer.size()};
20 : 474 : FuzzedFileProvider fuzzed_file_provider{fuzzed_data_provider};
21 : 474 : AutoFile auto_file{
22 : : fuzzed_file_provider.open(),
23 : 474 : ConsumeRandomLengthByteVector<std::byte>(fuzzed_data_provider),
24 [ + - ]: 474 : };
25 [ + + + + ]: 12228 : LIMITED_WHILE(fuzzed_data_provider.ConsumeBool(), 100)
26 : : {
27 [ + - ]: 11754 : CallOneOf(
28 : : fuzzed_data_provider,
29 : 666 : [&] {
30 : 666 : std::array<std::byte, 4096> arr{};
31 : 666 : try {
32 [ + + ]: 666 : auto_file.read({arr.data(), fuzzed_data_provider.ConsumeIntegralInRange<size_t>(0, 4096)});
33 [ - + ]: 443 : } catch (const std::ios_base::failure&) {
34 : 443 : }
35 : 666 : },
36 : 2122 : [&] {
37 : 2122 : const std::array<std::byte, 4096> arr{};
38 : 2122 : try {
39 [ + + ]: 2122 : auto_file.write({arr.data(), fuzzed_data_provider.ConsumeIntegralInRange<size_t>(0, 4096)});
40 [ - + ]: 1187 : } catch (const std::ios_base::failure&) {
41 : 1187 : }
42 : 2122 : },
43 : 896 : [&] {
44 : 896 : try {
45 [ + + ]: 896 : auto_file.ignore(fuzzed_data_provider.ConsumeIntegralInRange<size_t>(0, 4096));
46 [ - + ]: 517 : } catch (const std::ios_base::failure&) {
47 : 517 : }
48 : 896 : },
49 : 759 : [&] {
50 : 759 : auto_file.fclose();
51 : 759 : },
52 : 4672 : [&] {
53 : 4672 : ReadFromStream(fuzzed_data_provider, auto_file);
54 : 4672 : },
55 : 2639 : [&] {
56 : 2639 : WriteToStream(fuzzed_data_provider, auto_file);
57 : 2639 : });
58 : : }
59 : 474 : (void)auto_file.IsNull();
60 [ + + ]: 474 : if (fuzzed_data_provider.ConsumeBool()) {
61 [ + + ]: 147 : FILE* f = auto_file.release();
62 [ + + ]: 147 : if (f != nullptr) {
63 [ + - ]: 116 : fclose(f);
64 : : }
65 : : }
66 : 474 : }
|