Bitcoin Core 32.99.0
P2P Digital Currency
Loading...
Searching...
No Matches
rpc.cpp
Go to the documentation of this file.
1// Copyright (c) 2021-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 <base58.h>
6#include <key.h>
7#include <key_io.h>
8#include <primitives/block.h>
10#include <psbt.h>
11#include <rpc/request.h>
12#include <rpc/server.h>
13#include <span.h>
14#include <streams.h>
16#include <test/fuzz/fuzz.h>
17#include <test/fuzz/util.h>
19#include <test/util/time.h>
20#include <tinyformat.h>
21#include <uint256.h>
22#include <univalue.h>
23#include <util/strencodings.h>
24#include <util/string.h>
25#include <util/time.h>
26
27#include <algorithm>
28#include <cassert>
29#include <cstdint>
30#include <cstdlib>
31#include <exception>
32#include <iostream>
33#include <memory>
34#include <optional>
35#include <stdexcept>
36#include <utility>
37#include <vector>
38
39enum class ChainType;
40
41namespace {
42struct RPCFuzzTestingSetup : public TestingSetup {
43 RPCFuzzTestingSetup(const ChainType chain_type, TestOpts opts) : TestingSetup{chain_type, opts}
44 {
45 }
46
47 void CallRPC(const std::string& rpc_method, UniValue&& params)
48 {
49 JSONRPCRequest request;
50 request.context = &m_node;
51 request.strMethod = rpc_method;
52 request.params = std::move(params);
53 tableRPC.execute(request);
54 }
55
56 std::vector<std::string> GetRPCCommands() const
57 {
58 return tableRPC.listCommands();
59 }
60};
61
62RPCFuzzTestingSetup* rpc_testing_setup = nullptr;
63std::string g_limit_to_rpc_command;
64
65// RPC commands which are not appropriate for fuzzing: such as RPC commands
66// reading or writing to a filename passed as an RPC parameter, RPC commands
67// resulting in network activity, etc.
68const std::vector<std::string> RPC_COMMANDS_NOT_SAFE_FOR_FUZZING{
69 "addconnection", // avoid DNS lookups
70 "addnode", // avoid DNS lookups
71 "addpeeraddress", // avoid DNS lookups
72 "dumptxoutset", // avoid writing to disk
73 "enumeratesigners",
74 "echoipc", // avoid assertion failure (Assertion `"EnsureAnyNodeContext(request.context).init" && check' failed.)
75 "exportasmap", // avoid writing to disk
76 "generateblock", // avoid chain state changes and disk writes (mines and submits a block)
77 "generatetoaddress", // avoid prohibitively slow execution (when `num_blocks` is large)
78 "generatetodescriptor", // avoid prohibitively slow execution (when `nblocks` is large)
79 "gettxoutproof", // avoid prohibitively slow execution
80 "importmempool", // avoid reading from disk
81 "loadtxoutset", // avoid reading from disk
82 "loadwallet", // avoid reading from disk
83 "savemempool", // disabled as a precautionary measure: may take a file path argument in the future
84 "setban", // avoid DNS lookups
85 "stop", // avoid shutdown state
86 "waitforblock", // avoid blocking forever (tip never changes during fuzzing; no timeout by default)
87 "waitforblockheight", // avoid blocking forever (tip never changes during fuzzing; no timeout by default)
88 "waitfornewblock", // avoid blocking forever (tip never changes during fuzzing; no timeout by default)
89};
90
91// RPC commands which are safe for fuzzing.
92const std::vector<std::string> RPC_COMMANDS_SAFE_FOR_FUZZING{
93 "abortprivatebroadcast",
94 "analyzepsbt",
95 "clearbanned",
96 "combinepsbt",
97 "combinerawtransaction",
98 "converttopsbt",
99 "createmultisig",
100 "createpsbt",
101 "createrawtransaction",
102 "decodepsbt",
103 "decoderawtransaction",
104 "decodescript",
105 "deriveaddresses",
106 "descriptorprocesspsbt",
107 "disconnectnode",
108 "echo",
109 "echojson",
110 "estimaterawfee",
111 "estimatesmartfee",
112 "finalizepsbt",
113 "generate",
114 "getaddednodeinfo",
115 "getaddrmaninfo",
116 "getbestblockhash",
117 "getblock",
118 "getblockchaininfo",
119 "getblockcount",
120 "getblockfilter",
121 "getblockfrompeer", // when no peers are connected, no p2p message is sent
122 "getblockhash",
123 "getblockheader",
124 "getblockstats",
125 "getblocktemplate",
126 "getchaintips",
127 "getchainstates",
128 "getchaintxstats",
129 "getconnectioncount",
130 "getdeploymentinfo",
131 "getdescriptoractivity",
132 "getdescriptorinfo",
133 "getdifficulty",
134 "getindexinfo",
135 "getmemoryinfo",
136 "getmempoolancestors",
137 "getmempooldescendants",
138 "getmempoolentry",
139 "getmempoolfeeratediagram",
140 "getmempoolcluster",
141 "getmempoolinfo",
142 "getmininginfo",
143 "getnettotals",
144 "getnetworkhashps",
145 "getnetworkinfo",
146 "getnodeaddresses",
147 "getopenrpcinfo",
148 "getorphantxs",
149 "getpeerinfo",
150 "getprioritisedtransactions",
151 "getprivatebroadcastinfo",
152 "getrawaddrman",
153 "getrawmempool",
154 "getrawtransaction",
155 "getrpcinfo",
156 "gettxout",
157 "gettxoutsetinfo",
158 "gettxspendingprevout",
159 "help",
160 "invalidateblock",
161 "joinpsbts",
162 "listbanned",
163 "logging",
164 "mockscheduler",
165 "ping",
166 "preciousblock",
167 "prioritisetransaction",
168 "pruneblockchain",
169 "reconsiderblock",
170 "rpc.discover",
171 "scanblocks",
172 "scantxoutset",
173 "sendmsgtopeer", // when no peers are connected, no p2p message is sent
174 "sendrawtransaction",
175 "setmocktime",
176 "setnetworkactive",
177 "signmessagewithprivkey",
178 "signrawtransactionwithkey",
179 "submitblock",
180 "submitheader",
181 "submitpackage",
182 "syncwithvalidationinterfacequeue",
183 "testmempoolaccept",
184 "uptime",
185 "utxoupdatepsbt",
186 "validateaddress",
187 "verifychain",
188 "verifymessage",
189 "verifytxoutproof",
190};
191
193{
194 const size_t max_string_length = 4096;
195 const size_t max_base58_bytes_length{64};
196 UniValue r{};
197 CallOneOf(
199 [&] {
200 // arbitrary JSON argument
202 good_data = false;
203 }
204 },
205 [&] {
206 // null argument
208 },
209 [&] {
210 // string argument
212 },
213 [&] {
214 // base64 argument
216 },
217 [&] {
218 // hex argument
220 },
221 [&] {
222 // bool argument
224 },
225 [&] {
226 // integral argument (int64_t)
228 },
229 [&] {
230 // integral argument (uint64_t)
232 },
233 [&] {
234 // floating point argument
236 },
237 [&] {
238 // tx destination argument
240 },
241 [&] {
242 // uint160 argument
244 },
245 [&] {
246 // uint256 argument
248 },
249 [&] {
250 // base32 argument
252 },
253 [&] {
254 // base58 argument
256 },
257 [&] {
258 // base58 argument with checksum
260 },
261 [&] {
262 // hex encoded block
264 if (!opt_block) {
265 good_data = false;
266 return;
267 }
271 },
272 [&] {
273 // hex encoded block header
275 if (!opt_block_header) {
276 good_data = false;
277 return;
278 }
282 },
283 [&] {
284 // hex encoded tx
286 if (!opt_tx) {
287 good_data = false;
288 return;
289 }
292 data_stream << allow_witness(*opt_tx);
294 },
295 [&] {
296 // base64 encoded psbt
298 if (!opt_psbt) {
299 good_data = false;
300 return;
301 }
305 },
306 [&] {
307 // base58 encoded key
309 if (!key.IsValid()) {
310 good_data = false;
311 return;
312 }
313 r = UniValue{EncodeSecret(key)};
314 },
315 [&] {
316 // hex encoded pubkey
318 if (!key.IsValid()) {
319 good_data = false;
320 return;
321 }
322 r = UniValue{HexStr(key.GetPubKey())};
323 });
324 return r;
325}
326
327constexpr int MAX_RPC_ARGUMENT_NESTING{9};
328
329// NOLINTBEGIN(misc-no-recursion)
331{
332 if (nesting_depth == 0) {
334 }
336 std::vector<std::function<void()>> mks{
338 [&] {
342 }
343 },
344 [&] {
349 }
350 },
351 };
353 return argument;
354}
355// NOLINTEND(misc-no-recursion)
356
357RPCFuzzTestingSetup* InitializeRPCFuzzTestingSetup()
358{
361 return setup.get();
362}
363}; // namespace
364
366{
368 const std::vector<std::string> supported_rpc_commands = rpc_testing_setup->GetRPCCommands();
369 for (const std::string& rpc_command : supported_rpc_commands) {
373 std::cerr << "Error: RPC command \"" << rpc_command << "\" not found in RPC_COMMANDS_SAFE_FOR_FUZZING or RPC_COMMANDS_NOT_SAFE_FOR_FUZZING. Please update " << __FILE__ << ".\n";
374 std::terminate();
375 }
377 std::cerr << "Error: RPC command \"" << rpc_command << "\" found in *both* RPC_COMMANDS_SAFE_FOR_FUZZING and RPC_COMMANDS_NOT_SAFE_FOR_FUZZING. Please update " << __FILE__ << ".\n";
378 std::terminate();
379 }
380 }
381 const char* limit_to_rpc_command_env = std::getenv("LIMIT_TO_RPC_COMMAND");
382 if (limit_to_rpc_command_env != nullptr) {
384 }
385}
386
388{
390 FuzzedDataProvider fuzzed_data_provider{buffer.data(), buffer.size()};
391 bool good_data{true};
395 return;
396 }
398 if (!safe_for_fuzzing) {
399 return;
400 }
404 }
405 try {
406 std::optional<test_only_CheckFailuresAreExceptionsNotAborts> maybe_mock{};
407 if (rpc_command == "echo") {
408 // Avoid aborting fuzzing for this specific test-only RPC with an
409 // intentional trigger_internal_bug
410 maybe_mock.emplace();
411 }
412 rpc_testing_setup->CallRPC(rpc_command, std::move(arguments));
413 } catch (const UniValue& json_rpc_error) {
414 const std::string error_msg{json_rpc_error.find_value("message").get_str()};
415 if (error_msg.starts_with("Internal bug detected")) {
416 // Only allow the intentional internal bug
417 assert(error_msg.find("trigger_internal_bug") != std::string::npos);
418 }
419 }
420}
std::string EncodeBase58(std::span< const unsigned char > input)
Why base-58 instead of standard base-64 encoding?
Definition base58.cpp:89
std::string EncodeBase58Check(std::span< const unsigned char > input)
Encode a byte span into a base58-encoded string, including checksum.
Definition base58.cpp:137
static UniValue CallRPC(BaseRequestHandler *rh, const std::string &strMethod, const std::vector< std::string > &args, const std::string &endpoint, const std::string &username)
ChainType
Definition chaintype.h:12
An encapsulated private key.
Definition key.h:46
bool IsValid() const
Check whether this private key is valid.
Definition key.h:134
CPubKey GetPubKey() const
Compute the public key from a private key.
Definition key.cpp:184
std::vector< std::string > listCommands() const
Returns a list of registered commands.
Definition server.cpp:895
UniValue execute(const JSONRPCRequest &request) const
Execute a method.
Definition server.cpp:858
Double ended buffer combining vector and stream-like interfaces.
Definition streams.h:165
Helper to initialize the global NodeClock, let a duration elapse, and reset it after use in a test.
Definition time.h:54
std::string ConsumeRandomLengthString(size_t max_length)
UniValue params
Definition request.h:59
std::string strMethod
Definition request.h:58
std::any context
Definition request.h:64
std::string ToString() const
Definition uint256.cpp:21
#define FUZZ_TARGET(...)
Definition fuzz.h:35
#define LIMITED_WHILE(condition, limit)
Can be used to limit a theoretically unbounded loop.
Definition fuzz.h:22
std::string HexStr(const std::span< const uint8_t > s)
Convert a span of bytes to a lower-case hexadecimal string.
Definition hex_base.cpp:30
std::string EncodeSecret(const CKey &key)
Definition key_io.cpp:233
std::string EncodeDestination(const CTxDestination &dest)
Definition key_io.cpp:292
Definition basic.cpp:11
constexpr TransactionSerParams TX_NO_WITNESS
constexpr TransactionSerParams TX_WITH_WITNESS
void initialize_rpc()
Definition rpc.cpp:365
void SetRPCWarmupFinished()
Definition server.cpp:700
CRPCTable tableRPC
Definition server.cpp:1002
constexpr auto MakeUCharSpan(const V &v) -> decltype(UCharSpanCast(std::span{v}))
Like the std::span constructor, but for (const) unsigned char member types only.
Definition span.h:111
node::NodeContext m_node
Testing setup that configures a complete environment.
SeedRandomStateForTest(SeedRand::ZEROS)
NodeSeconds ConsumeTime(FuzzedDataProvider &fuzzed_data_provider, const std::optional< int64_t > &min, const std::optional< int64_t > &max) noexcept
Definition util.cpp:34
CKey ConsumePrivateKey(FuzzedDataProvider &fuzzed_data_provider, std::optional< bool > compressed) noexcept
Definition util.cpp:230
CTxDestination ConsumeTxDestination(FuzzedDataProvider &fuzzed_data_provider) noexcept
Definition util.cpp:184
auto & PickValue(FuzzedDataProvider &fuzzed_data_provider, Collection &col)
Definition util.h:57
uint256 ConsumeUInt256(FuzzedDataProvider &fuzzed_data_provider) noexcept
Definition util.h:195
size_t CallOneOf(FuzzedDataProvider &fuzzed_data_provider, Callables... callables)
Definition util.h:37
uint160 ConsumeUInt160(FuzzedDataProvider &fuzzed_data_provider) noexcept
Definition util.h:186
@ ZEROS
Seed with a compile time constant of zeros.
static int setup(void)
Definition tests.c:8289
std::string EncodeBase32(std::span< const unsigned char > input, bool pad)
Base32 encode.
std::string EncodeBase64(std::span< const unsigned char > input)
constexpr auto Ticks(Dur2 d)
Helper to count the seconds of a duration/time_point.
Definition time.h:82
assert(!tx.IsCoinBase())
FuzzedDataProvider & fuzzed_data_provider
Definition fees.cpp:46
FakeNodeClock clock