中科天齐(山西)软件安全技术研究院有限公司;北京中科天齐信息技术有限公司李昊峰获国家专利权
买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!
龙图腾网获悉中科天齐(山西)软件安全技术研究院有限公司;北京中科天齐信息技术有限公司申请的专利一种针对泛型编程的对象敏感指针分析方法及装置获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN115658457B 。
龙图腾网通过国家知识产权局官网在2025-07-11发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202210893348.2,技术领域涉及:G06F11/362;该发明授权一种针对泛型编程的对象敏感指针分析方法及装置是由李昊峰;高琳;李炼设计研发完成,并于2022-07-27向国家知识产权局提交的专利申请。
本一种针对泛型编程的对象敏感指针分析方法及装置在说明书摘要公布了:本申请是关于一种针对泛型编程的对象敏感指针分析方法及装置,具体涉及计算机视觉技术领域。所述方法包括:获取待分析的目标程序代码;在所述目标程序代码中的泛型编程语句中,将类型变量映射至实例化位置,并将所述类型变量与所述实例化位置的映射放入所述泛型编程语句的上下文;基于所述泛型编程语句的上下文,对所述目标程序代码进行上下文敏感指针分析,以获得所述目标程序代码中各个指针之间的指向关系。上述方案将泛型实例化位置与类型变量之间的映射关系放入上下文中进行上下文敏感指针分析从而得到各个指针之间的指向关系,提高了针对泛型编程的上下文敏感指针分析的准确性。
本发明授权一种针对泛型编程的对象敏感指针分析方法及装置在权利要求书中公布了:1.一种针对泛型编程的对象敏感指针分析方法,其特征在于,所述方法包括: 获取待分析的目标程序代码; 在所述目标程序代码中的泛型编程语句中,根据所述泛型编程语句的类型,将类型变量映射至实例化位置,并将所述类型变量与所述实例化位置的映射放入所述泛型编程语句的上下文; 基于所述泛型编程语句的上下文,对所述目标程序代码进行上下文敏感指针分析,以获得所述目标程序代码中各个指针之间的指向关系; 所述根据所述泛型编程语句的类型,将类型变量映射至实例化位置,包括: 当所述泛型编程语句类型为NEW语句时,根据对象更新函数,对所述目标程序代码中的泛型编程语句中的类型变量进行处理,以将所述类型变量映射至所述实例化位置;所述对象更新函数用于根据所述NEW语句中的实例化类型,对所述类型变量进行映射,以确定所述类型变量的实例化位置; 当所述泛型编程语句类型为CALL语句时,根据对象追加函数,对所述目标程序代码中的泛型编程语句中的类型变量进行处理,以将所述类型变量映射至实例化位置;所述对象追加函数用于根据所述CALL语句中的调用类型,对所述类型变量进行映射,以确定所述类型变量的实例化位置。
如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人中科天齐(山西)软件安全技术研究院有限公司;北京中科天齐信息技术有限公司,其通讯地址为:030032 山西省太原市转型综合改革示范区唐槐产业园汾东大街8号综合楼601室;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。