公开(公告)号：CN114817045A

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

申请号：CN202210472030.7

申请日：2022-04-29

Applicant: 北京轩宇信息技术有限公司

Inventor： 杨帆 ,  陈睿 ,  刘亚威 ,  江云松 ,  施兰兰 ,  贾春鹏 ,  车小鹏 ,  王峥

IPC: G06F11/36 ,  G06F8/41

Abstract: 本发明涉及一种高效的源代码覆盖率确定方法及系统。该方法在插桩时计算出MC/DC真值表，利用位向量压缩真值表并在采集过程中实时计算真值表覆盖情况，具有精度高、膨胀率低和执行速度快的优点。同时，该方法无需额外的辅助插桩点，也无需频繁I/O和输出大量信息，产生的数据量与现有的执行标记方式相当，从而实现了低膨胀率和快速的精确覆盖率分析。

公开(公告)号：CN111159022A

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

申请号：CN201911329257.0

申请日：2019-12-20

Applicant: 北京轩宇信息技术有限公司

Inventor： 陈睿 ,  余娜 ,  江云松 ,  王峥 ,  李超 ,  贾春鹏 ,  肖志恒 ,  丁戈 ,  李杨 ,  吴瑾 ,  杨帆

IPC: G06F11/36

Abstract: 本发明实施例提供了一种基于单变量访问序模式的中断数据访问冲突检测方法及装置。所述方法包括：获取多个源文件；对每个所述源文件的函数进行可达访问分析，生成每个所述源文件的可达访问图；使用所述多个源文件的函数调用关系和各所述源文件的函数摘要，更新各所述可达访问图；遍历各更新后的可达访问图，匹配单变量访问序模式，得到中断数据访问冲突检测结果。本发明实施例对单文件进行独立分析，避免了跨文件的分析时在不同文件交替分析，减小了内存占用的峰值，可适用于大规模程序。

公开(公告)号：CN112288079B

公开(公告)日：2024-05-14

申请号：CN202011286945.6

申请日：2020-11-17

Applicant: 北京轩宇信息技术有限公司

Inventor： 高栋栋 ,  江云松 ,  陈睿 ,  高猛 ,  于婷婷 ,  李超 ,  滕俊元 ,  贾春鹏 ,  王峥 ,  杨帆

IPC: G06N3/042 ,  G06N3/045 ,  G06N3/08 ,  G06F11/36

Abstract: 本发明公开了一种图神经网络模型训练方法、软件缺陷检测方法及系统。包括：根据软件缺陷数据集，获取训练软件函数及测试软件函数，训练软件函数和测试软件函数预先标注有初始缺陷数据；根据训练软件函数的多维代码属性，构建初始多维代码属性图，根据测试软件函数的多维代码属性，构建目标多维代码属性图；基于初始多维代码属性图对初始图神经网络模型进行训练，得到训练后的图神经网络模型；基于目标多维代码属性图对训练后的图神经网络模型进行测试，获取预测缺陷数据；在初始缺陷数据和预测缺陷数据匹配时，将训练后的图神经网络模型作为目标图神经网络模型。本发明可以提高软件缺陷检测精度，减少了人工干预的过程，易于扩展检测的缺陷类型。

公开(公告)号：CN117493152A

公开(公告)日：2024-02-02

申请号：CN202211636381.3

申请日：2022-12-19

Applicant: 北京轩宇信息技术有限公司

Inventor： 杨帆 ,  陈睿 ,  刘亚威 ,  贾春鹏 ,  施兰兰 ,  高栋栋 ,  张小龙 ,  王博祥 ,  王峥 ,  刘璟炜

IPC: G06F11/36 ,  G06F8/41 ,  G06F8/71

Abstract: 本发明公开了一种通用的嵌入式软件单元测试环境构建方法和系统，包括平台配置单元、测试场景构建单元、环境变量添加单元和自动构建单元；构建方法包括：步骤一，添加环境变量；步骤二，创建平台配置包；步骤三，构建测试场景；步骤四，生成测试环境；本发明把单元测试环境抽象为平台配置包、测试场景和环境变量三个部分，使用参数化方式描述测试环境，形成一套嵌入式软件平台配置机制，基于该机制形成多种嵌入式平台配置包和一个构建系统，把环境变量、测试场景和对应的平台配置包输入到构建系统，生成对应的测试环境，该方法可用于软件动态测试工具套件，使其在无需修改工具代码的情况下适配多种测试环境。

公开(公告)号：CN116450501A

公开(公告)日：2023-07-18

申请号：CN202310294779.1

申请日：2023-03-24

Applicant: 北京轩宇信息技术有限公司

Inventor： 陈睿 ,  贾春鹏 ,  王峥 ,  杨帆 ,  丁戈 ,  肖志恒 ,  王博祥 ,  于婷婷 ,  高栋栋

IPC: G06F11/36

Abstract: 本发明公开了一种提升静态分析精度的符号分析方法，包括以下步骤：步骤一，生成抽象语法树和控制流图；步骤二，生成调用图；步骤三，执行指针分析；步骤四，全局值编号；步骤五，计算CFG支配关系、支配边界以及控制依赖图；步骤六，静态单赋值形式构造；步骤七，显式暴露函数副作用；步骤八，构造带条件数据依赖图；步骤九，符号分析；步骤十，约束求解；本发明利用指针分析划分所有的内存区域，使得它能够处理所有的语言特性，提高了适用范围；本发明基于静态单赋值，以及通过构造带条件数据依赖图和控制依赖图，可以简洁地以遍历图的方式完成符号分析，并且通过调用SMT求解器求解以得到精确的解。

公开(公告)号：CN112363729A

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

申请号：CN202011322690.4

申请日：2020-11-23

Applicant: 北京轩宇信息技术有限公司

Inventor： 陈睿 ,  江云松 ,  丁戈 ,  王峥 ,  李杨 ,  肖志恒 ,  贾春鹏 ,  高栋栋 ,  于婷婷 ,  朱玉钊

IPC: G06F8/41 ,  G06F11/30 ,  G06F11/34

Abstract: 本发明实施例公开了一种用于静态分析的多编译混合编译的监控方法及装置。所述方法包括：获取待分析程序对应的程序编译日志；根据所述程序编译日志，识别得到编译命令；根据所述编译命令，设计通用的配置文件模型，并将所述程序编译日志映射至所述配置文件模型，得到转换的编译参数；根据编译器类型提取所述待分析程序对应的编译信息。本发明实施例可以实现对多编译器混合编译的项目进行可配置的编译监控。