Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Learn about SYZOS, a novel framework for effectively fuzzing the Linux kernel's KVM subsystem in this 19-minute conference talk from the Linux Plumbers Conference. Discover how traditional syscall fuzzing approaches fall short when dealing with complex subsystems like KVM, which require managing intricate state across both host and guest environments and coordinating code execution in both contexts. Explore the primary challenge of generating meaningful guest-side code, where randomly generated instruction sequences prove fragile and difficult to test reliably. Understand how SYZOS reframes the fuzzing problem by targeting higher-level operations within the guest rather than raw instructions, utilizing a small, immutable C library that exposes a fuzzer-friendly API for stable, high-level building blocks. Examine the framework's architecture and see how it enables deeper KVM fuzzing through controlled operations like interrupt controller setup, privileged register manipulation, and triggered VM exits. Gain insights into key findings from implementations on both ARM64 and x86 platforms, and learn how this approach overcomes the limitations that have historically prevented effective exploration of guest-driven functionality and device interactions in kernel virtualization testing.
