Introduction

For all fans of statistics and static analysis – enjoy! 🤓

808 authors (+5) have contributed to the project (merged contributions). Thank you! ❤️

The repo contains 493 912 (+1 955) lines of text and 1 779 (+18) files.

21 426 (+214) commits have been made of which 4 213 (+77) are merge commits.

There are currently 289 (+10) open pull requests from in total 91 (+6) contributors.

If all open pull requests were merged the project line count would grow by roughly 11 percent.

The total set of open pull requests adds 81 802 lines, removes 26 878 lines and touches 2 552 distinct files.

The "median open pull request" adds 54 lines, removes 16 lines and touches 4 files.

Previous edition: State of the Repo, August 2019

Static analysis report

This is the monthly static analysis snapshot for the source tree 4c4ff491.

Note: Before submitting any pull requests to Bitcoin Core, please read CONTRIBUTING.md. In particular the section on refactoring, as it likely applies to changes generated with these tools:

Trivial pull requests or pull requests that refactor the code with no clear benefits may be immediately closed by the maintainers to reduce unnecessary workload on reviewing.

Disclaimer: These results have not been confirmed, and may be improbable or flat out invalid, but it's worth having a list of these somewhere and keep track of changes over time. The results may be subject to a large number of false positives and false negatives. The results are not necessarily complete. Please report if you see any spurious results that you think could be filtered out automatically in the next edition to reduce noise. This report is currently in beta: feedback welcome.

Functions that are both unused and untested

bitcoinconsensus_version
BlockFilter::BlockFilter(BlockFilterType, uint256 const&, std::vector<unsigned char>)
CBlock::ToString() const
CBloomFilter::reset(unsigned int)
CClientUIInterface::LoadWallet(std::unique_ptr<interfaces::Wallet>&)
PartiallySignedTransaction::IsNull() const
PSBTInput::IsNull() const
PSBTOutput::IsNull() const

Functions that are unused outside of the testing code

base_blob<160u>::SetHex(std::string const&)
base_blob<160u>::ToString() const
base_uint<256u>::base_uint(std::string const&)
base_uint<256u>::ToString() const
bitcoinconsensus_verify_script
bitcoinconsensus_verify_script_with_amount
BlockFilter::BlockFilter(BlockFilterType, CBlock const&, CBlockUndo const&)
BlockFilter::ComputeHeader(uint256 const&) const
CBloomFilter::CBloomFilter(unsigned int, double, unsigned int, unsigned char)
CBloomFilter::insert(uint256 const&)
CKey::Negate()
DecodeBase58(std::string const&, std::vector<unsigned char>&)
GCSFilter::MatchAny(std::unordered_set<std::vector<unsigned char>, ByteVectorHash, std::equal_to<std::vector<unsigned char>>, std::allocator<std::vector<unsigned char>>> const&) const
GCSFilter::Match(std::vector<unsigned char> const&) const
SignSignature(SigningProvider const&, CTransaction const&, CMutableTransaction&, unsigned int, int)

Clang warnings

