公开(公告)号：CN115658508A

公开(公告)日：2023-01-31

申请号：CN202211323819.2

申请日：2022-10-28

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

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

IPC: G06F11/36 ,  G06F8/41

Abstract: 本发明公开了提升源代码静态分析工具鲁棒性的方法，包括以下步骤：步骤一，设计鲁棒性编译前端；步骤二，设计语法转译器；步骤三，提升原分析工具的鲁棒性；步骤四，添加零配置；所述步骤1.2中，词法解析模块预留了nextToken接口可供子类实现；本发明通过实现鲁棒性编译前端生成AST，并将该AST转译成原分析工具的AST，复用已有分析工具的代码分析能力，该编译前端内置了可扩展的预处理模块，拥有较强的编译错误恢复能力，较强的可扩展性，能够保证在复用已有代码资产的前提下，提高分析工具的鲁棒性，在被测软件不完整配置的分析条件下，仍能给出准确的分析结果，降低了静态分析工具使用者的门槛，提升工具的用户体验。

公开(公告)号：CN119025409A

公开(公告)日：2024-11-26

申请号：CN202410966968.3

申请日：2024-07-18

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

Inventor： 李超 ,  陈睿 ,  王智煊 ,  江云松 ,  王博祥 ,  贾春鹏 ,  于婷婷 ,  高栋栋 ,  刘金伟

IPC: G06F11/36 ,  G06F18/2415 ,  G06F18/214

Abstract: 本发明提供了一种中断驱动型程序多变量原子性违反检测方法，包括：以真实航天嵌入式软件为数据库，筛选配有详细文档和带有注释源代码的软件，作为关联变量对识别模型的训练数据集；以共享变量对为对象，通过静态分析对训练数据集中的软件中的共享变量对进行特征提取，构建考虑关联变量对的关联性特征的训练数据集样本；构建学习模型并使用训练数据集样本进行训练，得到一个能够自动识别关联变量对的分类器模型；对待分析源程序进行分析，构建变量对样本作为测试样本；将测试样本输入所述的分类器模型进行关联变量对识别；根据识别的关联变量对得到原子区，分析中断的抢占是否可能破坏原子区，完成多变量原子性违反检测。

公开(公告)号：CN116450502A

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

申请号：CN202310294807.X

申请日：2023-03-24

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

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

IPC: G06F11/36

Abstract: 本发明公开了一种提升静态分析精度的中间表示方法，包括以下步骤：步骤一，生成抽象语法树；步骤二，构造控制流图；步骤三，执行指针分析；步骤四，插入mu、chi语句；步骤五，构造支配关系；步骤六，构造控制依赖图；步骤七，替换phi函数；步骤八，SSA构造；步骤九，组合控制依赖图；步骤十，完成中间表示的构建；本发明相较于现有的静态分析用中间表示方法，它能够精确的编码程序执行的所有语义；同时它是能够应用于传统的数据流分析、污点分析算法，提升分析效率；另外由于该IR图编码了所有的执行语义，所以能够很简洁地通过遍历图的方式，完成路径敏感的数据流分析和污点分析，或者符号执行。

公开(公告)号：CN115658509A

公开(公告)日：2023-01-31

申请号：CN202211323820.5

申请日：2022-10-28

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

Inventor： 于婷婷 ,  陈睿 ,  贾春鹏 ,  高栋栋 ,  李超 ,  王博祥

IPC: G06F11/36

Abstract: 本发明公开了精确的中断驱动型嵌入式软件数据竞争动态检测方法，包括以下步骤：步骤一，获取候选同步操作集；步骤二，筛选候选同步操作；步骤三，验证同步操作的准确性；步骤四，检测程序中的数据竞争；相较于现有的数据竞争动态检测方法，本发明通过识别中断程序中的同步操作，以精确检测程序中的数据竞争，解决了现有方法不能识别中断程序中自定义同步操作，导致数据竞争检测存在大量误报的问题，精化数据竞争检测结果，提高了中断驱动型嵌入式软件可信性；本发明通过采用动静结合的方式进行同步操作识别，有效地提高了中断程序数据竞争缺陷检测的准确率，提高了软件开发和测试效率，提升了软件的安全性。

公开(公告)号：CN115658507A

公开(公告)日：2023-01-31

申请号：CN202211323818.8

申请日：2022-10-28

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

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

IPC: G06F11/36

Abstract: 本发明公开了针对实时嵌入式软件源代码覆盖率分析系统，包括CPU指令集模拟器模块，所述CPU指令集模拟器模块包括包括插桩模块、编译模块、目标码符号分析模块、配置文件生成模块、配置接口模块、指令执行模块、时钟计时和维护模块、函数检查模块、函数调用栈维护模块、覆盖率收集模块、覆盖率分析模块、覆盖率展示模块和报告生成模块，本发明在维持插桩方式不变的情况下，利用指令集模拟器执行实时嵌入式软件目标程序，在执行探针代码时钟暂停计时，使得插桩后代码执行的时钟周期与非插桩的一致，结合高效的源代码插桩和分析方法，该发明的系统具有膨胀率低、保证实时性的优点，同时提升了该系统的执行速度。