公开(公告)号：CN109002712B

公开(公告)日：2020-11-03

申请号：CN201810650652.8

申请日：2018-06-22

Applicant: 北京大学 ,  北京北大软件工程股份有限公司

Inventor： 马森 ,  张世琨 ,  段富尧 ,  高庆

IPC: G06F21/56

Abstract: 本发明提供一种基于值依赖图的污染数据分析方法、系统与电子设备，所述方法包括：S1，将目标计算机程序转换为守卫值依赖图，并通过自定义外部输入函数摘要和外部输入函数摘要用户定义接口，在所述守卫值依赖图上确定多个污染传播起始点；S2，基于污染传播规则、用户自定义漏洞特征的节点特征以及所述污染传播起始点，构成污染传播图；S3，基于所述污染传播图，通过对各所述污染传播起始点进行向下的广搜计算，获取对应的污染传播路径和每一条所述污染传播路径的污染类型。本发明能够清晰且便利的表达污染数据传播范围、传播关系和每一条路径的污染传播类型，保证污染数据传播范围的全面性。

公开(公告)号：CN114385512B

公开(公告)日：2022-07-19

申请号：CN202210284843.3

申请日：2022-03-23

Applicant: 北京北大软件工程股份有限公司

Inventor： 叶蔚 ,  段富尧 ,  谢睿 ,  张世琨

IPC: G06F11/36

Abstract: 本申请涉及一种软件源代码缺陷检测方法及装置，软件源代码缺陷检测方法包括获取源软件代码，根据源软件代码构造代码属性图，将代码属性图输入预设基于图神经网络的源代码缺陷检测模型，预设基于图神经网络的源代码缺陷检测模型用于生成自适应接收路径，并根据自适应接收路径输出检测结果，可以减少无关代码信息的影响，提高代码漏洞检测的效率。

公开(公告)号：CN114385512A

公开(公告)日：2022-04-22

申请号：CN202210284843.3

申请日：2022-03-23

Applicant: 北京北大软件工程股份有限公司

Inventor： 叶蔚 ,  段富尧 ,  谢睿 ,  张世琨

IPC: G06F11/36

Abstract: 本申请涉及一种软件源代码缺陷检测方法及装置，软件源代码缺陷检测方法包括获取源软件代码，根据源软件代码构造代码属性图，将代码属性图输入预设基于图神经网络的源代码缺陷检测模型，预设基于图神经网络的源代码缺陷检测模型用于生成自适应接收路径，并根据自适应接收路径输出检测结果，可以减少无关代码信息的影响，提高代码漏洞检测的效率。

公开(公告)号：CN109002712A

公开(公告)日：2018-12-14

申请号：CN201810650652.8

申请日：2018-06-22

Applicant: 北京大学 ,  北京北大软件工程股份有限公司

Inventor： 马森 ,  张世琨 ,  段富尧 ,  高庆

IPC: G06F21/56

Abstract: 本发明提供一种基于值依赖图的污染数据分析方法、系统与电子设备，所述方法包括：S1，将目标计算机程序转换为守卫值依赖图，并通过自定义外部输入函数摘要和外部输入函数摘要用户定义接口，在所述守卫值依赖图上确定多个污染传播起始点；S2，基于污染传播规则、用户自定义漏洞特征的节点特征以及所述污染传播起始点，构成污染传播图；S3，基于所述污染传播图，通过对各所述污染传播起始点进行向下的广搜计算，获取对应的污染传播路径和每一条所述污染传播路径的污染类型。本发明能够清晰且便利的表达污染数据传播范围、传播关系和每一条路径的污染传播类型，保证污染数据传播范围的全面性。