Coverage Report

Created: 2026-11-12 06:08

next uncovered line (L), next uncovered region (R), next uncovered branch (B)
/src/harfbuzz/test/fuzzing/hb-subset-fuzzer.cc
Line
Count
Source
1
#include "hb-fuzzer.hh"
2
3
#include <stdlib.h>
4
#include <stdio.h>
5
#include <string.h>
6
#include <assert.h>
7
8
#include <algorithm>
9
#include <cmath>
10
#include <vector>
11
12
#include "hb-subset.h"
13
14
static void
15
trySubset (hb_face_t *face,
16
     const hb_codepoint_t text[],
17
     int text_length,
18
           unsigned flag_bits,
19
           hb_subset_input_t *input)
20
48.0k
{
21
48.0k
  if (!input) return;
22
23
48.0k
  hb_subset_input_set_flags (input, (hb_subset_flags_t) flag_bits);
24
25
48.0k
  hb_set_t *codepoints = hb_subset_input_unicode_set (input);
26
27
815k
  for (int i = 0; i < text_length; i++)
28
767k
    hb_set_add (codepoints, text[i]);
29
30
48.0k
  hb_face_t *result = hb_subset_or_fail (face, input);
31
48.0k
  if (result)
32
12.9k
  {
33
12.9k
    hb_blob_t *blob = hb_face_reference_blob (result);
34
12.9k
    unsigned int length;
35
12.9k
    const char *data = hb_blob_get_data (blob, &length);
36
37
    // Something not optimizable just to access all the blob data
38
12.9k
    unsigned int bytes_count = 0;
39
1.04G
    for (unsigned int i = 0; i < length; ++i)
40
1.04G
      if (data[i]) ++bytes_count;
41
12.9k
    if (!(bytes_count || !length))
42
0
      abort ();
43
44
12.9k
    hb_blob_destroy (blob);
45
12.9k
  }
46
48.0k
  hb_face_destroy (result);
47
48
48.0k
  hb_subset_input_destroy (input);
49
48.0k
}
50
51
static bool
52
read_ranges (const uint8_t *&p,
53
             const uint8_t *end,
54
             hb_set_t *set,
55
             bool is_add)
56
183
{
57
183
  uint32_t count;
58
183
  if (!_fuzzing_read_u32_value (p, end, &count))
59
7
    return false;
60
61
559
  for (uint32_t i = 0; i < count; i++)
62
449
  {
63
449
    uint32_t start, finish;
64
449
    if (!_fuzzing_read_u32_value (p, end, &start) ||
65
432
        !_fuzzing_read_u32_value (p, end, &finish))
66
24
      return false;
67
68
425
    if (finish < start)
69
22
      return false;
70
71
403
    if (finish - start > 5000) {
72
      // Prevent fuzzer timeouts by rejecting large ranges.
73
20
      return false;
74
20
    }
75
76
383
    if (is_add)
77
252
      hb_set_add_range (set, start, finish);
78
131
    else
79
131
      hb_set_del_range (set, start, finish);
80
383
  }
81
110
  return true;
82
176
}
83
84
static bool
85
apply_extended_ops (hb_face_t *face,
86
                    hb_subset_input_t *input,
87
                    std::vector<hb_codepoint_t> *text,
88
                    unsigned *flags,
89
                    const uint8_t *ops,
90
                    size_t ops_len)
