security-audit-skill验证器的6处安全加固符号链接、5MiB与64层嵌套【免费下载链接】security-audit-skillA coding-agent skill for multi-phase security audits with independently verified, machine-readable findings项目地址: https://gitcode.com/GitHub_Trending/se/security-audit-skillsecurity-audit-skill 是一款把编码智能体变成安全审计员的开源技能它的两个零依赖验证器负责在审计流程里守住机器可读输出的最后防线。本文带你拆解 validate-findings.cjs 与 validate-coverage-ledger.cjs 里的6 处安全加固拒绝符号链接、5MiB 输入上限、64 层嵌套深度、非阻塞打开、100 条错误上限、诊断控制字符转义——看懂一个审别人的安全工具自己如何对抗符号链接、内存耗尽与终端注入。为什么安全工具自己也要防身security-audit-skill 按 6 个阶段运转侦察 → 覆盖率驱动的排查 → 候选验证 → 结构化输出 → 独立记录核验 → 中立报告。其中第 4、5 阶段会反复运行验证器来校验findings.json和coverage-ledger.json。关键在于验证器的输入来自审计过程本身。一旦某个环节产出畸形或恶意构造的 JSON一个不加防护的解析器就可能被撑爆或劫持。所以这两个验证器在JSON.parse之前和之后都布下了层层防线。它们的边界值集中定义在validate-findings.cjs#L42-L49validate-coverage-ledger.cjs#L13-L21下面逐一拆解 6 处加固。加固一拒绝符号链接守住入口边界验证器读取输入时使用的不是普通的fs.readFileSync而是一段不跟随链接的打开逻辑。核心在 readFileWithinLimit打开文件时带上O_NOFOLLOW标志系统层面直接拒绝解析符号链接若内核返回ELOOP/EMLINK立即抛出input must not be a symlink只有当O_NOFOLLOW和O_NONBLOCK两个常量在当前系统都可用时才放行否则干脆拒绝一切输入。为什么重要攻击者可能把findings.json做成指向/etc/passwd或超大文件的软链接。O_NOFOLLOW在打开那一刻就切断了这条路径比先stat再读的两步检查更不易被竞态绕过。相关测试validate-findings.test.cjs#L486-L505 与 validate-coverage-ledger.test.cjs#L647-L666。加固二5MiB 输入上限内存不再被撑爆两个验证器都把输入大小钉死在5 MiBinputBytes: 5 * 1024 * 1024。而且做了双重检查读取前先看fstat的文件大小超限直接拒绝分块读取64 KiB/块的过程中对累计读入字节数再做一次上限判断。这样即使文件在被读取的瞬间被换大也不会被喂到内存爆炸。测试 validate-findings.test.cjs#L375-L381 会验证超限时只输出友好的字节上限错误而不抛堆栈异常。加固三64层嵌套深度用迭代代替递归这是最精妙的一处。[[[[...]]]这类深嵌套 JSON 是经典的**栈溢出/拒绝服务**武器——递归解析几千层就会RangeError: Maximum call stack size exceeded。两个验证器都用了基于栈stack的迭代遍历并设nestingDepth: 64的硬上限解析前在文本层预检enforceJsonTextLimits / preflightJsonText 逐字符数容器深度解析后在对象层复检collectDataLimitErrors / preflightDocument 用WeakSet同时拦截循环引用。因为全程迭代、且提前在文本层就掐断测试 validate-coverage-ledger.test.cjs#L682-L699 能证明哪怕喂进多 MB 的 200 万层嵌套验证器也只是平静地报exceeds 64 level nesting depth limit既不栈溢出也不 OOM。加固四非阻塞打开 常规文件检查防 FIFO 卡死readFileWithinLimit还带了O_NONBLOCK标志并在fstat后检查stat.isFile()。这防的是什么命名管道FIFO。如果有人把输入路径做成 FIFO普通读取会永久阻塞等待写入者形成一种安静的拒绝服务。非阻塞 常规文件校验确保遇到 FIFO 时立即报input must be a regular file并退出。测试见 validate-findings.test.cjs#L465-L484。加固五100 条错误上限输出不放大错误列表由 createErrorList 创建——它重写了push把记录条数硬封顶在 100validationErrors: 100。为什么要封顶因为一个精心构造的刚好合法但充满问题的输入可以让朴素验证器吐出百万条错误信息反过来把读者/下游日志淹没这本身就是一种输出放大攻击。封顶后CLI 只会多打印一句output capped at 100。测试 validate-findings.test.cjs#L539-L550 专门验证了1000 个畸形 finding 也只输出 100 条错误且总输出小于 20KB。加固六诊断信息控制字符转义终端注入无处遁形错误信息里经常会回显来自输入的字符串比如某个字段路径、字段值。如果输入里藏着 ANSI 转义、方向控制符如\u202e右到左标记等直接打印就可能劫持终端显示。escapeUnsafeDiagnosticCharacters 把所有控制/格式/方向/默认可忽略字符转成\uXXXX形式safeQuote还会把过长内容截断到 256 字符。测试 validate-findings.test.cjs#L234-L250 会断言输出里绝不含原始控制字节只有转义后的形式。6 处加固速览#加固点防线类型关键标志/常量1拒绝符号链接入口边界O_NOFOLLOW25MiB 输入上限内存耗尽inputBytes364 层嵌套深度栈溢出/DoSnestingDepth4非阻塞 常规文件阻塞型 DoSO_NONBLOCK5100 条错误上限输出放大validationErrors6控制字符转义终端注入UNSAFE_DIAGNOSTIC_CHARACTER加固如何被验证测试即证据这套防线的可信度来自逐条复现攻击的测试。两份测试文件用临时目录 子进程 CLI真实地构造恶意输入去打验证器validate-findings.test.cjs — 覆盖字节上限、深嵌套、超限数组、FIFO、软链、堆栈放大等validate-coverage-ledger.test.cjs — 覆盖 10000 顶层单元、1000 项数组、1000 字段对象、多 MB 嵌套等。它们还额外断言输出不含RangeError/Maximum call stack/heap out of memory确保加固真的挡住了崩溃而不只是换了个报错文案。快速上手本地运行验证器两个验证器零依赖装好技能后用 Node 直接跑即可node skills/security-audit/validate-findings.cjs path/to/findings.json node skills/security-audit/validate-coverage-ledger.cjs path/to/coverage-ledger.json通过时打印PASS: N findings valid/PASS: N coverage units valid命中加固时会打印友好、无堆栈的拒绝原因如input must not be a symlink、exceeds 5242880 byte limit。小结security-audit-skill 的这两个验证器把安全工具自身的安全性当成了第一等公民符号链接、5MiB、64 层嵌套只是最显眼的三处配上非阻塞打开、输出封顶与控制字符转义共同构成了一套对抗 DoS 与注入的纵深防御。对想学习如何给解析器加固的新手来说README.md 配合这两个.cjs源文件就是一份极佳的实战范本。【免费下载链接】security-audit-skillA coding-agent skill for multi-phase security audits with independently verified, machine-readable findings项目地址: https://gitcode.com/GitHub_Trending/se/security-audit-skill创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考
