-
公开(公告)号：CN110321458A
公开(公告)日：2019-10-11
申请号：CN201910422869.8
申请日：2019-05-21
Applicant: 国家电网有限公司 , 北京大学 , 南瑞集团有限公司 , 南京南瑞信息通信科技有限公司 , 国网江苏省电力有限公司
IPC: G06F16/90 , G06F16/901
Abstract: 本发明实施例提供一种基于控制流图的数据流分析方法及装置，其中方法包括：对控制流图进行简化处理，简化后的控制流图包括控制流条件中的所有条件变量以及与所述条件变量有关的节点与边；遍历所述简化后的控制流图中的所有控制流路径，以判断所述控制流图是否符合分析条件；若符合分析条件，则以所述简化后的控制流图的每条控制流路径作为状态节点构建状态图；根据所述状态图生成循环摘要。本发明实施例具有准确、快速预测循环执行次数、生成循环摘要的优势。
-
公开(公告)号：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，获取目标变量在目标反编译结果中各使用位置对应的第一使用模式，若根据第一使用模式对应的第一权重确定目标变量为数组变量，则对数组变量的数据结构进行恢复。本发明实现了对反编译结果中数组数据结构的自动恢复，且提高了数组数据结构恢复的正确率。
-
公开(公告)号：CN105335246B
公开(公告)日：2018-04-27
申请号：CN201510708750.9
申请日：2015-10-27
Applicant: 北京大学
Abstract: 本发明涉及计算机软件技术领域，公开了一种基于问答网站分析的程序崩溃缺陷自动修复方法，包括：根据程序发生崩溃时的崩溃踪迹，获取多个相关网页；其中，所述相关网页中包含描述所述崩溃的缺陷代码以及修复所述崩溃的修复代码；在每个所述相关网页中，提取所述缺陷代码的片段以及修复代码的片段；根据所述缺陷代码片段以及修复代码片段生成用于修复所述崩溃的编辑脚本；根据所述崩溃踪迹以及缺陷代码，确定所述程序源代码中有错误代码的位置，应用所述编辑脚本修复所述错误代码。本发明可根据崩溃踪迹在相关网页上自动搜索修复方案，并生成相应的编辑脚本对崩溃进行修复，摆脱了在修复过程中对操作人员的依赖，实现自动修复，且修复精度较高。
-
-
Patent Agency Ranking
公开(公告)号：CN114968351B
公开(公告)日：2022-10-21
申请号：CN202210913259.X
申请日：2022-08-01
Applicant: 北京大学
IPC: G06F8/75
Abstract: 本发明涉及软件代码分析领域，公开了一种分级多特征的代码同源分析方法及系统，使用值依赖分析技术，脱离了特征提取对于结构的依赖，更准确地发现代码中的不可达路径、并更精确地计算变量常量值和变量之间的依赖关系，从而更加全面、准确构建代码在控制流和数据流上的归一化模型，使用分级的方法，将项目按照粒度由大到小划分为项目、包、文件、类和函数五层，此外按照分析精度由低到高划分为文本、标识、语法、语义四层，通过流水线由项目向函数逐级分解、再从函数向项目逐级推导和综合结果，通过流水线的方式有机组合不同粒度和不同分析层次，利用不同分析方法的优点，加速代码匹配过程，提高匹配速度和匹配精度。
-
公开(公告)号：CN114510722A
公开(公告)日：2022-05-17
申请号：CN202210147761.4
申请日：2022-02-17
Applicant: 北京大学
Abstract: 本发明涉及计算机科学技术领域，尤其涉及一种增量代码的静态检测方法及检测系统。静态检测方法具体包含以下步骤：识别所述待测代码的增量部分，构建抽象语法树，合成待测代码的函数调用图，构建增量部分的值依赖图和待测代码的值依赖图，对待测代码值依赖图进行漏洞检测得增量代码的静态检测结果；还包含步骤：将原代码进行静态分析和将原代码和增量代码的静态检测结果结合得到待测代码的静态检测结果。本发明解决了现有技术中静态检测方法精度差容易漏报或误报及代码更新后全检测周期长、资源消耗大、经济性差的问题，具有以下优点：大幅减少分析时间和内存，效率高，成本低和精度高的特点。
-
公开(公告)号：CN108984843B
公开(公告)日：2021-02-09
申请号：CN201810634710.8
申请日：2018-06-20
Applicant: 北京大学 , 北京北大软件工程股份有限公司
IPC: G06F30/00
Abstract: 本发明提供一种基于守卫计算的区间信息分析方法，包括：S1，对于值依赖图中任一结点，根据该结点与该结点的任一前驱结点间的守卫条件获取守卫条件对应的条件判断结点；S2，根据条件判断结点的前驱结点的区间信息，计算条件判断结点的区间信息，进一步确认条件判断结点的属性；属性为假、真和可满足中的一种；S3，根据条件判断结点的属性，确认条件判断结点对应的守卫条件的区间信息；S4，根据该结点的各前驱结点的区间信息和该结点与该结点的各前驱结点间的守卫条件的区间信息，获取该结点的区间信息。本发明提供的方法，补偿了值依赖图缺少控制流信息的不足，提高了分析精度。
-
公开(公告)号：CN109446066B
公开(公告)日：2020-11-03
申请号：CN201811101415.2
申请日：2018-09-20
Applicant: 北京大学 , 北京北大软件工程股份有限公司
IPC: G06F11/36
Abstract: 本发明实施例提供一种C/C++程序中不可达代码的静态检测方法及系统，其中，所述方法包括：构建待检测C/C++程序的控制依赖图和值依赖图；在所述值依赖图上进行常量分析，并根据常量分析的结果更新所述控制依赖图；对更新后的所述控制依赖图中所有守卫结点的约束表达式的可满足性进行求解；若存在不可满足的约束表达式，则从所述控制依赖图中获取与所述不可满足的约束表达式相对应的守卫结点的所有直接和间接后继结点所对应的程序代码。本发明可以检测千万行级的代码，检测速度可达到每小时百万行以上，并且检测精度超过利用符号执行技术的检测精度，具有较低的误报率和漏报率。
-
公开(公告)号：CN109002712B
公开(公告)日：2020-11-03
申请号：CN201810650652.8
申请日：2018-06-22
Applicant: 北京大学 , 北京北大软件工程股份有限公司
IPC: G06F21/56
Abstract: 本发明提供一种基于值依赖图的污染数据分析方法、系统与电子设备，所述方法包括：S1，将目标计算机程序转换为守卫值依赖图，并通过自定义外部输入函数摘要和外部输入函数摘要用户定义接口，在所述守卫值依赖图上确定多个污染传播起始点；S2，基于污染传播规则、用户自定义漏洞特征的节点特征以及所述污染传播起始点，构成污染传播图；S3，基于所述污染传播图，通过对各所述污染传播起始点进行向下的广搜计算，获取对应的污染传播路径和每一条所述污染传播路径的污染类型。本发明能够清晰且便利的表达污染数据传播范围、传播关系和每一条路径的污染传播类型，保证污染数据传播范围的全面性。
-
-
-
-
-
-
-
-
-
Search Results
31
records
(took 0.079 seconds)
