*姓名
*公司名称
*电话
*邮箱
*选择试用产品
InterruptSafe
中断缺陷检测工具
InterruptSafe是一款中断数据竞争缺陷的检测工具,采用缺陷模式、抽象解释、过程间分析、指针分析等技术对中断引入的并发语义进行可靠性分析,并支持多任务、多级中断(不同中断的优先级不同)检测。支持中断导致的数据访问冲突(也称数据竞争)、代码块的原子性违反等缺陷检测,为软件开发人员与测试人员提供中断数据访问冲突的场景,并检查给定代码块的原子性是否被违反。
展开中国工程物理研究院
长沙鑫航机轮刹车有限公司
5级中断、1万行源代码,10秒以内检测完毕。
操作简易,结果清晰。
普通数据竞争和单变量访问序模式。