下载一种基于符号执行的智能合约漏洞检测方法的技术资料

文档序号:38093544

温馨提示:您尚未登录,请点 登陆 后下载,如果您还没有账户请点 注册 ,登陆完成后,请刷新本页查看技术详细信息。

本发明公开了一种基于符号执行的智能合约漏洞检测方法,该方法包含:对原始数据集进行分类,使用编译器编译Solidity源码文件,获取runtime字节码,获得统一的字节码类型的数据集;反编译字节码,获取其对应的EVM指令集;利用后向切片法构建...
该专利属于中国石油大学(华东)所有,仅供学习研究参考,未经过中国石油大学(华东)授权不得商用。

详细技术文档下载地址

温馨提示:您尚未登录,请点 登陆 后下载,如果您还没有账户请点 注册 ,登陆完成后,请刷新本页查看技术详细信息。