报告题目：面向应用的软件静态分析技术

报告时间：2024年1月12号14:30

报告地点：美高梅4688集团amB404会议室

报告人：严俊

报告人单位：中国科学院软件研究所

报告人简介：严俊，博士，中国科学院特聘研究员，中国科学院软件研究所研究员、博士生导师，中国科学院大学岗位教授。长期从事程序分析、软件测试方面的研究，在软件工程领域知名的期刊和会议发表多篇论文。主导开发的工具发现了多个知名商业软件和开源软件中的缺陷，并得到了开发者的确认。参与起草了国家标准GB/T 38639-2020“系统与软件工程 软件组合测试方法”。严俊的博士学位论文获得了2009年度CCF优秀博士论文提名奖，并于2021年获得CCF科学技术奖自然科学一等奖（高精度智能化的软件分析与测试方法，排名第三）。在中国科学院大学开设本科与研究生的软件分析方向的专业课程，曾获得北京市教委 “优质本科教案”，中国科学院大学领雁银奖，校级优秀本科课程荣誉。

报告摘要：程序静态分析是软件工程中的基础性技术，能够在不运行程序的前提下分析程序的性质及可能的缺陷。但静态分析技术在处理大规模软件时会有精度和效率方面的问题。本次报告中，我们将分享课题组以静态分析技术为基础，对C++软件包和安卓应用软件开展针对性的缺陷检测的研究工作及经验。

邀请人：玄跻峰、谢晓园