core_write.cpp:100:15: warning: result of comparison of 0 <= unsigned enum expression is always true [-Wtautological-unsigned-enum-zero-compare]
dbwrapper.cpp:45:50: warning: format string is not a string literal [-Wformat-nonliteral]
index/blockfilterindex.cpp:55:5: warning: unused member function 'DBHeightKey' [-Wunused-member-function]
index/blockfilterindex.cpp:81:5: warning: unused function template 'Unserialize' [-Wunused-template]
init.cpp:937:5: warning: loop will run at most once (loop increment never executed) [-Wunreachable-code-loop-increment]
policy/fees.cpp:315:30: warning: comparing floating point with == or != is unsafe [-Wfloat-equal]
policy/fees.cpp:742:45: warning: comparing floating point with == or != is unsafe [-Wfloat-equal]
policy/fees.cpp:749:47: warning: comparing floating point with == or != is unsafe [-Wfloat-equal]
policy/fees.cpp:848:32: warning: comparing floating point with == or != is unsafe [-Wfloat-equal]
random.cpp:152:12: warning: variable 'r1' may be uninitialized when used here [-Wconditional-uninitialized]
rpc/mining.cpp:245:70: warning: comparing floating point with == or != is unsafe [-Wfloat-equal]
rpc/mining.cpp:666:7: warning: 'submitblock_StateCatcher' has virtual functions but non-virtual destructor [-Wnon-virtual-dtor]
rpc/mining.cpp:937:36: warning: comparing floating point with == or != is unsafe [-Wfloat-equal]
script/bitcoinconsensus.cpp:50:9: warning: unused member function 'GetType' [-Wunused-member-function]
script/interpreter.cpp:343:28: warning: result of comparison of 0 <= unsigned enum expression is always true [-Wtautological-unsigned-enum-zero-compare]
script/script.h:449:20: warning: result of comparison of unsigned enum expression < 0 is always false [-Wtautological-unsigned-enum-zero-compare]
script/script.h:449:34: warning: result of comparison 'opcodetype' > 255 is always false [-Wtautological-type-limit-compare]
txdb.h:72:5: warning: '~CCoinsViewDBCursor' overrides a destructor but is not marked 'override' [-Winconsistent-missing-destructor-override]
txmempool.cpp:983:64: warning: comparing floating point with == or != is unsafe [-Wfloat-equal]
txmempool.h:221:16: warning: comparing floating point with == or != is unsafe [-Wfloat-equal]
txmempool.h:259:16: warning: comparing floating point with == or != is unsafe [-Wfloat-equal]
txmempool.h:294:16: warning: comparing floating point with == or != is unsafe [-Wfloat-equal]
util/strencodings.cpp:304:11: warning: result of comparison 'long long' >= -9223372036854775808 is always true [-Wtautological-type-limit-compare]
util/strencodings.cpp:305:11: warning: result of comparison 'long long' <= 9223372036854775807 is always true [-Wtautological-type-limit-compare]
util/strencodings.cpp:338:11: warning: result of comparison 'unsigned long long' <= 18446744073709551615 is always true [-Wtautological-type-limit-compare]
validation.cpp:1809:7: warning: 'WarningBitsConditionChecker' has virtual functions but non-virtual destructor [-Wnon-virtual-dtor]
versionbits.cpp:166:7: warning: '(anonymous namespace)::VersionBitsConditionChecker' has virtual functions but non-virtual destructor [-Wnon-virtual-dtor]
versionbits.h:55:7: warning: 'AbstractThresholdConditionChecker' has virtual functions but non-virtual destructor [-Wnon-virtual-dtor]
wallet/wallet.h:937:5: warning: '~CWallet' overrides a destructor but is not marked 'override' [-Winconsistent-missing-destructor-override]

Clang static analyzer warnings

chain.h:443:24: warning: Access to field 'nHeight' results in a dereference of a null pointer (loaded from variable 'pindex')
crypto/sha256.cpp:598:9: warning: Value stored to 'enabled_avx' is never read
crypto/sha256.cpp:602:9: warning: Value stored to 'have_avx2' is never read
crypto/sha256.cpp:603:9: warning: Value stored to 'have_shani' is never read
net_processing.cpp:3747:55: warning: Called C++ object pointer is null
validation.cpp:4200:50: warning: Access to field 'nHeight' results in a dereference of a null pointer (loaded from variable 'pindex')

Cppcheck warnings

