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