用途：审查密钥、种子、nonce、密码、令牌、会话数据等敏感信息的清除逻辑，验证安全关键代码是否真正完成清零，并排查编译器优化（如死存储消除）导致清零被移除的问题。
主要能力：源码级检测缺失清零、部分擦除、非全路径清零、敏感数据拷贝、不安全堆分配；编译层检测被优化掉的清零、栈帧残留、寄存器溢出、循环展开导致的擦除不完整、错误路径缺少清理、清零未支配所有出口。支持 C/C++ 与 Rust，具备汇编分析、数据流跟踪、语义 IR 分析、控制流图分析与运行时验证测试生成。
使用方式：要求提供 path，C/C++ 需 compile_commands.json，Rust 需 Cargo.toml。可通过 opt_levels、languages、enable_asm、enable_semantic_ir、enable_cfg、enable_runtime_tests 等参数控制分析；由 11 个智能体分 8 个阶段执行，输出 final-report.md 与 findings.json。仅只读，不修改被审代码，依赖 clang、cargo + nightly、uv、uvx 及若干外部脚本路径。
限制：必须获得系统所有者明确书面授权，仅限教育或授权安全评估；无授权时保持只读。缺少 compile_commands.json、clang、Cargo.toml、cargo check、nightly、必要工具脚本或 generate_poc.py 时会失败或跳过对应分析。被优化掉的清零结论必须有编译器 IR/asm 证据，禁止仅凭源码判断。Rust 的 PoC 仅支持 MISSING_SOURCE_ZEROIZE、SECRET_COPY、PARTIAL_WIPE；AArch64 汇编分析为实验性，需人工复核。部分配套路径未随目录提供，需自行准备并核验许可与执行前提，暂未提供验证下载来源。