浙江大学杨义征获国家专利权
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
龙图腾网获悉浙江大学申请的专利一种基于静态获利分析的智能合约漏洞检测方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN118862087B 。
龙图腾网通过国家知识产权局官网在2025-09-23发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202410914117.4，技术领域涉及：G06F21/57；该发明授权一种基于静态获利分析的智能合约漏洞检测方法是由杨义征;周亚金;吴磊;常瑞设计研发完成，并于2024-07-09向国家知识产权局提交的专利申请。
本一种基于静态获利分析的智能合约漏洞检测方法在说明书摘要公布了：本发明公开了一种基于静态获利分析的智能合约漏洞检测方法，该方法将智能合约逻辑行为分为获利与支出两部分，通过对待测合约进行路径敏感的符号执行分析的方式，试图找到对没有对调用者进行权限检查，存在获利行为，获利者不被检查且调用者不需要支出成本的路径，判定该路径涉及代码为漏洞代码。该方法关注合约代码逻辑的整体语义信息，其检测范围广，检测效果精确，识别覆盖率高。
本发明授权一种基于静态获利分析的智能合约漏洞检测方法在权利要求书中公布了：1.一种基于静态获利分析的智能合约漏洞检测方法，其特征在于，包括以下步骤： 步骤一：将Solidity编写的待测智能合约用solc编译器编译为Yul中间语言，并转化成为控制流程图； 步骤二：在控制流程图上进行路径敏感的符号执行分析，并在符号执行分析过程中，收集路径信息，识别如下四大类行为：调用者可能存在的获利行为及对应的获利者、调用者可能存在的支出行为、调用者权限检查行为和获利者检查行为； 步骤三：在符号执行分析遇到每条路径结尾时，综合收集的所有信息，判断该路径是否可能存在漏洞； 步骤四：分析完所有可能路径或达到预设程序运行时间之后，整理并输出漏洞检测结果。
如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人浙江大学，其通讯地址为：310058 浙江省杭州市西湖区余杭塘路866号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号
请提出您的宝贵建议，有机会获取IP积分或其他奖励