Rooba
/
oss-fuzz
mirror of https://github.com/google/oss-fuzz.git
1
1
Fork 0
Code Issues Packages Projects Releases Wiki Activity

[zlib] add test for fast crc32 (#1954) 

Add a check for the recently added routines to combine crc32 checksums.  This
change adds more code coverage, however the checksum_fuzzer still does not pass
the complexity check: (the threshold is at 100)

oss-fuzz$ build/out/zlib/checksum_fuzzer -runs=10 2>&1 | grep -Po "INFO: Loaded [[:digit:]]+ module.*\(.*(counters|guards)\):[[:space:]]+\K[[:digit:]]+"
92
This commit is contained in:
sebpop 2018-11-14 16:00:16 -06:00 committed by Max Moroz
parent 8541fad5d1
commit 4b7c09e037
1 changed files with 22 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

29
projects/zlib/checksum_fuzzer.c
View File

@ -8,13 +8,16 @@
#include "zlib.h"
int LLVMFuzzerTestOneInput(const uint8_t *data, size_t dataLen) {
uint32_t crc1 = crc32(0L, NULL, 0);
uint32_t crc2 = crc32(0L, NULL, 0);
uint32_t adler1 = adler32(0L, NULL, 0);
uint32_t adler2 = adler32(0L, NULL, 0);;
uint32_t crc0 = crc32(0L, NULL, 0);
uint32_t crc1 = crc0;
uint32_t crc2 = crc0;
uint32_t adler0 = adler32(0L, NULL, 0);
uint32_t adler1 = adler0;
uint32_t adler2 = adler0;
/* Checksum with a buffer of size equal to the first byte in the input. */
uint32_t buffSize = data[0];
uint32_t offset = 0;
z_crc_t op[32];
/* Discard inputs larger than 1Mb. */
static size_t kMaxSize = 1024 * 1024;
@ -26,22 +29,34 @@ int LLVMFuzzerTestOneInput(const uint8_t *data, size_t dataLen) {
++buffSize;
/* CRC32 */
for (offset = 0; offset + buffSize <= dataLen; offset += buffSize)
crc32_combine_gen(op, buffSize);
for (offset = 0; offset + buffSize <= dataLen; offset += buffSize) {
uint32_t crc3 = crc32_z(crc0, data + offset, buffSize);
uint32_t crc4 = crc32_combine_op(crc1, crc3, op);
crc1 = crc32_z(crc1, data + offset, buffSize);
assert(crc1 == crc4);
}
crc1 = crc32_z(crc1, data + offset, dataLen % buffSize);
crc2 = crc32_z(crc2, data, dataLen);
crc2 = crc32(crc2, data, (uint32_t) dataLen);
assert(crc1 == crc2);
assert(crc32_combine(crc1, crc2, dataLen) ==
crc32_combine(crc1, crc1, dataLen));
/* Fast CRC32 combine. */
crc32_combine_gen(op, dataLen);
assert(crc32_combine_op(crc1, crc2, op) ==
crc32_combine_op(crc2, crc1, op));
assert(crc32_combine(crc1, crc2, dataLen) ==
crc32_combine_op(crc2, crc1, op));
/* Adler32 */
for (offset = 0; offset + buffSize <= dataLen; offset += buffSize)
adler1 = adler32_z(adler1, data + offset, buffSize);
adler1 = adler32_z(adler1, data + offset, dataLen % buffSize);
adler2 = adler32_z(adler2, data, dataLen);
adler2 = adler32(adler2, data, (uint32_t) dataLen);
assert(adler1 == adler2);
assert(adler32_combine(adler1, adler2, dataLen) ==