设为首页 - 加入收藏
广告 1000x90
您的当前位置:144177黄大仙有求必应 > 静态分析 > 正文

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

来源:未知 编辑:admin 时间:2019-05-12

  (原标题:静态代码分析工具库博(CoBOT)出席2017TiD质量竞争力大会)

  2017年7月16日-19日2017TiD质量竞争力大会在北京国家会议中心正式召开。主题为下一代软件研发:难点与突破。全体会议主旨演讲特邀全球顶级神秘嘉宾,启迪思想,预测科技,同时各分论坛由业内精英主讲涵盖软件研发、大数据研发、互联网研发、IT人发展等内容。北大软件马森、高庆博士出席本次大会,并在并行论坛发表了一系列精彩演讲,引起与会人员的高度认同。

  此次,北大软件马森、高庆博士受邀出席,就《基于静态分析的程序缺陷自动检测与自动修复技术》为主题向与会人员讲解了静态程序分析技术基本流程、技术发展历程、基本流程中相关概念等基础内容,同时也详细的介绍了基于静态分析的程序缺陷自动检测与自动修复技术的工具以及库博(Cobot)的实践、未来前景等。自2016年中央网络安全和信息化领导小组办公室和国家标准化管理委员会发表《关于加强国家网络安全标准化工作的若干意见》,对软件系统和网络的安全问题高度重视。而网络安全问题中很大一部分是由于软件系统的漏洞引起的,各行各业都因软件故障造成过重大损失,软件安全问题不容忽视。在航空、航天、核能、汽车、金融等领域,静态分析工具必不可少,可以及时发现代码问题,自动识别程序缺陷、安全漏洞和编码风格问题,有效的提高代码安全。

  现在越来越多的大型软件企业都开始使用静态分析工具来提高代码安全和产品质量,比如华为、中兴、腾讯等。静态分析工具能用在软件开发任何时期,而且在软件开发初期发现问题,将大大降低修复成本。另外,软件产品要想出口,必须经过权威的静态分析工具检测,达到一定的要求。

  作为中国首家唯一一个获得CWE Compatible的安全产品,静态代码分析工具库博(Cobot)可以检查CWE列举的大部分具有特定缺陷模式的程序语义缺陷、安全漏洞、相关编码规则、计算软件度量信息,辅助生成测试例。北大软件在业界深耕十余年,凭借领先的技术、丰富的经验、精湛的服务在用户中获得极高的评价。

  (原标题:静态代码分析工具库博(CoBOT)出席2017TiD质量竞争力大会)

本文链接:http://that-a-way.com/jingtaifenxi/41.html

相关推荐:

网友评论:

栏目分类

现金彩票 联系QQ:24498872301 邮箱:24498872301@qq.com

Copyright © 2002-2011 DEDECMS. 现金彩票 版权所有 Power by DedeCms

Top