首页» 支撑工具» 静态代码分析工具» 产品介绍

产品介绍

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

  • 语义缺陷:CoBOT支持CWE 14类110+种语义缺陷。能够检测出代码中关键性质量问题及语义缺陷,并提供精准定位,帮助您快速、有效修复缺陷,保证代码的可靠性。
  • 用户定制:CoBOT为您“量身定制”各类编码规则和语义缺陷检测,也可以定制各类报表、文档和编译环境,用最短的周期满足您最实际的需求。
  • 安全漏洞:CoBOT支持8类90+种常见的安全漏洞分析,包括缓冲区溢出、数组越界、整数溢出、浮点数溢出、SQL注入等等。自动扫描代码,发现潜在安全风险或者违反安全策略的软件缺陷,帮助您即时
  • 编码规则:CoBOT支持10类标准,1000+编码规则。包括GJB 5369-2005、GJB8114、MISRA C/C++、921 C-2007、CRSC、ISO/IEC TS 17961:2013C等。帮您找出代码中不
  • 软件度量:CoBOT通过度量分析能够检测包括圈复杂度,函数扇入扇出,注释率等20余项度量指标,帮助您对代码的质量进行评测,对代码进行合理管控。
  • 覆盖率计算:CoBOT支持测试用例生成,以及覆盖率计算。通过被检代码可以自动生成部分测试用例,您可将自己的用例丰富,并自动计算语句、分支、路径覆盖率(自动给出不可达路径)。