Coverage Report

Created: 2025-11-16 06:56

next uncovered line (L), next uncovered region (R), next uncovered branch (B)
/src/checksum_fuzzer.c
Line
Count
Source
1
#include <stdio.h>
2
#include <stddef.h>
3
#include <stdint.h>
4
#include <string.h>
5
#include <assert.h>
6
#include <stdlib.h>
7
#include <inttypes.h>
8
#include "zlib.h"
9
10
533
int LLVMFuzzerTestOneInput(const uint8_t *data, size_t dataLen) {
11
533
  uint32_t crc0 = crc32(0L, NULL, 0);
12
533
  uint32_t crc1 = crc0;
13
533
  uint32_t crc2 = crc0;
14
533
  uint32_t adler0 = adler32(0L, NULL, 0);
15
533
  uint32_t adler1 = adler0;
16
533
  uint32_t adler2 = adler0;
17
  /* Checksum with a buffer of size equal to the first byte in the input. */
18
533
  uint32_t buffSize = data[0];
19
533
  uint32_t offset = 0;
20
533
  uint32_t op;
21
22
  /* Discard inputs larger than 1Mb. */
23
533
  static size_t kMaxSize = 1024 * 1024;
24
533
  if (dataLen < 1 || dataLen > kMaxSize)
25
0
    return 0;
26
27
  /* Make sure the buffer has at least a byte. */
28
533
  if (buffSize == 0)
29
118
    ++buffSize;
30
31
  /* CRC32 */
32
533
  op = crc32_combine_gen(buffSize);
33
5.37M
  for (offset = 0; offset + buffSize <= dataLen; offset += buffSize) {
34
5.37M
    uint32_t crc3 = crc32_z(crc0, data + offset, buffSize);
35
5.37M
    uint32_t crc4 = crc32_combine_op(crc1, crc3, op);
36
5.37M
    crc1 = crc32_z(crc1, data + offset, buffSize);
37
5.37M
    assert(crc1 == crc4);
38
5.37M
  }
39
533
  crc1 = crc32_z(crc1, data + offset, dataLen % buffSize);
40
41
533
  crc2 = crc32(crc2, data, (uint32_t) dataLen);
42
43
533
  assert(crc1 == crc2);
44
533
  assert(crc32_combine(crc1, crc2, dataLen) ==
45
533
         crc32_combine(crc1, crc1, dataLen));
46
47
  /* Fast CRC32 combine. */
48
533
  op = crc32_combine_gen(dataLen);
49
533
  assert(crc32_combine_op(crc1, crc2, op) ==
50
533
         crc32_combine_op(crc2, crc1, op));
51
533
  assert(crc32_combine(crc1, crc2, dataLen) ==
52
533
         crc32_combine_op(crc2, crc1, op));
53
54
  /* Adler32 */
55
5.37M
  for (offset = 0; offset + buffSize <= dataLen; offset += buffSize)
56
5.37M
    adler1 = adler32_z(adler1, data + offset, buffSize);
57
533
  adler1 = adler32_z(adler1, data + offset, dataLen % buffSize);
58
59
533
  adler2 = adler32(adler2, data, (uint32_t) dataLen);
60
61
533
  assert(adler1 == adler2);
62
533
  assert(adler32_combine(adler1, adler2, dataLen) ==
63
533
         adler32_combine(adler1, adler1, dataLen));
64
65
  /* This function must return 0. */
66
533
  return 0;
67
533
}