为什么 ulimit -v 在 clang 的地址清理器下不起作用？

Question

我正在使用libFuzzer来模糊 API。
该 API 反序列化位数组（由 libFuzzer 提供）
并将它们转换为 C++ 类实例化。

由于序列化格式，libFuzer 能够构造一个序列化对象，告诉反序列化器保留大量数据（这是无法满足的）。
这是通过调用 来完成的std::vector::resize()。向量抛出std::bad_alloc，尽管问题已被捕获并安全缓解，但它会导致模糊器极度滞后（如以下有关OOM 问题的文档中所述）。

为了降低模糊器运行时使用的内存量，我希望设置ulimit -v和调整进程的可用虚拟内存。然而这样做会导致

==27609==ERROR: AddressSanitizer failed to allocate 0xdfff0001000 (15392894357504) bytes at address 2008fff7000 (errno: 12)
==27609==ReserveShadowMemoryRange failed while trying to map 0xdfff0001000 bytes. Perhaps you're using ulimit -v

为什么地址清理程序不能在 ulmit -v 下工作？
我希望可以，这样我就可以更有效地进行模糊测试。

其他信息：
我的构建标志是：

copts = [
    "-fsanitize=address,fuzzer",
    "-fsanitize-trap=undefined,integer",
    "-fsanitize-coverage=trace-pc,trace-cmp,trace-pc-guard",
    "-g",
    "-O0",
    "-fno-omit-frame-pointer",
    "-fno-sanitize=vptr",
],
linkopts = [
    "-fsanitize=address,fuzzer",
    "-fsanitize-trap=undefined,integer",
    "-fno-sanitize=vptr",
    "-fsanitize-link-c++-runtime",
],

我尝试关闭标志，以便我可以设置ulimit并运行模糊器：

copts = [
    "-fsanitize=fuzzer",
    "-g",
    "-O0",
    "-fno-omit-frame-pointer",
],
linkopts = [
    "-fsanitize=fuzzer",
],

但这会立即导致段错误。

Answer 1

Asan 在启动时为影子内存保留 1/8 的进程地址空间，以保存用户数据的状态（已分配、已释放等）。这是设计使然，人们对此无能为力。

请注意，您通常不关心虚拟内存，而是关心物理内存（这也会导致new您的情况失败）。