checkqueue.h:89 -> src/checkqueue.h:93: (warning) Identical inner 'if' condition is always true.
cuckoocache.h:245: (error) Shifting 32-bit value by 32 bits is undefined behaviour
cuckoocache.h:246: (error) Shifting 32-bit value by 32 bits is undefined behaviour
cuckoocache.h:247: (error) Shifting 32-bit value by 32 bits is undefined behaviour
cuckoocache.h:248: (error) Shifting 32-bit value by 32 bits is undefined behaviour
cuckoocache.h:249: (error) Shifting 32-bit value by 32 bits is undefined behaviour
cuckoocache.h:250: (error) Shifting 32-bit value by 32 bits is undefined behaviour
cuckoocache.h:251: (error) Shifting 32-bit value by 32 bits is undefined behaviour
cuckoocache.h:252: (error) Shifting 32-bit value by 32 bits is undefined behaviour
index/base.cpp:178: (warning) Assert statement calls a function which may have desired side effects: 'GetAncestor'.
index/blockfilterindex.cpp:286: (warning) Assert statement calls a function which may have desired side effects: 'GetAncestor'.
net_processing.cpp:891: (error) Same iterator is used with different containers 'mapOrphanTransactions' and 'itPrev.second'.
txdb.cpp:315: (error) Uninitialized variable: nVersionDummy
txmempool.cpp:643: (warning) Assert statement calls a function which may have desired side effects: 'end'.
undo.h:57: (error) Uninitialized variable: nVersionDummy
validation.cpp:2217: (warning) Assert statement calls a function which may have desired side effects: 'CanFlushToDisk'.
wallet/rpcwallet.cpp:1484: (error) After erase(), the iterator 'first' may be invalid.

Facebook Infer warnings

