其他产品

qitachanpin
当前位置:首页 > 其他产品

代码静态分析与安全检测工具(COBOT)


COBOT是北京大学开发的软件代码静态分析与安全检测工具。COBOT支持10类1000余种编码规则检查、支持CWE 14类110余种语义缺陷、支持8类90余种常见的安全漏洞分析;COBOT通过度量分析能够检测包括圈复杂度,函数扇入扇出,注释率等20余项度量指标;COBOT支持测试用例生成,以及覆盖率计算。通过被检代码可以自动生成部分测试用例,您可将自己的用例丰富,并自动计算语句、分支、路径覆盖率(自动给出不可达路径)。

18.jpg

相关信息

Copyright © 凯云联创(北京)科技有限公司  网站备案号:京ICP备17011758号-3

提交成功

谢谢您的宝贵意见,我们将安排客服尽快与您沟通

在线留言