关于我们
      库博是由北京北大软件工程发展有限公司和北京大学软件工程国家工程研究中 心联合研发的一种C/C++/JAVA程序静态分析工具,采用基于专利技术的分析引擎并开发出具有自主知识产权的静态分析框架,综合运用了多种最先进的静态分析 技术,能够在第一时间发现代码的问题,自动识别质量缺陷、安全漏洞、叫问题,并可以提供软件度量、覆盖率计算及规则的定制化分析功能、质量报表的模块 定制功能。
      库博的研发团队中包含多名北京大学科研人员及在读博士、硕士,科研背景深厚,技术实力过硬,也保证了库博的高质量。在2015年11月,库博获得CWE符合性 认证,成为国内第一个也是目前唯一一个获得CWE认证的程序静态分析工具。
          库博相比其他同类产品主要有如下特点:

  • 支持编译不通过的检测。
  • 更强大的功能:同时支持编码规则、语义缺陷、安全漏洞的检测,能适应嵌入式、QT等编码环境,还具备软件度量、覆盖流率计算等功能。
  • 更高的精度:库博的语义缺陷检测的现有精度为误报率15%左右,相对误报率20%左右,达到国际先进水平。
  • 更快的检测速度:百万行代码能在一小时内完成检测。
  • 全面国产化支持:具有全中文界面,支持中标麒麟等国产话操作系统以及WPS格式化的报表导出。
  • 更好的服务:主要研发团队均在中国,能提供即时的问题咨询答复,还提供上门安装、上门检测、用户定制缺陷开发等服务。

      这些特点使得库博在业内广受好评,成为国内最具代表性的程序静态分析工具。

联系我们
  •       电话 :  010-62766856
  •       邮箱 :  masen@pku.edu.cn
  •       QQ  :  1594080745