-
公开(公告)号：CN115098108B
公开(公告)日：2024-12-24
申请号：CN202210710437.9
申请日：2022-06-22
Applicant: 南京邮电大学
IPC: G06F8/41
Abstract: 本发明公开了一种基于高阶函数的轻量级上下文敏感指针分析方法，包括：确定函数分析顺序；根据函数分析顺序收集上下文不敏感的指向约束；收集上下文敏感的指向约束；求解上下文不敏感的指向约束和上下文敏感的指向约束得到被调用函数的指向信息分析结果，并以高阶函数形式保存；判断函数是否全部分析完毕，若未分析完毕，则继续收集其他函数的指向约束；否则，则输出指针分析结果；本发明可以避免现有方法中为解决间接引用问题额外引入辅助变量和映射表，从而高效地进行上下文敏感指针分析。
-
公开(公告)号：CN114647575B
公开(公告)日：2024-05-10
申请号：CN202210168542.4
申请日：2022-02-23
Applicant: 南京邮电大学
Abstract: 本发明公开了函数式编程和程序分析技术领域的一种基于高阶函数的C++过程间异常分析系统及方法，包括：确定过程调用图中每个被调用子过程的分析顺序，将C++程序中的语句进行分类；收集各个被调用子过程异常相关语句和函数调用语句的集合约束，按照集合约束规则对集合约束进行求解，获取过程内异常分析信息后，通过高阶函数的形式将所有被调用子过程的异常分析结果保存为异常分析函数摘要；按照函数的参数传递方式，根据形参和实参对应参数信息，在过程调用点处，对高阶函数式异常分析函数摘要的参数集合信息进行相应代入。本发明降低了传统方法需要构建过程间异常控制流图对异常进行过程间分析的时空开销，解决了异常分析效率较低的问题。
-
公开(公告)号：CN112800394A
公开(公告)日：2021-05-14
申请号：CN202110094622.5
申请日：2021-01-25
Applicant: 南京邮电大学
Abstract: 本发明提供了一种基于聚类加权多维桶分组的安全数据库水印构造方法，选取适当的抽象域，利用抽象域生成的不变式表示数据库的稳定单元，通过多维桶分组技术对数据库进行分组，根据分组后的稳定单元和提取出不变属性构造出安全的数据库水印；具体包括根据抽象域选取数据库稳定单元和属性步骤；数据聚类步骤；构建加权多维桶分组步骤；构造安全数据库水印步骤；本发明采用加权多维桶分组，提高了数据质量同时保护了敏感属性的隐私性，使攻击者难以获取到敏感信息，进而提高了水印的鲁棒性；针对不同的场景计算出的敏感属性的权值可能不同，提高了用户的可用性，扩大了水印的应用场景，同时不对原始数据进行修改，确保数据不会失真。
-
公开(公告)号：CN114238078B
公开(公告)日：2024-11-08
申请号：CN202111392045.4
申请日：2021-11-23
Applicant: 南京邮电大学
IPC: G06F11/36
Abstract: 本发明公开了一种基于高阶函数的程序间依赖关系抽取方法,首先对程序进行预处理，构建程序的过程调用图，对过程调用图中的节点进行遍历，确定子过程的分析顺序；获取各个被调用子过程内的语句和变量间的依赖关系，用高阶函数的形式保存摘要信息；根据生成的高阶函数式函数摘要，在过程调用点处对函数摘要的函数参数进行相应值或者函数代入，获取过程间由于过程调用和参数传递产生的依赖关系。本发明通过高阶函数特性获取过程内的依赖关系，生成高阶函数形式表示的函数摘要，可方便过程间调用时在调用点处按需完成函数摘要中高阶函数参数的代入，快速获取形参与实参之间的依赖关系，有效提升了程序间依赖关系的抽取效率。
-
公开(公告)号：CN114996149B
公开(公告)日：2024-05-28
申请号：CN202210682893.7
申请日：2022-06-16
Applicant: 南京邮电大学
IPC: G06F11/36 , G06F8/41 , G06F18/2113 , G06F18/214 , G06F18/2415 , G06N20/20
Abstract: 本发明公开了一种基于程序切片度量的代码缺陷预测方法，其包括：对不同编程语言转化成中间语言LLVM IR，对可能存在缺陷的代码关键点生成相应的前向切片和后向切片，构建基于前向切片和后向切片的认知复杂度度量指标和其他切片度量指标，并结合传统的度量指标，通过机器学习模型XGboost进行监督学习训练，最终训练好的模型可以预测代码是否存在缺陷，结合新的切片度量指标可以捕获与程序行为相关的缺陷，比只使用传统度量进行缺陷预测的准确率高。
-
Patent Agency Ranking
公开(公告)号：CN115794120B
公开(公告)日：2023-07-04
申请号：CN202310064888.4
申请日：2023-02-06
Applicant: 南京邮电大学
Abstract: 本发明公开了一种基于高阶函数的动态程序依赖簇检测方法包括：用符号执行工具获取程序在给定输入条件下的语句执行历史和函数调用关系，根据实际的调用关系构建简化的函数调用图，根据语句执行历史动态获取过程内的依赖簇信息，采用高阶函数的形式构建函数摘要，根据指令索引进行基本块的遍历和指令动态引用集的计算；利用过程内高阶函数形式的摘要，在调用点处对摘要的参数进行相应代入，获取过程间的依赖簇信息，最后将计算得到依赖簇信息进行汇总，获取给定输入条件下相互依赖的程序语句，从而进行动态程序依赖簇检测。
-
公开(公告)号：CN112800394B
公开(公告)日：2022-10-25
申请号：CN202110094622.5
申请日：2021-01-25
Applicant: 南京邮电大学
Abstract: 本发明提供了一种基于聚类加权多维桶分组的安全数据库水印构造方法，选取适当的抽象域，利用抽象域生成的不变式表示数据库的稳定单元，通过多维桶分组技术对数据库进行分组，根据分组后的稳定单元和提取出不变属性构造出安全的数据库水印；具体包括根据抽象域选取数据库稳定单元和属性步骤；数据聚类步骤；构建加权多维桶分组步骤；构造安全数据库水印步骤；本发明采用加权多维桶分组，提高了数据质量同时保护了敏感属性的隐私性，使攻击者难以获取到敏感信息，进而提高了水印的鲁棒性；针对不同的场景计算出的敏感属性的权值可能不同，提高了用户的可用性，扩大了水印的应用场景，同时不对原始数据进行修改，确保数据不会失真。
-
公开(公告)号：CN115794120A
公开(公告)日：2023-03-14
申请号：CN202310064888.4
申请日：2023-02-06
Applicant: 南京邮电大学
Abstract: 本发明公开了一种基于高阶函数的动态程序依赖簇检测方法包括：用符号执行工具获取程序在给定输入条件下的语句执行历史和函数调用关系，根据实际的调用关系构建简化的函数调用图，根据语句执行历史动态获取过程内的依赖簇信息，采用高阶函数的形式构建函数摘要，根据指令索引进行基本块的遍历和指令动态引用集的计算；利用过程内高阶函数形式的摘要，在调用点处对摘要的参数进行相应代入，获取过程间的依赖簇信息，最后将计算得到依赖簇信息进行汇总，获取给定输入条件下相互依赖的程序语句，从而进行动态程序依赖簇检测。
-
公开(公告)号：CN115185818A
公开(公告)日：2022-10-14
申请号：CN202210697962.1
申请日：2022-06-20
Applicant: 南京邮电大学
IPC: G06F11/36
Abstract: 本发明公开了一种基于二进制集合的程序依赖簇检测方法，方法为：以二进制集合形式的数据结构定义依赖集合，并输入基于位运算的通用集合操作接口，得到新的依赖集合数据存储至通用集合操作接口程序的各个指令节点，并遍历程序的每个指令节点；利用通用集合操作接口对指令间的依赖关系进行计算，获得各个指令节点的依赖性分析数据；根据新的集合数据中的集合内容对获得的依赖性分析结果进行重组和归类，获得校正后的依赖性分析结果并实现对程序源代码中的程序依赖簇的进行正确检测。本发明以二进制集合定义集合数据结构，根据数据结构定义操作接口，调用接口计算依赖，对依赖结果进行校正，将校正结果保存从而显著降低分析时空间开销问题。
-
公开(公告)号：CN115098108A
公开(公告)日：2022-09-23
申请号：CN202210710437.9
申请日：2022-06-22
Applicant: 南京邮电大学
IPC: G06F8/41
Abstract: 本发明公开了一种基于高阶函数的轻量级上下文敏感指针分析方法，包括：确定函数分析顺序；根据函数分析顺序收集上下文不敏感的指向约束；收集上下文敏感的指向约束；求解上下文不敏感的指向约束和上下文敏感的指向约束得到被调用函数的指向信息分析结果，并以高阶函数形式保存；判断函数是否全部分析完毕，若未分析完毕，则继续收集其他函数的指向约束；否则，则输出指针分析结果；本发明可以避免现有方法中为解决间接引用问题额外引入辅助变量和映射表，从而高效地进行上下文敏感指针分析。
-
-
-
-
-
-
-
-
-
Search Results
13
records
(took 0.029 seconds)
