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

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