用 LLM 辅助框架 TRUST 评估和改进 Rust 静态应用安全测试工具

研究对主流 Rust SAST 工具做了实证评估，并提出 LLM 辅助的自动化测试框架 TRUST，通过分析官方 Rust 参考文档生成保持语义的变换，用变异程序检测工具缺陷。TRUST 在六款流行 SAST 工具中发现 46 个缺陷，其中 17 个已获确认，研究还给出十项实证发现和四条实践建议。