探境源码智能模糊测试系统

探境

探境是一款基于人工智能和自主学习的商用智能模糊测试产品

短时间内生成海量且有效的测试用例输入被测程序中,全面覆盖被测程序中每一条可执行的路径

快速触发潜在缺陷,

实时复现缺陷和实现精准定位

用于软件测试阶段,

集成到软件开发各个流程中

主要功能

旨在帮助各类组织机构不断提升软件资产安全程度

漏洞类型

可检测多种Bug类型,如内存错误、缓冲区溢出、数据竞争、挂起、死锁等导致系统崩溃的漏洞

健壮性检测

不仅关注危害严重的安全缺陷,更能够检测影响范围更广的可靠性缺陷,以提高系统健壮性

挖掘未知漏洞

系统不仅仅可以找到已知漏洞,还可以挖掘隐藏在冰山下的大量未知漏洞

完全零误报

系统找到的都是真正有意义的致命漏洞,几乎没有任何误报,大大的提高了工作效率

定位代码行

能够精准定位漏洞具体位置,并可以对漏洞进行迅速复现和为用户提供修复建议

多种编程语言

支持多场景Linux的C/C++编程语言,后续将陆续支持Java、Python等编程语言

多种文件格式

可上传二进制文件进行黑盒测试,也可使用定制编译器编译的二进制文件进行动态的灰盒测试

多部署方式

根据不同用户的需求,支持云端在线测试平台和特定用户的本地化部署版本

性能指标

高覆盖率

系统基于路径反馈的智能学习机制,能够全面提升目标程序的函数覆盖率、语句覆盖率、条件覆盖率

性能强劲

几乎是目前市面上性能最好的模糊测试工具,在权威LAVA-M等测试集上找到的漏洞数大幅领先其它同类工具,甚至好了不止一个数量级

缺陷定位

快速复现和定位缺陷位置,可精确到错误代码行,并针对每个代码缺陷提供修复意见。帮助用户有效的发现并解决代码缺陷问题

实时监控

系统拥有友好可视化的操作界面,在测试代码的同时能够实时监控测试状态和测试进度,例如代码覆盖率等

自动生成用例

智能自动化用例生成技术,短时间内自动进化生成无数有效用例,较传统人工测试,其效率高了几个数量级

多任务并发

系统支持多个任务并行处理,用户可以根据不同的测试方式,建立多个测试任务进行检测,提高工作效率

产品优势

旨在帮助各类组织机构不断提升软件资产安全程度

产品优势

全自动测试

系统配置后不需要任何人工干预,能够针对不同类型的程序进行完全自动化的测试,并自动生成测试结果以及修复建议

测试左移

智能模糊测试作为DevOps流程的一部分,能够将模糊测试植入开发阶段,能够在软件开发生命周期的每个阶段持续测试

持续学习能力

具有强大的学习功能,随着测试的深入可以基于原有输入,持续升级后续输入,从而达到以指数级别扩大的输入样本规模

多种测试方式

系统支持灰盒、白盒、黑盒多种测试方式,并且能够方便接入Jenkins、Github等DevOps平台,方便用户进行测试

应用场景

自动驾驶系统

对智能驾驶的软件系统,如ADAS等应用软件提供自动化测试服务

军工系统

特种装备上的关键系统进行测试,可以极大提升武器装备的稳定性

操作系统

对系统源代码检测,曾找到大量可靠性缺陷包括zero-day漏洞

数据库

对数据库源代码进行化检测,曾在主流数据库中找到致命性缺陷