二进制代码大规模同源分析 ：BinSearch
BinSearch是一款基于云计算和大数据的二进制代码同源分析平台 ，该平台通过对软件二进制代码 、代码结构及软件行为的比较 ，分析两个软件之间的相似性，并以此作为同源性判断的依据 。通过同源性分析，可发现被重复使用的代码中包含的已知漏洞，或是被插入的恶意代码，并可以很方便地将属于同一个家族的恶意软件归类 ，从而系统地对其进行分析和防治。
中断缺陷检测工具 ：Interruptsafe
Interruptsafe是一款中断数据竞争缺陷的检测工具 ，采用缺陷模式 、抽象解释、过程间分析、指针分析等技术对中断引入的并发语义进行高效、可靠分析，并支持多任务、多级中断（不同中断的优先级不同）。数据竞争检查系统是由研发团队经过长期技术积累并面向实际应用单位需求研发的一款专门针对C\C++代码数据竞争相关缺陷检测的商业化工具。
代码静态规则检查-：智能单元测试
iUnit是国内第一款针对C/C++语言的，具有自主知识产权的单元测试平台。它采用先进的技术自动完成单元测试 ，大幅度提高开发和测试人员的效率，缩短软件开发周期。此外 ，iUnit无误报的深度缺陷检测还能显著提升软件质量 ，并能针对GJB 5000A/CMMI提供一站式解决方案 。
智能安全代码守护者 ：CodeSence Pro
CodeSense Pro是新一代软件源代码缺陷深度分析平台，源自国防科技大学与清华大学研究团队多年对代码静态分析技术的理论深耕 ，结合软件工程实践研发而成 。具有良好的语言扩充性、规则完备性 、开发环境可集成性。采用控制流分析、数据流分析、上下文敏感分析、对象敏感分析、跨程序分析和跨文件分析等多种先进技术 ，精准检测软件的漏洞与缺陷。
