用途:该技能让 Claude 应用论文《Following Dragons: Code Review-Guided Fuzzing》中的 EyeQ 技术,把代码评审讨论中的开发者安全直觉转化为模糊测试引导信号。
主要能力:四阶段流水线——(1) 评审分类,两阶段 LLM 方法先粗筛 CWE-699 候选类别,再细粒度选出最具体 CWE;(2) 代码定位,通过候选排序加基于 diff 的验证,把评论映射到具体函数;(3) 代码插桩,识别暴露安全关键状态的变量或表达式,用 IJON_SET、IJON_MAX、IJON_MIN、IJON_STATE 宏包裹;(4) 模糊测试执行,用 AFL++ 的 IJON 位图把注解作为一等反馈信号。注解以 #ifdef _USE_IJON 保护,生产构建中可编译掉,不改变程序语义。
使用方式:收集 PR 评论、内联评审线程等;先粗筛安全相关性,再细化 CWE 分类并引用触发分类的原文短语;定位函数时须与实际 diff 核对,不得虚构函数名;为每个目标选择合适 IJON 宏并紧跟在计算该表达式的语句之后插入,附理由注释;用支持 IJON 的 AFL++ 编译并运行;崩溃后与原始评审上下文交叉比对,按 CWE 与严重性分类,并记录来源链。
适用场景:分析代码评审或 PR 讨论中的安全信号;从开发者关切生成 IJON 宏;对开发者标记的高风险区域优先模糊测试;按 CWE 分类评审评论;把评审关切映射到具体函数与变量;对 C/C++ 代码插桩;对评审评论积压做分诊。
限制:需要支持注解的模糊测试器(带 IJON 的 AFL++),标准 AFL 或未修改的 libFuzzer 无法消费注解;最适用于可插入 IJON 宏的 C/C++ 代码库,托管语言需等效插桩框架;依赖评审中包含安全相关讨论;LLM 分类定位准确率约 75%,建议人工验证高置信度注解;不能替代覆盖率引导模糊测试,而是补充;非英文评审评论可能降低分类准确率。论文与提示模板等细节见 arXiv:2602.10487v1。