Skip to content

Commit b754170

Browse files
tests: Add fuzzing harness for Bech32 encoding/decoding
1 parent 85a34b1 commit b754170

File tree

2 files changed

+55
-3
lines changed

2 files changed

+55
-3
lines changed

src/Makefile.test.include

Lines changed: 12 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -7,6 +7,7 @@ FUZZ_TARGETS = \
77
test/fuzz/address_deserialize \
88
test/fuzz/addrman_deserialize \
99
test/fuzz/banentry_deserialize \
10+
test/fuzz/bech32 \
1011
test/fuzz/block_deserialize \
1112
test/fuzz/blockheader_deserialize \
1213
test/fuzz/blocklocator_deserialize \
@@ -65,11 +66,13 @@ BITCOIN_TEST_SUITE = \
6566
test/util/str.cpp
6667

6768
FUZZ_SUITE = \
68-
test/setup_common.h \
69-
test/setup_common.cpp \
7069
test/fuzz/fuzz.cpp \
7170
test/fuzz/fuzz.h \
72-
test/fuzz/FuzzedDataProvider.h
71+
test/fuzz/FuzzedDataProvider.h \
72+
test/setup_common.cpp \
73+
test/setup_common.h \
74+
test/util/str.cpp \
75+
test/util/str.h
7376

7477
FUZZ_SUITE_LD_COMMON = \
7578
$(LIBBITCOIN_SERVER) \
@@ -242,6 +245,12 @@ test_fuzz_banentry_deserialize_CXXFLAGS = $(AM_CXXFLAGS) $(PIE_FLAGS)
242245
test_fuzz_banentry_deserialize_LDFLAGS = $(RELDFLAGS) $(AM_LDFLAGS) $(LIBTOOL_APP_LDFLAGS)
243246
test_fuzz_banentry_deserialize_LDADD = $(FUZZ_SUITE_LD_COMMON)
244247

248+
test_fuzz_bech32_SOURCES = $(FUZZ_SUITE) test/fuzz/bech32.cpp
249+
test_fuzz_bech32_CPPFLAGS = $(AM_CPPFLAGS) $(BITCOIN_INCLUDES)
250+
test_fuzz_bech32_CXXFLAGS = $(AM_CXXFLAGS) $(PIE_FLAGS)
251+
test_fuzz_bech32_LDFLAGS = $(RELDFLAGS) $(AM_LDFLAGS) $(LIBTOOL_APP_LDFLAGS)
252+
test_fuzz_bech32_LDADD = $(FUZZ_SUITE_LD_COMMON)
253+
245254
test_fuzz_txundo_deserialize_SOURCES = $(FUZZ_SUITE) test/fuzz/deserialize.cpp
246255
test_fuzz_txundo_deserialize_CPPFLAGS = $(AM_CPPFLAGS) $(BITCOIN_INCLUDES) -DTXUNDO_DESERIALIZE=1
247256
test_fuzz_txundo_deserialize_CXXFLAGS = $(AM_CXXFLAGS) $(PIE_FLAGS)

src/test/fuzz/bech32.cpp

Lines changed: 43 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,43 @@
1+
// Copyright (c) 2019 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 <bech32.h>
6+
#include <test/fuzz/fuzz.h>
7+
#include <test/util/str.h>
8+
#include <util/strencodings.h>
9+
10+
#include <cassert>
11+
#include <cstdint>
12+
#include <string>
13+
#include <utility>
14+
#include <vector>
15+
16+
void test_one_input(const std::vector<uint8_t>& buffer)
17+
{
18+
const std::string random_string(buffer.begin(), buffer.end());
19+
const std::pair<std::string, std::vector<uint8_t>> r1 = bech32::Decode(random_string);
20+
if (r1.first.empty()) {
21+
assert(r1.second.empty());
22+
} else {
23+
const std::string& hrp = r1.first;
24+
const std::vector<uint8_t>& data = r1.second;
25+
const std::string reencoded = bech32::Encode(hrp, data);
26+
assert(CaseInsensitiveEqual(random_string, reencoded));
27+
}
28+
29+
std::vector<unsigned char> input;
30+
ConvertBits<8, 5, true>([&](unsigned char c) { input.push_back(c); }, buffer.begin(), buffer.end());
31+
const std::string encoded = bech32::Encode("bc", input);
32+
assert(!encoded.empty());
33+
34+
const std::pair<std::string, std::vector<uint8_t>> r2 = bech32::Decode(encoded);
35+
if (r2.first.empty()) {
36+
assert(r2.second.empty());
37+
} else {
38+
const std::string& hrp = r2.first;
39+
const std::vector<uint8_t>& data = r2.second;
40+
assert(hrp == "bc");
41+
assert(data == input);
42+
}
43+
}

0 commit comments

Comments
 (0)