Branch data Line data Source code
1 : : // Copyright (c) 2020-present 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/args.h>
6 : : #include <test/fuzz/FuzzedDataProvider.h>
7 : : #include <test/fuzz/fuzz.h>
8 : : #include <test/fuzz/util.h>
9 : : #include <test/util/setup_common.h>
10 : :
11 : : #include <cstdint>
12 : : #include <set>
13 : : #include <string>
14 : : #include <vector>
15 : :
16 : : namespace {
17 : 1 : void initialize_system()
18 : : {
19 [ + - + - : 1 : static const auto testing_setup = MakeNoLogFileContext<>();
+ - ]
20 : 1 : }
21 : :
22 : 38470 : std::string GetArgumentName(const std::string& name)
23 : : {
24 : 38470 : size_t idx = name.find('=');
25 [ + + ]: 38470 : if (idx == std::string::npos) {
26 [ - + ]: 35600 : idx = name.size();
27 : : }
28 : 38470 : return name.substr(0, idx);
29 : : }
30 : :
31 [ + - ]: 1291 : FUZZ_TARGET(system, .init = initialize_system)
32 : : {
33 : 819 : FuzzedDataProvider fuzzed_data_provider(buffer.data(), buffer.size());
34 : 819 : ArgsManager args_manager{};
35 : 819 : std::vector<std::string> command_option_names;
36 : :
37 [ + + ]: 819 : if (fuzzed_data_provider.ConsumeBool()) {
38 [ + - ]: 638 : SetupHelpOptions(args_manager);
39 : : }
40 : :
41 [ + + + + ]: 121410 : LIMITED_WHILE (fuzzed_data_provider.ConsumeBool(), 3000) {
42 [ + - ]: 120591 : CallOneOf(
43 : : fuzzed_data_provider,
44 : 53577 : [&] {
45 [ + - ]: 53577 : args_manager.SelectConfigNetwork(fuzzed_data_provider.ConsumeRandomLengthString(16));
46 : 53577 : },
47 : 5244 : [&] {
48 : 5244 : auto str_arg = fuzzed_data_provider.ConsumeRandomLengthString(16);
49 [ + - ]: 5244 : auto str_value = fuzzed_data_provider.ConsumeRandomLengthString(16);
50 [ + - ]: 5244 : args_manager.SoftSetArg(str_arg, str_value);
51 : 5244 : },
52 : 7490 : [&] {
53 : 7490 : auto str_arg = fuzzed_data_provider.ConsumeRandomLengthString(16);
54 [ + - ]: 7490 : auto str_value = fuzzed_data_provider.ConsumeRandomLengthString(16);
55 [ + - ]: 7490 : args_manager.ForceSetArg(str_arg, str_value);
56 : 7490 : },
57 : 14279 : [&] {
58 : 14279 : auto str_arg = fuzzed_data_provider.ConsumeRandomLengthString(16);
59 : 14279 : auto f_value = fuzzed_data_provider.ConsumeBool();
60 [ + - ]: 14279 : args_manager.SoftSetBoolArg(str_arg, f_value);
61 : 14279 : },
62 : 9201 : [&] {
63 : 9201 : const OptionsCategory options_category = fuzzed_data_provider.PickValueInArray<OptionsCategory>({OptionsCategory::OPTIONS, OptionsCategory::CONNECTION, OptionsCategory::WALLET, OptionsCategory::WALLET_DEBUG_TEST, OptionsCategory::ZMQ, OptionsCategory::DEBUG_TEST, OptionsCategory::CHAINPARAMS, OptionsCategory::NODE_RELAY, OptionsCategory::BLOCK_CREATION, OptionsCategory::RPC, OptionsCategory::GUI, OptionsCategory::COMMANDS, OptionsCategory::REGISTER_COMMANDS, OptionsCategory::CLI_COMMANDS, OptionsCategory::IPC, OptionsCategory::COMMAND_OPTIONS, OptionsCategory::HIDDEN});
64 : : // Avoid hitting:
65 : : // common/args.cpp:563: void ArgsManager::AddArg(const std::string &, const std::string &, unsigned int, const OptionsCategory &): Assertion `ret.second' failed.
66 [ + - ]: 9201 : const std::string argument_name = GetArgumentName(fuzzed_data_provider.ConsumeRandomLengthString(16));
67 [ + - + + ]: 9201 : if (args_manager.GetArgFlags(argument_name) != std::nullopt) {
68 : 6540 : return;
69 : : }
70 [ + - ]: 2661 : auto help = fuzzed_data_provider.ConsumeRandomLengthString(16);
71 : 2661 : auto flags = fuzzed_data_provider.ConsumeIntegral<unsigned int>() & ~ArgsManager::COMMAND;
72 [ + - ]: 2661 : args_manager.AddArg(argument_name, help, flags, options_category);
73 [ + + ]: 2661 : if (options_category == OptionsCategory::COMMAND_OPTIONS) {
74 [ + - ]: 19 : command_option_names.push_back(argument_name);
75 : : }
76 : 9201 : },
77 : 8801 : [&] {
78 : 8801 : auto cmd = fuzzed_data_provider.ConsumeRandomLengthString(16);
79 [ + + + + : 8801 : if (cmd.empty() || cmd[0] == '-' || cmd.find('=') != std::string::npos) return;
+ + ]
80 [ + - + + ]: 4015 : if (args_manager.GetArgFlags(cmd) != std::nullopt) return;
81 [ + - ]: 2893 : auto help = fuzzed_data_provider.ConsumeRandomLengthString(16);
82 : 2893 : std::set<std::string> options;
83 [ + + ]: 2897 : for (const auto& opt : command_option_names) {
84 [ + + ]: 4 : if (fuzzed_data_provider.ConsumeBool()) {
85 [ + - ]: 2 : options.insert(opt);
86 : : }
87 : : }
88 [ + - ]: 5786 : args_manager.AddCommand(cmd, help, std::move(options));
89 : 8801 : },
90 : 11836 : [&] {
91 : : // Avoid hitting:
92 : : // common/args.cpp:563: void ArgsManager::AddArg(const std::string &, const std::string &, unsigned int, const OptionsCategory &): Assertion `ret.second' failed.
93 : 11836 : const std::vector<std::string> names = ConsumeRandomLengthStringVector(fuzzed_data_provider);
94 : 11836 : std::vector<std::string> hidden_arguments;
95 [ + + ]: 41105 : for (const std::string& name : names) {
96 [ + - ]: 29269 : const std::string hidden_argument = GetArgumentName(name);
97 [ + - + + ]: 29269 : if (args_manager.GetArgFlags(hidden_argument) != std::nullopt) {
98 : 24525 : continue;
99 : : }
100 [ + + ]: 4744 : if (std::find(hidden_arguments.begin(), hidden_arguments.end(), hidden_argument) != hidden_arguments.end()) {
101 : 499 : continue;
102 : : }
103 [ + - ]: 4245 : hidden_arguments.push_back(hidden_argument);
104 : 29269 : }
105 [ + - ]: 11836 : args_manager.AddHiddenArgs(hidden_arguments);
106 : 11836 : },
107 : 1372 : [&] {
108 : 1372 : args_manager.ClearArgs();
109 : 1372 : command_option_names.clear();
110 : 1372 : },
111 : 8791 : [&] {
112 : 8791 : const std::vector<std::string> random_arguments = ConsumeRandomLengthStringVector(fuzzed_data_provider);
113 : 8791 : std::vector<const char*> argv;
114 [ - + + - ]: 8791 : argv.reserve(random_arguments.size());
115 [ + + ]: 52931 : for (const std::string& random_argument : random_arguments) {
116 [ + - ]: 44140 : argv.push_back(random_argument.c_str());
117 : : }
118 : 8791 : try {
119 [ - + ]: 8791 : std::string error;
120 [ - + + - ]: 8791 : (void)args_manager.ParseParameters(argv.size(), argv.data(), error);
121 [ - - ]: 8791 : } catch (const std::logic_error&) {
122 : 0 : }
123 : 8791 : });
124 : : }
125 : :
126 [ + - ]: 819 : const std::string s1 = fuzzed_data_provider.ConsumeRandomLengthString(16);
127 [ + - ]: 819 : const std::string s2 = fuzzed_data_provider.ConsumeRandomLengthString(16);
128 : 819 : const int64_t i64 = fuzzed_data_provider.ConsumeIntegral<int64_t>();
129 : 819 : const bool b = fuzzed_data_provider.ConsumeBool();
130 : :
131 [ + - ]: 819 : (void)args_manager.GetIntArg(s1, i64);
132 [ + - ]: 819 : (void)args_manager.GetArg(s1, s2);
133 [ + - ]: 819 : (void)args_manager.GetArgFlags(s1);
134 [ + - ]: 819 : (void)args_manager.GetArgs(s1);
135 [ + - ]: 819 : (void)args_manager.GetBoolArg(s1, b);
136 : 819 : try {
137 [ + + ]: 1635 : (void)args_manager.GetChainTypeString();
138 [ - + ]: 3 : } catch (const std::runtime_error&) {
139 : 3 : }
140 [ + - ]: 819 : (void)args_manager.GetHelpMessage();
141 [ + - ]: 819 : const auto command = args_manager.GetCommand();
142 [ + + ]: 819 : if (command) {
143 [ + - ]: 222 : (void)args_manager.CheckCommandOptions(command->command);
144 : : }
145 [ + - ]: 819 : (void)args_manager.GetUnrecognizedSections();
146 [ + - ]: 819 : (void)args_manager.GetUnsuitableSectionOnlyArgs();
147 [ + - ]: 819 : (void)args_manager.IsArgNegated(s1);
148 [ + - ]: 819 : (void)args_manager.IsArgSet(s1);
149 : :
150 [ + - ]: 819 : (void)HelpRequested(args_manager);
151 : 819 : }
152 : : } // namespace
|