【CCF优秀博士学位论文奖-2019】基于路径依赖关系的循环分析技术研究，天津大学谢肖飞

论文题目:基于路径依赖关系的循环分析技术研究

论文作者：谢肖飞，天津大学博士研究生，主要研究方向是计算机科学及计算机应用、软件工程及安全软件工程、可信软件及网络安全等信息安全领域。

指导老师：李晓红，教授，博士生导师,智能与计算学部网络安全学院副院长、软件与信息安全工程研究所所长，天津市先进网络重点室副主任。兼任计算机学会高级会员、中国计算机学会女工委委员、ACM会员、软件工程专委会委员、形式化专委会委员、全国高等学校计算机教育研究会常务理事、天津大学女工委员、智能与计算学部教代会主任。主要从事计算机科学及计算机应用、软件工程及安全软件工程、可信软件及网络安全等信息安全领域的研究工作。 主持和参与科技部“863”计划、国家重大研究计划，国家基金重点、天津市重点等项目20余项，发表重要期刊和会议论文100余篇。在顶级会议和期刊发表论文23篇，其中：CCF A类或SCI一区8篇（TSE2017、JIOT2018、FSE2016、AAAI2017、FSE2017、IJCAI2017、IEEE S&P 2015、IEEE S&P2016），CCF B类9篇（ISSTA2016、ECAI2016，ICSME2017、SANER2017、ICWS2017、ICWS2018、AAMAS2018、ICSOC 2018），JCR一区2篇，SCI二区2篇、SCI三区2篇，论文“Proteus: Computing Disjunctive Loop Summary via Path Dependency Analysis”解决了符号执行中循环处理的难题，被软件工程顶级会议FSE 2016接收，并获得ACM SIGSOFT 2016年度杰出论文奖。曾获授权国家发明专利13项，获湖北省科技进步一等奖1项，天津科技进步三等奖1项。指导博士生获得天津大学优秀博士论文，硕士研究生连续三年获得天津市优秀硕士学位论文。

论文摘要:软件已经被广泛应用于在现代社会的各个领域，由于代码实现不当导致软件 的质量问题也层出不穷。基于静态分析的程序验证和测试是保障软件代码安全性 与正确性的两种主要技术，而循环分析是静态分析中面临的最大挑战之一。在静 态分析中，由于循环的迭代次数往往不能确定，使得无法对循环的所有行为分析 和检测，从而影响程序验证和高覆盖率测试用例生成的效率。循环分析已经成为 程序验证、测试及其它静态分析应用的主要瓶颈。高效的循环分析技术可以提高 程序分析的效率，从而更好地保证软件质量。