Detects missing zeroization of sensitive data in source code and identifies zeroization removed by compiler optimizations, with assembly-level analysis, and control-flow verification. Use for auditing C/C++/Rust code handling secrets, keys, passwords, or other sensitive data.

检测源代码中敏感数据未清零的问题，并通过汇编级分析和控制流验证识别被编译器优化删除的清零操作，适用于审计处理密钥、密码或其他敏感数据的C/C++/Rust代码