fuzz_checkpoint_loader.cc File Reference

libFuzzer target for the checkpoint loader (load_checkpoint_into). More...

#include <cstddef>
#include <cstdint>
#include <filesystem>
#include <fstream>
#include <string>
#include <unistd.h>
#include <ca-checkpoint.H>
#include <ca-traits.H>
#include <tpl_ca_engine.H>
#include <tpl_ca_lattice.H>
#include <tpl_ca_neighborhood.H>
#include <tpl_ca_rule.H>
#include <tpl_ca_storage.H>

Include dependency graph for fuzz_checkpoint_loader.cc:

Go to the source code of this file.

Functions
int	LLVMFuzzerTestOneInput (const uint8_t *data, size_t size)

Detailed Description

libFuzzer target for the checkpoint loader (load_checkpoint_into).

The loader consumes a binary on-disk format (header + optionally DEFLATE-compressed frame payload via miniz). It is the most security- sensitive parser because it decodes lengths and offsets from untrusted bytes. The fuzz buffer is written to a per-process temp file and loaded into a canonical engine; malformed files must be rejected via exceptions, never via memory corruption.

Definition in file fuzz_checkpoint_loader.cc.

Function Documentation

LLVMFuzzerTestOneInput()

int LLVMFuzzerTestOneInput	(	const uint8_t *	data,
		size_t	size
	)

Definition at line 77 of file fuzz_checkpoint_loader.cc.

References Aleph::blossom_maximum_cardinality_matching(), engine, Aleph::CA::load_checkpoint_into(), Aleph::CA::make_game_of_life_rule(), out, and Aleph::size().