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