1.BugTotal麒麟益码
是一套基于安全可控软硬件平台的代码质量与安全管理系统。支持17种主流开发语言，涵盖国军标等主流安全规范。具有简单易用、功能可扩展、检测能力强、安全可控等优点。可广泛应用与软件开发企业、大型企业软件部门、测评机构等。
2.iunit智慧单元测试平台
是一款针对C/C++语言的单元测试平台。能够对源代码进行路径分析，自动生成单元测试用例并模拟执行，大幅度提高开发和测试人员的效率，缩短软件开发周期。iUnit无误报的深度缺陷检测能显著提升软件质量，并能针对GJB5000A/CMMI提供一站式解决方案。
3.VHawk HDL设计缺陷检查工具
是一款集成电路设计辅助工具。它能尽可能的在集成电路设计初期检测到设计的关键缺陷，提高RTL的设计效率。凭借对早期RTL设计进行深入的分析，提供集成分析、调试和修复的设计缺陷解决方案，用于解决常见的与RTL涉及相关的结构和电气问题。
4.InterruptSafe中断缺陷检测工具
是一款专门检测有终端引发的软件缺陷的商业化工具。中断驱动型程序被广泛应用于汽车电子、航天电子、医疗电子、无线传感器网络等嵌入式领域。
