龙图腾网&IPTOP
- 微信扫码登录
- 账号密码登录
- 短信登录/注册
申请/专利权人：烟台大学
申请日：2024-05-14
公开（公告）日：2024-06-11
公开（公告）号：CN118171290A
主分类号：G06F21/57
分类号：G06F21/57;G06F40/30
优先权：
专利状态码：在审-实质审查的生效
法律状态：2024.06.28#实质审查的生效;2024.06.11#公开
摘要：本申请涉及电数字数据处理技术领域，具体为基于源代码和字节码的智能合约漏洞检测方法和系统；为解决现有技术中智能合约误报率高，检测准确率低的技术问题，本申请首先基于待检智能合约的字节码，获取语义事实，并基于语义事实进行字节码层面的漏洞检测，得到准确的潜在漏洞函数；然后基于语义事实和源代码的映射关系，获取潜在漏洞函数在源代码中的具体行数，得到潜在漏洞代码行；最后，通过分析控制流图中潜在漏洞代码行中函数调用关系，执行源代码层面的漏洞检测，分析是否存在漏洞，从而降低误报率，得到更准确的漏洞检测结果，该检测方法运用在智能合约漏洞检测领域，能够大大提高智能合约漏洞检测准确率，有利于维护网络安全。
主权项：1.一种基于源代码和字节码的智能合约漏洞检测方法，其特征在于，包括如下操作：S1、将待检智能合约的字节码转化为汇编指令，基于所述汇编指令中的变量和赋值操作，得到中间表示；基于所述中间表示，构建关系依赖图，提取关系依赖图中的函数信息，得到包含有函数名、函数修饰性和函数可见性的基本事实；将所述基本事实转化为含有函数调用关系的语义事实，基于所述语义事实，执行字节码层面的漏洞检测，得到与漏洞有关的函数，作为潜在漏洞函数；基于所述语义事实，执行字节码层面的漏洞检测的操作具体为：基于Datalog规则，将所述语义事实转化为对应的Datalog事实；所述Datalog事实与预设漏洞检测规则进行匹配，得到所述潜在漏洞函数；S2、将待检智能合约的源代码转为抽象语法树，基于所述抽象语法树，得到控制流图；基于语义事实和源代码的映射关系，获取所述潜在漏洞函数在源代码中所处的代码行，得到潜在漏洞代码行；基于抽象语法树和控制流图的映射关系，获取潜在漏洞代码行中函数在控制流图中的调用关系，执行源代码层面的漏洞检测，得到漏洞检测结果。
全文数据：
权利要求：
百度查询： 烟台大学 基于源代码和字节码的智能合约漏洞检测方法和系统
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
主营中国专利交易买卖与专利转让许可,高校科技成果推广与科技成果转化,知识产权运营管理与平台开发,科技人才专家库与科技猎头等科技服务
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号