paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Soleker: Uncovering Vulnerabilities in Solana Smart Contracts

Soleker:揭示 Solana 智能合约中的漏洞
ASE 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE)2025匹配度 3/10 · 该论文属于“用机器学习(图神经网络)做程序分析”的范畴,与“AI→PL”方向有形式上的邻近性,但其学习模型并非 LLM/Agent,且研究对象是 Solana 智能合约字节码漏洞检测,与用户关注的 Agentic/LLM 程序静态分析、浮点程序分析、贝叶斯程序分析等核心议题无直接交叉,也不涉及理论形式化或工业落地方法论的讨论。引用 0 inbox
Kunsong Zhao, Yunpeng Tian, Zuchao Ma, Xiapu Luo
crossref: 2026-09-12

AI 速览

一句话:提出基于学习的方法 Soleker,从 Solana 智能合约字节码中自动检测潜在漏洞。

Solana 凭借高性能和低交易成本成为支持去中心化应用的重要平台。其将代码逻辑与状态解耦的新型合约执行模型带来了新的漏洞威胁,可能给生态用户造成重大经济损失。然而,现有漏洞检测研究主要面向以太坊智能合约,由于实现语言和运行时语义差异,不适用于 Solana。本文提出 Soleker,一种利用学习技术自动识别 Solana 智能合约字节码潜在漏洞的新方法。Soleker 从与区块链交互相关的指令中捕获运行时语义信息,并提取漏洞特定的局部特征;随后引入前缀引导图学习模型来学习和整合这些特征,从而实现有效漏洞检测。作者在新构建的合约数据集上进行实验,结果表明 Soleker 显著优于基线方法,平均效果提升 126.4%,效率提升 335 倍。

问题
现有智能合约漏洞检测方法主要针对以太坊,因实现语言和运行时语义不同而难以适用于 Solana;同时 Solana 将代码逻辑与状态解耦的新执行模型引入了新的漏洞威胁。
方法
Soleker 从 Solana 智能合约字节码中与区块链交互相关的指令捕获运行时语义信息,提取漏洞特定的局部特征,并使用前缀引导图学习模型学习和整合特征以检测漏洞。
评估
作者构建了新的 Solana 智能合约数据集,并与基线方法进行对比实验;结果显示 Soleker 在平均效果上提升 126.4%,效率提升 335 倍。
原文摘要(Abstract)

Solana has rapidly evolved into a leading next generation platform for supporting decentralized applications due to its high performance and low transaction costs. Its new contract execution model, which decouples code logic from states, gives rise to new vulnerability threats that can result in significant financial losses for users within the ecosystem. However, existing studies towards detecting vulnerabilities are predominantly tailored for Ethereum smart contracts, which are unsuitable for Solana platform because of the variations in implementation languages and runtime semantics. In this paper, we propose Soleker, a novel approach that leverages learning-based techniques to automatically identifying potential vulnerabilities in Solana smart contract bytecode. More specifically, Soleker captures runtime semantic information from instructions that are associated with blockchain interactions and extracts vulnerability-specific localized features. Then, a prefix-guided graph learning model is introduced to learn and integrate extracted features, enabling effective vulnerability detection. We conduct experiments on a newly constructed contract dataset and the results demonstrate that Soleker significantly outperforms the baseline methods, achieving an average effectiveness improvement of 126.4% and a 335× boost in efficiency.

链接与引用

DOI 原文 ·

BibTeX
@inproceedings{paperbot9303,
  title = {Soleker: Uncovering Vulnerabilities in Solana Smart Contracts},
  author = {Kunsong Zhao and Yunpeng Tian and Zuchao Ma and Xiapu Luo},
  booktitle = {ASE},
  year = {2025},
  doi = {10.1109/ase63991.2025.00209}
}