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 [ + - ]: 1285 : 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 : : {
43 [ + - ]: 120591 : CallOneOf(
44 : : fuzzed_data_provider,
45 : 53577 : [&] {
46 [ + - ]: 53577 : args_manager.SelectConfigNetwork(fuzzed_data_provider.ConsumeRandomLengthString(16));
47 : 53577 : },
48 : 5244 : [&] {
49 : 5244 : auto str_arg = fuzzed_data_provider.ConsumeRandomLengthString(16);
50 [ + - ]: 5244 : auto str_value = fuzzed_data_provider.ConsumeRandomLengthString(16);
51 [ + - ]: 5244 : args_manager.SoftSetArg(str_arg, str_value);
52 : 5244 : },
53 : 7490 : [&] {
54 : 7490 : auto str_arg = fuzzed_data_provider.ConsumeRandomLengthString(16);
55 [ + - ]: 7490 : auto str_value = fuzzed_data_provider.ConsumeRandomLengthString(16);
56 [ + - ]: 7490 : args_manager.ForceSetArg(str_arg, str_value);
57 : 7490 : },
58 : 14279 : [&] {
59 : 14279 : auto str_arg = fuzzed_data_provider.ConsumeRandomLengthString(16);
60 : 14279 : auto f_value = fuzzed_data_provider.ConsumeBool();
61 [ + - ]: 14279 : args_manager.SoftSetBoolArg(str_arg, f_value);
62 : 14279 : },
63 : 9201 : [&] {
64 : 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});
65 : : // Avoid hitting:
66 : : // common/args.cpp:563: void ArgsManager::AddArg(const std::string &, const std::string &, unsigned int, const OptionsCategory &): Assertion `ret.second' failed.
67 [ + - ]: 9201 : const std::string argument_name = GetArgumentName(fuzzed_data_provider.ConsumeRandomLengthString(16));
68 [ + - + + ]: 9201 : if (args_manager.GetArgFlags(argument_name) != std::nullopt) {
69 : 6540 : return;
70 : : }
71 [ + - ]: 2661 : auto help = fuzzed_data_provider.ConsumeRandomLengthString(16);
72 : 2661 : auto flags = fuzzed_data_provider.ConsumeIntegral<unsigned int>() & ~ArgsManager::COMMAND;
73 [ + - ]: 2661 : args_manager.AddArg(argument_name, help, flags, options_category);
74 [ + + ]: 2661 : if (options_category == OptionsCategory::COMMAND_OPTIONS) {
75 [ + - ]: 19 : command_option_names.push_back(argument_name);
76 : : }
77 : 9201 : },
78 : 8801 : [&] {
79 : 8801 : auto cmd = fuzzed_data_provider.ConsumeRandomLengthString(16);
80 [ + + + + : 8801 : if (cmd.empty() || cmd[0] == '-' || cmd.find('=') != std::string::npos) return;
+ + ]
81 [ + - + + ]: 4015 : if (args_manager.GetArgFlags(cmd) != std::nullopt) return;
82 [ + - ]: 2893 : auto help = fuzzed_data_provider.ConsumeRandomLengthString(16);
83 : 2893 : std::set<std::string> options;
84 [ + + ]: 2897 : for (const auto& opt : command_option_names) {
85 [ + + ]: 4 : if (fuzzed_data_provider.ConsumeBool()) {
86 [ + - ]: 2 : options.insert(opt);
87 : : }
88 : : }
89 [ + - ]: 5786 : args_manager.AddCommand(cmd, help, std::move(options));
90 : 8801 : },
91 : 11836 : [&] {
92 : : // Avoid hitting:
93 : : // common/args.cpp:563: void ArgsManager::AddArg(const std::string &, const std::string &, unsigned int, const OptionsCategory &): Assertion `ret.second' failed.
94 : 11836 : const std::vector<std::string> names = ConsumeRandomLengthStringVector(fuzzed_data_provider);
95 : 11836 : std::vector<std::string> hidden_arguments;
96 [ + + ]: 41105 : for (const std::string& name : names) {
97 [ + - ]: 29269 : const std::string hidden_argument = GetArgumentName(name);
98 [ + - + + ]: 29269 : if (args_manager.GetArgFlags(hidden_argument) != std::nullopt) {
99 : 24525 : continue;
100 : : }
101 [ + + ]: 4744 : if (std::find(hidden_arguments.begin(), hidden_arguments.end(), hidden_argument) != hidden_arguments.end()) {
102 : 499 : continue;
103 : : }
104 [ + - ]: 4245 : hidden_arguments.push_back(hidden_argument);
105 : 29269 : }
106 [ + - ]: 11836 : args_manager.AddHiddenArgs(hidden_arguments);
107 : 11836 : },
108 : 1372 : [&] {
109 : 1372 : args_manager.ClearArgs();
110 : 1372 : command_option_names.clear();
111 : 1372 : },
112 : 8791 : [&] {
113 : 8791 : const std::vector<std::string> random_arguments = ConsumeRandomLengthStringVector(fuzzed_data_provider);
114 : 8791 : std::vector<const char*> argv;
115 [ - + + - ]: 8791 : argv.reserve(random_arguments.size());
116 [ + + ]: 52931 : for (const std::string& random_argument : random_arguments) {
117 [ + - ]: 44140 : argv.push_back(random_argument.c_str());
118 : : }
119 : 8791 : try {
120 [ - + ]: 8791 : std::string error;
121 [ - + + - ]: 8791 : (void)args_manager.ParseParameters(argv.size(), argv.data(), error);
122 [ - - ]: 8791 : } catch (const std::logic_error&) {
123 : 0 : }
124 : 8791 : });
125 : : }
126 : :
127 [ + - ]: 819 : const std::string s1 = fuzzed_data_provider.ConsumeRandomLengthString(16);
128 [ + - ]: 819 : const std::string s2 = fuzzed_data_provider.ConsumeRandomLengthString(16);
129 : 819 : const int64_t i64 = fuzzed_data_provider.ConsumeIntegral<int64_t>();
130 : 819 : const bool b = fuzzed_data_provider.ConsumeBool();
131 : :
132 [ + - ]: 819 : (void)args_manager.GetIntArg(s1, i64);
133 [ + - ]: 819 : (void)args_manager.GetArg(s1, s2);
134 [ + - ]: 819 : (void)args_manager.GetArgFlags(s1);
135 [ + - ]: 819 : (void)args_manager.GetArgs(s1);
136 [ + - ]: 819 : (void)args_manager.GetBoolArg(s1, b);
137 : 819 : try {
138 [ + + ]: 1635 : (void)args_manager.GetChainTypeString();
139 [ - + ]: 3 : } catch (const std::runtime_error&) {
140 : 3 : }
141 [ + - ]: 819 : (void)args_manager.GetHelpMessage();
142 [ + - ]: 819 : const auto command = args_manager.GetCommand();
143 [ + + ]: 819 : if (command) {
144 [ + - ]: 222 : (void)args_manager.CheckCommandOptions(command->command);
145 : : }
146 [ + - ]: 819 : (void)args_manager.GetUnrecognizedSections();
147 [ + - ]: 819 : (void)args_manager.GetUnsuitableSectionOnlyArgs();
148 [ + - ]: 819 : (void)args_manager.IsArgNegated(s1);
149 [ + - ]: 819 : (void)args_manager.IsArgSet(s1);
150 : :
151 [ + - ]: 819 : (void)HelpRequested(args_manager);
152 : 819 : }
153 : : } // namespace
|