The Linux kernel is the backbone of modern society. When a kernel error is discovered, a
quick remediation is needed. Whereas sanitizers greatly facilitate root cause diagnosis …

Fuzz testing operating system kernels has been effective overall in recent years. For
example, syzkaller manages to find thousands of bugs in the Linux kernel since 2017. One …

Random-based approaches and heuristics are commonly used in kernel concurrency
testing due to the massive scale of modern kernels and corresponding interleaving space …

Virtualization plays an essential role in providing security to computational systems by
isolating execution environments. Many software solutions, called hypervisors, have been …

Continuous fuzzing has become an integral part of the Linux kernel ecosystem, discovering
thousands of bugs over the past few years. Interestingly, only a tiny fraction of them were …

In top-tier companies and academia, fuzzing has established itself as a valuable tool for
finding bugs. It is a tool created by experts for experts, and a lot of research is being invested …

Type confusion bugs are a common source of security problems whenever software makes
use of type hierarchies, as an inadvertent downcast to an incompatible type is hard to detect …

Vulnerabilities in device drivers are constantly threatening the security of OS kernels. USB
drivers are particularly concerning due to their widespread use and the wide variety of their …

模糊测试是一种通过生成随机, 异常或无效的测试样例来检测软件或系统中潜在漏洞和错误的
技术方法. 内核作为一种高度复杂的软件系统, 由众多互相关联的模块, 子系统和驱动程序所构成 …

Even though the foundations for fuzzing were laid more than 30 years ago, it did not play a
role in industry or academia for a long time. Interestingly, the popularity of fuzzing has risen …