学术科研

学术预告:符号执行(Symbolic Execution)40年:回顾,挑战,展望

发布日期:2017-02-21 发表者: 浏览次数:

报告题目:符号执行(Symbolic Execution)40年:回顾,挑战,展望

报告人: 郭曦 副教授

报告时间:2017年2月23日(周四)16:00

报告地点:逸夫楼C座314会议室

摘要:

软件的安全性一直都是软件工程和信息安全等领域的研究热点,其中基于源代码的静态分析是安全性检测的有效方法。符号执行作为目前主流的静态分析方法,得到了广泛的研究和应用。回顾符号执行的基本原理和工作过程,分析传统符号执行存在状态空间爆炸、复杂结构语义建模等不足的原因,以及目前主要的符号执行工具对其进行的改进思路。本报告从基本原理到技术难点,从理论到工具,较为全面地展示了符号执行技术。

报告人简介:

郭曦,男,1983年出生,博士。2013年6月毕业于武汉大学计算机学院信息安全专业,获博士学位。主持国家自然科学基金、湖北省自然科学基金、中央高校自主创新基金各一项。主要研究方向为软件工程、信息安全等。以第一作者发表EI论文10篇。