SpecChecker提供了高准确度和齐全的编码标准符合性检查，支持最多种类的精确缺陷检测能力，可以与用户软件开发工具和流程无缝集成，最大限度发挥静态分析的效能。主要技术优势：高精度 MISRA C/C++、AUTOSARC++14 检测引
应用安全测试（渗透测试）是通过模拟恶意黑客的攻击方法，来评估计算机网络系统安全的一种评估方法。Seeker软件是市场领先的新一代交互式应用安全测试软件。其独特技术通过模拟攻击分析端到端数据流和运行时代码执行操作，并将其相互关联。Seeker
实时系统软件执行时间性能测试工具（ARTS），从目标板总线、通讯接口或内存获取信号，实现真实目标机在环系统级测试,对实时在线采集到的数据进行分析，获得被测软件的白盒测试结果，包括性能分析、测试覆盖分析(语句覆盖和分支覆盖)、动态内存分配分析、代码跟踪、变量跟踪、支持汇编语言、动态实时调用分析、最坏执行时间分析和报告自动生成功能,支持多任务和多线程的覆盖测试。
VectorCAST/C++是一套用来自动化C/C++单元测试、以及将单元结合后进行集成测试的动态测试方案，用于验证安全关键嵌入式系统必要的模块
市场领先的QAC是为在项目编码阶段的工程师设计的，以确保开发高质量的C代码。QA.C也可以在开发过程的任何阶段用于减少代码bug，并且快速、自动执行、易用、可用于任何规模的开发环境。 QAC提供了高效的、稳定的、完全自动化的环境创建和执行编码规范。QAC快速有效的检测和报告软件的缺陷、语言执行错误、冲突、危险用法和编码规范错误，防止错误进入产品导致开发延期。QAC能够监视和限制复杂度，开发可测试和可维护代码。QAC可以报告代码对特定的编程规范的符合程度。
COBOT是北京大学开发的软件代码静态分析与安全检测工具。COBOT支持10类1000余种编码规则检查、支持CWE 14类110余种语义缺陷、支持8类90余种常见的安全漏洞分析；COBOT通过度量分析能够检测包括圈复杂度，函数扇入扇出，注释
Defensics是新一代的网络应用智能模糊测试工具，它可以采取各种技术生成有效的测试案例，支持各种先进的技术检测应用程序的故障和异常行为，验证出现实世界中的错误模式并对潜在的攻击渠道进行提示，支持290多种网络协议和文件格式，能有效揭露软
应用安全测试（渗透测试）是通过模拟恶意黑客的攻击方法，来评估计算机网络系统安全的一种评估方法。Seeker软件是市场领先的新一代交互式应用安全测试软件。其独特技术通过模拟攻击分析端到端数据流和运行时代码执行操作，并将其相互关联。Seeker
DTS是由北京邮电大学知名教授带领团队研发的软件开发规则检测系统，包含运行参数配置、规则模式检测、检测结果管理、缺陷报告生成等功能。DTS能检测软件代码中常见的开发规则违背情况，提供友好的辅助缺陷定位功能，能够对选定的缺陷模式进行测试，可检
Coverity静态分析软件是最新一代的源代码静态分析工具，技术源自于斯坦福大学，能够快速检测并定位源代码中可能导致产品崩溃、未知行为、安全缺口或者灾难性故障的软件缺陷。Coverity包含900多种质量和安全检测规则，曾协助找到多个0Da
