本文推荐SmartScope，一种创新性智能合约漏洞检测技术。该方法通过构建语义丰富合约图（SRCG），整合控制流、数据流及回调关系，并采用先验引导的异质图变换器（HGT）增强局部语义表征，最终通过多层感知机（MLP）实现高精度分类。实验表明，其在重入 ...