大数跨境
0
0

北大软件携智能源代码缺陷扫描工具CoBOT亮相第七届国防信息化装备展

北大软件携智能源代码缺陷扫描工具CoBOT亮相第七届国防信息化装备展 北软PKUSE
2018-06-21
2
导读:2018年6月21日,北京北大软件工程股份有限公司亮相“第七届中国国防信息化装备与技术博览会”,展示基于值依赖分析的智能自适应分析引擎的智能源代码缺陷扫描工具CoBOT。

2018年6月21日,北京北大软件工程股份有限公司亮相“第七届中国国防信息化装备与技术博览会”,向来自中央军委相关单位、各军兵种装备部门、军工信息化建设、管理部门及所属各机关单位的相关负责人,展示了北大软件建立在基于值依赖分析的智能自适应分析引擎的基础上自主研发的智能源代码缺陷扫描工具CoBOT

 国防信息化装备展

 国防信息化装备展始于2012年,是在中央军委联合参谋部、后勤保障部和装备发展部等多家单位指导,由中国和平利用军工技术协会、全国工商联科技装备业商会、中国国防科协信息化专委会以及中军融合信息技术研究院联合主办,是中国唯一一个以国防信息命名的展会。目前已成为国内国防信息化领域新品展示、技术更新、经验交流的平台。

国防信息化建设高峰论坛:CoBOT

本次展会的国防信息化建设高峰论坛中,北大软件库博项目组专家宋艳辉对CoBOT的背景及研究内容、关键技术、工具功能和效果等进行了详细的讲解。其中尤为引人关注的是,CoBOT与国外产品的区别,主要包含三方面,如下:

一、丰富的缺陷检测类型、支持国产化环境

•支持语义缺陷、安全漏洞、编码标准检测

•支持GJB5369/8114,支持中标麒麟、国产芯片等

二、具备容错的分析能力、准确的检测结果

•支持片段代码支持,国外工具大都需要编译通过

•误报率15%以下,每小时百万行检测速度,达到国际先进水平

三、快速服务定制、持续服务开发流程

•缺陷模式、结果报表、软件度量等快速定制

•提供SDK开发接口,支持持续集成检测

CoBOT获奖情况:

2015年11月  中国首个也是唯一一个通过美国CWE认证的软件安全工具

2017年12月  科技军民融合专题赛二等奖,109支参赛队伍总成绩第4名,民参军第一名

2018年4月  荣获46届日内瓦国际发明展金奖

北大软件立足于相关领域近20年,秉持着“技术领先、用户至上、质量先行”的精神,依托自主创新能力和人工智能的技术优势,将进一步助力软件供应链安全保障,致力于推动代码智能深度发展。

关键词:智能丨源代码丨缺陷扫描工具丨CoBOT丨北大软件


大平台共享 · 大数据慧治 · 大系统共治

北大软件

最具创新能力的国家政务信息化服务商

国际一流的软件工程工具提供商

扫描下方二维码

获取更多详情


【声明】内容源于网络
0
0
北软PKUSE
北京北大软件工程股份有限公司品牌、产品、服务的官方宣传平台。
内容 182
粉丝 0
北软PKUSE 北京北大软件工程股份有限公司品牌、产品、服务的官方宣传平台。
总阅读7
粉丝0
内容182