公开(公告)号：CN108984843A

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

申请号：CN201810634710.8

申请日：2018-06-20

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

Inventor： 张世琨 ,  马森 ,  邵思豪 ,  高庆

IPC: G06F17/50

Abstract: 本发明提供一种基于守卫计算的区间信息分析方法，包括：S1，对于值依赖图中任一结点，根据该结点与该结点的任一前驱结点间的守卫条件获取守卫条件对应的条件判断结点；S2，根据条件判断结点的前驱结点的区间信息，计算条件判断结点的区间信息，进一步确认条件判断结点的属性；属性为假、真和可满足中的一种；S3，根据条件判断结点的属性，确认条件判断结点对应的守卫条件的区间信息；S4，根据该结点的各前驱结点的区间信息和该结点与该结点的各前驱结点间的守卫条件的区间信息，获取该结点的区间信息。本发明提供的方法，补偿了值依赖图缺少控制流信息的不足，提高了分析精度。

公开(公告)号：CN108984843B

公开(公告)日：2021-02-09

申请号：CN201810634710.8

申请日：2018-06-20

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

Inventor： 张世琨 ,  马森 ,  邵思豪 ,  高庆

IPC: G06F30/00

Abstract: 本发明提供一种基于守卫计算的区间信息分析方法，包括：S1，对于值依赖图中任一结点，根据该结点与该结点的任一前驱结点间的守卫条件获取守卫条件对应的条件判断结点；S2，根据条件判断结点的前驱结点的区间信息，计算条件判断结点的区间信息，进一步确认条件判断结点的属性；属性为假、真和可满足中的一种；S3，根据条件判断结点的属性，确认条件判断结点对应的守卫条件的区间信息；S4，根据该结点的各前驱结点的区间信息和该结点与该结点的各前驱结点间的守卫条件的区间信息，获取该结点的区间信息。本发明提供的方法，补偿了值依赖图缺少控制流信息的不足，提高了分析精度。

公开(公告)号：CN109446066B

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

申请号：CN201811101415.2

申请日：2018-09-20

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

Inventor： 马森 ,  张世琨 ,  马骁 ,  高庆 ,  郜成胜

IPC: G06F11/36

Abstract: 本发明实施例提供一种C/C++程序中不可达代码的静态检测方法及系统，其中，所述方法包括：构建待检测C/C++程序的控制依赖图和值依赖图；在所述值依赖图上进行常量分析，并根据常量分析的结果更新所述控制依赖图；对更新后的所述控制依赖图中所有守卫结点的约束表达式的可满足性进行求解；若存在不可满足的约束表达式，则从所述控制依赖图中获取与所述不可满足的约束表达式相对应的守卫结点的所有直接和间接后继结点所对应的程序代码。本发明可以检测千万行级的代码，检测速度可达到每小时百万行以上，并且检测精度超过利用符号执行技术的检测精度，具有较低的误报率和漏报率。

公开(公告)号：CN109002712B

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

申请号：CN201810650652.8

申请日：2018-06-22

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

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

IPC: G06F21/56

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

公开(公告)号：CN109063483B

公开(公告)日：2020-05-12

申请号：CN201810643006.9

申请日：2018-06-21

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

Inventor： 张世琨 ,  高庆 ,  邓枭 ,  马森

IPC: G06F21/57 ,  G06F21/56 ,  G06F11/36

Abstract: 本发明提供一种基于路径追踪的漏洞检测方法及系统，其中方法包括：对于当前测试用例，获取当前测试用例在待检测程序中运行时产生的第一运行路径；将第一运行路径与预设漏洞路径进行匹配，若第一运行路径与预设漏洞路径完全匹配，则根据当前测试用例检测待检测程序中的漏洞。该方法及系统以预设漏洞路径为标准，当且仅当某一个当前测试用例在待检测程序中运行时产生的第一运行路径与预设漏洞路径完全匹配时，才确定该当前测试用例为能够触发待检测程序中漏洞的测试用例，最终确定的测试用例能够有效检测出待检测程序中的漏洞，克服了现有的模糊测试工具在进行程序漏洞检测时难以确保有效检测出漏洞的问题，一定程度上提高了漏洞检测的效率。

公开(公告)号：CN203093159U

公开(公告)日：2013-07-31

申请号：CN201320090872.2

申请日：2013-02-28

Applicant: 北京大学

Inventor： 方岱宁 ,  赵启林 ,  陈浩森 ,  徐龙星 ,  张冬冬 ,  徐康 ,  马森

IPC: B32B3/18 ,  B32B7/08

Abstract: 本实用新型公开了一种杆件与面板新型连接的复合材料点阵结构。本实用新型的复合材料点阵结构包括：上面板、下面板、压杆及拉丝；其中，上面板和下面板为内表面相对的两面板；在上和下面板的内表面的相对应的位置设置有压杆槽，压杆的两端分别插入上和下面板的相对应的压杆槽中支撑上和下面板；上和下面板还设置有打通面板的拉丝孔，拉丝从拉丝孔编织穿过面板，将相对的上和下两面板牵拉固定。本实用新型基于传统的复合材料点阵结构的杆件与面板的连接方式，提出了一种新型的连接方式，拉丝与压杆竖向分力在面板结点上实现了自平衡，增强了结点的承载力，提高了整个点阵结构的力学性能，可以应用在具有复合材料点阵结构的航空航天和航海舰艇中。