产品与解决方案
T-UNIT 自动化代码验证系统
T-UNIT面向C/C++软件代码验证与测试需求,集成静态分析、单元测试、集成测试和目标机测试能力,支持不同等级 的结构覆盖测试要求,并可根据实际目标机环境进行适配,为代码验证和测试提供一体化工具支持。
查看详情
T-BAT 二进制软件测试工具
T-BAT面向软件供应链及嵌入式软件安全分析场景,无需获取源代码即可对二进制软件中的第三方依赖、漏洞与合规问题进行深度检测,帮助企业有效规避风险,满足强制性法规要求,构建安全可靠的软件供应链。
查看详情
T-FuzzPro 智能模糊测试系统
T-FuzzPro 智能模糊测试系统采用“平台 + 服务”模式,面向协议、数据库、内核、应用及 Web 等软件对象多维度缺陷挖掘,精准发现潜在的未知安全漏洞、稳定性与可靠性风险,并为问题修复提供支持。
查看详情
T-SCA 软件成分分析及漏洞检测工具
T-SCA基于代码大数据与机器学习技术,通过代码成分分析、指纹识别和版权检测等手段,对软件中的第三方库进行成分检测、安全漏洞挖掘和版权分析,并生成综合评估报告,帮助企业掌握软件成分构成及相关安全与合规风险。
查看详情
T-Codelnsight软件源代码静态分析工具
T-CodeInsight 是一款源代码静态分析工具,支持 C、C++、Java 等主流开发语言,可对源代码进行编码规则、运行时缺陷和安全漏洞检测,并提供代码度量、程序架构图生成等分析能力。同时支持检测器自主研发与扩展,帮助组织提升源代码质量与安全检测能力,建立自主可控的代码检测体系。
查看详情