用途:对 ArkWeb/Chromium C++ 单文件做线程安全审计,只报告文档定义的 10 条标准规则中的明确违规。核心不是枚举可疑 API,而是判断文件是否同时给出线程/sequence、异步边界、对象归属和生命周期证据。
主要能力:覆盖异步任务裸 this 生命周期(rule1)、GPU mojo 任务线程(rule2)、compositor_gpu_thread_ DrDC 线程(rule3)、NDK 与外领域回调 UI 线程(rule4)、NWeb 相关对象 UI 线程(rule5)、Chromium UI 对象访问(rule6)、mojo::Connector 跨线程(rule7)、Audio 操作线程(rule8)、CEF_POST_TASK Web 实例约束(rule9)、scoped_refptr 线程安全(rule10)。规则分 P1、P2 等级。
使用方式:识别触发点,建立线程/sequence 证据,确认对象归属和生命周期,套用规则矩阵,读取命中规则的 bad 示例(必要时对照 good 示例),必要时读 team_mapping。证据充分才报 violation;同证据归入最具体规则,避免重复上报。最终只输出 JSON,包含 scan_info、summary、violations,每条违规含 rule_id、rule_name、rule_level、location、issue、anti_pattern、required_fix、impact、team;无违规时 violations 为空数组。
适用场景:ArkWeb/Chromium C++ 单文件代码审查与自动化结果汇总。
限制:仅限单文件;跨文件才能确认的风险不报;只看到可疑 API、值类型跨线程传递、缺少线程或 owner 证据的不报;同步立即调用、WeakPtr 或取消机制已覆盖、仅传 ID 等不报;不得扩展 uncertain 等自定义字段;不得编造函数名、runner 名、路径或团队。