91
4.68k
{
92
4.68k
  const uint8_t *p = ops;
93
4.68k
  const uint8_t *end = ops + ops_len;
94
95
15.3k
  while (p < end)
96
10.9k
  {
97
10.9k
    uint8_t op;
98
10.9k
    if (!_fuzzing_read_value (p, end, &op))
99
0
      return false;
100
101
10.9k
    switch (op)
102
10.9k
    {
103
4.79k
      case HB_FUZZING_OP_SET_FLAGS:
104
4.79k
      {
105
4.79k
        uint32_t value;
106
4.79k
        if (!_fuzzing_read_u32_value (p, end, &value))
107
5
          return false;
108
4.79k
        *flags = value;
109
4.79k
        break;
110
4.79k
      }
111
112
2.30k
      case HB_FUZZING_OP_KEEP_EVERYTHING:
113
2.30k
        hb_subset_input_keep_everything (input);
114
2.30k
        *flags = hb_subset_input_get_flags (input);
115
2.30k
        break;
116
117
132
      case HB_FUZZING_OP_SET_CLEAR:
118
651
      case HB_FUZZING_OP_SET_INVERT:
119
651
      {
120
651
        uint8_t set_type_u8;
121
651
        if (!_fuzzing_read_value (p, end, &set_type_u8))
122
2
          return false;
123
649
        if (set_type_u8 > HB_SUBSET_SETS_LAYOUT_SCRIPT_TAG)
124
6
          return false;
125
126
643
        hb_set_t *set = hb_subset_input_set (input, (hb_subset_sets_t) set_type_u8);
127
643
        if (op == HB_FUZZING_OP_SET_CLEAR)
128
127
          hb_set_clear (set);
129
516
        else
130
516
          hb_set_invert (set);
131
643
        break;
132
649
      }
133
134
140
      case HB_FUZZING_OP_SET_ADD_RANGES:
135
190
      case HB_FUZZING_OP_SET_DEL_RANGES:
136
190
      {
137
190
        uint8_t set_type_u8;
138
190
        if (!_fuzzing_read_value (p, end, &set_type_u8))
139
1
          return false;
140
189
        if (set_type_u8 > HB_SUBSET_SETS_LAYOUT_SCRIPT_TAG)
141
6
          return false;
142
143
183
        hb_set_t *set = hb_subset_input_set (input, (hb_subset_sets_t) set_type_u8);
144
183
        if (!read_ranges (p, end, set, op == HB_FUZZING_OP_SET_ADD_RANGES))
145
73
          return false;
146
110
        break;
147
183
      }
148
149
110
      case HB_FUZZING_OP_TEXT_ADD:
150
152
      case HB_FUZZING_OP_TEXT_DEL:
151
152
      {
152
152
        uint32_t count;
153
152
        if (!_fuzzing_read_u32_value (p, end, &count))
154
7
          return false;
155
156
57.0k
        for (uint32_t i = 0; i < count; i++)
157
56.9k
        {
158
56.9k
          uint32_t cp;
159
56.9k
          if (!_fuzzing_read_u32_value (p, end, &cp))
160
60
            return false;
161
56.8k
          if (op == HB_FUZZING_OP_TEXT_ADD)
162
26.4k
            text->push_back (cp);
163
30.4k
          else
164
30.4k
            text->erase (std::remove (text->begin (), text->end (), cp), text->end ());
165
56.8k
        }
166
85
        break;
167
145
      }
168
169
142
      case HB_FUZZING_OP_AXIS_PIN_ALL_TO_DEFAULT:
170
142
        if (!hb_subset_input_pin_all_axes_to_default (input, face))
171
5
          return false;
172
137
        break;
173
174
2.63k
      case HB_FUZZING_OP_AXIS_SET:
175
2.63k
      {
176
2.63k
        uint32_t count;
177
2.63k
        if (!_fuzzing_read_u32_value (p, end, &count))
178
2
          return false;
179
180
6.72k
        for (uint32_t i = 0; i < count; i++)
181
4.12k
        {
182
4.12k
          uint32_t tag;
183
4.12k
          uint8_t mode;
184
4.12k
          float minimum, middle, maximum;
185
4.12k
          if (!_fuzzing_read_u32_value (p, end, &tag) ||
186
4.10k
              !_fuzzing_read_value (p, end, &mode) ||
187
4.10k
              !_fuzzing_read_f32_value (p, end, &minimum) ||
188
4.09k
              !_fuzzing_read_f32_value (p, end, &middle) ||
189
4.09k
              !_fuzzing_read_f32_value (p, end, &maximum))
190
30
            return false;
191
192
4.09k
          if (mode == HB_FUZZING_AXIS_PIN_TO_DEFAULT)
193
43
          {
194
43
            if (!hb_subset_input_pin_axis_to_default (input, face, tag))
195
1
              return false;
196
43
          }
197
4.05k
          else if (mode == HB_FUZZING_AXIS_SET_RANGE)
198
4.04k
          {
199
4.04k
            if (!hb_subset_input_set_axis_range (input, face, tag, minimum, maximum, middle))
200
2
              return false;
201
4.04k
          }
202
2
          else
203
2
            return false;
204
4.09k
        }
205
2.59k
        break;
206
2.63k
      }
207
208
2.59k
      default:
209
46
        return false;
210
10.9k
    }
211
10.9k
  }
212
213
4.43k
  return true;
214
4.68k
}
215
216
static bool
217
try_extended_input (const uint8_t *data, size_t size)
218
28.2k
{
219
28.2k
  if (size < sizeof (_fuzzing_extended_magic) + 4)
220
267
    return false;
221
222
28.0k
  size_t magic_offset = size - sizeof (_fuzzing_extended_magic);
223
28.0k
  if (0 != memcmp (data + magic_offset, _fuzzing_extended_magic, sizeof (_fuzzing_extended_magic)))
224
23.2k
    return false;
225
226
4.78k
  size_t ops_len_offset = magic_offset - 4;
227
4.78k
  uint32_t ops_len = _fuzzing_read_u32_le (data + ops_len_offset);
228
4.78k
  if (ops_len > ops_len_offset)
229
103
    return false;
230
231
4.68k
  size_t font_len = ops_len_offset - ops_len;
232
4.68k
  const uint8_t *ops = data + font_len;
233
234
4.68k
  hb_blob_t *blob = hb_blob_create ((const char *) data, font_len,
235
4.68k
            HB_MEMORY_MODE_READONLY, nullptr, nullptr);
236
4.68k
  hb_face_t *face = hb_face_create (blob, 0);
237
238
4.68k
  hb_set_t *output = hb_set_create ();
239
4.68k
  hb_face_collect_unicodes (face, output);
240
4.68k
  hb_set_destroy (output);
241
242
4.68k
  hb_subset_input_t *input = hb_subset_input_create_or_fail ();
243
4.68k
  if (!input)
244
0
  {
245
0
    hb_face_destroy (face);
246
0
    hb_blob_destroy (blob);
247
0
    return true;
248
0
  }
249
250
4.68k
  std::vector<hb_codepoint_t> text;
251
4.68k
  unsigned flags = HB_SUBSET_FLAGS_DEFAULT;
252
4.68k
  if (apply_extended_ops (face, input, &text, &flags, ops, ops_len))
253
4.43k
  {
254
4.43k
    trySubset (face,
255
4.43k
               text.empty () ? nullptr : text.data (),
256
4.43k
               (int) text.size (),
257
4.43k
               flags,
258
4.43k
               input);
259
4.43k
  }
260
248
  else
261
248
    hb_subset_input_destroy (input);
262
263
4.68k
  hb_face_destroy (face);
264
4.68k
  hb_blob_destroy (blob);
265
266
4.68k
  return true;
267
4.68k
}
268
269
static void
270
try_legacy_input (const uint8_t *data, size_t size)
271
23.6k
{
272
23.6k
  hb_blob_t *blob = hb_blob_create ((const char *) data, size,
273
23.6k
            HB_MEMORY_MODE_READONLY, nullptr, nullptr);
274
23.6k
  hb_face_t *face = hb_face_create (blob, 0);
275
276
  /* Just test this API here quickly. */
277
23.6k
  hb_set_t *output = hb_set_create ();
278
23.6k
  hb_face_collect_unicodes (face, output);
279
23.6k
  hb_set_destroy (output);
280
281
23.6k
  unsigned flags = HB_SUBSET_FLAGS_DEFAULT;
282
23.6k
  const hb_codepoint_t text[] =
283
23.6k
      {
284
23.6k
  'A', 'B', 'C', 'D', 'E', 'X', 'Y', 'Z', '1', '2',
285
23.6k
  '3', '@', '_', '%', '&', ')', '*', '$', '!'
286
23.6k
      };
287
288
23.6k
  hb_subset_input_t *input = hb_subset_input_create_or_fail ();
289
23.6k
  if (!input)
290
310
  {
291
310
    hb_face_destroy (face);
292
310
    hb_blob_destroy (blob);
293
310
    return;
294
310
  }
295
23.3k
  trySubset (face, text, sizeof (text) / sizeof (hb_codepoint_t), flags, input);
296
297
23.3k
  unsigned num_axes;
298
23.3k
  hb_codepoint_t text_from_data[16];
299
23.3k
  if (size > sizeof (text_from_data) + sizeof (flags) + sizeof(num_axes)) {
300
22.4k
    hb_subset_input_t *legacy_input = hb_subset_input_create_or_fail ();
301
22.4k
    if (!legacy_input)
302
2.08k
    {
303
2.08k
      hb_face_destroy (face);
304
2.08k
      hb_blob_destroy (blob);
305
2.08k
      return;
306
2.08k
    }
307
20.3k
    size -= sizeof (text_from_data);
308
20.3k
    memcpy (text_from_data,
309
20.3k
      data + size,
310
20.3k
      sizeof (text_from_data));
311
312
20.3k
    size -= sizeof (flags);
313
20.3k
    memcpy (&flags,
314
20.3k
      data + size,
315
20.3k
      sizeof (flags));
316
317
20.3k
    size -= sizeof (num_axes);
318
20.3k
    memcpy (&num_axes,
319
20.3k
      data + size,
320
20.3k
      sizeof (num_axes));
321
322
20.3k
    if (num_axes > 0 && num_axes < 8 && size > num_axes * (sizeof(hb_tag_t) + sizeof(int)))
323
1.32k
    {
324
6.08k
      for (unsigned i = 0; i < num_axes; i++) {
325
4.76k
        hb_tag_t tag;
326
4.76k
        int value;
327
4.76k
        size -= sizeof (tag);
328
4.76k
        memcpy (&tag,
329
4.76k
                data + size,
330
4.76k
                sizeof (tag));
331
4.76k
        size -= sizeof (value);
332
4.76k
        memcpy (&value,
333
4.76k
                data + size,
334
4.76k
                sizeof (value));
335
336
4.76k
        hb_subset_input_pin_axis_location(legacy_input,
337
4.76k
                                          face,
338
4.76k
                                          tag,
339
4.76k
                                          (float) value);
340
4.76k
      }
341
1.32k
    }
342
343
20.3k
    unsigned int text_size = sizeof (text_from_data) / sizeof (hb_codepoint_t);
344
20.3k
    trySubset (face, text_from_data, text_size, flags, legacy_input);
345
20.3k
  }
346
347
21.2k
  hb_face_destroy (face);
348
21.2k
  hb_blob_destroy (blob);
349
21.2k
}
350
351
extern "C" int LLVMFuzzerTestOneInput (const uint8_t *data, size_t size)
352
28.2k
{
353
28.2k
  alloc_state = _fuzzing_alloc_state (data, size);
354
355
28.2k
  if (try_extended_input (data, size))
356
4.68k
    return 0;
357
358
23.6k
  try_legacy_input (data, size);
359
23.6k
  return 0;
360
28.2k
}