基于切片合约属性图的智能合约漏洞检测方法

本发明公开了一种基于切片合约属性图的智能合约漏洞检测方法，首先获取漏洞检测样本集，对漏洞检测样本集中每个漏洞检测样本中的智能合约分别构建切片合约属性图，将每个智能合约对应的切片合约属性图作为输入，该智能合约对应的标签作为期望输出，构成训练样本，对漏洞检测模型进行训练，当需要对某个智能合约进行漏洞检测时，构建其切片合约属性图，将该切片合约属性图输入训练好的漏洞检测模型，得到是否存在漏洞的检测结果。本发明采用程序切片技术和双向滑动窗口在控制流图中添加依赖边并删除无关节点生成切片合约属性图，从而提高智能合约漏洞检测的准确性和鲁棒性。