申请/专利权人：中山大学

申请日：2024-01-17

公开（公告）日：2024-04-16

公开（公告）号：CN117891951A

主分类号：G06F16/35

分类号：G06F16/35;G06F18/22;G06F18/241;G06F18/10

优先权：

专利状态码：在审-公开

法律状态：2024.04.16#公开

摘要：本申请公开了融合约束与统计的代码片段类型推断方法及装置，方法包括：采用基于约束方法根据预置类型约束和初始API知识库对当前代码片段进行类型分析，得到初始约束推断类型；通过初始约束推断类型对当前代码片段的上下文进行增强处理，得到增强代码序列；采用基于统计方法对增强代码序列进行类型分析，得到元素候选类型列表；将约简API知识库代替初始API知识库，返回约束推断步骤，直至满足迭代终止条件，根据得到的优化约束推断类型和优化统计推断类型确定代码片段的类型，得到目标推断类型。本申请能够解决现有基于约束的方法对代码质量要求较高，适应性存在限制，基于统计的方法缺乏针对性，准确率较低的技术问题。

主权项：1.融合约束与统计的代码片段类型推断方法，其特征在于，包括：采用基于约束的第一方法根据预置类型约束和初始API知识库对当前代码片段进行类型分析，得到初始约束推断类型；通过所述初始约束推断类型对所述当前代码片段的上下文进行增强处理，得到增强代码序列；采用基于统计的第二方法对所述增强代码序列进行类型分析，得到元素候选类型列表，每个API元素对应一个所述元素候选类型列表，所述元素候选类型列表中包括多个元素候选类型；将约简API知识库代替所述初始API知识库，返回所述采用基于约束的第一方法根据预置类型约束和初始API知识库对当前代码片段进行类型分析的步骤，直至满足迭代终止条件，得到优化约束推断类型和优化统计推断类型，所述约简API知识库是基于所述元素候选类型列表进行API知识库约简操作得到；根据所述优化约束推断类型和所述优化统计推断类型确定代码片段的类型，得到目标推断类型。

全文数据：

权利要求：

百度查询： 中山大学 融合约束与统计的代码片段类型推断方法及装置

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。

阅读全文 双屏查看 官方信息 专利公告 收藏专利 下载PDF 下载WORD