中山大学郑子彬获国家专利权
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
龙图腾网获悉中山大学申请的专利一种智能合约测试方法、装置、电子设备及存储介质获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN119848851B 。
龙图腾网通过国家知识产权局官网在2025-12-05发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202510010201.8，技术领域涉及：G06F21/56；该发明授权一种智能合约测试方法、装置、电子设备及存储介质是由郑子彬;杨硕;郑沛霖设计研发完成，并于2025-01-03向国家知识产权局提交的专利申请。
本一种智能合约测试方法、装置、电子设备及存储介质在说明书摘要公布了：本发明公开了一种智能合约测试方法、装置、电子设备及存储介质，用于解决现有的安全检测工具严重依赖专家知识来定义检测规则，导致扩展性差，且忽视了对注释掉的代码片段的检测，无法识别由错误注释引发的潜在安全风险的技术问题。方法包括：从智能合约的合约源码中识别被注释掉的注释代码；确定注释代码的注释代码语句，并获取被注释代码语句影响的被影响函数及被影响函数的程序路径；根据被影响函数及程序路径进行控制流分析；当判定注释代码语句改变了代码执行的控制流时，获取改变控制流的路径约束条件；获取路径约束条件所影响的关键操作语句；判断关键操作语句是否受到注释代码语句的影响；若是，生成安全预警。
本发明授权一种智能合约测试方法、装置、电子设备及存储介质在权利要求书中公布了：1.一种智能合约测试方法，其特征在于，包括： 从智能合约的合约源码中识别被注释掉的注释代码； 确定所述注释代码的注释代码语句，并获取被所述注释代码语句影响的被影响函数及所述被影响函数的程序路径； 根据所述被影响函数及所述程序路径进行控制流分析； 当判定所述注释代码语句改变了代码执行的控制流时，获取改变所述控制流的路径约束条件； 获取所述路径约束条件所影响的关键操作语句； 判断所述关键操作语句是否受到所述注释代码语句的影响； 若是，生成安全预警； 其中，所述获取所述路径约束条件所影响的关键操作语句的步骤，包括： 根据调用图和所述路径约束条件，判断注释代码语句后是否存在修改语句； 若是，将所述修改语句确定为所述路径约束条件所影响的关键操作语句。
如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人中山大学，其通讯地址为：510275 广东省广州市海珠区新港西路135号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号
请提出您的宝贵建议，有机会获取IP积分或其他奖励