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