報告題目：面向應用的軟件靜態分析技術

報告時間：2024年1月12號14:30

報告地點：437bwin必贏國際官網B404會議室

報告人：嚴俊

報告人單位：中國科學院軟件研究所

報告人簡介：嚴俊，博士，中國科學院特聘研究員，中國科學院軟件研究所研究員、博士生導師，中國科學院大學崗位教授。長期從事程序分析、軟件測試方面的研究，在軟件工程領域知名的期刊和會議發表多篇論文。主導開發的工具發現了多個知名商業軟件和開源軟件中的缺陷，并得到了開發者的確認。參與起草了國家標準GB/T 38639-2020“系統與軟件工程 軟件組合測試方法”。嚴俊的博士學位論文獲得了2009年度CCF優秀博士論文提名獎，并于2021年獲得CCF科學技術獎自然科學一等獎（高精度智能化的軟件分析與測試方法，排名第三）。在中國科學院大學開設本科與研究生的軟件分析方向的專業課程，曾獲得北京市教委 “優質本科教案”，中國科學院大學領雁銀獎，校級優秀本科課程榮譽。

報告摘要：程序靜態分析是軟件工程中的基礎性技術，能夠在不運行程序的前提下分析程序的性質及可能的缺陷。但靜態分析技術在處理大規模軟件時會有精度和效率方面的問題。本次報告中，我們將分享課題組以靜態分析技術為基礎，對C++軟件包和安卓應用軟件開展針對性的缺陷檢測的研究工作及經驗。

邀請人：玄躋峰、謝曉園