CodeSense是新一代的软件源代码缺陷深度分析平台。基于国防科技大学、清华大学、中科院的专家团队对代码静态分析技术的深度理论研究，结合软件工程实践研发而成，现已支持10余种编程语言和开发框架，并可在多种国产平台部署。CodeSense采用业界先进的值流图分析技术，能够实现跨程序/跨文件的上下文敏感分析与对象敏感分析，精准的检测软件安全漏洞与质量缺陷，结合独有的智慧减负与黑白名单技术，高效地协助安全部门或研发团队为软件的安全与质量保驾护航。

XFuzz软件智能模糊测试平台是泛联新安基于国防科技大学、清华大学、中科院等院校多年技术积累研发的高级模糊测试解决方案，能够与缺陷检测和漏洞挖掘的全过程相融合，基于多种行业安全专家缺陷检测和漏洞挖掘经验，通过基于程序分析和运行时反馈的信息智能生成海量的测试用例，实现模糊测试用例自动执行、质量缺陷检测、安全漏洞分析与验证，极大减少手动测试工作量，提前暴露软件中的安全问题与质量缺陷。XFuzz在信创产品、无人驾驶、民用航空、工业设备等多场景多领域已挖掘大量漏洞，大幅度提高客户被测产品的可靠性和稳定性。

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

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

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