南京邮电大学张迎周获国家专利权
买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!
龙图腾网获悉南京邮电大学申请的专利一种基于二进制集合的程序依赖簇检测方法获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN115185818B 。
龙图腾网通过国家知识产权局官网在2026-05-05发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202210697962.1,技术领域涉及:G06F11/3604;该发明授权一种基于二进制集合的程序依赖簇检测方法是由张迎周;杨嘉毅;卢跃;密杰;葛丽丽;帅东昕;许碧欢设计研发完成,并于2022-06-20向国家知识产权局提交的专利申请。
本一种基于二进制集合的程序依赖簇检测方法在说明书摘要公布了:本发明公开了一种基于二进制集合的程序依赖簇检测方法,方法为:以二进制集合形式的数据结构定义依赖集合,并输入基于位运算的通用集合操作接口,得到新的依赖集合数据存储至通用集合操作接口程序的各个指令节点,并遍历程序的每个指令节点;利用通用集合操作接口对指令间的依赖关系进行计算,获得各个指令节点的依赖性分析数据;根据新的集合数据中的集合内容对获得的依赖性分析结果进行重组和归类,获得校正后的依赖性分析结果并实现对程序源代码中的程序依赖簇的进行正确检测。本发明以二进制集合定义集合数据结构,根据数据结构定义操作接口,调用接口计算依赖,对依赖结果进行校正,将校正结果保存从而显著降低分析时空间开销问题。
本发明授权一种基于二进制集合的程序依赖簇检测方法在权利要求书中公布了:1.一种基于二进制集合的程序依赖簇检测方法,其特征在于,包括: 以二进制集合形式的数据结构定义依赖集合,并将二进制集合形式的依赖集合数据输入基于位运算的通用集合操作接口,得到新的依赖集合数据; 新的依赖集合数据存储至通用集合操作接口程序的各个指令节点,并遍历程序的每个指令节点;其中在遍历时,利用通用集合操作接口对指令间的依赖关系进行计算,获得各个指令节点的依赖性分析数据; 待各个指令节点遍历完毕后,根据新的集合数据中的集合内容对获得的依赖性分析结果进行重组和归类,获得校正后的依赖性分析结果; 根据校正后的依赖性分析结果,实现对程序源代码中的程序依赖簇的进行正确检测; 遍历程序的每个指令节点;其中在遍历时,利用通用集合操作接口对指令间的依赖关系进行计算,获得各个指令节点的依赖性分析数据的方法为: 依赖集合数据利用通用集合操作接口,在各个指令节点下计算相关依赖集合数据的程序依赖数据,获得各个指令节点的依赖性分析数据;其中,依赖性包含指令间因为变量的定义使用关系存在的数据依赖,以及指令间因为跳转关系存在的控制依赖; 各个指令节点的依赖性分析数据以键值对类型的数据进行保存,其中,在保存的依赖性分析数据中取每个指令的唯一标号为索引键,二进制存储的依赖集合数据为索引值; 对存储后的依赖性分析结果进行重组和归类,获得校正后的依赖性分析结果的方法为: 提取各个指令节点的数据流值,进行依赖性分析结果提取时,以键值对进行索引,从而查询每个指令节点所对应的依赖集合; 将查询依赖集合所关联的键值对关系进行重新映射,获得重新映射的键值对关系; 根据重新映射的键值对关系重新进行索引,提取相同索引键的键值对并合并相同索引键的键值对,获得重组合并后的键值对关系,完成对依赖性分析结果的校正; 其中校正后的依赖性分析结果为检测分析程序源代码中程序依赖簇是否正确的标准。
如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人南京邮电大学,其通讯地址为:210003 江苏省南京市鼓楼区新模范马路66号;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。

皖公网安备 34010402703815号
请提出您的宝贵建议,有机会获取IP积分或其他奖励