网站首页 > 技术文章 正文
COBOT是北大软件开发的软件代码静态分析与安全检测工具。COBOT支持10类1000余种编码规则检查、支持CWE 14类110余种语义缺陷、支持8类90余种常见的安全漏洞分析;COBOT通过度量分析能够检测包括圈复杂度,函数扇入扇出,注释率等20余项度量指标;COBOT支持测试用例生成,以及覆盖率计算。通过被检代码可以自动生成部分测试用例,并自动计算语句、分支、路径覆盖率(自动给出不可达路径)。
猜你喜欢
- 2025-01-14 一个不错的“短信验证”开源项目,开箱即用
- 2025-01-14 C++入门基础(万字总结)(建议收藏!!!)
- 2025-01-14 Java 中的静态字段和静态方法
- 2025-01-14 静态代码测试多语言特长生 Klocwork 2023.2更新快讯
- 2025-01-14 推荐一个嵌入式静态代码扫描工具!
- 2025-01-14 GO 编程:元编程之插件系统
- 2025-01-14 VB脚本修改静态文本域内容:Wincc V14文本域显示任意文字的方法
- 2025-01-14 代码静态检查Findbugs使用说明
- 2025-01-14 VuePress - Vue驱动的静态网站生成器
- 2025-01-14 Java代码优化秘籍:单例模式与静态变量的正确使用,提升程序性能
你 发表评论:
欢迎- 最近发表
- 标签列表
-
- oraclesql优化 (66)
- 类的加载机制 (75)
- feignclient (62)
- 一致性hash算法 (71)
- dockfile (66)
- 锁机制 (57)
- javaresponse (60)
- 查看hive版本 (59)
- phpworkerman (57)
- spark算子 (58)
- vue双向绑定的原理 (68)
- springbootget请求 (58)
- docker网络三种模式 (67)
- spring控制反转 (71)
- data:image/jpeg (69)
- base64 (69)
- java分页 (64)
- kibanadocker (60)
- qabstracttablemodel (62)
- java生成pdf文件 (69)
- deletelater (62)
- com.aspose.words (58)
- android.mk (62)
- qopengl (73)
- epoch_millis (61)
本文暂时没有评论,来添加一个吧(●'◡'●)