买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网获悉南京大学申请的专利基于高精度静态程序分析的循环上界计算方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN115098162B 。

龙图腾网通过国家知识产权局官网在2025-07-22发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202210655377.5，技术领域涉及：G06F8/75；该发明授权基于高精度静态程序分析的循环上界计算方法是由王豫;徐雯楚;张弛;徐安孜;王林章设计研发完成，并于2022-06-10向国家知识产权局提交的专利申请。

本基于高精度静态程序分析的循环上界计算方法在说明书摘要公布了：本发明公开了一种基于高精度静态程序分析的循环上界计算方法，步骤1：定位程序中的循环语句并识别循环控制变量；步骤2：分析循环变量的数据依赖关系；步骤3：对循环上界依赖表达式中变量的可能值进行分析；步骤4：递归计算循环依赖表达式的可能值，其中对于表达式中的普通变量则调用步骤3的方法分析出具体值；步骤5：依据循环结构归纳循环上界的公式计算最终结果。本方法对于循环相关变量来自于形参的情况可分析到调用点的实参；本方法可计算由一些使用频率较高的基本表达式排列组合形成的复杂表达式的结果；本方法可计算内层循环的循环相关变量是外层循环控制变量的情况，针对一些使用频率较高模式的嵌套循环能给出较精确的结果。

本发明授权基于高精度静态程序分析的循环上界计算方法在权利要求书中公布了：1.一种基于高精度静态程序分析的循环上界计算方法，其特征在于，包括以下步骤： 步骤1）：定位程序中的循环语句并识别循环控制变量；通过静态程序分析定位程序中的循环语句，识别循环语句的模式，根据for语句、while语句、do-while语句的语法模式，提取不同模式循环语句中的循环控制变量； 步骤2）：分析循环变量的数据依赖关系；根据for语句、while语句、do-while语句的语法模式，分析循环变量的数据依赖关系，找出所有循环上界计算所依赖的表达式，包括分析循环初始表达式、循环终止表达式以及循环增量表达式； 步骤3）：对循环上界依赖表达式中变量的可能值进行分析；分别定义初始化语句、赋值语句、复合赋值语句、自增自减语句、循环语句的数据流转换函数；其参数为待分析语句、变量在执行语句前的值，函数返回值为变量在执行语句后的值；对上述5种数据流转换函数进行过程内和过程间的数据流分析，对基本类型变量的可能值进行分析，在数据流分析过程中需要计算表达式的值则调用下一步骤即步骤4）的方法进行计算； 步骤4）：递归计算循环依赖表达式的可能值；其中对于表达式中的普通变量则调用步骤3）的方法分析出具体值； 步骤5）：依据循环结构归纳循环上界的公式计算最终结果；根据for语句、while语句、do-while语句的语法模式，使用所述步骤4）的方法分析计算循环上界依赖表达式的可能值，分别针对简单循环、嵌套循环、连锁循环归纳计算循环上界的公式并计算最终结果。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人南京大学，其通讯地址为：210093 江苏省南京市鼓楼区汉口路22号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。