最新资讯

首页 新闻中心最新资讯

TiD2017质量竞争力大会主题演讲:《基于静态分析的程序缺陷自动检测与自动修复技术》

发布时间:2017/07/17 字号:【大 中 小】 来源:

717日,北京北大软件工程股份有限公司马森、高庆受邀参加“TiD2017质量竞争力大会并以《基于静态分析的程序缺陷自动检测与自动修复技术》为主题在国家会议中心209AB室进行演讲,有50余位测试工程师、测试经理参加了本次演讲。


主讲嘉宾:马森

简介:2014年获得北京大学计算机软件与理论专业博士学位,2016年于北京大学信息科学技术学院博士后出站,现任北京大学软件工程国家工程研究中心助理研究员,在北京大学软件工程股份有限公司任战略技术部部门经理,兼库博(CoBOT)软件分析工具产品经理。研究方向为软件安全和软件程序分析,在国际顶级会议上发表论文十余篇。近3年,作为项目负责人承担软件分析软件安全类项目4项。

主讲人:高庆

简介:2016年获得北京大学计算机软件与理论专业博士学位,20166月至今在北京大学信息科学技术学院从事博士后研究,任助理研究员。在北京北大软件工程股份有限公司工作,任战略技术部技术负责人。在程序静态分析方面有多年的研究,提出了基于模式的软件缺陷修复方法,将现有缺陷修复技术的精度从30%提高至80%-100%。相关论文发表于ICSEASE等软件工程顶级会议上,申请专利两项。参与研发的静态缺陷检测产品库博(CoBOT”,是我国首个也是唯一一个通过CWE认证的静态软件缺陷检测产品,并在30余家单位得到良好应用。

主讲内容:

一、静态程序分析技术

1) 未知缺陷自动发现的基本流程

2) 未知缺陷静态检测技术发展历程

3) 未知缺陷自动发现的基本流程中相关概念

4) 基于同源分析的已知缺陷发现的基本流程

5) 挑战一:源码漏洞检测精度与效率的折衷

6) 挑战二:逻辑表达式求解的问题

7) 挑战三:缺陷模式的提取

8) 挑战四:同源分析

二、基于静态分析技术的缺陷检测

1) 源代码漏洞自动检测工具

2) 二进制漏洞自动检测工具

3) 缺陷检测工具应用:编码规则、缺陷与漏洞测试

4) CoBOT(库博)缺陷检测工具的优势

5) CoBOT(库博)缺陷检测工具的检测能力

6) 值依赖分析技术

三、基于静态分析技术的缺陷修复

1) 缺陷修复技术的研究背景

2) 一般类型的缺陷修复技术

3) 基于模式的自动修复技术

4) 程序崩溃缺陷

5) 内存泄漏缺陷

6) 基于模式的缺陷定位——正确性

四、总结与展望

1) 我们的实践

2) 静态分析技术的未来前景

会议现场

重要内容摘录

静态代码分析工具CoBOT ,2015年成为中国首家也是唯一一家通过美国CWE(美国国土安全局资助,国际最权威软件缺陷模式库)认证的软件安全检测类产品,打破静态分析产品国外垄断,漏洞检测水平达到国际先进水平。突破了“误报漏报在30%以下的同时程序检测效率达到百万行/小时”这个程序分析领域公认的国际先进水平的检测指标的分析工具,并且目前的检测指标达到“误报漏报在25%以下的同时程序检测效率达到两百万行/小时”。

在航空、航天、核能、汽车、核能、金融等30多家单位得到应用

更加精彩内容尽在71814:45-15:30 《基于静态分析的程序缺陷自动发现技术》将为您深入讲解基于静态分析的程序缺陷自动发现技术。敬请关注!!!


  • 案例简介

    自2005年起,北大软件持续10年通过考核评价系统,向全国组织系统提供届中考核、换届考核、年度考核与一报告两评议等工作的技术支持服务。随着考核工作范围不断扩大、工作标准逐步提高、工作强度逐渐加大,工作及支持服务方式已不能满足后续考核工作要求,迫切需要改变现有工作模式,优化工作流程、减少人工投入,缩减沟通环节、提高工作效率,优化系统支撑,提高工作水平。

    领导班子和领导干部年度考核系统创新应用
  • 案例简介

    北大软件为中央直属机关单位、国资委系统、直属金融机构及北京、重庆、辽宁、吉林、新疆、西藏等省市提供服务

    中组部全国党员统计服务
  • 案例简介

    中共中央组织部领导干部考试测试平台可应用于领导干部竞争性选拔、干部培训和干部考察等工作。能够解决人为考试测评误差;异地考核时物力、人力成本过高等问题;降低试题印刷、运送、保管等工作环节中漏题、泄题的风险。

    中组部领导干部考试测试平台
  • 案例简介

    完成从传统人事管理工作模式到人力资源全业务流程、全生命周期管理的信息化模式转变;实现北京市民政局内部组织人事数据共享、业务工作协同,与相关委办局之间组织人事数据共享与协同;促进组织人事管理由粗放型向精细型、阶段型向持续型、经验型向智能型的转变,达到组织人事管理工作科学化、决策智能化。

    民生服务丨民政人力资源管理