一种智能合约权限管理漏洞检测方法及装置
实质审查的生效
摘要
本发明公开了一种智能合约权限管理漏洞检测方法及装置，属于区块链安全技术领域。本发明分为两个阶段，第一阶段是将智能合约solidity源码编译成操作码指令序列，在操作码指令序列中找到表示构造函数结束的指令，在构造函数结束指令之前的指令中找到与关键权限变量“owner”初始化相关的指令，并确定“owner”初始化时的存储位置；第二阶段是通过符号执行的方法，遍历构造函数之外所有可能修改“owner”存储位置所存储的值的路径，进行约束求解，得到智能合约权限管理漏洞。本发明可以检测出智能合约中定义的特殊权限变量“owner”的值是否可以被修改，并增加特定约束条件来提高检测准确率。
基本信息
专利标题 ：
一种智能合约权限管理漏洞检测方法及装置
专利标题（英）：
暂无
公开（公告）号 ：
CN114510723A
申请号 ：
CN202210150834.5
公开（公告）日 ：
2022-05-17
申请日 ：
2022-02-18
授权号 ：
暂无
授权日 ：
暂无
发明人 ：
文伟平刘军杰胡叶舟刘宇航肖遥方莹
申请人 ：
北京大学
申请人地址 ：
北京市海淀区颐和园路5号
代理机构 ：
北京万象新悦知识产权代理有限公司
代理人 ：
贾晓玲
优先权 ：
CN202210150834.5
主分类号 ：
G06F21/57
IPC分类号 ：
G06F21/57 G06F11/36
IPC结构图谱
G
G部——物理
G06
计算；推算或计数
G06F
电数字数据处理
G06F21/00
防止未授权行为的保护计算机、其部件、程序或数据的安全装置
G06F21/50
监控用户、程序或设备，以维护平台完整。例如：处理器、固件或操作系统
G06F21/57
确保或维持可信任的计算机平台，例如安全引导或断电、版本控制、系统软件检查、安全更新或评估漏洞
法律状态
2022-06-03 ：
实质审查的生效
IPC(主分类) : G06F 21/57
申请日 : 20220218
申请日 : 20220218
2022-05-17 ：
公开
注：本法律状态信息仅供参考，即时准确的法律状态信息须到国家知识产权局办理专利登记簿副本。
文件下载
暂无PDF文件可下载
