jsoncpp 深度限制机制缓解栈溢出漏洞分析

漏洞概述 该提交（Commit 4964d24）为 库添加了深度限制（depth limit）功能。主要目的是防止因解析过深嵌套的 JSON 结构（如深层嵌套的数组或对象）导致栈溢出（Stack Overflow）或内存耗尽。 影响范围 受影响组件： 库（ , 等）。 具体场景：解析包含极深嵌套结构的 JSON 数据时，若未设置深度限制，可能导致程序崩溃。 默认值：默认深度限制为 24 层。 修复方案 1. 新增 API： - 在 类中新增构造函数参数 ，允许用户自定义最大嵌套深度。 - 新增静态常量 作为默认值。 - 在解析过程中（ , 等函数）检查当前深度，若超过限制则抛出 异常。 2. 代码变更： - ：在 的解析逻辑中增加深度计数与检查。 - ：更新类定义，增加 成员变量。 - ：在 解析中应用深度限制。 - ：在 RPC 消息解析中应用深度限制。 POC / 测试代码 在 中新增了针对深度限制的单元测试用例： ```cpp static std::string MakeNestedArrayObject(size_t depth) { std::string buf; for (size_t i = 0; i < depth; ++i) { buf += "[["; } buf += "null"; for (size_t i = 0; i < depth; ++i) { buf += "]]"; } return buf; } BOOST_AUTO_TEST_CASE(decode_depth_limit) { auto isDepthLimit = [](const std::exception &e) { return std::string(e.what()) == "JSON decoding recursion limit reached"; }; // Scalars parse even with depth limit 0 BOOST_CHECK_EQUAL(JsonDecode("42"), 42); BOOST_CHECK_EQUAL(JsonDecode("true"), true); BOOST_CHECK_EQUAL(JsonDecode("\"test\"", 0), std::string("test")); // Arrays and objects require at least depth limit 1 BOOST_CHECK_EXCEPTION(JsonDecode("[1]", 0), std::exception, isDepthLimit); BOOST_CHECK_EXCEPTION(JsonDecode("[[1]]", 1), std::exception, isDepthLimit); BOOST_CHECK_EXCEPTION(JsonDecode("{\"a\": 1}", 0), std::exception, isDepthLimit); BOOST_CHECK_EXCEPTION(JsonDecode("{\"a\": [1]}", 1), std::exception, isDepthLimit); // Array in array and object in object require at least depth limit 2 BOOST_CHECK_EXCEPTION(JsonDecode("[[1]]", 1), std::exception, isDepthLimit); BOOST_CHECK_EXCEPTION(JsonDecode("{\"a\": [[1]]}", 2), std::exception, isDepthLimit); // Mixed nesting of arrays and objects is also counted towards the same limit BOOST_CHECK_EXCEPTION(JsonDecode("[{1}]", 1), std::exception, isDepthLimit); BOOST_CHECK_EXCEPTION(JsonDecode("{\"a\": [1]}", 2), std::exception, isDepthLimit); BOOST_CHECK_EXCEPTION(JsonDecode("{\"a\": [[1]]}", 3), std::exception, isDepthLimit); // Shalings are not added up for the depth limit BOOST_CHECK_NO_THROW(JsonDecode("[[1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1],

目标达成感谢每一位支持者 — 我们达成了 100% 目标！

jsoncpp 深度限制机制缓解栈溢出漏洞分析

同源更多文章

目标达成 感谢每一位支持者 — 我们达成了 100% 目标！

jsoncpp 深度限制机制缓解栈溢出漏洞分析

同源更多文章

目标达成感谢每一位支持者 — 我们达成了 100% 目标！