Noir CVE-2024-4197: Heap Corruption in Brillig VM via Nested Tuple Arrays

漏洞概述 标题: Heap corruption in foreign call results with nested tuple arrays CVE ID: CVE-2024-4197 严重程度: Critical 影响版本: <=1.0.0-beta.18 修复版本: 1.0.0-beta.19 描述: 在 Noir 程序中，当编译为 Brillig 字节码时，SSA 指令被提议为块内块。当编译器遇到 时，会调用 。在发出外部调用指令之前，编译器必须为调用返回的任何数组结果预分配内存。 对于外层数组， 正确地使用了 ，从而产生正确的半展平大小。 然而，对于嵌套数组， 存在一个 bug。当遇到嵌套类型 时，它调用了 ，但传入的 仅表示语义长度（逻辑元素数量），而非半展平大小（实际内存占用）。对于复合元素类型（如元组），这会导致分配的空间不足。 示例: 考虑嵌套数组类型 ： 语义长度: 3 (三个元组) 元素大小: 2 (每个元组有两个字段) 所需半展平大小: 6 个内存槽 当前代码仅分配了 3 个槽位（加上元数据共 4 个槽位），而不是所需的 7 个槽位（6 个数据 + 1 个元数据）。当 VM 执行外部调用并写入 6 个值及元数据时，会覆盖相邻的堆内存。 影响范围 外部函数调用返回嵌套元组数组或其他复合类型时，会损坏 Brillig VM 堆。 修复方案 在分配嵌套数组时，将语义长度乘以元素类型的数量。从模式中解构内部类型，并使用 来计算半展平大小。或者，复用现有的 辅助函数以保持与外部数组分配的一致性。 POC 代码

目標達成すべての支援者に感謝 — 100%達成しました！

Noir CVE-2024-4197: Heap Corruption in Brillig VM via Nested Tuple Arrays

このソースからの他の記事

目標達成 すべての支援者に感謝 — 100%達成しました！

Noir CVE-2024-4197: Heap Corruption in Brillig VM via Nested Tuple Arrays

このソースからの他の記事

目標達成すべての支援者に感謝 — 100%達成しました！