标签
Trail of Bits使用AI代理为Miden零知识虚拟机开发定制的安全审计工具和形式化模型，揭示了关键漏洞并生成机器验证的正确性证明。
Cloudflare 的 security-audit-skill 是一款编码代理工具，通过六阶段管道协调并行代理审计代码库以检测漏洞，并生成结构化报告。
本文提出了 Agent-BOM，一种用于基于大语言模型（LLM）的智能体系统进行安全审计的统一图表示方法。它通过建模静态能力和动态运行时状态，解决了事后审计中的语义鸿沟问题，能够检测记忆投毒和工具误用等复杂的攻击链。
这是来自Cloudflare的coding-agent技能，通过协调隔离代理，执行从侦察到报告的结构化六阶段流程，自动化安全审计，旨在增强软件中的漏洞发现。