FTZ: A State-Inferring Fuzzer for the TCP/IP Stack of Zephyr

30 April 2025 – Written by Valentin Huber – in blog and cybersecurity

For my master’s thesis, I wrote a state-inferring structure-aware coverage and state guided fuzzer for the TCP/IP stack of the open-source real-time operating system Zephyr based on LibAFL.

You can find the source code of the fuzzer on GitHub, and the thesis here.