本文介绍的 UBSAN 是一种动态的未定义行为检查工具。

UBSAN 使用编译时插桩捕捉未定义行为。编译器在可能导致未定义行为的操作前插入特定检查代码。如果检查失败，即，检测到未定义行为，则 __ubsan_handle* 函数将被调用打印错误信息。

GCC……  [阅读更多]

有关 Syzkaller 工作原理的通用描述如下.

关于 Linux 内核特有的内部机制可以在此处找到。

Syzkaller 系统的进程结构如下图所示，其中红色标签表示对应的配置选项。

syz-manager 进程负责启动、监视以及重启虚拟机实例，并在每……  [阅读更多]

本文描述了如何执行现有的 syzkaller 程序用以复现 bug。通过这种方式，你可以重放一个单独的程序或一个包含多个程序的完整执行日志。

1. 安装 Go 工具链（要求 Go 的版本不低于1.16）： 从官网下载最新的 Go 发行版，并将其解压到 $HOME
……  [阅读更多]

Common Vulnerabilities and Exposure(CVE®)编号是作为一种明确的方式来识别、定义和登记公开披露的安全漏洞。随着时间的推移，它们在内核项目中的实用性已经下降，CVE编号经常以不适当的方式和不适当的原因分配。因此，内核开发……  [阅读更多]