本申请公开了一种智能合约漏洞的检测方法及相关设备,包括:根据智能合约的状态、智能合约的路径空间以及符号执行中是否触发智能合约漏洞,构建路径选择模型与符号执行平台的交互接口;通过交互接口将训练后的路径选择模型连接到符号执行平台中,由路径选择模型对符号执行过程中的路径选择进行决策;其中,路径选择模型为采用强化学习算法通过无监督学习训练得到;通过符号执行平台对目标智能合约可执行的路径进行遍历,得到符号执行结果;根据符号执行结果确定目标智能合约所存在的漏洞。本申请能够有效选取存在漏洞的概率较大的路径,相对于传统的符号执行中对路径的随机选择,能够有效缩短发现漏洞的时间,提高了漏洞检测的效率。
声明:
“智能合约漏洞的检测方法及相关设备” 该技术专利(论文)所有权利归属于技术(论文)所有人。仅供学习研究,如用于商业用途,请联系该技术所有人。
我是此专利(论文)的发明人(作者)