-
- 软件测评实验室
- CNAS咨询服务
- 性能测试工具(KeyTurbo)
- 组合测试工具(KeyCombine)
- 硬件行为级仿真平台(SkyEye)
- 目标码测试工具(LogicScout)
- 功能测试工具(AutoFun)
- 性能测试工具(AutoLoad)
- 嵌入式软件虚拟验证平台(KeySurvey)
- 软件黑匣子(LogicMonitor)
- 异常环境自动化测试系统(AIPro)
- 代码可持续集成设备安全检测系统(AITesting)
- 智能电能表自动化测试平台(MeterTest)
- 电子系统接口数据设计与管理工具(ICDManager)
- 系统级灰盒测试工具(TestTrace)
- 白盒集成测试环境系统(CuttleITE)
- 接口协议测试工具(Kinterface)
- 静态测试工具(EagleEye)
- 单元测试工具(EagleWing)
- 半实物仿真功能测试系统(TestQuest Pro)
- 数据定义检查工具(KTDataDef)
- 内存泄漏检测工具(KeyMemory)
- 源代码缺陷分析工具(KeyWeak)
通过词法分析、语法分析、控制流分析等技术对程序代码进行扫描,验证代码是否满足规范性、安全性、可靠性、可维护性等指标。对扫描出的结果形成符合国家军用标准(GJB438B/C)的全中文测试报告,帮助软件开发人员、软件测试人员、质量保证人员查找代码中存在的结构性错误、安全漏洞等问题,便于软件开发人员及时修补软件漏洞,从而保证软件的质量 。
产品简介
支持对代码中指针使用的安全性进行检查,包括空指针、野指针、指针初始化、指针释放等。
01
支持对代码中的安全运算进行检查,包括数组越界、缓存越界、除零错误等。
02
支持200种CWE缺陷模式检查,并支持对检查结果进行分级、分类统计。
03
支持Java、C#、JavaScript、TypeScript、Kotlin、Ruby、Go、Scala、Flex、Python, PHP、HTML、XML、VB.NET、SQL、C++等编程语言CWE安全缺陷分析。
04
技术指标
- 提供安全规则集配置功能,方便用户根据个性化需求创建不同的规则集,支持对规则集的编辑和修改。
05
支持HTML、PDF、XML格式的报告生成和报告定制。
06