中山大学李安吉获国家专利权
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
龙图腾网获悉中山大学申请的专利融合约束与统计的代码片段类型推断方法及装置获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN117891951B 。
龙图腾网通过国家知识产权局官网在2025-09-23发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202410070463.9，技术领域涉及：G06F16/353；该发明授权融合约束与统计的代码片段类型推断方法及装置是由李安吉;陈智翔;张能;郑子彬设计研发完成，并于2024-01-17向国家知识产权局提交的专利申请。
本融合约束与统计的代码片段类型推断方法及装置在说明书摘要公布了：本申请公开了融合约束与统计的代码片段类型推断方法及装置，方法包括：采用基于约束方法根据预置类型约束和初始API知识库对当前代码片段进行类型分析，得到初始约束推断类型；通过初始约束推断类型对当前代码片段的上下文进行增强处理，得到增强代码序列；采用基于统计方法对增强代码序列进行类型分析，得到元素候选类型列表；将约简API知识库代替初始API知识库，返回约束推断步骤，直至满足迭代终止条件，根据得到的优化约束推断类型和优化统计推断类型确定代码片段的类型，得到目标推断类型。本申请能够解决现有基于约束的方法对代码质量要求较高，适应性存在限制，基于统计的方法缺乏针对性，准确率较低的技术问题。
本发明授权融合约束与统计的代码片段类型推断方法及装置在权利要求书中公布了：1.融合约束与统计的代码片段类型推断方法，其特征在于，包括： 采用基于约束的第一方法根据预置类型约束和初始API知识库对当前代码片段进行类型分析，得到初始约束推断类型； 通过所述初始约束推断类型对所述当前代码片段的上下文进行增强处理，得到增强代码序列； 采用基于统计的第二方法对所述增强代码序列进行类型分析，得到元素候选类型列表，每个API元素对应一个所述元素候选类型列表，所述元素候选类型列表中包括多个元素候选类型； 将约简API知识库代替所述初始API知识库，返回所述采用基于约束的第一方法根据预置类型约束和初始API知识库对当前代码片段进行类型分析的步骤，直至满足迭代终止条件，得到优化约束推断类型和优化统计推断类型，所述约简API知识库是基于所述元素候选类型列表进行API知识库约简操作得到； 根据所述优化约束推断类型和所述优化统计推断类型确定代码片段的类型，得到目标推断类型。
如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人中山大学，其通讯地址为：510275 广东省广州市海珠区新港西路135号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由AI智能生成
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号