SuperAPI AI 工具集

rust-review

编程与开发

查看项目

更新于 10-15 17:20

技能介绍

用途:对 Rust 代码做安全性与正确性审查,重点覆盖 unsafe 块、所有权与借用、错误处理、并发模式、惯用写法及 Cargo 依赖风险,适用于审查 Rust 改动或合并前检查;非 Rust 的通用审查应改用 unified-review,性能剖析也不适用本工具。

主要能力:按需加载各审查模块,包括所有权分析(借用与生命周期)、错误处理(Result/Option)、并发模式、unsafe 审计、可变静态量与线程安全替代、数值转换安全、match 通配符、transmute 审计、repr(packed) 审计、浮点相等比较、mem::forget 审计、Cargo 依赖漏洞扫描,以及惯用模式(类型建模、生命周期省略、参数强制转换、转换 trait)。工作流分步进行:所有权分析、错误处理、并发、unsafe 审计、依赖扫描、证据日志,最后验证结论是否有据。

使用方式:执行 /rust-review;可用 --help 验证命令是否可用。审查范围按需加载对应模块文档。结论需写入 .review/findings.json 并运行引用验证器,被拒的结论应删除或标为 UNVERIFIED。

输出包含摘要、所有权分析、错误处理、并发、Unsafe 审计(含不变量、锚点原文、风险与建议)、类型建模、惯用省略、参数强制转换、转换 trait、数值转换安全、可变静态审计、通配符、transmute、浮点相等、mem::forget、repr(packed)、依赖与最终结论(通过/带行动通过/阻止)。

限制:未提供具体收费、价格、平台或效果信息;除 --help 外未给出安装或运行命令细节。