mirror of
https://github.com/bitcoin/bitcoin.git
synced 2024-11-20 02:25:40 +01:00
Merge #17996: tests: Add fuzzing harness for serialization/deserialization of floating-points and integrals
9ff41f6419
tests: Add float to FUZZERS_MISSING_CORPORA (temporarily) (practicalswift)8f6fb0a85a
tests: Add serialization/deserialization fuzzing for integral types (practicalswift)3c82b92d2e
tests: Add fuzzing harness for functions taking floating-point types as input (practicalswift)c2bd588860
Add missing includes (practicalswift) Pull request description: Add simple fuzzing harness for functions with floating-point parameters (such as `ser_double_to_uint64(double)`, etc.). Add serialization/deserialization fuzzing for integral types. Add missing includes. To test this PR: ``` $ make distclean $ ./autogen.sh $ CC=clang CXX=clang++ ./configure --enable-fuzz \ --with-sanitizers=address,fuzzer,undefined $ make $ src/test/fuzz/float … ``` Top commit has no ACKs. Tree-SHA512: 9b5a0c4838ad18d715c7398e557d2a6d0fcc03aa842f76d7a8ed716170a28f17f249eaede4256998aa3417afe2935e0ffdfaa883727d71ae2d2d18a41ced24b5
This commit is contained in:
commit
a2b5aae9f3
@ -31,6 +31,7 @@ FUZZ_TARGETS = \
|
|||||||
test/fuzz/eval_script \
|
test/fuzz/eval_script \
|
||||||
test/fuzz/fee_rate_deserialize \
|
test/fuzz/fee_rate_deserialize \
|
||||||
test/fuzz/flat_file_pos_deserialize \
|
test/fuzz/flat_file_pos_deserialize \
|
||||||
|
test/fuzz/float \
|
||||||
test/fuzz/hex \
|
test/fuzz/hex \
|
||||||
test/fuzz/integer \
|
test/fuzz/integer \
|
||||||
test/fuzz/inv_deserialize \
|
test/fuzz/inv_deserialize \
|
||||||
@ -405,6 +406,12 @@ test_fuzz_flat_file_pos_deserialize_LDADD = $(FUZZ_SUITE_LD_COMMON)
|
|||||||
test_fuzz_flat_file_pos_deserialize_LDFLAGS = $(RELDFLAGS) $(AM_LDFLAGS) $(LIBTOOL_APP_LDFLAGS)
|
test_fuzz_flat_file_pos_deserialize_LDFLAGS = $(RELDFLAGS) $(AM_LDFLAGS) $(LIBTOOL_APP_LDFLAGS)
|
||||||
test_fuzz_flat_file_pos_deserialize_SOURCES = $(FUZZ_SUITE) test/fuzz/deserialize.cpp
|
test_fuzz_flat_file_pos_deserialize_SOURCES = $(FUZZ_SUITE) test/fuzz/deserialize.cpp
|
||||||
|
|
||||||
|
test_fuzz_float_CPPFLAGS = $(AM_CPPFLAGS) $(BITCOIN_INCLUDES)
|
||||||
|
test_fuzz_float_CXXFLAGS = $(AM_CXXFLAGS) $(PIE_FLAGS)
|
||||||
|
test_fuzz_float_LDADD = $(FUZZ_SUITE_LD_COMMON)
|
||||||
|
test_fuzz_float_LDFLAGS = $(RELDFLAGS) $(AM_LDFLAGS) $(LIBTOOL_APP_LDFLAGS)
|
||||||
|
test_fuzz_float_SOURCES = $(FUZZ_SUITE) test/fuzz/float.cpp
|
||||||
|
|
||||||
test_fuzz_hex_CPPFLAGS = $(AM_CPPFLAGS) $(BITCOIN_INCLUDES)
|
test_fuzz_hex_CPPFLAGS = $(AM_CPPFLAGS) $(BITCOIN_INCLUDES)
|
||||||
test_fuzz_hex_CXXFLAGS = $(AM_CXXFLAGS) $(PIE_FLAGS)
|
test_fuzz_hex_CXXFLAGS = $(AM_CXXFLAGS) $(PIE_FLAGS)
|
||||||
test_fuzz_hex_LDADD = $(FUZZ_SUITE_LD_COMMON)
|
test_fuzz_hex_LDADD = $(FUZZ_SUITE_LD_COMMON)
|
||||||
|
@ -5,6 +5,8 @@
|
|||||||
#ifndef BITCOIN_INDIRECTMAP_H
|
#ifndef BITCOIN_INDIRECTMAP_H
|
||||||
#define BITCOIN_INDIRECTMAP_H
|
#define BITCOIN_INDIRECTMAP_H
|
||||||
|
|
||||||
|
#include <map>
|
||||||
|
|
||||||
template <class T>
|
template <class T>
|
||||||
struct DereferencingComparator { bool operator()(const T a, const T b) const { return *a < *b; } };
|
struct DereferencingComparator { bool operator()(const T a, const T b) const { return *a < *b; } };
|
||||||
|
|
||||||
|
@ -6,9 +6,11 @@
|
|||||||
#define BITCOIN_MEMUSAGE_H
|
#define BITCOIN_MEMUSAGE_H
|
||||||
|
|
||||||
#include <indirectmap.h>
|
#include <indirectmap.h>
|
||||||
|
#include <prevector.h>
|
||||||
|
|
||||||
#include <stdlib.h>
|
#include <stdlib.h>
|
||||||
|
|
||||||
|
#include <cassert>
|
||||||
#include <map>
|
#include <map>
|
||||||
#include <memory>
|
#include <memory>
|
||||||
#include <set>
|
#include <set>
|
||||||
|
42
src/test/fuzz/float.cpp
Normal file
42
src/test/fuzz/float.cpp
Normal file
@ -0,0 +1,42 @@
|
|||||||
|
// Copyright (c) 2020 The Bitcoin Core developers
|
||||||
|
// Distributed under the MIT software license, see the accompanying
|
||||||
|
// file COPYING or http://www.opensource.org/licenses/mit-license.php.
|
||||||
|
|
||||||
|
#include <memusage.h>
|
||||||
|
#include <serialize.h>
|
||||||
|
#include <streams.h>
|
||||||
|
#include <test/fuzz/FuzzedDataProvider.h>
|
||||||
|
#include <test/fuzz/fuzz.h>
|
||||||
|
#include <version.h>
|
||||||
|
|
||||||
|
#include <cassert>
|
||||||
|
#include <cstdint>
|
||||||
|
|
||||||
|
void test_one_input(const std::vector<uint8_t>& buffer)
|
||||||
|
{
|
||||||
|
FuzzedDataProvider fuzzed_data_provider(buffer.data(), buffer.size());
|
||||||
|
|
||||||
|
{
|
||||||
|
const double d = fuzzed_data_provider.ConsumeFloatingPoint<double>();
|
||||||
|
(void)memusage::DynamicUsage(d);
|
||||||
|
assert(ser_uint64_to_double(ser_double_to_uint64(d)) == d);
|
||||||
|
|
||||||
|
CDataStream stream(SER_NETWORK, INIT_PROTO_VERSION);
|
||||||
|
stream << d;
|
||||||
|
double d_deserialized;
|
||||||
|
stream >> d_deserialized;
|
||||||
|
assert(d == d_deserialized);
|
||||||
|
}
|
||||||
|
|
||||||
|
{
|
||||||
|
const float f = fuzzed_data_provider.ConsumeFloatingPoint<float>();
|
||||||
|
(void)memusage::DynamicUsage(f);
|
||||||
|
assert(ser_uint32_to_float(ser_float_to_uint32(f)) == f);
|
||||||
|
|
||||||
|
CDataStream stream(SER_NETWORK, INIT_PROTO_VERSION);
|
||||||
|
stream << f;
|
||||||
|
float f_deserialized;
|
||||||
|
stream >> f_deserialized;
|
||||||
|
assert(f == f_deserialized);
|
||||||
|
}
|
||||||
|
}
|
@ -19,12 +19,14 @@
|
|||||||
#include <script/signingprovider.h>
|
#include <script/signingprovider.h>
|
||||||
#include <script/standard.h>
|
#include <script/standard.h>
|
||||||
#include <serialize.h>
|
#include <serialize.h>
|
||||||
|
#include <streams.h>
|
||||||
#include <test/fuzz/FuzzedDataProvider.h>
|
#include <test/fuzz/FuzzedDataProvider.h>
|
||||||
#include <test/fuzz/fuzz.h>
|
#include <test/fuzz/fuzz.h>
|
||||||
#include <uint256.h>
|
#include <uint256.h>
|
||||||
#include <util/strencodings.h>
|
#include <util/strencodings.h>
|
||||||
#include <util/system.h>
|
#include <util/system.h>
|
||||||
#include <util/time.h>
|
#include <util/time.h>
|
||||||
|
#include <version.h>
|
||||||
|
|
||||||
#include <cassert>
|
#include <cassert>
|
||||||
#include <limits>
|
#include <limits>
|
||||||
@ -54,6 +56,7 @@ void test_one_input(const std::vector<uint8_t>& buffer)
|
|||||||
// We cannot assume a specific value of std::is_signed<char>::value:
|
// We cannot assume a specific value of std::is_signed<char>::value:
|
||||||
// ConsumeIntegral<char>() instead of casting from {u,}int8_t.
|
// ConsumeIntegral<char>() instead of casting from {u,}int8_t.
|
||||||
const char ch = fuzzed_data_provider.ConsumeIntegral<char>();
|
const char ch = fuzzed_data_provider.ConsumeIntegral<char>();
|
||||||
|
const bool b = fuzzed_data_provider.ConsumeBool();
|
||||||
|
|
||||||
const Consensus::Params& consensus_params = Params().GetConsensus();
|
const Consensus::Params& consensus_params = Params().GetConsensus();
|
||||||
(void)CheckProofOfWork(u256, u32, consensus_params);
|
(void)CheckProofOfWork(u256, u32, consensus_params);
|
||||||
@ -132,4 +135,68 @@ void test_one_input(const std::vector<uint8_t>& buffer)
|
|||||||
(void)GetScriptForDestination(destination);
|
(void)GetScriptForDestination(destination);
|
||||||
(void)IsValidDestination(destination);
|
(void)IsValidDestination(destination);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
{
|
||||||
|
CDataStream stream(SER_NETWORK, INIT_PROTO_VERSION);
|
||||||
|
|
||||||
|
uint256 deserialized_u256;
|
||||||
|
stream << u256;
|
||||||
|
stream >> deserialized_u256;
|
||||||
|
assert(u256 == deserialized_u256 && stream.empty());
|
||||||
|
|
||||||
|
uint160 deserialized_u160;
|
||||||
|
stream << u160;
|
||||||
|
stream >> deserialized_u160;
|
||||||
|
assert(u160 == deserialized_u160 && stream.empty());
|
||||||
|
|
||||||
|
uint64_t deserialized_u64;
|
||||||
|
stream << u64;
|
||||||
|
stream >> deserialized_u64;
|
||||||
|
assert(u64 == deserialized_u64 && stream.empty());
|
||||||
|
|
||||||
|
int64_t deserialized_i64;
|
||||||
|
stream << i64;
|
||||||
|
stream >> deserialized_i64;
|
||||||
|
assert(i64 == deserialized_i64 && stream.empty());
|
||||||
|
|
||||||
|
uint32_t deserialized_u32;
|
||||||
|
stream << u32;
|
||||||
|
stream >> deserialized_u32;
|
||||||
|
assert(u32 == deserialized_u32 && stream.empty());
|
||||||
|
|
||||||
|
int32_t deserialized_i32;
|
||||||
|
stream << i32;
|
||||||
|
stream >> deserialized_i32;
|
||||||
|
assert(i32 == deserialized_i32 && stream.empty());
|
||||||
|
|
||||||
|
uint16_t deserialized_u16;
|
||||||
|
stream << u16;
|
||||||
|
stream >> deserialized_u16;
|
||||||
|
assert(u16 == deserialized_u16 && stream.empty());
|
||||||
|
|
||||||
|
int16_t deserialized_i16;
|
||||||
|
stream << i16;
|
||||||
|
stream >> deserialized_i16;
|
||||||
|
assert(i16 == deserialized_i16 && stream.empty());
|
||||||
|
|
||||||
|
uint8_t deserialized_u8;
|
||||||
|
stream << u8;
|
||||||
|
stream >> deserialized_u8;
|
||||||
|
assert(u8 == deserialized_u8 && stream.empty());
|
||||||
|
|
||||||
|
int8_t deserialized_i8;
|
||||||
|
stream << i8;
|
||||||
|
stream >> deserialized_i8;
|
||||||
|
assert(i8 == deserialized_i8 && stream.empty());
|
||||||
|
|
||||||
|
char deserialized_ch;
|
||||||
|
stream << ch;
|
||||||
|
stream >> deserialized_ch;
|
||||||
|
assert(ch == deserialized_ch && stream.empty());
|
||||||
|
|
||||||
|
bool deserialized_b;
|
||||||
|
stream << b;
|
||||||
|
stream >> deserialized_b;
|
||||||
|
assert(b == deserialized_b && stream.empty());
|
||||||
|
}
|
||||||
}
|
}
|
||||||
|
@ -25,6 +25,7 @@ FUZZERS_MISSING_CORPORA = [
|
|||||||
"decode_tx",
|
"decode_tx",
|
||||||
"fee_rate_deserialize",
|
"fee_rate_deserialize",
|
||||||
"flat_file_pos_deserialize",
|
"flat_file_pos_deserialize",
|
||||||
|
"float",
|
||||||
"hex",
|
"hex",
|
||||||
"integer",
|
"integer",
|
||||||
"key_origin_info_deserialize",
|
"key_origin_info_deserialize",
|
||||||
|
Loading…
Reference in New Issue
Block a user