库博静态代码分析工具
发布时间：2015-07-03 16:51:48
点击数：7
基本信息
| 单位名称 | 北京北大软件工程发展有限公司 | ||
| 专业领域 | 信息技术/计算机技术 | ||
| 先进程度 | 国际先进、国内领先、国内先进 | 信息来源 | 自荐 |
| 产品（技术）关键词 | 静态代码分析技术；国产化自主知识产权； | ||
产品（技术）简介
库博是北京大学自主研发支持C/C++静态代码分析工具。能够检测编码规则 1000余条，如GJB8114,GJB5369,MISRAC/C++ 系列等。能够检测CWE的严重程度较高缺陷100余条：如：内存泄漏、空指针使用、缓冲区溢出等 效果： 1 在规则方面：可检测的种类和精度（误漏报）远强于Testbed最新版本 2 在缺陷方面，与Klocwork、Coverity相似 特色： 1 能够进行定制开发，包括缺陷定制及结果模板定制，已定制开发了支持高铁通号院CRSC 220余条规则，北京航天指控中心 66条规则 2支持国产化环境，如中标麒麟，WPS等，无须安装数据库 3 可以在编译未通过情况下检测
上一篇：控制器
下一篇：跨网安全信息单向传输系统
免责声明： 本内容由政府机构、行业协会和企业自行提供，上述单位应依法对其提供的任何信息承担全部责任。