kAFL

kAFL is a hardware-assisted feedback fuzzer specifically designed for x86 virtual machines, enabling efficient testing of complex systems such as x86 firmware, kernels, and operating systems. It leverages Intel VT, PML, and PT technologies for enhanced execution, snapshotting, and coverage feedback, and is optimized for parallel operations across multiple QEMU instances. Notably, kAFL incorporates various fuzzing techniques, including those from Radamsa, Redqueen, and Grimoire, to improve input mutation strategies and enhance vulnerability discovery.