Configuration
2024-07-12
Syzkaller 系统中的
syz-manager
进程操作由一个配置文件控制,该文件在调用时通过-config
选项传递。 这个配置可基于示例进行编写。 文件为 JSON 格式,包含多个参数。……  [阅读更多]KCOV: code coverage for fuzzing
2024-07-11
KCOV 以一种适用于覆盖率引导的模糊测试的形式收集和暴露内核代码覆盖率信息。一个正在运行的内核的覆盖率数据可以通过
kcov
调试文件导出。覆盖率的收集是基于任务启用的,因此 KCOV 可以精确捕获单个系统调用的覆盖率。要注意的是 KCOV 不是为了收集……  [阅读更多]
make headers_install
命令以适合于用户空间程序的形式导出内核头文件。Linux 内核导出的头文件描述了用户空间程序尝试使用内核服务的 API。这些内核头文件被系统的 C 库(例如 glibc 和 uClibc)用于定义可用的系统调用,以……  [阅读更多]
Syz-bisect
2024-07-11
syz-bisect
程序可用于对由 syzkaller 发现的崩溃进行查找责任提交(culprit commit)和修复提交(fix commit)。 它还可以识别触发崩溃的配置选项。使用
make bisect
构建syz-bisect
。在进行二……  [阅读更多]
Setup: Linux host, QEMU vm, arm64 kernel
2024-04-30
这份文档将详细说明如何设置 Syzkaller 实例,以便对你选择的任何 ARM64 Linux 内核进行模糊测试。
我们将使用 buildroot 来创建磁盘映像。 你可以从 这里 获取 buildroot。 解压压缩包,并在其中执行
make menu
……  [阅读更多]获取至少 GCC 9 版本的
s390x-linux-gnu-gcc
。最新的 Debian/Ubuntu/Fedora 发行版应该在gcc-s390x-linux-gnu
软件包中提供足够新版本的交叉编译器。获取 Linux 内核源码:
git cl
……  [阅读更多]Found bugs
2024-04-29
panicall 已经将 syzkaller ([1] (video), [2]) 移植到
Darwin/XNU
,并发现了 50 多个漏洞),包括在 苹果安全更新中提到的CVE-2018-4447
和CVE-2018-4435
。 然而,他并没有将他的工……  [阅读更多]Linux-specific syzkaller internals
2024-04-29
可以使用 syzkaller 对一些 Linux 内核系统调用接口进行模糊测试:
Linux kernel configs
2024-04-29
syzkaller
推荐的内核配置一览。参考配置详见 syzbot config。启用覆盖率收集对于提高模糊测试的有效性极其重要:
CONFIG_KCOV=y CONFIG_KCOV_INSTRUMENT_ALL=y CONFIG_KCOV_ENABLE
……  [阅读更多]Kernel Memory Leak Detector
2024-04-28
Kmemleak (Kernel Memory Leak Detector) 提供了一个类似可追踪的垃圾收集器的方法来检测可能的内核内存泄漏。与之不同的是,孤立对象不会被释放,只会在
/sys/kernel/debug/kmemleak
中报告。相似的方法也……  [阅读更多]syzkaller 已支持对网络栈的外部模糊测试。 这是通过使用 TUN/TAP 接口来实现的. 它允许设置一个虚拟网络接口,并将从外部网络接收到的数据包发送到内核。 这触发了真实数据包通过真实网络接口传递的相同路径(除了驱动层)。
您需要启用
CONFIG
……  [阅读更多]Linux is a CNA
2024-04-23
CVE 组织最近宣布,Linux 内核已然正式成为 CVE 编号机构(CNA)。作为 CNA,Linux 具有在其软件产品中发现的漏洞分配 CVE 编号的权限,并向 CVE 数据库做出贡献。
这是一个趋势,越来越多的开源项目开始成为 CNA,以便自己管理对其……  [阅读更多]
Troubleshooting
2024-04-19
如果您在运行 syzkaller 时遇到问题,请检查以下几点。
检查 QEMU 是否能成功启动虚拟机。例如,如果
IMAGE
设置为虚拟机的磁盘映像(根据image
选项的配置值),并且KERNEL
设置为测试内核(根据kernel
选项的配置值), ……  [阅读更多]
Program syntax
2024-04-18
Syzkaller 使用一种紧凑的的领域特定语言(DSL)来记录其执行的程序(如记录到 log0 等输出文件)、测试其代码并将程序持久化地存储在语料库中(指 corpus.db)。此页面提供了对相关程序语法的简要描述。一些有用的信息也可以在样例程序和程序的反……  [阅读更多]
How to set up syzkaller
2024-04-17
How to use syzkaller
2024-04-06
启动
syz-manager
命令如下:./bin/syz-manager -config my.cfg
syz-manager
进程将启动虚拟机并在其中进行模糊测试。-config
命令行选项给出了配置文件的位置,并于此处给出详细描述。 Syzka……  [阅读更多]Research
2024-04-02
Undefined Behavior Sanitizer - UBSAN
2024-03-20
本文介绍的 UBSAN 是一种动态的未定义行为检查工具。
UBSAN 使用编译时插桩捕捉未定义行为。编译器在可能导致未定义行为的操作前插入特定检查代码。如果检查失败,即,检测到未定义行为,则 __ubsan_handle* 函数将被调用打印错误信息。
GCC……  [阅读更多]
How syzkaller works
2024-03-06
有关 Syzkaller 工作原理的通用描述如下.
关于 Linux 内核特有的内部机制可以在此处找到。
Syzkaller 系统的进程结构如下图所示,其中红色标签表示对应的配置选项。
syz-manager
进程负责启动、监视以及重启虚拟机实例,并在每……  [阅读更多]Executing syzkaller programs
2024-03-02
本文描述了如何执行现有的 syzkaller 程序用以复现 bug。通过这种方式,你可以重放一个单独的程序或一个包含多个程序的完整执行日志。