READ THE CODE

Inside Bitcoin

The code behind the network, with room to understand it.

Stable release v32.1bitcoin/bitcoin · f0de87f04062 ↗3,020 source files · 47.5 MB stored on the server440 file guides

Release published 2026-10-28 · Snapshot fetched 2026-11-01. Latest stable release at fetch time; development branches and Git history are excluded. Only the selected code window and visible folders load here.

9,929 bytes · SHA-256 2ebcb80c126ead3a… · View upstream ↗

1// Copyright (c) 2011 The LevelDB Authors. All rights reserved.
2// Use of this source code is governed by a BSD-style license that can be
3// found in the LICENSE file. See the AUTHORS file for names of contributors.
4
5#include <sys/types.h>
6
7#include "db/db_impl.h"
8#include "db/filename.h"
9#include "db/log_format.h"
10#include "db/version_set.h"
11#include "leveldb/cache.h"
12#include "leveldb/db.h"
13#include "leveldb/table.h"
14#include "leveldb/write_batch.h"
15#include "util/logging.h"
16#include "util/testharness.h"
17#include "util/testutil.h"
18
19namespace leveldb {
20
21static const int kValueSize = 1000;
22
23class CorruptionTest {
24 public:
25  CorruptionTest()
26      : db_(nullptr),
27        dbname_("/memenv/corruption_test"),
28        tiny_cache_(NewLRUCache(100)) {
29    options_.env = &env_;
30    options_.block_cache = tiny_cache_;
31    DestroyDB(dbname_, options_);
32
33    options_.create_if_missing = true;
34    Reopen();
35    options_.create_if_missing = false;
36  }
37
38  ~CorruptionTest() {
39    delete db_;
40    delete tiny_cache_;
41  }
42
43  Status TryReopen() {
44    delete db_;
45    db_ = nullptr;
46    return DB::Open(options_, dbname_, &db_);
47  }
48
49  void Reopen() { ASSERT_OK(TryReopen()); }
50
51  void RepairDB() {
52    delete db_;
53    db_ = nullptr;
54    ASSERT_OK(::leveldb::RepairDB(dbname_, options_));
55  }
56
57  void Build(int n) {
58    std::string key_space, value_space;
59    WriteBatch batch;
60    for (int i = 0; i < n; i++) {
61      // if ((i % 100) == 0) fprintf(stderr, "@ %d of %d\n", i, n);
62      Slice key = Key(i, &key_space);
63      batch.Clear();
64      batch.Put(key, Value(i, &value_space));
65      WriteOptions options;
66      // Corrupt() doesn't work without this sync on windows; stat reports 0 for
67      // the file size.
68      if (i == n - 1) {
69        options.sync = true;
70      }
71      ASSERT_OK(db_->Write(options, &batch));
72    }
73  }
74
75  void Check(int min_expected, int max_expected) {
76    int next_expected = 0;
77    int missed = 0;
78    int bad_keys = 0;
79    int bad_values = 0;
80    int correct = 0;
81    std::string value_space;
82    Iterator* iter = db_->NewIterator(ReadOptions());
83    for (iter->SeekToFirst(); iter->Valid(); iter->Next()) {
84      uint64_t key;
85      Slice in(iter->key());
86      if (in == "" || in == "~") {
87        // Ignore boundary keys.
88        continue;
89      }
90      if (!ConsumeDecimalNumber(&in, &key) || !in.empty() ||
91          key < next_expected) {
92        bad_keys++;
93        continue;
94      }
95      missed += (key - next_expected);
96      next_expected = key + 1;
97      if (iter->value() != Value(key, &value_space)) {
98        bad_values++;
99      } else {
100        correct++;
101      }
102    }
103    delete iter;
104
105    fprintf(stderr,
106            "expected=%d..%d; got=%d; bad_keys=%d; bad_values=%d; missed=%d\n",
107            min_expected, max_expected, correct, bad_keys, bad_values, missed);
108    ASSERT_LE(min_expected, correct);
109    ASSERT_GE(max_expected, correct);
110  }
111
112  void Corrupt(FileType filetype, int offset, int bytes_to_corrupt) {
113    // Pick file to corrupt
114    std::vector<std::string> filenames;
115    ASSERT_OK(env_.target()->GetChildren(dbname_, &filenames));
116    uint64_t number;
117    FileType type;
118    std::string fname;
119    int picked_number = -1;
120    for (size_t i = 0; i < filenames.size(); i++) {
121      if (ParseFileName(filenames[i], &number, &type) && type == filetype &&
122          int(number) > picked_number) {  // Pick latest file
123        fname = dbname_ + "/" + filenames[i];
124        picked_number = number;
125      }
126    }
127    ASSERT_TRUE(!fname.empty()) << filetype;
128
129    uint64_t file_size;
130    ASSERT_OK(env_.target()->GetFileSize(fname, &file_size));
131
132    if (offset < 0) {
133      // Relative to end of file; make it absolute
134      if (-offset > file_size) {
135        offset = 0;
136      } else {
137        offset = file_size + offset;
138      }
139    }
140    if (offset > file_size) {
141      offset = file_size;
142    }
143    if (offset + bytes_to_corrupt > file_size) {
144      bytes_to_corrupt = file_size - offset;
145    }
146
147    // Do it
148    std::string contents;
149    Status s = ReadFileToString(env_.target(), fname, &contents);
150    ASSERT_TRUE(s.ok()) << s.ToString();
151    for (int i = 0; i < bytes_to_corrupt; i++) {
152      contents[i + offset] ^= 0x80;
153    }
154    s = WriteStringToFile(env_.target(), contents, fname);
155    ASSERT_TRUE(s.ok()) << s.ToString();
156  }
157
158  int Property(const std::string& name) {
159    std::string property;
160    int result;
161    if (db_->GetProperty(name, &property) &&
162        sscanf(property.c_str(), "%d", &result) == 1) {
163      return result;
164    } else {
165      return -1;
166    }
167  }
168
169  // Return the ith key
170  Slice Key(int i, std::string* storage) {
171    char buf[100];
172    snprintf(buf, sizeof(buf), "%016d", i);
173    storage->assign(buf, strlen(buf));
174    return Slice(*storage);
175  }
176
177  // Return the value to associate with the specified key
178  Slice Value(int k, std::string* storage) {
179    Random r(k);
180    return test::RandomString(&r, kValueSize, storage);
181  }
182
183  test::ErrorEnv env_;
184  Options options_;
185  DB* db_;
186
187 private:
188  std::string dbname_;
189  Cache* tiny_cache_;
190};
191
192TEST(CorruptionTest, Recovery) {
193  Build(100);
194  Check(100, 100);
195  Corrupt(kLogFile, 19, 1);  // WriteBatch tag for first record
196  Corrupt(kLogFile, log::kBlockSize + 1000, 1);  // Somewhere in second block
197  Reopen();
198
199  // The 64 records in the first two log blocks are completely lost.
200  Check(36, 36);
201}
202
203TEST(CorruptionTest, RecoverWriteError) {
204  env_.writable_file_error_ = true;
205  Status s = TryReopen();
206  ASSERT_TRUE(!s.ok());
207}
208
209TEST(CorruptionTest, NewFileErrorDuringWrite) {
210  // Do enough writing to force minor compaction
211  env_.writable_file_error_ = true;
212  const int num = 3 + (Options().write_buffer_size / kValueSize);
213  std::string value_storage;
214  Status s;
215  for (int i = 0; s.ok() && i < num; i++) {
216    WriteBatch batch;
217    batch.Put("a", Value(100, &value_storage));
218    s = db_->Write(WriteOptions(), &batch);
219  }
220  ASSERT_TRUE(!s.ok());
221  ASSERT_GE(env_.num_writable_file_errors_, 1);
222  env_.writable_file_error_ = false;
223  Reopen();
224}
225
226TEST(CorruptionTest, TableFile) {
227  Build(100);
228  DBImpl* dbi = reinterpret_cast<DBImpl*>(db_);
229  dbi->TEST_CompactMemTable();
230  dbi->TEST_CompactRange(0, nullptr, nullptr);
231  dbi->TEST_CompactRange(1, nullptr, nullptr);
232
233  Corrupt(kTableFile, 100, 1);
234  Check(90, 99);
235}
236
237TEST(CorruptionTest, TableFileRepair) {
238  options_.block_size = 2 * kValueSize;  // Limit scope of corruption
239  options_.paranoid_checks = true;
240  Reopen();
241  Build(100);
242  DBImpl* dbi = reinterpret_cast<DBImpl*>(db_);
243  dbi->TEST_CompactMemTable();
244  dbi->TEST_CompactRange(0, nullptr, nullptr);
245  dbi->TEST_CompactRange(1, nullptr, nullptr);
246
247  Corrupt(kTableFile, 100, 1);
248  RepairDB();
249  Reopen();
250  Check(95, 99);

src/wallet/receive.cpp

src/wallet/coinselection.cpp

src/consensus/validation.h

src/primitives/transaction.cpp

src/script/descriptor.cpp

src/bitcoin-cli.cpp

src/rpc/blockchain.cpp

src/rpc/rawtransaction.cpp

src/init.cpp

src/crypto/sha256.cpp

src/consensus/merkle.h

src/consensus/tx_check.h

src/consensus/tx_verify.h

src/policy/feerate.h

src/policy/feerate.cpp

src/primitives/transaction_identifier.h

src/chainparamsbase.h

src/chainparamsbase.cpp

src/util/moneystr.cpp

src/crypto/ripemd160.h

src/crypto/sha1.h

src/crypto/sha512.h

src/crypto/hmac_sha256.h

src/crypto/hmac_sha512.h

src/crypto/hmac_sha256.cpp

src/crypto/hmac_sha512.cpp

src/crypto/hkdf_sha256_32.h

src/crypto/hkdf_sha256_32.cpp

src/support/cleanse.h

src/support/cleanse.cpp

src/crypto/siphash.cpp

src/crypto/muhash.h

src/crypto/chacha20.h

src/crypto/poly1305.h

src/crypto/chacha20poly1305.h

src/crypto/chacha20poly1305.cpp

src/util/chaintype.cpp

src/util/obfuscation.h

src/util/byte_units.h

src/util/overflow.h

src/blockencodings.cpp

src/net_permissions.cpp

src/policy/packages.cpp

src/policy/rbf.cpp

src/policy/truc_policy.cpp

src/policy/ephemeral_policy.cpp

src/policy/settings.cpp

src/policy/policy.cpp

src/node/transaction.cpp

src/node/coin.cpp

src/rpc/client.cpp

src/rpc/external_signer.cpp

src/rpc/request.cpp

src/rpc/server_util.cpp

src/rpc/fees.cpp

src/rpc/output_script.cpp

src/rpc/rawtransaction_util.cpp

src/rpc/rawtransaction_util.h

src/rpc/register.h

src/rpc/request.h

src/rpc/server_util.h

src/rpc/protocol.h

src/rpc/server.h

src/rpc/signmessage.cpp

src/rpc/txoutproof.cpp

src/rpc/util.cpp

src/rpc/util.h

src/wallet/rpc/addresses.cpp

src/wallet/rpc/backup.cpp

src/wallet/rpc/coins.cpp

src/wallet/rpc/encrypt.cpp

src/wallet/rpc/signmessage.cpp

src/wallet/rpc/util.cpp

src/wallet/rpc/util.h

src/wallet/coincontrol.cpp

src/wallet/coincontrol.h

src/wallet/context.cpp

src/wallet/context.h

src/wallet/crypter.cpp

src/wallet/crypter.h

src/wallet/db.cpp

src/wallet/export.cpp

src/wallet/external_signer_scriptpubkeyman.cpp

src/wallet/rpc/spend.cpp

src/wallet/rpc/transactions.cpp

src/wallet/rpc/wallet.cpp

src/wallet/feebumper.cpp

src/wallet/feebumper.h

src/index/base.h

src/index/base.cpp

src/index/txindex.h

src/index/txindex.cpp

src/index/txindex_key.h

src/index/txospenderindex.h

src/index/txospenderindex.cpp

src/index/blockfilterindex.h

src/index/blockfilterindex.cpp

src/index/coinstatsindex.h

src/index/coinstatsindex.cpp

src/index/db_key.h

src/index/disktxpos.h

src/kernel/chain.cpp

src/kernel/chain.h

src/kernel/checks.cpp

src/kernel/checks.h

src/kernel/context.cpp

src/kernel/context.h

src/kernel/cs_main.cpp

src/kernel/cs_main.h

src/kernel/disconnected_transactions.cpp

src/kernel/disconnected_transactions.h

src/kernel/mempool_removal_reason.cpp

src/kernel/mempool_removal_reason.h

src/kernel/coinstats.cpp

src/kernel/coinstats.h

src/kernel/chainparams.cpp

src/kernel/chainparams.h

src/wallet/sqlite.cpp

src/wallet/sqlite.h

src/wallet/transaction.cpp

src/wallet/transaction.h

src/wallet/dump.cpp

src/wallet/dump.h

src/wallet/init.cpp

src/wallet/walletutil.cpp

src/wallet/walletutil.h

src/wallet/wallettool.cpp

src/wallet/wallettool.h

src/wallet/export.h

src/wallet/migrate.cpp

src/wallet/migrate.h

src/wallet/db.h

src/wallet/walletdb.cpp

src/wallet/interfaces.cpp

src/wallet/scriptpubkeyman.cpp

src/wallet/scriptpubkeyman.h

src/kernel/bitcoinkernel.cpp

src/kernel/bitcoinkernel.h

src/kernel/bitcoinkernel_wrapper.h

src/node/chainstate.cpp

src/node/chainstate.h

src/node/blockstorage.cpp

src/node/blockstorage.h

src/node/mempool_persist.cpp

src/node/mempool_persist.h

src/node/utxo_snapshot.cpp

src/node/utxo_snapshot.h

src/node/kernel_notifications.cpp

src/node/kernel_notifications.h

src/node/blockmanager_args.cpp

src/kernel/blockmanager_opts.h

src/util/expected.cpp

src/policy/settings.h

src/util/types.h

src/kernel/messagestartchars.h

src/kernel/warning.h

src/util/exception.h

src/common/license_info.h

src/node/coins_view_args.h

src/node/database_args.h

src/util/batchpriority.h

src/util/ui_change_type.h

src/node/coins_view_args.cpp

src/node/peerman_args.h

src/util/serfloat.h

src/node/blockmanager_args.h

src/node/database_args.cpp

src/util/overloaded.h

src/interfaces/types.h

src/node/chainstatemanager_args.h

src/node/minisketchwrapper.h

src/util/macros.h

src/util/syserror.h

src/common/run_command.h

src/util/bytevectorhash.cpp

src/node/mempool_persist_args.cpp

src/util/exec.h

src/util/rbf.h

src/crypto/hex_base.h

src/node/mempool_persist_args.h

src/interfaces/echo.h

src/util/any.h

src/util/batchpriority.cpp

src/util/threadnames.h

src/node/coin.h

src/node/mempool_args.h

src/util/asmap.h

src/util/bytevectorhash.h

src/node/context.cpp

src/util/insert.h

src/util/readwritefile.h

src/node/peerman_args.cpp

src/node/interface_ui.cpp

src/interfaces/handler.h

src/node/mining_args.h

src/util/hasher.cpp

src/common/init.h

src/kernel/mempool_limits.h

src/common/system.h

src/crypto/sha3.h

src/util/threadinterrupt.cpp

src/node/protocol_version.h

src/util/exception.cpp

src/common/messages.h

src/node/connection_types.cpp

src/util/bip32.h

src/common/license_info.cpp

src/util/stdmutex.h

src/common/run_command.cpp

src/util/check.cpp

src/util/golombrice.h

src/node/types.h

src/node/timeoffsets.h

src/util/readwritefile.cpp

src/util/fastrange.h

src/util/signalinterrupt.h

src/util/task_runner.h

src/util/syserror.cpp

src/common/interfaces.cpp

src/common/types.h

src/util/threadinterrupt.h

src/kernel/chainstatemanager_opts.h

src/node/psbt.h

src/policy/ephemeral_policy.h

src/util/trace.h

src/common/url.cpp

src/kernel/mempool_options.h

src/util/serfloat.cpp

src/kernel/notifications_interface.h

src/node/timeoffsets.cpp

src/node/warnings.cpp

src/util/hash_type.h

src/crypto/hex_base.cpp

src/node/eviction.h

src/util/tokenbucket.h

src/crypto/aes.h

src/common/pcp.h

src/util/feefrac.cpp

src/node/transaction.h

src/util/threadnames.cpp

src/common/signmessage.h

src/util/exec.cpp

src/util/signalinterrupt.cpp

src/clientversion.cpp

src/common/signmessage.cpp

src/compat/assumptions.h

src/compat/byteswap.h

src/deploymentinfo.cpp

src/deploymentinfo.h

src/deploymentstatus.cpp

src/deploymentstatus.h

src/dummywallet.cpp

src/external_signer.h

src/init/bitcoin-gui.cpp

src/init/bitcoin-node.cpp

src/init/bitcoin-qt.cpp

src/init/bitcoin-wallet.cpp

src/init/bitcoind.cpp

src/init/common.h

src/interfaces/init.h

src/interfaces/ipc.h

src/key_io.h

src/logging/categories.h

src/logging/timer.h

src/mapport.h

src/musig.h

src/net_permissions.h

src/netgroup.h

src/netmessagemaker.h

src/node/chainstatemanager_args.cpp

src/node/connection_types.h

src/node/context.h

src/node/interface_ui.h

src/node/mempool_args.cpp

src/node/mining_args.cpp

src/node/minisketchwrapper.cpp

src/node/txreconciliation.h

src/policy/fees/estimator_args.cpp

src/policy/fees/estimator_args.h

src/policy/fees/estimator_man.cpp

src/policy/fees/estimator_man.h

src/policy/packages.h

src/policy/rbf.h

src/policy/truc_policy.h

src/pow.h

src/primitives/block.cpp

src/randomenv.h

src/rest.h

src/script/keyorigin.h

src/script/parsing.cpp

src/script/parsing.h

src/script/script_error.h

src/script/sigcache.cpp

src/script/sigcache.h

src/script/solver.h

src/script/verify_flags.h

src/semaphore_grant.h

src/signet.h

src/span.h

src/support/allocators/secure.h

src/support/allocators/zeroafterfree.h

src/util/tokenpipe.cpp

src/util/translation.h

src/util/vector.h

src/versionbits.h

src/versionbits_impl.h

src/wallet/external_signer_scriptpubkeyman.h

src/wallet/fees.h

src/wallet/load.h

src/wallet/receive.h

src/wallet/rpc/wallet.h

src/wallet/types.h

src/walletinitinterface.h

src/zmq/zmqabstractnotifier.cpp

Independent explanations by MyBitcoinExplorer. Not affiliated with or endorsed by Bitcoin Core. Guides are educational and do not replace the source or its tests.

Bitcoin Core source © its contributors, distributed under the MIT license. Original notices and bundled third-party licenses are retained in the source tree.