tests: Add fuzzing harness for serialization/deserialization of floating-points and integrals #17996

pull practicalswift wants to merge 4 commits into bitcoin:master from practicalswift:fuzzers-float changing 6 files +121 −0

practicalswift commented at 2:52 PM on January 24, 2020: contributor
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
…
```
practicalswift renamed this:
~~tests: Add fuzzing harness for functions with floating-point parameters~~
tests: Add fuzzing harness for functions with floating-point parameters. Update FuzzedDataProvider.h.
on Jan 24, 2020
DrahtBot added the label Build system on Jan 24, 2020
DrahtBot added the label Tests on Jan 24, 2020
practicalswift renamed this:
~~tests: Add fuzzing harness for functions with floating-point parameters. Update FuzzedDataProvider.h.~~
tests: Add fuzzing harness for serialization/deserialization of floating-points and integrals. Update FuzzedDataProvider.h.
on Jan 24, 2020
fanquake removed the label Build system on Jan 24, 2020
practicalswift force-pushed on Jan 27, 2020
Add missing includes c2bd588860
tests: Add fuzzing harness for functions taking floating-point types as input 3c82b92d2e
practicalswift force-pushed on Jan 31, 2020
practicalswift renamed this:
~~tests: Add fuzzing harness for serialization/deserialization of floating-points and integrals. Update FuzzedDataProvider.h.~~
tests: Add fuzzing harness for serialization/deserialization of floating-points and integrals
on Jan 31, 2020
DrahtBot commented at 6:32 AM on February 11, 2020: member


The following sections might be updated with supplementary metadata relevant to reviewers and maintainers.



Conflicts

Reviewers, this pull request conflicts with the following ones:
- #18190 (tests: Add fuzzing harness for Golomb-Rice coding (GolombRiceEncode/GolombRiceDecode) by practicalswift)
- #18086 (Accurately account for mempool index memory by sipa)
If you consider this pull request important, please also help to review the conflicting pull requests. Ideally, start with the one that should be merged first.
in src/test/fuzz/integer.cpp:138 in ee264bab48 outdated
```
 133 | +
 134 | +        uint256 deserialized_u256;
 135 | +        stream << u256;
 136 | +        stream >> deserialized_u256;
 137 | +        assert(u256 == deserialized_u256);
 138 | +
```
MarcoFalke commented at 8:15 PM on March 5, 2020:

Could also assert that the data stream is empty after each operation?

practicalswift commented at 8:36 PM on March 5, 2020:

Oh, of course! Good idea. Now fixed :)
MarcoFalke approved
MarcoFalke commented at 8:15 PM on March 5, 2020: member

ACK
tests: Add serialization/deserialization fuzzing for integral types 8f6fb0a85a
tests: Add float to FUZZERS_MISSING_CORPORA (temporarily) 9ff41f6419
practicalswift force-pushed on Mar 5, 2020
MarcoFalke merged this on Mar 5, 2020
MarcoFalke closed this on Mar 5, 2020
sidhujag referenced this in commit 7b14e0622d on Mar 7, 2020
deadalnix referenced this in commit 8d33df9072 on May 7, 2020
ftrader referenced this in commit c0e5a017c2 on Aug 17, 2020
jasonbcox referenced this in commit b8598eb359 on Nov 3, 2020
sidhujag referenced this in commit 941061d2e5 on Nov 10, 2020
practicalswift deleted the branch on Apr 10, 2021
kittywhiskers referenced this in commit 214cb52796 on Feb 27, 2022
kittywhiskers referenced this in commit 22bbd69c3e on Feb 27, 2022
kittywhiskers referenced this in commit e260a39a58 on Feb 28, 2022
kittywhiskers referenced this in commit 47d61eae35 on Feb 28, 2022
kittywhiskers referenced this in commit 534f262bfd on Feb 28, 2022
kittywhiskers referenced this in commit 4018b046c2 on Mar 13, 2022
kittywhiskers referenced this in commit 9ef64f6ac2 on Mar 24, 2022
kittywhiskers referenced this in commit 4678db1a04 on Mar 24, 2022
DrahtBot locked this on Aug 18, 2022

Contributors

Labels

tests: Add fuzzing harness for serialization/deserialization of floating-points and integrals #17996

Conflicts