CoBOT(库博)静态代码分析检测工具-产品

库博在线客服

结束对话

库博服务助手小白

正在为您服务……

010-62766856

cobot@beidasoft.com

常见问题

CoBOT开发测试平台

库博开发测试平台为您提供多元化功能，帮助您及时、准确发现代码问题，提高软件质量

程序缺陷

支持CWE缺陷中严重等级较高的100余种缺陷类型：资源（内存泄漏）、缓冲区（数组越界）溢出非法计算、整数溢出释放非堆内存、空指针解引用死代码、使用释放后内存差一缺陷、未初始化使用等
编码规则

CoBOT支持MISRA C 2004 、 MISRA C++ 2008、 GJB 5369-2005、GJB 8114-2013（目前国内只有CoBOT可以完全匹配）、GB/T 28169-2011 、921 C-2007、BACC C-2008、CRSC C-2009、ISO-17961(最新安全编码标准)等编码标准集
安全漏洞

基于OWASP，支持其中活跃且严重性等级较高的八类90种安全漏洞检测：输入验证与表示(29种)、API滥用(10种) 安全功能部件(10种)、时间与状态(8种) 错误处理(4种)、代码质量(9种) 封装(11种)、环境(9种)
软件度量

支持20种关于文件、类以及函数/方法的代码度量，主要用于分析代码的清晰性、可维护性以及可测试性：圈复杂度、代码注释率
编译、系统环境

编译环境：
支持GCC、CC、VC06、VC08、CCS、Workbench、Tornado等
操作系统：
中标麒麟、Windows、Linux（Ubuntu）、Solaris（X86、Sparc）、AIX等
二进制缺陷检测

处理器架构：
X86, AMD64
操作系统：
Windows, Linux

六大经典特色

强大的功能

powerful

更准确的代码检测结果

采用先进的分析技术，遍历程序的每一行代码。基于多种检测求精技术，给您提供更加精准详实的检测结果和缺陷描述。
更安全的代码检测环境

采用专利分析引擎技术，自主研发核心技术，检测环境安全可控。测试人员与被测程序的权限区隔离，“守护”好您的每一行代码。
更强大的词法语法分析

能够在工程编译不通过的情况下进行代码检测分析，提示编译缺少的相关文件。用户可以依据系统提示的文件缺失信息，将相应的文件导入到系统指定的目录。
更规范的缺陷等级分类

基于标准（例如GJB8114、MISAR-C 2004、MISAR-C++ 2008等）中定义的缺陷分类，对每一条规则进行严重等级划分（共分为5级）。
更高效的检测效率

在系统内存充足的情况下，可以对多个项目进行并发检测，有效提高检测效率
更全面的特色服务

支持持续集成；支持源代码函数调用图和函数控制流图自动生成