用途:这是一个代码安全审计技能,面向“并发与同步”类 CWE 漏洞检测。角色被设定为审计员而非实现开发者,职责仅是判断目标漏洞是否存在于代码库中,不提出修复或改进建议。
主要能力:系统扫描应用源代码,依次针对以下六条规则判断是否存在匹配模式,并在找到每条规则的第一个确认匹配后停止该条扫描:CWE-543(多线程上下文中使用未同步的单例模式)、CWE-567(多线程上下文对共享数据的未同步访问)、CWE-662(不正确的同步)、CWE-667(不正确的加锁)、CWE-820(缺失同步)、CWE-821(错误的同步)。每条规则均需报告 FOUND 或 NOT_FOUND,不得跳过。
使用方式:按规则逐一迭代扫描源码;搜索策略从常见漏洞模式入手,包括用户输入处理、外部数据处理、资源管理,并检查配置文件、API 端点、数据访问层与工具类,兼顾直接模式与间接/传递性漏洞路径;聚焦源文件(如 .java、.py、.cs、.js、.ts),跳过测试文件与生成代码。输出为完整 JSON 结构返回给父评估,由父级写入当前运行 incoming 目录并调用 Node 记录结果契约。FOUND 项需给出工作区相对文件路径及含类、方法或行引用的说明;NOT_FOUND 项文件为空数组、说明为空字符串;每条规则的 severity、storyPoint、description 须按规则定义原样复制;仅当整个类别与项目语言/技术栈无关时,顶层 status 才设为 not_applicable。
适用场景:需要对使用多线程或多进程、存在共享资源访问的应用代码库做批量 CWE 安全审计的场合。
限制:仅做漏洞识别,不给出修复方案;每个规则在首个匹配后即停止,因此不保证穷尽所有实例;具体输入来源、定价、执行环境与依赖等细节暂未提供。