提交
×

InterruptSafe

InterruptSafe

中断缺陷检测工具

InterruptSafe是一款中断数据竞争缺陷的检测工具,采用缺陷模式、抽象解释、过程间分析、指针分析等技术对中断引入的并发语义进行可靠性分析,并支持多任务、多级中断(不同中断的优先级不同)检测。支持中断导致的数据访问冲突(也称数据竞争)、代码块的原子性违反等缺陷检测,为软件开发人员与测试人员提供中断数据访问冲突的场景,并检查给定代码块的原子性是否被违反。

展开

产品优势

产品核心功能

主要客户案例

中国工程物理研究院

长沙鑫航机轮刹车有限公司

优秀的检测性能

5级中断、1万行源代码,10秒以内检测完毕。

×
可视化界面配置

作简易,结果清晰;

×
支持C语言中断驱动程序共享变量数据竞争检测

普通数据竞争和单变量访问序模式;

×