unsafe-rust - 严谨编写与审计不安全 Rust
依据明确的安全契约、适用域、不变量、权威依据和 TCB 假设，编写、记录、审查、审计或重新设计不安全 Rust。
标签
更新于: 2026-10-04能力
典型输入
典型输出
该技能可以做什么
- 界定安全声明
- 恢复所需案例域
- 盘点不安全表面
- 分解契约义务
- 追踪跨时数据流
- 证明不变量转换
- 核验权威依据
- 报告未解决证明缺口
- 重新设计不安全抽象
输入
- 不安全 Rust 源码
- 安全契约
- 安全注释
- 项目配置
- 生成代码
- Rust 文档
- 审计范围
- TCB 假设
输出
- Rust 代码
- 安全文档
- 审计发现
- 证明结论
- 已记录的证明缺口
- 重新设计方案