一种基于符号执行验证的智能合约漏洞检测方法及装置

摘要

本申请公开了一种基于符号执行验证的智能合约漏洞检测方法及装置，包括获取输入初始值，所述输入初始值包括符号值以及与所述符号值对应的、用于简化约束条件的实际值；根据所述初始值或者经过路径反求后的结果选择将要执行的路径并执行；当当前路径执行到叶子节点时停止，根据执行结果生成所述当前路径的约束条件；将约束条件反求得到路径反求后的结果，所述结果对应下一个要执行的新路径；当满足第一预设规则后，停止路径执行并生成包括所有执行路径的执行树；基于所述执行树完成智能合约属性验证，得到验证结果。本申请通过符号执行的方法对待检测程序完成程序属性验证的工作，从而实现对代码漏洞的精确检测。