zeroize-audit - 审计原生代码中的敏感数据清零
使用源代码、IR、汇编和控制流证据审计 C、C++ 与 Rust 代码中缺失或被编译器移除的敏感数据清零。
标签
更新于: 2026-10-08能力
典型输入
典型输出
该技能可以做什么
- 检测缺失的安全清零
- 识别被优化移除的清零
- 分析汇编中的数据残留
- 跟踪敏感数据复制
- 分析内存分配器使用
- 分析语义 LLVM IR
- 验证控制流覆盖
- 生成验证测试
- 生成问题概念验证
输入
- 代码仓库根目录
- 编译数据库
- Rust Cargo 清单
- 分析配置
- 优化级别
- 目标语言
- 翻译单元数量限制
- MCP 模式
- 概念验证类别
- 概念验证输出目录
- 汇编分析设置
- 语义 IR 设置
- 控制流图分析设置
- 运行时测试设置
输出
- 结构化 JSON 报告
- 临时分析产物
- 生成的概念验证文件
- 生成的运行时测试框架
要求
- 可编译的 C/C++ 翻译单元
- compile_commands.json 或 Cargo.toml
- Clang 工具链
- 所需分析脚本
- LLVM IR 生成支持
- Rust 分析所需的 nightly 工具链
- Rust crate 构建成功
- Python 或 uv 工具
- 临时工作目录访问权限
- 启用 MCP 分析所需的 MCP 工具