crypto/sha256.cpp:598: error: DEAD_STORE: The value written to &enabled_avx (type _Bool) is never used.
crypto/sha256.cpp:602: error: DEAD_STORE: The value written to &have_avx2 (type _Bool) is never used.
crypto/sha256.cpp:603: error: DEAD_STORE: The value written to &have_shani (type _Bool) is never used.
net_processing.cpp:1189: error: NULL_DEREFERENCE: pointer `state` last assigned on line 1186 could be null and is dereferenced at line 1189, column 13.
net_processing.cpp:1642: error: NULL_DEREFERENCE: pointer `nodestate` last assigned on line 1631 could be null and is dereferenced at line 1642, column 13.
net_processing.cpp:3247: error: NULL_DEREFERENCE: pointer `__range` last assigned on line 3247 could be null and is dereferenced at line 3247, column 41.
net_processing.cpp:3251: error: NULL_DEREFERENCE: pointer `state` last assigned on line 3244 could be null and is dereferenced at line 3251, column 5.
net_processing.cpp:3414: error: NULL_DEREFERENCE: pointer `state` last assigned on line 3411 could be null and is dereferenced at line 3414, column 10.
net_processing.cpp:3498: error: NULL_DEREFERENCE: pointer `state` last assigned on line 3497 could be null and is dereferenced at line 3498, column 87.
policy/fees.cpp:795: error: DEAD_STORE: The value written to &median (type double) is never used.
random.cpp:152: error: UNINITIALIZED_VALUE: The value read from r1 was never initialized.
script/descriptor.cpp:402: error: DEAD_STORE: The value written to &pos (type unsigned long) is never used.
script/sigcache.cpp:67: error: STATIC_INITIALIZATION_ORDER_FIASCO: Initializer of anonymous_namespace_script_sigcache.cpp::signatureCache accesses global variable from a different translation unit: g_lockstack|src/sync.cpp.
serialize.h:142: error: UNINITIALIZED_VALUE: The value read from tmp.y was never initialized.
serialize.h:148: error: UNINITIALIZED_VALUE: The value read from tmp.y was never initialized.
serialize.h:154: error: UNINITIALIZED_VALUE: The value read from tmp.x was never initialized.
serialize.h:160: error: UNINITIALIZED_VALUE: The value read from tmp.x was never initialized.
serialize.h:396: error: UNINITIALIZED_VALUE: The value read from tmp[_] was never initialized.
validation.cpp:1466: error: NULL_DEREFERENCE: pointer `pindexPrev` last assigned on line 1465 could be null and is dereferenced at line 1466, column 12.
validation.cpp:1471: error: STATIC_INITIALIZATION_ORDER_FIASCO: Initializer of scriptExecutionCacheNonce accesses global variable from a different translation unit: g_lockstack|src/sync.cpp.
validation.cpp:4106: error: MEMORY_LEAK: `pindex` is not reachable after line 4106, column 5.
validation.cpp:4111: error: NULL_DEREFERENCE: pointer `tip` last assigned on line 4109 could be null and is dereferenced at line 4111, column 9.
validation.cpp:4561: error: DEAD_STORE: The value written to &nRewind (type unsigned long) is never used.
wallet/wallet.cpp:1005: error: LOCK_CONSISTENCY_VIOLATION: Read/Write race. Non-private method `CWallet_IncOrderPosNext` reads without synchronization from `this.nOrderPosNext`. Potentially races with write in method `BlockDisconnected`.
wallet/wallet.cpp:1189: error: LOCK_CONSISTENCY_VIOLATION: Read/Write race. Non-private method `CWallet_LoadToWallet` reads without synchronization from container `this.mapWallet` via call to `find`. Potentially races with write in method `ZapSelectTx`.
wallet/wallet.cpp:1621: error: LOCK_CONSISTENCY_VIOLATION: Read/Write race. Non-private method `CWallet_DeriveNewSeed` indirectly reads without synchronization from `s1.n.[_]`. Potentially races with write in method `DeriveNewSeed`.
wallet/wallet.cpp:1621: error: LOCK_CONSISTENCY_VIOLATION: Read/Write race. Non-private method `CWallet_DeriveNewSeed` indirectly reads without synchronization from `s1.n.[_]`. Potentially races with write in method `GetCredit`.
wallet/wallet.cpp:1621: error: LOCK_CONSISTENCY_VIOLATION: Read/Write race. Non-private method `CWallet_DeriveNewSeed` indirectly reads without synchronization from `s1.n.[_]`. Potentially races with write in method `SetAddressBook`.
wallet/wallet.cpp:2146: error: LOCK_CONSISTENCY_VIOLATION: Read/Write race. Non-private method `CWallet_ReacceptWalletTransactions` indirectly reads without synchronization from `wtx.fInMempool`. Potentially races with write in method `postInitProcess`. [wob].
wallet/wallet.cpp:2358: error: LOCK_CONSISTENCY_VIOLATION: Read/Write race. Non-private method `CWallet_ResendWalletTransactions` reads without synchronization from `this.nNextResend`. Potentially races with write in method `ResendWalletTransactions`.
wallet/wallet.cpp:2771: error: LOCK_CONSISTENCY_VIOLATION: Read/Write race. Non-private method `CWallet_SignTransaction` reads without synchronization from container `this.mapWallet` via call to `find`. Potentially races with write in method `ZapSelectTx`.
wallet/wallet.cpp:280: error: LOCK_CONSISTENCY_VIOLATION: Read/Write race. Non-private method `CWallet_GenerateNewKey` indirectly reads without synchronization from `this.nWalletMaxVersion`. Potentially races with write in method `NewKeyPool`.
wallet/wallet.cpp:3276: error: UNINITIALIZED_VALUE: The value read from nBytes was never initialized.
wallet/wallet.cpp:3276: error: UNINITIALIZED_VALUE: The value read from nFeeNeeded was never initialized.
wallet/wallet.cpp:3538: error: LOCK_CONSISTENCY_VIOLATION: Read/Write race. Non-private method `CWallet_LoadKeyPool` reads without synchronization from `this.m_max_keypool_index`. Potentially races with write in method `ImportPubKeys`.
wallet/wallet.cpp:424: error: LOCK_CONSISTENCY_VIOLATION: Read/Write race. Non-private method `CWallet_LoadKeyMetadata` indirectly reads without synchronization from `this.nTimeFirstKey`. Potentially races with write in method `ImportPubKeys`.
wallet/wallet.cpp:431: error: LOCK_CONSISTENCY_VIOLATION: Read/Write race. Non-private method `CWallet_LoadScriptMetadata` indirectly reads without synchronization from `this.nTimeFirstKey`. Potentially races with write in method `ImportPubKeys`.
wallet/wallet.cpp:488: error: LOCK_CONSISTENCY_VIOLATION: Read/Write race. Non-private method `CWallet_UpdateTimeFirstKey` reads without synchronization from `this.nTimeFirstKey`. Potentially races with write in method `ImportPubKeys`.
wallet/wallet.h:1041: error: LOCK_CONSISTENCY_VIOLATION: Read/Write race. Non-private method `CWallet_LoadMinVersion` reads without synchronization from `this.nWalletMaxVersion`. Potentially races with write in method `NewKeyPool`.

