Rust Unsafe 审查AI 辅助应停在哪一步AI 可以帮助定位unsafe代码附近的可疑路径却不能替代安全论证。它不了解项目的别名约束、生命周期约定和 FFI 调用方行为生成的解释也不能当作证明。审查对象要小每个unsafe块只承担一个明确动作例如把字节切片交给 C 库或访问已验证的内存映射。把安全前提写在块旁边指针来自哪里、长度如何确认、谁持有所有权、并发访问是否受限。前提过多时先拆函数。AI 适合做什么可以让它列出可能的空指针、越界、对齐和线程安全问题作为人工审查的待办也可以用它补充测试样本。最终仍应由维护者沿调用链确认前提并使用 Miri、sanitizer 或针对 FFI 的集成测试验证。提交前的底线避免为了压过借用检查器而扩大unsafe范围。没有说清安全前提的改动不应因为能编译就合入。