计算机系统应用教程网站

网站首页 > 技术文章 正文

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

btikc 2025-01-14 10:56:04 技术文章 24 ℃ 0 评论

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


Tags:

本文暂时没有评论,来添加一个吧(●'◡'●)

欢迎 发表评论:

最近发表
标签列表