LISA 技术报告：用于智能合约审计的智能体框架
密码学与安全
2025-09-30 v1
摘要
我们提出了 LISA，一个智能体智能合约漏洞检测框架，它结合了基于规则和基于逻辑的方法，以解决智能合约中广泛的漏洞问题。LISA 利用历史审计报告的数据来学习检测经验（无需模型微调），使其能够将学到的模式泛化到未见过的项目和不断演变的威胁特征上。在我们的评估中，LISA 显著优于基于 LLM 的方法和传统静态分析工具，实现了更优的漏洞类型覆盖率和更高的检测准确率。我们的结果表明，LISA 为工业界提供了一个引人注目的解决方案：在减少对手动工作依赖的同时，提供更可靠和全面的漏洞检测。
引用
@article{arxiv.2509.24698,
title = {LISA Technical Report: An Agentic Framework for Smart Contract Auditing},
author = {Izaiah Sun and Daniel Tan and Andy Deng},
journal= {arXiv preprint arXiv:2509.24698},
year = {2025}
}
备注
A technical report with 10 pages