fuzzers: limit input size to 100KiB

While testing larger inputs can be useful for uncovering bugs related to
processing large data or inefficiencies in memory allocation, it also
makes the fuzzing process slower and more fragile.

Beyond the obvious slowdown, there are OOM issues and even in libFuzzer.
Specifically, in fuzzer::InputCorpus::AddToCorpus, after a few hours of
fuzzing, we accumulate so many inputs that memory usage exceeds our
quota. This could be mitigated in other ways, such as dumping data early
or shortening the fuzzing run duration. However, in practice, these huge
inputs are often not very useful.

This change will also encourage the fuzzer to mutate existing data
rather than continually adding more bytes to input, because it give
higher coverage. Which in turn will produce higher quality corpus.

The 100 KiB limit could be reduced further. It's still quite large, let's
see how it performs. I believe even 10 KiB might be sufficient or less.

This issue is especially noticeable in the Matroska fuzzer, because we
add input data there, which is bigger and sets max_len high in fuzzer
itself.

In a perfect world, we wouldn't need to impose such limits, but in
reality, we face constraints in both memory and compute resources.

I'll monitor coverage and fuzzing results after this change and adjust
as needed. Unfortunately, this will discard all existing corpus entries
larger than the limit, but that's expected.
This commit is contained in:
Kacper Michajłow committed 2025-07-05 16:35:00 +02:00
1 parent 614e3c4223
commit 5f927c6333
5 files changed
+14

No files matched your search

+2
View File
@@ -25,6 +25,8 @@
#include <mpv/client.h> #include <mpv/client.h>
#define MAX_FUZZ_SIZE (100 << 10) // 100 KiB
int LLVMFuzzerTestOneInput(const uint8_t *data, size_t size); int LLVMFuzzerTestOneInput(const uint8_t *data, size_t size);
#define MPV_STRINGIFY_(X) #X #define MPV_STRINGIFY_(X) #X
+3
View File
@@ -22,6 +22,9 @@
int LLVMFuzzerTestOneInput(const uint8_t *data, size_t size) int LLVMFuzzerTestOneInput(const uint8_t *data, size_t size)
{ {
if (size > MAX_FUZZ_SIZE)
return 0;
void *tmp = talloc_new(NULL); void *tmp = talloc_new(NULL);
char *s = talloc_array_ptrtype(tmp, s, size + 1); char *s = talloc_array_ptrtype(tmp, s, size + 1);
memcpy(s, data, size); memcpy(s, data, size);
+3
View File
@@ -27,6 +27,9 @@
int LLVMFuzzerTestOneInput(const uint8_t *data, size_t size) int LLVMFuzzerTestOneInput(const uint8_t *data, size_t size)
{ {
if (size > MAX_FUZZ_SIZE)
return 0;
#ifdef MPV_LOAD_CONFIG_FILE #ifdef MPV_LOAD_CONFIG_FILE
// config file size limit, see m_config_parse_config_file() // config file size limit, see m_config_parse_config_file()
if (size > 1000000000) if (size > 1000000000)
+3
View File
@@ -24,6 +24,9 @@
int LLVMFuzzerTestOneInput(const uint8_t *data, size_t size) int LLVMFuzzerTestOneInput(const uint8_t *data, size_t size)
{ {
if (size > MAX_FUZZ_SIZE)
return 0;
if (size <= 1 || data[size - 1] != '\0') if (size <= 1 || data[size - 1] != '\0')
return 0; return 0;
+3
View File
@@ -19,6 +19,9 @@
int LLVMFuzzerTestOneInput(const uint8_t *data, size_t size) int LLVMFuzzerTestOneInput(const uint8_t *data, size_t size)
{ {
if (size > MAX_FUZZ_SIZE)
return 0;
size_t value_len; size_t value_len;
switch (MPV_FORMAT) switch (MPV_FORMAT)
{ {