報(bào)告題目：面向應(yīng)用的軟件靜態(tài)分析技術(shù)

報(bào)告時(shí)間：2024年1月12號(hào)14:30

報(bào)告地點(diǎn)：437bwin必贏國際官網(wǎng)B404會(huì)議室

報(bào)告人：嚴(yán)俊

報(bào)告人單位：中國科學(xué)院軟件研究所

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

報(bào)告摘要：程序靜態(tài)分析是軟件工程中的基礎(chǔ)性技術(shù)，能夠在不運(yùn)行程序的前提下分析程序的性質(zhì)及可能的缺陷。但靜態(tài)分析技術(shù)在處理大規(guī)模軟件時(shí)會(huì)有精度和效率方面的問題。本次報(bào)告中，我們將分享課題組以靜態(tài)分析技術(shù)為基礎(chǔ)，對(duì)C++軟件包和安卓應(yīng)用軟件開展針對(duì)性的缺陷檢測的研究工作及經(jīng)驗(yàn)。

邀請(qǐng)人：玄躋峰、謝曉園