智能合约在区块链系统中扮演着重要角色，承载着金融和操作逻辑。然而，它们对微妙安全缺陷的易感性带来了重大财务损失和信任侵蚀的风险。大型语言模型（LLMs）为自动化漏洞检测提供了新的机会，但在实际应用中，不同的提示策略和模型选择的有效性仍然不确定。研究评估了最先进的 LLMs 在 Solidity 智能合约分析中的表现，使用了一个平衡的数据集，包含 400 个合约，涉及两个任务：(i) 错误检测，模型...