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

InterFace Test（接口测试仪）针对硬件电子设备提供接口测试、功能测试和性能测试功能，覆盖单机调试、软件配置项测试和环境模拟试验等全生命周期过程测试需求，具有模块化、可扩展、高度自动化的特点，广泛应用于航天、航空和国防等领域。

CodeSense 是新一代的软件源代码缺陷分析平台。经过清华大学与国防科技大学的专家团队对代码静态分析技术的深度理论研究，结合软件工程实践研发而成。CodeSense 使用了控制流分析、数据流分析、上下文敏感分析、对象敏感分析、跨程序分析和跨文件分析等多种国内外先进技术，能够精准的检测软件安全漏洞与质量缺陷，支持多种编程语言，具有强大的检测规则扩展能力，支持多种开发环境与国产化平台。

软件智能模糊测试平台XFuzz是一种高级的模糊测试解决方案，通过基于程序分析和运行时反馈智能生成测试用例，自动缺陷检测和验证大大减少手动测试的工作量，帮助客户以更少的时间、成本和精力来交付安全可靠的软件。

ChipDevTurbo是一款可定制的芯片配套开发加速工具，通过直观的交互图形界面，协助芯片设计组织与机构简化配置过程并加速产品研发，令引脚多路复用配置、冲突预览和解决、全局功能浏览、文档维护和团队协作工作变得异常简单，使得企业有更多的时间创造差异化的产品。