-
公开(公告)号：CN109446066A
公开(公告)日：2019-03-08
申请号：CN201811101415.2
申请日：2018-09-20
Applicant: 北京大学 , 北京北大软件工程股份有限公司
IPC: G06F11/36
Abstract: 本发明实施例提供一种C/C++程序中不可达代码的静态检测方法及系统，其中，所述方法包括：构建待检测C/C++程序的控制依赖图和值依赖图；在所述值依赖图上进行常量分析，并根据常量分析的结果更新所述控制依赖图；对更新后的所述控制依赖图中所有守卫结点的约束表达式的可满足性进行求解；若存在不可满足的约束表达式，则从所述控制依赖图中获取与所述不可满足的约束表达式相对应的守卫结点的所有直接和间接后继结点所对应的程序代码。本发明可以检测千万行级的代码，检测速度可达到每小时百万行以上，并且检测精度超过利用符号执行技术的检测精度，具有较低的误报率和漏报率。
-
公开(公告)号：CN108958739A
公开(公告)日：2018-12-07
申请号：CN201810573717.3
申请日：2018-06-06
Applicant: 北京大学 , 北京北大软件工程股份有限公司
IPC: G06F8/53
Abstract: 本发明提供一种二进制反编译中数组数据结构恢复方法及系统，所述方法包括：S11，对于目标反编译结果中任一非指针变量，若该非指针变量的实际占位大小与该非指针变量的类型对应的占位大小之间的差值大于第一预设阈值，则将该非指针变量作为目标变量；S12，获取目标变量在目标反编译结果中各使用位置对应的第一使用模式，若根据第一使用模式对应的第一权重确定目标变量为数组变量，则对数组变量的数据结构进行恢复。本发明实现了对反编译结果中数组数据结构的自动恢复，且提高了数组数据结构恢复的正确率。
-
公开(公告)号：CN117556432B
公开(公告)日：2024-09-10
申请号：CN202410047059.X
申请日：2024-01-12
Applicant: 北京北大软件工程股份有限公司
IPC: G06F21/57
Abstract: 本发明涉及软件代码分析领域，公开了一种基于传播影响分析的同源漏洞安全响应方法和系统，包括：根据组件信息和漏洞信息的对齐结果，确定组件和漏洞的对应关系，根据组件之间的依赖关系确定漏洞传播影响图，基于漏洞的传播路径和影响范围对漏洞进行响应。本发明通过同源漏洞的传播影响分析，能够更准确地确定漏洞的传播路径和影响范围，进一步提高了漏洞安全响应的效率和精度，能够有效地防止同源漏洞攻击的发生，并提供多种方法及时响应和修复已发现的漏洞。
-
公开(公告)号：CN111783418B
公开(公告)日：2024-04-05
申请号：CN202010517766.2
申请日：2020-06-09
Applicant: 北京北大软件工程股份有限公司
IPC: G06F40/205 , G06F40/247 , G06F40/30
Abstract: 本发明涉及一种中文词义表示学习方法及装置，包括获取训练语料，生成全局上下文矩阵；对HowNet知识库进行解析，生成词义‑词相似度矩阵；根据所述全局上下文矩阵和词义‑词相似度矩阵，计算生成全局词义上下文向量；对所述全局词义上下文向量进行词义软消歧；采用基于注意力拓展的跳字模型对词义软消歧后的词义向量进行训练，输出词义向量。本发明通过提出的上下文软消歧机制，能够捕捉词的真正词义，提高深度学习模型在下游任务的效果。
-
公开(公告)号：CN117556432A
公开(公告)日：2024-02-13
申请号：CN202410047059.X
申请日：2024-01-12
Applicant: 北京北大软件工程股份有限公司
IPC: G06F21/57
Abstract: 本发明涉及软件代码分析领域，公开了一种基于传播影响分析的同源漏洞安全响应方法和系统，包括：根据组件信息和漏洞信息的对齐结果，确定组件和漏洞的对应关系，根据组件之间的依赖关系确定漏洞传播影响图，基于漏洞的传播路径和影响范围对漏洞进行响应。本发明通过同源漏洞的传播影响分析，能够更准确地确定漏洞的传播路径和影响范围，进一步提高了漏洞安全响应的效率和精度，能够有效地防止同源漏洞攻击的发生，并提供多种方法及时响应和修复已发现的漏洞。
-
Patent Agency Ranking
公开(公告)号：CN114385512A
公开(公告)日：2022-04-22
申请号：CN202210284843.3
申请日：2022-03-23
Applicant: 北京北大软件工程股份有限公司
IPC: G06F11/36
Abstract: 本申请涉及一种软件源代码缺陷检测方法及装置，软件源代码缺陷检测方法包括获取源软件代码，根据源软件代码构造代码属性图，将代码属性图输入预设基于图神经网络的源代码缺陷检测模型，预设基于图神经网络的源代码缺陷检测模型用于生成自适应接收路径，并根据自适应接收路径输出检测结果，可以减少无关代码信息的影响，提高代码漏洞检测的效率。
-
公开(公告)号：CN112579476A
公开(公告)日：2021-03-30
申请号：CN202110198625.3
申请日：2021-02-23
Applicant: 北京北大软件工程股份有限公司
IPC: G06F11/36 , G06F16/9535
Abstract: 本发明实施例涉及软件测试领域，公开了一种漏洞和软件对齐的方法、装置以及存储介质，包括：抓取安全漏洞发布网站发布的漏洞信息，建立公开漏洞资源数据库；建立包含公开漏洞的软件信息数据库；以 的键值对为关键词，在指定网站范围内进行搜索，将对应键值对的搜索结果插入软件信息数据库；根据上一步得到的软件信息数据库进行过滤，筛选其中符合对齐要求的软件信息并设置为可信，标识其为对齐完成数据；每次更新漏洞数据库时查找并更新软件信息数据库；本发明基于搜索引擎的庞大搜索量所训练的推荐算法，能够获得较为准确的开源软件的源代码仓库地址，或者闭源软件的二进制下载链接。
-
公开(公告)号：CN119960825A
公开(公告)日：2025-05-09
申请号：CN202510449628.8
申请日：2025-04-11
Applicant: 北京北大软件工程股份有限公司
Abstract: 本申请公开了一种代码克隆检测方法、系统、设备、介质及产品，涉及软件工程领域，该方法包括从待检测代码仓库获取待检测代码段，并将所有待检测代码段输入训练好的克隆代码检测模型中，输出与待检测代码段相对应的第一代码表示向量；任意选择两个第一代码表示向量作为代码对，将语义距离小于预设阈值的代码对标记为克隆代码。本申请可提升代码克隆检测的准确度。
-
公开(公告)号：CN117556431A
公开(公告)日：2024-02-13
申请号：CN202410047057.0
申请日：2024-01-12
Applicant: 北京北大软件工程股份有限公司
IPC: G06F21/57
Abstract: 本发明涉及静态代码分析技术，具体涉及一种混合软件漏洞分析方法。本发明提供的方法包括：基于混合软件确定统一中间表示IR；基于统一中间表示IR构造数据流表示模型VFG；基于数据流表示模型VFG定位潜在漏洞的植入点和触发点；通过流追踪的方式对漏洞进行分析；混合软件至少包含两种以上的编程语言或者两种以上的代码形式。本发明通过建立统一的中间表示模型，实现对多种编程语言、多种形式代码混合的复杂软件的检测，尤其对于多模块交互的场景，能够弥补传统检测方式的不足，提升漏洞检测的能力，发现软件系统中的深层次问题。
-
公开(公告)号：CN117349187A
公开(公告)日：2024-01-05
申请号：CN202311648734.6
申请日：2023-12-05
Applicant: 北京北大软件工程股份有限公司
IPC: G06F11/36 , G06F16/901 , G06F16/28 , G06F16/245
Abstract: 本发明涉及软件代码分析领域，公开了一种基于模型持久化的交互式漏洞分析方法和系统，包括：基于待分析软件的代码变更进行增量更新以确定值依赖图，基于值依赖图的变更确定更新增量，更新增量包括点和边，其中点的属性包括标识符、语句内容和语句类型，边为有向边，边的属性包括起点和终点的标识符，基于更新增量在漏洞数据库内进行检索，获得匹配的漏洞，漏洞数据库基于持久化的程序模型构建。本发明基于模型持久化技术，实现增量分析，提升了对于迭代中的项目进行多次分析的检测效率；再通过对静态分析能力的封装，将漏洞检测问题转化为持久化模型中的查询问题，从而实现可通过SQL语句检测漏洞，降低静态代码分析系统的使用难度。
-
-
-
-
-
-
-
-
-
Search Results
109
records
(took 0.039 seconds)
