基于混合语义的切片级智能合约重入漏洞检测

江姝晨, 牛保宁, 高彦

Slice Level Smart Contract Reentrancy Vulnerability Detection Based on Hybrid Semantics

JIANG Shuchen, NIU Baoning, GAO Yan

计算机工程与应用 . 2025, (1): 321 -329 . DOI: 10.3778/j.issn.1002-8331.2307-0339