公开(公告)号：CN119025409A

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

申请号：CN202410966968.3

申请日：2024-07-18

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

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

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

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

公开(公告)号：CN118277252A

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

申请号：CN202410296329.0

申请日：2024-03-15

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

Inventor： 贾春鹏 ,  王盛 ,  王博祥 ,  李超 ,  陈睿 ,  王智煊

IPC: G06F11/36

Abstract: 一种可扩展的中断驱动程序缺陷检测方法，包括：(1)建立多个堆栈并行构建模块化程序依赖图，同时获得中断的摘要信息；(2)对程序源代码进行静态分析，依据缺陷类型识别能发生缺陷的位置和能够存在并发缺陷的代码区域和触发条件，形成缺陷区域集合#imgabs0#；(3)对缺陷区域集合#imgabs1#中每个缺陷区域进行分析，利用数据依赖、控制依赖关系确定影响并发缺陷发生的关键变量和语句；(4)根据步骤(3)求出的每个缺陷区域对应的关键变量和语句，在依赖图中动态插入中断更新依赖图，对缺陷进行检查。本发明提升了静态分析的效率和精度，实现在保证检测精度和效率的同时，适应不同类型和规模的中断驱动程序，可以检测和定位多种中断驱动型程序缺陷。