SuperAPI AI 工具集

code-review

编程与开发

查看项目

更新于 10-15 21:53

技能介绍

用途:为 Filament 源码执行严格的对抗式代码评审,适用于代码、PR、diff 或分支的审查。强调正确性、并发不变量、内存模型、生命周期安全、API 契约、算术边界与测试完整性,禁止只做风格或表层的单遍评审。

主要能力:围绕六个分析维度展开。并发、同步与内存模型:检查 std::atomic 的 std::memory_order 与屏障方向、丢失唤醒与条件变量不变量、ABA 与槽位复用及撕裂读、无锁 API 中的数据竞争、死锁与加锁顺序。算术与数值边界:检查窄化转换与整数截断(如 size_t 到 uint32_t、等于 65536 倍数截断为 0 引发死循环)、count 为 0/1、2^16、2^32、INT_MAX 等边界,以及资源与池预算。API 契约与行为差异:比较新旧语义、零尺寸输入与空容器行为、trait 特化与 SFINAE/Concepts、文档承诺与实际实现是否一致。对象生命周期与 RAII:线程退出计数、异步 lambda 捕获、引用计数在 worker 失败时是否提前归零。测试完整性:排除同义断言、确认并发测试真正制造竞争、新测试文件接入 CMakeLists.txt。架构完整性:新增能力(如 adopted worker 线程)时,尺寸、分区与辅助计算是否同步扩展。

使用方式:先通过 git diff <base_branch>...<target_branch> 或 git log -n <count> --stat 获取变更,再结合 view_file 阅读修改文件及其调用方与依赖以理解完整跨函数状态机,逐项按六维审计 diff,对每个疑似问题先在代码库中反证以消除误报,最后按指定格式输出。报告格式为“文件路径 - 行号 [分类] 具体失效机制”,并附评审小结,包含最关键阻塞问题、意图与代码的差距、已明确检查并排除的复杂点、次要清理项。分类标签为 [correctness]、[efficiency]、[api-contract]、[behavior-change]、[test-coverage]。

限制:该协议针对 Filament 源码与 C++ 并发场景;其他语言或项目未提供适配说明。具体依赖工具(view_file 等)的安装与配置暂未提供。