泛联新安logo

联系我们

客服电话 0731-85868499

一款专门针对中断相关缺陷检测的商业化工具,能够检测中断导致的数据访问冲突和代码块的原子性违反。

联系我们,试用InterruptSafe。

为什么要用InterruptSafe?

  • 数据竞争分析

    数据竞争分析

    运用控制流、数据流分析进行精确的函数间、中断间的语义分析,自动检测中断程序可能的中断模式,并报告各中断模式下真正有害的数据访问冲突。

  • 代码块原子性分析

    代码块原子性分析

    通过中断间过程分析,检测中断程序块在并发条件下的原子性,即程序块是否存在中断过程中的数据竞争。快速定位用户关心的代码块。

  • 全面适配复杂开发环境

    全面适配复杂开发环境

    运用独特的编译机制,全面支持DSP、MCU、CPU嵌入式硬件平台/麒麟、翼辉、vxworks、Linux、Sylixos等国内外软件开发环境,可满足各类型软硬件平台上的中断检查需求。

  • 减少软件系统发生故障的风险

    减少软件系统发生故障的风险

    通过全面的分析,检测人工不易发现的数据竞争缺陷,有效提高安全关键软件的可靠性。

  • 提高诊断中断缺陷的效能

    提高诊断中断缺陷的效能

    自动检测潜在有害的数据竞争,呈现可视化图形展示结果,快速定位缺陷所在位置,提高缺陷检测和定位效率。

便捷的中断信息配置

用户可定义的中断缺陷检测相关信息,通过预编译过程获取的程序函数信息,为用户提供便捷的配置选项

清晰直观的缺陷结果展示 清晰直观的缺陷结果展示

清晰直观的缺陷结果展示

成对展示中断数据竞争点信息,呈现数据竞争点所在源文件的上下文信息并高亮相关语句,精准定位缺陷位置。

清晰直观的缺陷结果展示