审计 C/C++/Rust…

适用场景：审计处理 secrets、keys、passwords、tokens 等敏感数据的 C/C++/Rust 代码，检测缺失或失效的 zeroization，并强制要求编译器/汇编/控制流证据与 PoC 验证。

适用场景

解决思路

1. 将请求映射到 Inputs table（完整 schema：`{baseDir}/schemas/input.json`）；`path` 必填，并且至少提供 `compile_db`（C/C++）或 `cargo_manifest`（Rust）之一；若两者都未给出且无法从 repo 推导，询问用户，因为 preflight 没有它们会停止运行。
2. 其他输入字段保持默认，除非用户另行说明：`config` 是 YAML，定义 heuristics 和 approved wipes；`opt_levels` 默认 `["O0","O1","O2"]`，O1 是诊断级别：如果 wipe 在 O1 消失就是简单 DSE，O2 捕获更激进的消除；`languages` 默认 `["c","cpp","rust"]`；`max_tus` 默认 `50`；`mcp_mode` 默认 `prefer`；`mcp_required_for_advanced` 默认 `true`；`mcp_timeout_ms` 默认 `10000`；`poc_categories` 默认 all 11 exploitable；C/C++ findings 支持全部 11 类，Rust findings 仅支持 `MISSING_SOURCE_ZEROIZE`、`SECRET_COPY`、`PARTIAL_WIPE`，其他 Rust 类别标记 `poc_supported=false`；`poc_output_dir` 默认 `generated_pocs/`；`enable_asm` 默认 `true`；`enable_semantic_ir` 默认 `false`；`enable_cfg` 默认 `false`；`enable_runtime_tests` 默认 `false`。
3. 读取 orchestrator prompt `{baseDir}/prompts/task.md`，用收集到的输入替换其中的 `{{placeholder}}` 值；你作为它描述的 orchestrator 行事，它定义 state recovery、phase loop、early termination 和 error handling。

适用边界 · 注意事项

• 一般代码审查且无安全焦点。
• 性能优化，除非与 secure wiping 相关。
• 与敏感数据无关的重构，或代码中没有可识别的 secrets / sensitive values。

经验正文