报告题目:面向应用的软件静态分析技术
报告时间:2024年1月12号14:30
报告地点:金沙集团wwW3354CCB404会议室
报告人:严俊
报告人单位:中国科学院软件研究所
报告人简介:严俊,博士,中国科学院特聘研究员,中国科学院软件研究所研究员、博士生导师,中国科学院大学岗位教授。长期从事程序分析、软件测试方面的研究,在软件工程领域知名的期刊和会议发表多篇论文。主导开发的工具发现了多个知名商业软件和开源软件中的缺陷,并得到了开发者的确认。参与起草了国家标准GB/T 38639-2020“系统与软件工程 软件组合测试方法”。严俊的博士学位论文获得了2009年度CCF优秀博士论文提名奖,并于2021年获得CCF科学技术奖自然科学一等奖(高精度智能化的软件分析与测试方法,排名第三)。在中国科学院大学开设本科与研究生的软件分析方向的专业课程,曾获得北京市教委 “优质本科教案”,中国科学院大学领雁银奖,校级优秀本科课程荣誉。
报告摘要:程序静态分析是软件工程中的基础性技术,能够在不运行程序的前提下分析程序的性质及可能的缺陷。但静态分析技术在处理大规模软件时会有精度和效率方面的问题。本次报告中,我们将分享课题组以静态分析技术为基础,对C++软件包和安卓应用软件开展针对性的缺陷检测的研究工作及经验。
邀请人:玄跻峰、谢晓园