支付宝(杭州)信息技术有限公司王明华获国家专利权
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
龙图腾网获悉支付宝(杭州)信息技术有限公司申请的专利有界模型检测的方法及装置获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN119576664B 。
龙图腾网通过国家知识产权局官网在2025-10-31发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202411224327.7，技术领域涉及：G06F11/22；该发明授权有界模型检测的方法及装置是由王明华设计研发完成，并于2024-09-02向国家知识产权局提交的专利申请。
本有界模型检测的方法及装置在说明书摘要公布了：本说明书实施例提供一种有界模型检测的技术方案，通过本说明书实施例提供的方法和装置，将需要验证的应用或模块统一记为待测模块，先获取待测模块对应的各个验证单元构建的调用树，检测各个节点分别对应的各个第一验证指标，根据第一验证指标确定需要独立验证的第一类节点，然后调用树中的调用关系验证第一类节点，并将其他节点内联到相应调用场景进行验证。如此，可以有效减少复杂函数的重复验证，提高验证效率。
本发明授权有界模型检测的方法及装置在权利要求书中公布了：1.一种有界模型检测的方法，用于针对待测模块进行内存安全性验证；所述方法包括： 获取待测模块对应的调用树，其中，调用树上的单个节点对应单个验证单元，单个验证单元用于对待测模块中的单个任务单元进行验证，单个节点的单条入边表示相应任务单元被调用一次； 检测各个节点分别对应的各个第一验证指标，其中，单个第一验证指标经由相应节点的入边条数和验证复杂度融合得到； 根据各个第一验证指标确定需要独立验证的第一类节点； 按照调用树中的调用关系验证所述第一类节点，并将其他节点内联到相应调用场景进行验证，从而完成所述待测模块的检测。
如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人支付宝(杭州)信息技术有限公司，其通讯地址为：310000 浙江省杭州市西湖区西溪路556号8层B段801-11；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号
请提出您的宝贵建议，有机会获取IP积分或其他奖励