Trail of Bits 官方安全研究·· 12 天前精选
Trail of Bits 分享用 AI 智能体审计 Miden VM 的实践
Auditing in the age of (good enough) AI
AI 导读
Trail of Bits 分享其审计 Miden VM 的实践：在代码审查开始前，用六个月让智能体从零构建 LSP 服务器、反编译器、静态分析引擎和 Lean 模型。
推荐理由
原文展示了用智能体先造工具再审计的完整流程及其产出的具体漏洞，可迁移性强。
来源：Trail of Bits 官方安全研究 · blog.trailofbits.com