南京大学张贺获国家专利权
买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!
龙图腾网获悉南京大学申请的专利一种基于GNU Make的构建依赖错误检测方法获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN115185834B 。
龙图腾网通过国家知识产权局官网在2026-05-01发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202210743365.8,技术领域涉及:G06F11/3604;该发明授权一种基于GNU Make的构建依赖错误检测方法是由张贺;吕骏;张洋;陈昊琦;荣国平;周鑫;邵栋设计研发完成,并于2022-06-28向国家知识产权局提交的专利申请。
本一种基于GNU Make的构建依赖错误检测方法在说明书摘要公布了:本发明公开了一种基于GNUMake的构建依赖错误检测方法,包括:静态依赖分析、实际依赖分析和依赖错误检测。所述静态依赖分析部分包括GNUMake内部数据解析和建立静态依赖图;所述实际依赖分析部分包括构建过程跟踪和建立实际依赖图;所述依赖错误检测部分包括构建目标统一化和依赖分析。本发明公开的方法,高效简单地帮助开发人员完成基于GNUMake的构建脚本分析,检测构建脚本中的依赖错误。
本发明授权一种基于GNU Make的构建依赖错误检测方法在权利要求书中公布了:1.一种基于GNUMake的构建依赖错误检测方法,其特征在于,包括:所述方法包括以下步骤: 步骤1:静态依赖分析,对构建目标分析通过GNUMake内部数据库分析其其构建脚本和构建静态依赖图; 步骤2:实际依赖分析,对构建目标的实际构建进行追踪监控,通过输入和输出文件构建实际依赖图; 步骤3:依赖错误检测,对实际依赖图和静态依赖图进行统一化,再进行错误检测; 其中,步骤1:静态依赖分析,具体如下: 1-1启动构建使用调试命令Make-p获取内部数据; 1-2读取数据库中Files部分,此部分列出了与特定文件相关的自定义和后缀规则,中间文件和后缀规则将被标记为“不是目标”,而其余的则被标记为“目标”,每个文件都包含说明Make如何处理此规则的注释; 1-3进行文本分析,解析静态依赖; 步骤1-1静态依赖图来自构建脚本中定义的规则,其中包含不同目标和源代码文件之间的依赖关系,构建动作需要构建系统读取构建脚本,解析构建命令,然后执行构建,当GNUMake执行构建时,构建脚本被解析并存储在内部数据库中,GNUMake提供调试功能,通过命令make-p获取内部数据; 步骤1-2base中的数据可以分为以下部分:Variables、Directories、ImplicitRules、Pattern-specificvariablevalues、textit{Files}和VPATHSearchPath;Variables列出带有描述性注释的每个变量,下一部分是Directories,它列出了Make要检查的目录,对于每个目录,Make显示实现细节,包括设备号、inode和文件名模式匹配的统计信息,ImplicitRules是包含Make数据库中所有内置和用户定义的模式规则的第三部分,此外,对于文件中定义的规则,它们的注释表示文件名和行号,标有Pattern-specificvariablevalues的部分列出了Makefile中定义的特定于模式的变量,所谓模式特定变量,是指变量定义的有效范围受限于相关模式规则的执行,Files部分列出了与特定文件相关的自定义和后缀规则,中间文件和后缀规则将被标记为“不是目标”,而其余的则被标记为“目标”;每个文件都包含说明make如何处理此规则的注释,找到的文件通过标准VPATH搜索显示以查找它们的路径,标记为VPATHSearchPath的最后一部分列出了VPATH的值和所有VPATH模式; 步骤1-3通过解析Files部分的内容来获得静态依赖项,为每个构建目标创建一个节点,其中包含该目标所需的所有依赖项,即使此目标的配方为空,也会使用目标名称创建一个空节点,最后,可以生成以目标为节点、以目标为边的依赖关系的静态依赖图。
如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人南京大学,其通讯地址为:210023 江苏省南京市栖霞区仙林大道163号;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。

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