zeroize-audit - 审计敏感数据的清零处理
使用源码、IR、汇编和控制流分析，审计 C、C++ 和 Rust 代码中缺失或被编译器移除的敏感数据清零。
标签
更新于: 2026-10-08能力
典型输入
典型输出
该技能可以做什么
- 检测缺失的清零处理
- 跟踪敏感数据复制
- 比较优化后的 IR
- 分析汇编中的数据残留
- 验证清理控制流
- 生成运行时验证测试
- 生成发现项概念验证
输入
- 代码仓库根目录
- 编译数据库
- Rust Cargo 清单
- 分析配置
- 优化级别
- 目标语言
- 翻译单元限制
- MCP 使用模式
- 发现项类别
- PoC 输出目录
- 汇编分析选项
- 语义 IR 分析选项
- 控制流分析选项
- 运行时测试选项
输出
- 结构化 JSON 报告
- 发现项文件
- 分析产物
- 生成的概念验证
- 生成的运行时测试框架
要求
- 可编译的 C/C++ 翻译单元
- compile_commands.json 或 Cargo.toml
- 用于 C/C++ 分析的 clang
- 必需的分析脚本
- LLVM IR 生成工具
- Rust nightly 工具链
- Rust 项目通过 cargo check
- PoC 生成工具
- 临时工作目录访问权限