支持国军标8114的静态分析和C/C++语言的单元测试，可以自动生成满足语句、分支、MC/DC准则的测试用例。

SmartRocket Scanner是是国内首款采用双引擎模式分析源代码与二进制文件的漏洞扫描工具，可支持C/C++在内的10多种主流编程语言。

SmartRocket Fuzzer是一款基于动态二进制插桩的灰盒模糊测试软件，对被测程序的程序分析和插桩基于自研的动态二进制插桩平台。

SmartRocket Analyzer是一款静态代码扫描工具，采用业界独创的虚拟执行技术进行代码漏洞挖掘。

SmartRocket iVerifier是国内首款iLOCK型计算机联锁系统验证工具，可以自动对所有安全要求进行正式验证。

为了建设车联网安全检测和培训体系而搭建的安全检测环境。测试方案涵盖车机软件、车载通信、车内智能终端设备、车内总线等检测环境。

一款软硬件结合的一站式汽车信息安全测试工具平台，方便测试人员携带到现场，对汽车进行全方位、标准化的信息安全测试。

国内创新的一站式工具平台，可以针对不同用例应对多种场景，而测试人员只需熟悉工具箱产品，就能对汽车进行测试，大大降低了测试人员的技术素养和要求。

轨道交通系统信息安全检测工具箱是一款软硬件结合的一站式轨道交通系统信息安全检测工具平台，主要用于轨道网络生产控制系统的信息安全风险评估和现场工作管理。

打造自动化流水作业的安全检测分析工具，实现在设备入网前/后的安全检测，发现漏洞、评估威胁，降低物联网设备的供应链安全风险。

实现边缘侧终端设备持续感知、接入安全管控、访问行为安全分析、违规异常检测预警、安全态势智能处置等的各类复杂组合场景的能力。

依照信息安全开发流程，规范产品的安全开发过程；梳理、定义产品的信息安全功能与需求，制定相应的验证测试方案。

以车载信息安全体系为基本架构，适配高校教学和学员信息安全素养建设等实际需求，将模拟生产环境下的车辆安全测试和培训教学相结合。

车载入侵检测防御系统IDPS提供OTA升级安全、系统安全、日志存储安全、车外网络安全、车内总线安全以及GNSS欺骗等多种安全监控防护手段。

上海控安联合旗下革路团队，提供了网联安全终端单元的开放参考设计。搭载自主可控 KSE2.0 安全加密模块。

设计基于模型和形式化方法的开发与验证流程，以及相应的适航审定体系，最终达到中国民航总局、FAA、EASA等相关各方的适航审定要求。

异常人群预警分析系统通过图像智能分析处理技术来监测异常人员的心理生理上的状态，对宏观振动进行动态移动的监控预警。

生理心理健康评估系统同步计算分析受测者生理、心理状态，以色谱方式即时呈现受测者实时心理活动状态。

运用机器视觉技术，通过光学装置和非接触传感器，自动接收和处理物体图像获取信息，全自动、无接触地完成PCBA产品的缺陷检测。