本发明涉及电数字处理中智能合约漏洞检测技术领域,具体为基于时序场景的智能合约漏洞检测方法、系统和设备;为解决现有技术中智能合约漏洞检测准确度低的问题,本发明首先在操作码层面构建了控制流图,并通过遍历控制流图的路径提取含有时序信息的执行场景,进一步聚合存在公共部分片段的节点,得到时序场景图;然后,设计了创新的操作码更新方法和特征降维方法,得到降维时序场景图;最后,将节点特征向量与对应路径的邻接矩阵结合,经图卷积处理,整合路径漏洞检测结果,得到智能合约漏洞检测结果;该方法运用到智能合约中整数溢出漏洞、重入漏洞以及区块依赖漏洞的检测中,能够显著提高准确率、精确度、召回率以及F1得分。 |