公开(公告)号：CN118519997A

公开(公告)日：2024-08-20

申请号：CN202410668279.4

申请日：2024-05-28

Applicant: 南京邮电大学

Inventor： 张迎周 ,  李俊锋 ,  马锐 ,  汪全盛 ,  嵇友晴 ,  吕青

IPC: G06F16/22 ,  G06F16/23 ,  G06F16/242

Abstract: 本发明公开了基于高阶函数摘要的异常敏感高效程序切片方法及系统，涉及程序分析技术领域。本发明包括：接收程序代码并进行预处理，生成程序调用图CG以及每个过程的控制流图CFG，然后对程序调用图CG中的节点进行逆拓扑排序；按照对过程调用的逆拓扑排序对上述程序进行分析，初始化正在分析过程P中的所有全局变量、该过程的形式参数的静态切片表S，将这些变量的临时符号变量放入S以及初始化正在分析过程P的异常信息表TC。本发明能够显著降低切片所需的时间以及空间消耗，适用于对大型程序或是函数调用情况较为复杂的程序进行分析，同时该方法针对程序中的异常进行了进一步地分析，对于存在异常的程序的切片精度高于传统切片算法。

公开(公告)号：CN118796712B

公开(公告)日：2024-12-03

申请号：CN202411273560.4

申请日：2024-09-12

Applicant: 南京邮电大学

Inventor： 张迎周 ,  马锐 ,  李俊锋 ,  汪全盛 ,  嵇友晴 ,  吕青

IPC: G06F11/36

Abstract: 本发明提出了基于高阶化访问路径的域敏感程序切片方法，涉及函数式编程和程序分析领域。首先将C语言代码源程序转化为LLVM IR格式，并建立源程序变量与LLVM IR变量之间的映射关系；然后对LLVM IR中的每个变量进行访问路径的初始化。随后，对控制依赖集和数据依赖集进行初始化和更新，同时动态地计算和更新变量的访问路径，过程内的分析结果将以高阶化的函数摘要形式返回。本发明不仅显著提升了程序切片的精度，粒度从行级提升到了变量级，同时处理速度也有显著提升，为软件开发、测试和维护提供支持。

公开(公告)号：CN118796712A

公开(公告)日：2024-10-18

申请号：CN202411273560.4

申请日：2024-09-12

Applicant: 南京邮电大学

Inventor： 张迎周 ,  马锐 ,  李俊锋 ,  汪全盛 ,  嵇友晴 ,  吕青

IPC: G06F11/36

Abstract: 本发明提出了基于高阶化访问路径的域敏感程序切片方法，涉及函数式编程和程序分析领域。首先将C语言代码源程序转化为LLVM IR格式，并建立源程序变量与LLVM IR变量之间的映射关系；然后对LLVM IR中的每个变量进行访问路径的初始化。随后，对控制依赖集和数据依赖集进行初始化和更新，同时动态地计算和更新变量的访问路径，过程内的分析结果将以高阶化的函数摘要形式返回。本发明不仅显著提升了程序切片的精度，粒度从行级提升到了变量级，同时处理速度也有显著提升，为软件开发、测试和维护提供支持。

公开(公告)号：CN118536155A

公开(公告)日：2024-08-23

申请号：CN202410595647.7

申请日：2024-05-14

Applicant: 南京邮电大学

Inventor： 张迎周 ,  汪全盛 ,  李俊锋 ,  马锐 ,  嵇友晴 ,  吕青

IPC: G06F21/62

Abstract: 本发明公开了基于高阶函数的安卓组件间隐私泄露检测方法及系统，涉及移动应用安全技术领域。本发明包括：接收安卓应用程序文件，对应用程序进行预处理，以获取控制流图和调用图；构建组件间通信链接；构建组件内的每个方法、路径和对象实例的摘要来描述组件行为，利用高阶函数中函数作为返回值的特性，收集Intent源和目标组件相关信息，生成高阶函数式组件摘要。本发明利用函数可作为返回值的高阶函数特性将组件内部分析过程以摘要的形式保存，在组件调用点处利用函数可作为参数传递的高阶函数特性将组件内分析结果传递至调用点处以获取隐私数据泄露流，避免了构建额外的活动转移图、组件调用图来进行隐私泄露检测，提高了隐私泄露检测效率。

公开(公告)号：CN118502816A

公开(公告)日：2024-08-16

申请号：CN202410613790.4

申请日：2024-05-17

Applicant: 南京邮电大学

Inventor： 张迎周 ,  嵇友晴 ,  吕青 ,  汪全盛 ,  马锐 ,  李俊锋

IPC: G06F8/75

Abstract: 本发明公开了融合快速覆盖树和符号化切片的代码克隆检测方法及系统，涉及程序分析技术领域，包括：获取待分析项目的源代码，对待分析项目的源代码进行预处理，得到中间代码，对中间代码进行静态分析得到函数调用图，根据函数调用图确定函数的分析顺序；依据函数的分析顺序，识别函数内的OutPut变量，获取得到函数内的OutPut变量的符号化切片结果；获取待比较片段，根据符号化切片结果，基于软件度量，提取待比较代码片段LCS的特征；计算待比较片段LCS的特征间的欧式距离，根据待比较代码片段LCS特征的欧式距离构建快速覆盖树并进行克隆代码查询，以获取相似代码片段集合。

公开(公告)号：CN117290020A

公开(公告)日：2023-12-26

申请号：CN202311204416.0

申请日：2023-09-19

Applicant: 南京邮电大学

Inventor： 张迎周 ,  吕青 ,  谢金言 ,  嵇友晴 ,  李俊锋 ,  马锐 ,  汪全盛

IPC: G06F9/448

Abstract: 本发明公开了一种基于延续传递的函数指针指向分析方法、装置及系统，包括选取兴趣点函数指针，并进行相关续传递列表和指向集的初始化；从兴趣点函数指针所在语句出发，逆着控制流的方向对程序进行过程内分析，使用函数摘要保存过程内分析结果，并根据函数摘要更新延续传递列表和指向集；若遇到过程间作用信息，则基于过程间作用信息产生的影响，对所影响的函数进行过程内分析，分析结束后返回至出现过程间作用信息语句的直接前驱，继续进行过程内分析；当基于延续传递列表判断出延续传递为终止状态，则输出对应的指向集。本发明利用延续传递的特性，保存程序过程间作用信息，在需要的时候取出信息返回过程内计算其结果，提高指针分析精确性。

公开(公告)号：CN118535467A

公开(公告)日：2024-08-23

申请号：CN202410595743.1

申请日：2024-05-14

Applicant: 南京邮电大学

Inventor： 张迎周 ,  吕青 ,  嵇友晴 ,  汪全盛 ,  马锐 ,  李俊锋

IPC: G06F11/36

Abstract: 本发明公开一种基于高阶函数摘要的过程间内存泄漏检测方法及系统，属于函数式编程和程序分析领域；检测方法包括：生成待测程序的函数调用图及控制流图，确定函数分析顺序，构建分析过程中使用到的集合；按照所述函数分析顺序取出一个函数，遍历函数的控制流图，对其中与内存操作行为相关的语句进行分析，生成函数摘要；针对函数调用语句，将调用点处实参的信息代入被调用函数的函数摘要中，然后根据形参和实参的对应关系将实例化后的摘要结果传递回调用点，根据实例化后的信息继续分析调用函数，进行过程间分析：判断所有函数是否分析完毕，若未分析完毕则继续分析；若已全部分析完毕则输出内存泄漏缺陷检测报告。