#exploit-synthesis

共收录 1 条相关安全情报。

← 返回所有主题
👥 作者: Ruichao Liang, Jing Chen, Xianglong Li, Huangpeng Gu, Yebo Feng, Yue Xue, Cong Wu, Yang Liu

本文提出了一个名为EvoPoC的知识驱动智能体系统,用于端到端的DeFi智能合约漏洞检测与利用合成。核心思路是将利用合成视为结构化推理问题,而非代码生成任务,因此需要协议语义、失败根因和利用原语的知识。EvoPoC将知识组织为层次知识图谱(HKG),作为LLM引导的多跳推理的结构化记忆。为验证利用可行性,系统采用两阶段验证框架:通过SMT求解检查利用路径可达性,通过资产级状态模拟检查利润可实现性,确保生成的PoC满足逻辑和经济可行性约束。在88个真实DeFi攻击和72个审计项目(2573个合约)上评估,检测召回率达98%,F1分数0.9,利用成功率(ESR)96.6%,复现了85个历史漏洞,恢复超过1.162亿美元。EvoPoC在ESR上超越最先进的模糊测试工具Verite和ItyFuzz达5倍,在可恢复价值上超越300倍;相比基于LLM的利用生成器A1,分别超越2倍和8.5倍。在漏洞赏金评估中,EvoPoC发现了16个确认的0-day漏洞,帮助保护超过7060万美元,并获得2900美元赏金。

💡 推荐理由: 该研究首次将层次知识图谱与LLM结合,实现了高成功率的自动化利用合成,从根本上解决了漏洞可利用性验证的瓶颈,对DeFi安全审计和漏洞响应有重大意义。

🎯 建议动作: 研究跟进

排序因子: 影响边界/网络设备 (+5) | 来自 arXiv 其他板块 (+2) | 命中热门研究主题 (+2) | Community 数据源 (+1) | LLM 评分加成 (+0.5)