KFuzzTest: all the changes made.#9

Open

ethangraham2001 wants to merge 73 commits intomasterfrom

kfuzztest/relocations-revisited

Commits on Jun 18, 2025

Add simple configuration for kftf module that is built with kernel
Ethan Graham
committed
kftf: Add init and exit functions to module
Ethan Graham
committed
kftf: simple sysfs that accepts a struct for a single function and the
Ethan Graham
committed

Commits on Jun 23, 2025

kftf: allow tests with macro definitions in .kftf section of binary.
Ethan Graham
committed
kftf: fixx sizeof check so that it checks against the provided type.
Ethan Graham
committed
kftf: add metadata file per fuzzed function - this contains the name of
Ethan Graham
committed
move int_sqrt test out of kftf_tests file and into the math source
Ethan Graham
committed
kftf: address PR comments and make the FUZZ_TEST interface a lot more
Ethan Graham
committed
kftf: update include block so that the relative include (kftf_tests.h)
Ethan Graham
committed
delete unused file kftf_simple_fuzzer
Ethan Graham
committed
kftf: per test-case input buffer with mutex
Ethan Graham
committed
kftf: update kftf_fuzzable test
Ethan Graham
committed

Commits on Jun 25, 2025

kftf: add some comments to module main file and kftf header file
Ethan Graham
committed
kftf: replace static test cases buffer with kmalloc'd one.
Ethan Graham
committed

Commits on Jul 1, 2025

kftf: replace input buffers for callback with dynamically allocated
Ethan Graham
committed
kftf: replace heap allocated input buffer with function-local stack
Ethan Graham
committed
kftf: fix bug in input reading logic.
Ethan Graham
committed

Commits on Jul 4, 2025

kftf: work in progress on domain constraints. Need to see about exposing
Ethan Graham
committed

Commits on Jul 6, 2025

kftf: allow for range constraints by expanding constraint struct.
Ethan Graham
committed
kftf: move some stuff around and enforce 64 byte alignment of KFuzzTest
Ethan Graham
committed

Commits on Jul 8, 2025

kftf: add annotations macros to express field types (for example
Ethan Graham
committed

Commits on Jul 18, 2025

kfuzztest: add array annotation
Ethan Graham
committed
kftf: remove int_sqrt test which is no longer really needed, added
Ethan Graham
committed
kftf: remove some prints from write_input_callback, update test case to
Ethan Graham
committed
kftf: introduce new buffer for payload that provides alignment
Ethan Graham
committed

Commits on Jul 24, 2025

kftf: harden binary input parsing
Ethan Graham
committed

Commits on Jul 25, 2025

kfuzztest: update naming from "kftf" to "kfuzztest"
Ethan Graham
committed
kfuzztest: cleanup code and update documentation
Ethan Graham
committed
kfuzztest: remove dummy test file
Ethan Graham
committed
kfuzztest: update header comment in kfuzztest_main.c
Ethan Graham
committed
kfuzztest: update macros to fix naming
Ethan Graham
committed
kfuzztest: align targets to 32-byte boundary
Ethan Graham
committed

Commits on Aug 3, 2025

linux/kfuzztest: update serialization format for KFuzzTest inputs
Ethan Graham
committed

Commits on Aug 4, 2025

kfuzztest: reduce sizes of fields to 32-bit to reduce wastage
Ethan Graham
committed
kfuzztest: refactor code, introduce distinct and poisoned modes.
Ethan Graham
committed

Commits on Aug 5, 2025

kfuzztest: extract relocations logic into separate .c file.
Ethan Graham
committed
kfuzztest: refactoring functions into separate .c files, modify kasan
Ethan Graham
committed
kfuzztest: add toy example
Ethan Graham
committed
kfuzztest: backup before only supporting poisoned mode
Ethan Graham
committed
kfuzztest: relocate in poison mode - the new only mode
Ethan Graham
committed

Commits on Aug 6, 2025

kfuzztest: update poisoning to use kasan_poison_last_granule
Ethan Graham
committed
kfuzztest: cleanups WIP
Ethan Graham
committed
kfuzztest: remove unnecessary padding from kfuzztest.h structs
Ethan Graham
committed
kfuzztest: add SPDX headers to all new files
Ethan Graham
committed
kfuzztest: add help section to KConfig.kfuzztest
Ethan Graham
committed
kfuzztest: update comments and one code block refactored
Ethan Graham
committed
kfuzztest: move examples to .c file
Ethan Graham
committed
kfuzztest: wrap KFUZZTEST_TABLE def in an ifdef block
Ethan Graham
committed

Commits on Aug 7, 2025

kfuzztest: start documentation
Ethan Graham
committed
kfuzztest: add Google copyright notice, remove ifdefs in .c file
Ethan Graham
committed
kfuzztest: fix parsing logic that didn't account for padding
Ethan Graham
committed
kfuzztest: update examples file
Ethan Graham
committed
kfuzztest: update state name from st to state
Ethan Graham
committed
kfuzztest: remove extraneous braces, prints, and add a check in poison
Ethan Graham
committed
kfuzztest: add a debug helper function
Ethan Graham
committed
kfuzztest: poison region preceding payload to catch underflows
Ethan Graham
committed
kfuzztest: update overflow example, add underflow example
Ethan Graham
committed
kfuzztest: define macros for granule size and slab redzone
Ethan Graham
committed
kfuzztest: fix example so that it actually overflows
Ethan Graham
committed
kfuzztest: add stricter input parsing and validation, fix nits
Ethan Graham
committed
kfuzztest: more validation.
Ethan Graham
committed
kfuzztest: assume at 8 bytes of padding before payload
Ethan Graham
committed
kfuzztest: add GE and LT domain constraints for completeness
Ethan Graham
committed

Commits on Aug 8, 2025

kfuzztest: remove __kfuzztest_write_cb_common as we no longer need it.
Ethan Graham
committed
kfuzztest: documentation updates
Ethan Graham
committed
kfuzztest: updates doc comments for consistency
Ethan Graham
committed
kfuzztest: update allocation / error handling for debufs_state
Ethan Graham
committed
kfuzztest: file header comments
Ethan Graham
committed
kfuzztest: update some kasan poison logic and comments
Ethan Graham
committed
kfuzztest: update test case comments
Ethan Graham
committed
kfuzztest: remove no longer needed CONFIG_KASAN check
Ethan Graham
committed
kfuzztest: update KConfig dependencies and help description
Ethan Graham
committed
kfuzztest: move period out of a quoted region
Ethan Graham
committed