CoBOT开发测试平台
库博开发测试平台为您提供多元化功能,帮助您及时、准确发现代码问题,提高软件质量。
  • 语义缺陷 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支持测试用例生成,以及覆盖率计算。通过被检代码可以自动生成部分测试用例,您可将自己的用例丰富,并自动计算语句、分支、路径覆盖率(自动给出不可达路径)。

使用教程

自主支持产权工具采用全中文界面,支持国内最新标准,拥有自主知识产权。操作简单,界面清晰明了,使您能够快速上手

获奖情况

  • 中国唯一一个获得CWE Compatible的安全产品
  • 2015年,北京市/国家科技创新优秀成果奖
  • 获得软件著作权8项
  • 申请专利2项