库博在线客服 结束对话

库博服务助手小白

正在为您服务……

联系我们

010-62766856

cobot@beidasoft.com

北大软件荣获第二届中国创新挑战赛暨中关村首届科技军民融合专题赛决赛二等奖、优胜奖

作者:CoBOT

12月6日,在北京市丰台区军民融合创新工场举办的第二届中国创新挑战赛暨中关村首届科技军民融合专题赛决赛顺利落幕,北京市委常委、副市长阴和俊亲临现场。据...

北大软件将携静态代码分析工具库博(CoBOT)出席TiD 2017质量竞争力大会

作者:CoBOT

TiD 2017质量竞争力大会于2017年7月16日-19日在北京国家会议中心召开,主题:下一代软件研发:难点与突破。全体会议主旨演讲特邀全球顶级神秘嘉宾,启迪思想,...

库博(COBOT)成为中国首家且唯一一家通过美国CWE认证产品

作者:武文嘉

北大软件静态代码分析工具库博(COBOT),通过美国CWE符合性认证,成为中国首家且唯一一家通过该认证的软件安全检测工具,打破了国外产品在软件检测分析领域的垄...

COBOT 2.7.4 添加QT规则

作者:彭婷

COBOT2.7.4添加对QT的环境支持,新增18条QT规则,支持QT4和QT5两个版本。

COBOT 2.7.3 嵌入式支持

作者:彭婷

COBOT2.7.3新增对嵌入式环境的支持,支持多种嵌入式编译器,用户可选择自己需要的嵌入式编译器,和自定义相关类型的长度,避免了相关误报。

COBOT2.7.2 支持C++

作者:彭婷

COBOT2.7.2采用了全新的解析框架,提供对C++的支持。新增MISRA2008C++和GJB8114等规则。

共6条记录 1/1页  首页 上一页 下一页 尾页  第

COBOT在部署一年之后的经验分享

作者:胡婉莉

COBOT静态检测工具迄今已部署了一年有余,累计检测了亿行数量级的代码,在这一年的商业化过程中,我们积累了不少经验。 我们遇到的第一个问题是实验室和商业...

静态分析工具使用调研

作者:胡婉莉

作为静态分析工具的开发人员,如何提高自己产品的竞争力一直是我们关心的问题。发表于ICSE 2013的文章Why Don’t Software Developers Use Static Analysis To...

共2条记录 1/1页  首页 上一页 下一页 尾页  第