Signed integer assumptions made by the GCC optimizer

addrman.cpp:295:25: warning: assuming signed overflow does not occur when simplifying conditional [-Wstrict-overflow]
addrman.cpp:350:11: warning: assuming signed overflow does not occur when changing X +- C1 cmp C2 to X cmp C2 -+ C1 [-Wstrict-overflow]
arith_uint256.cpp:31:31: warning: assuming signed overflow does not occur when changing X +- C1 cmp C2 to X cmp C2 -+ C1 [-Wstrict-overflow]
arith_uint256.cpp:48:28: warning: assuming signed overflow does not occur when changing X +- C1 cmp C2 to X cmp C2 -+ C1 [-Wstrict-overflow]
arith_uint256.cpp:69:18: warning: assuming signed overflow does not occur when changing X +- C1 cmp C2 to X cmp C2 -+ C1 [-Wstrict-overflow]
arith_uint256.cpp:98:18: warning: assuming signed overflow does not occur when simplifying conditional to constant [-Wstrict-overflow]
arith_uint256.cpp:98:18: warning: assuming signed overflow does not occur when simplifying conditional [-Wstrict-overflow]
blockencodings.cpp:49:12: warning: assuming signed overflow does not occur when changing X +- C1 cmp C2 to X cmp C2 -+ C1 [-Wstrict-overflow]
blockencodings.cpp:97:9: warning: assuming signed overflow does not occur when simplifying conditional [-Wstrict-overflow]
chain.cpp:171:1: warning: assuming signed overflow does not occur when changing X +- C1 cmp C2 to X cmp C2 -+ C1 [-Wstrict-overflow]
chain.cpp:84:20: warning: assuming signed overflow does not occur when changing X +- C1 cmp C2 to X cmp C2 -+ C1 [-Wstrict-overflow]
consensus/tx_verify.cpp:194:5: warning: assuming signed overflow does not occur when simplifying conditional [-Wstrict-overflow]
consensus/tx_verify.cpp:200:1: warning: assuming signed overflow does not occur when changing X +- C1 cmp C2 to X cmp C2 -+ C1 [-Wstrict-overflow]
crypto/aes.cpp:79:1: warning: assuming signed overflow does not occur when reducing constant in comparison [-Wstrict-overflow]
crypto/ctaes/ctaes.c:447:1: warning: assuming signed overflow does not occur when reducing constant in comparison [-Wstrict-overflow]
dbwrapper.cpp:41:17: warning: assuming pointer wraparound does not occur when comparing P +- C1 with P +- C2 [-Wstrict-overflow]
init.cpp:1264:24: warning: assuming signed overflow does not occur when simplifying range test [-Wstrict-overflow]
key.cpp:43:5: warning: assuming signed overflow does not occur when changing X +- C1 cmp C2 to X cmp C2 -+ C1 [-Wstrict-overflow]
netaddress.cpp:804:14: warning: assuming signed overflow does not occur when changing X +- C1 cmp C2 to X cmp C2 -+ C1 [-Wstrict-overflow]
net.cpp:2769:1: warning: assuming signed overflow does not occur when changing X +- C1 cmp C2 to X cmp C2 -+ C1 [-Wstrict-overflow]
net_processing.cpp:3650:115: warning: assuming signed overflow does not occur when reducing constant in comparison [-Wstrict-overflow]
net_processing.cpp:4128:1: warning: assuming signed overflow does not occur when reducing constant in comparison [-Wstrict-overflow]
net_processing.cpp:4140:63: warning: assuming signed overflow does not occur when changing X +- C1 cmp C2 to X cmp C2 -+ C1 [-Wstrict-overflow]
net_processing.cpp:604:5: warning: assuming signed overflow does not occur when simplifying conditional to constant [-Wstrict-overflow]
policy/fees.cpp:726:25: warning: assuming signed overflow does not occur when simplifying conditional to constant [-Wstrict-overflow]
random.cpp:720:6: warning: assuming signed overflow does not occur when changing X +- C1 cmp C2 to X cmp C2 -+ C1 [-Wstrict-overflow]
rpc/net.cpp:428:20: warning: assuming signed overflow does not occur when simplifying range test [-Wstrict-overflow]
rpc/server.cpp:399:31: warning: assuming signed overflow does not occur when simplifying conditional [-Wstrict-overflow]
rpc/util.cpp:697:1: warning: assuming signed overflow does not occur when reducing constant in comparison [-Wstrict-overflow]
script/descriptor.cpp:131:5: warning: assuming signed overflow does not occur when simplifying conditional to constant [-Wstrict-overflow]
script/descriptor.cpp:131:5: warning: assuming signed overflow does not occur when simplifying conditional [-Wstrict-overflow]
script/interpreter.cpp:281:6: warning: assuming signed overflow does not occur when changing X +- C1 cmp C2 to X cmp C2 -+ C1 [-Wstrict-overflow]
script/script.h:332:33: warning: assuming signed overflow does not occur when simplifying conditional [-Wstrict-overflow]
script/script.h:351:29: warning: assuming signed overflow does not occur when simplifying conditional [-Wstrict-overflow]
script/script.h:352:14: warning: assuming signed overflow does not occur when simplifying conditional [-Wstrict-overflow]
serialize.h:390:9: warning: assuming signed overflow does not occur when changing X +- C1 cmp C2 to X cmp C2 -+ C1 [-Wstrict-overflow]
util/moneystr.cpp:12:13: warning: assuming signed overflow does not occur when determining that expression is always non-negative [-Wstrict-overflow]
util/moneystr.cpp:77:1: warning: assuming signed overflow does not occur when determining that expression is always non-negative [-Wstrict-overflow]
util/strencodings.cpp:446:24: warning: assuming signed overflow does not occur when simplifying conditional to constant [-Wstrict-overflow]
util/strencodings.cpp:446:24: warning: assuming signed overflow does not occur when simplifying conditional [-Wstrict-overflow]
wallet/coinselection.cpp:185:35: warning: assuming signed overflow does not occur when changing X +- C1 cmp C2 to X cmp C2 -+ C1 [-Wstrict-overflow]
wallet/coinselection.cpp:262:64: warning: assuming signed overflow does not occur when reducing constant in comparison [-Wstrict-overflow]
wallet/coinselection.cpp:269:59: warning: assuming signed overflow does not occur when reducing constant in comparison [-Wstrict-overflow]
wallet/coinselection.cpp:292:1: warning: assuming signed overflow does not occur when reducing constant in comparison [-Wstrict-overflow]
wallet/rpcdump.cpp:1451:1: warning: assuming signed overflow does not occur when changing X +- C1 cmp C2 to X cmp C2 -+ C1 [-Wstrict-overflow]
wallet/wallet.cpp:2120:1: warning: assuming signed overflow does not occur when reducing constant in comparison [-Wstrict-overflow]
wallet/wallet.cpp:2384:5: warning: assuming signed overflow does not occur when simplifying conditional [-Wstrict-overflow]
wallet/wallet.cpp:2387:1: warning: assuming signed overflow does not occur when reducing constant in comparison [-Wstrict-overflow]
wallet/wallet.cpp:2935:9: warning: assuming signed overflow does not occur when simplifying conditional to constant [-Wstrict-overflow]
wallet/wallet.cpp:3285:1: warning: assuming signed overflow does not occur when reducing constant in comparison [-Wstrict-overflow]
wallet/wallet.cpp:3587:9: warning: assuming signed overflow does not occur when simplifying conditional [-Wstrict-overflow]
wallet/wallet.cpp:987:13: warning: assuming signed overflow does not occur when simplifying conditional to constant [-Wstrict-overflow]

Suggested code changes waiting for review (grouped by author)