-
公开(公告)号：CN112363729A
公开(公告)日：2021-02-12
申请号：CN202011322690.4
申请日：2020-11-23
Applicant: 北京轩宇信息技术有限公司
Abstract: 本发明实施例公开了一种用于静态分析的多编译混合编译的监控方法及装置。所述方法包括：获取待分析程序对应的程序编译日志；根据所述程序编译日志，识别得到编译命令；根据所述编译命令，设计通用的配置文件模型，并将所述程序编译日志映射至所述配置文件模型，得到转换的编译参数；根据编译器类型提取所述待分析程序对应的编译信息。本发明实施例可以实现对多编译器混合编译的项目进行可配置的编译监控。
-
公开(公告)号：CN112269732A
公开(公告)日：2021-01-26
申请号：CN202011097889.1
申请日：2020-10-14
Applicant: 北京轩宇信息技术有限公司
Abstract: 本发明公开了一种软件缺陷预测特征的选择方法及装置。所述方法包括：根据历史软件缺陷数据库，获取领域缺陷数据集；基于Bootstrap抽样技术对所述领域缺陷数据集进行抽样处理，生成软件缺陷样本集；基于所述软件缺陷样本集和马尔科夫毯模型，对原始特征进行分组，得到多个特征组；根据预先设计的启发式特征选择策略，从所述多个特征组中筛选出初始特征，得到筛选的候选特征序列；基于遗传算法从所述候选特征序列中搜索出目标特征子集。本发明能够更有效地提高软件缺陷预测准确性。
-
公开(公告)号：CN119025409A
公开(公告)日：2024-11-26
申请号：CN202410966968.3
申请日：2024-07-18
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/36 , G06F18/2415 , G06F18/214
Abstract: 本发明提供了一种中断驱动型程序多变量原子性违反检测方法，包括：以真实航天嵌入式软件为数据库，筛选配有详细文档和带有注释源代码的软件，作为关联变量对识别模型的训练数据集；以共享变量对为对象，通过静态分析对训练数据集中的软件中的共享变量对进行特征提取，构建考虑关联变量对的关联性特征的训练数据集样本；构建学习模型并使用训练数据集样本进行训练，得到一个能够自动识别关联变量对的分类器模型；对待分析源程序进行分析，构建变量对样本作为测试样本；将测试样本输入所述的分类器模型进行关联变量对识别；根据识别的关联变量对得到原子区，分析中断的抢占是否可能破坏原子区，完成多变量原子性违反检测。
-
公开(公告)号：CN114817045B
公开(公告)日：2024-10-25
申请号：CN202210472030.7
申请日：2022-04-29
Applicant: 北京轩宇信息技术有限公司
Abstract: 本发明涉及一种高效的源代码覆盖率确定方法及系统。该方法在插桩时计算出MC/DC真值表，利用位向量压缩真值表并在采集过程中实时计算真值表覆盖情况，具有精度高、膨胀率低和执行速度快的优点。同时，该方法无需额外的辅助插桩点，也无需频繁I/O和输出大量信息，产生的数据量与现有的执行标记方式相当，从而实现了低膨胀率和快速的精确覆盖率分析。
-
公开(公告)号：CN112380133B
公开(公告)日：2024-05-14
申请号：CN202011314585.6
申请日：2020-11-20
Applicant: 北京轩宇信息技术有限公司
Abstract: 本发明实施例公开了一种指令集模拟器利用功能库仿真的方法及装置。所述方法包括：获取目标码中需要利用功能库进行仿真的目标码函数名，及所述目标码函数名对应的功能库函数名；调用目标码解析软件对所述目标码进行解析，确定所述目标码函数名对应的目标函数入口地址；根据所述目标码函数名和所述目标函数入口地址，生成函数地址信息对应表，并将所述函数地址信息对应表发送至指令模拟器；通过所述指令模拟器根据所述功能库函数名，利用功能库函数进行仿真，以得到仿真结果。本发明实施例解决了指令集模拟器调试、测试过程中仿真复杂算法效率较低、计算结果精度较差的问题，解决了对于目标码动态调用外部库函数时无法解析的问题。
-
Patent Agency Ranking
公开(公告)号：CN112363729B
公开(公告)日：2024-05-14
申请号：CN202011322690.4
申请日：2020-11-23
Applicant: 北京轩宇信息技术有限公司
Abstract: 本发明实施例公开了一种用于静态分析的多编译混合编译的监控方法及装置。所述方法包括：获取待分析程序对应的程序编译日志；根据所述程序编译日志，识别得到编译命令；根据所述编译命令，设计通用的配置文件模型，并将所述程序编译日志映射至所述配置文件模型，得到转换的编译参数；根据编译器类型提取所述待分析程序对应的编译信息。本发明实施例可以实现对多编译器混合编译的项目进行可配置的编译监控。
-
公开(公告)号：CN112257963B
公开(公告)日：2023-08-29
申请号：CN202011311120.5
申请日：2020-11-20
Applicant: 北京轩宇信息技术有限公司
Abstract: 本发明公开了一种基于航天软件缺陷数据分布离群点的缺陷预测方法及装置，包括：根据存在离群点现象的样本数据，构建航天嵌入式软件缺陷数据对应的离群点训练集和离群点测试集；根据所述离群点训练集，训练得到第一数量的软件缺陷预测模型；根据所述离群点测试集，对所述软件缺陷预测模型进行测试验证，并按照评价指标对所述软件缺陷预测模型进行排序，得到排序预测模型；基于遗传算法构建自动化搜索优化算法，并结合所述排序预测模型在元分类器基础上逐层递归，查找可被替换的模型节点；根据不同的评价指标和所述模型节点，优化得到目标模型结构，并获取航天嵌入式软件缺陷数据分布离群点的缺陷预测方法。本发明可以提高第三方软件测评效率。
-
公开(公告)号：CN111124723B
公开(公告)日：2023-04-14
申请号：CN201911067304.9
申请日：2019-11-04
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/07
Abstract: 本发明公开了一种基于干扰变量的中断驱动型程序整数溢出模型检测方法，该方法包括：对待处理程序进行解析，得到干扰变量集合；根据干扰变量集合中的干扰变量信息，对中断函数进行抽象处理，得到中断函数摘要；在主程序中插入中断函数摘要，得到顺序化后的程序；获得顺序化程序的静态单赋值形式SSA，并进行程序模型状态空间约简处理，得到约简后的程序；使用有界模型检测工具CBMC，对约简后的程序进行整数溢出检测。本发明在保证整数溢出问题检出率的前提下，不仅能够提高分析效率，还使得已有的模型检测技术能够适用于中断驱动型程序整数溢出检测。
-
公开(公告)号：CN114817045A
公开(公告)日：2022-07-29
申请号：CN202210472030.7
申请日：2022-04-29
Applicant: 北京轩宇信息技术有限公司
Abstract: 本发明涉及一种高效的源代码覆盖率确定方法及系统。该方法在插桩时计算出MC/DC真值表，利用位向量压缩真值表并在采集过程中实时计算真值表覆盖情况，具有精度高、膨胀率低和执行速度快的优点。同时，该方法无需额外的辅助插桩点，也无需频繁I/O和输出大量信息，产生的数据量与现有的执行标记方式相当，从而实现了低膨胀率和快速的精确覆盖率分析。
-
公开(公告)号：CN112560273A
公开(公告)日：2021-03-26
申请号：CN202011519760.5
申请日：2020-12-21
Applicant: 北京轩宇信息技术有限公司
IPC: G06F30/20
Abstract: 本发明公开了一种面向数据流模型的模型组件执行顺序确定方法及装置。方法包括：获取数据流图中的待排序模块；将待排序模块作为邻接矩阵的顶点，构建三个邻接矩阵；三个邻接矩阵分别为数据流关系邻接矩阵(简称数据流阵)、控制流关系邻接矩阵(简称控制流阵)和数据流与控制流的合成关系邻接矩阵(简称合成阵)；根据数据流阵、控制流阵和合成阵对应的查找顺序，查找三个邻接矩阵中的无前置顶点的目标顶点；在查找得到目标顶点的情况下，删除目标顶点，并对删除目标顶点对应的其它顶点进行排序，以得到待排序模块对应的执行顺序。本发明可以对控制流线，数据流线不全部成环的情况进行排序，可以避免数据流线构成代数环后无法排序的情况。
-
-
-
-
-
-
-
-
-
Search Results
76
records
(took 0.027 seconds)
