C语言 Linux kernel NULL-pointer dereference in memset from kza



很偶然地在内核丛林中偶然发现了一些代码,有点困惑。kzalloc()有两种实现:在tools/virtio/linux/kernel.h中,在linux/slab.h中是主要的。显然,在大多数情况下使用第二个。但有时使用"virtio"kzalloc()

"virtio"kzalloc()看起来像这样:

static inline void *kzalloc(size_t s, gfp_t gfp)
{
void *p = kmalloc(s, gfp);
memset(p, 0, s);
return p;
}

我的困惑是"工具"目录中使用的"假"kmalloc()可以返回 NULL 指针。此外,看起来memset()实现不检查 NULL 指针,因此可能存在 NULL 指针取消引用。 是错误还是我错过了什么?

是的,这绝对看起来像一个错误。

tools/子目录是用户空间工具的集合(顾名思义(。您还可以通过包含几个 C 标准库标头的事实来看到这一点。所以这当然不是内核错误(那会非常糟糕(,只是virtio测试工具中的一个小疏忽。

virtio测试工具似乎重新定义了某些内核 API 来模拟它们在用户空间中的行为。不过,该函数似乎从未在实践中使用过,只是简单地定义。

marco:~/git/linux/tools/virtio$ grep -r kzalloc
linux/kernel.h:static inline void *kzalloc(size_t s, gfp_t gfp)
ringtest/ptr_ring.c:static inline void *kzalloc(unsigned size, gfp_t flags)
marco:~/git/linux/tools/virtio$

它可能是为了供希望在用户空间中测试一些virtio内核代码的人使用。


无论如何,您可以尝试报告该错误。get_mantainer.pl脚本建议:

$ perl scripts/get_maintainer.pl -f tools/virtio/linux/kernel.h
Bad divisor in main::vcs_assign: 0
"Michael S. Tsirkin" <mst@redhat.com> (maintainer:VIRTIO CORE AND NET DRIVERS)
Jason Wang <jasowang@redhat.com> (maintainer:VIRTIO CORE AND NET DRIVERS)
virtualization@lists.linux-foundation.org (open list:VIRTIO CORE AND NET DRIVERS)
linux-kernel@vger.kernel.org (open list)

标头主要用于用户空间测试,如virtio_test

来自tools/virtio/virtio_test.c的 git-log :

这是该工具的用户空间部分:它包括一堆存根 Linux API,有点类似于 linuxsched。这使得有可能 重新编译用户空间中的环代码。

实现了一个小型测试示例,将其与vhost_test 模块。

所以是的,代码有点不安全(干净的编码会在memset()之前测试NULL指针并使用适当的错误消息进行救援(,但由于它只是一个测试工具,跳过这个测试似乎被认为是不重要的。

最新更新