公开(公告)号：CN118656123A

公开(公告)日：2024-09-17

申请号：CN202410790534.2

申请日：2024-06-19

Applicant: 南京邮电大学

Inventor： 黄海平 ,  张扬 ,  常舒予 ,  肖甫 ,  王奇 ,  尹源培 ,  徐剑 ,  王睿

IPC: G06F8/74

Abstract: 本发明涉及一种用于生成对抗样本的脆弱代码段搜索方法，涉及面向预训练编程语言模型的对抗攻击领域。本方法首先通过各方法在调用链中的位置为其分配初始搜索优先级；然后根据搜索过程中识别的脆弱代码行为，使用代码行为图来指导各方法调用优先级的调整量。本方法使用代码调用链及行为图来形象化表示代码行为及方法间的调用关系，通过从遍历过程中获取知识，动态地调整各方法在遍历中的优先级，使更有可能包含脆弱代码段的函数被优先搜索，从而降低替换点搜索过程中的模型访问次数，减少了搜索的时间开销。

公开(公告)号：CN117112921A

公开(公告)日：2023-11-24

申请号：CN202310845815.9

申请日：2023-07-10

Applicant: 南京邮电大学

Inventor： 宋玉蓉 ,  王奇 ,  李汝琦 ,  曲鸿博

IPC: G06F16/9536 ,  G06F18/2113 ,  G06F18/23213 ,  G06N3/042 ,  G06N3/0464 ,  G06N3/088 ,  G06N3/048

Abstract: 本发明提供了一种图协同过滤推荐模型的预测方法，通过对交互特征进行筛选来过滤噪声，提高推荐结果的准确性，并且引入了节点级的原型对比学习任务来挖掘用户或项目之间的潜在特征，缓解协同过滤所面临的数据稀疏的问题。另外，通过重写超图卷积公式使得卷积过程只需要一次，避免了传统图协同过滤模型多次卷积所引起的特征平滑的问题，使得推荐系统模型的效率和性能都得到了提升。

公开(公告)号：CN119883880A

公开(公告)日：2025-04-25

申请号：CN202411712367.6

申请日：2024-11-27

Applicant: 南京邮电大学

Inventor： 黄海平 ,  王奇 ,  常舒予 ,  郁子涵 ,  肖甫 ,  龙章伯 ,  吴敏 ,  周超然

IPC: G06F11/3668 ,  G06F11/3698

Abstract: 本发明公开了一种基于修正测试矩阵的程序突变故障定位方法及系统，包括：通过符号执行、共享变量追踪和假设推理相结合的方法处理待测试源程序，通过识别代码中的关键路径，共享变量以及潜在故障交互点找出用于生成突变的代码行；基于大语言模型理解源代码上下文，针对待选代码行生成复杂突变体并且运行这些突变后的程序得到杀死信息矩阵；针对不同突变类型，通过贝叶斯方法修正修改概率并以此概率修改测试矩阵，减少测试矩阵中的噪声；根据修改后的测试矩阵计算怀疑度，生成可疑代码列表。本发明的方法可以减少不必要的突变操作，提高测试覆盖率，提高故障定位的准确性。

公开(公告)号：CN118656123B

公开(公告)日：2025-01-10

申请号：CN202410790534.2

申请日：2024-06-19

Applicant: 南京邮电大学

Inventor： 黄海平 ,  张扬 ,  常舒予 ,  肖甫 ,  王奇 ,  尹源培 ,  徐剑 ,  王睿

IPC: G06F8/74

Abstract: 本发明涉及一种用于生成对抗样本的脆弱代码段搜索方法，涉及面向预训练编程语言模型的对抗攻击领域。本方法首先通过各方法在调用链中的位置为其分配初始搜索优先级；然后根据搜索过程中识别的脆弱代码行为，使用代码行为图来指导各方法调用优先级的调整量。本方法使用代码调用链及行为图来形象化表示代码行为及方法间的调用关系，通过从遍历过程中获取知识，动态地调整各方法在遍历中的优先级，使更有可能包含脆弱代码段的函数被优先搜索，从而降低替换点搜索过程中的模型访问次数，减少了搜索的时间开销。