• Contact: tech-toolchain
• Mentors: Kamil Rytarowski
• Duration estimate: 350h

IMPORTANT: This project was completed by Aditya Vardhan Padala. You may still contact the people above for details, but please do not submit an application for this project.

rumpkernel is a NetBSD kernel code used standalone as a library.

fuzzing is an automated testing technique that involved providing random data as input to a computer program.

Integrate a selection of fuzzers (libFuzzer, AFL, honggfuzz) with various parts of the rumpkernel codebase. For efficiency reasons the fuzzing process must involve sanitizers.

Milestones:

• Validate and if needed adapt the sanitizers to be able to perform sanitization of rumpkernels.
• Integrate a selection of fuzzers with the rumpkernel codebase
• Catch and report detected issues
• Validate whether the problems are reproducible on a standalone NetBSD kernel