报告题目：符号执行（Symbolic Execution）40年：回顾，挑战，展望

报告人： 郭曦 副教授

报告时间：2017年2月23日（周四）16:00

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

摘要：

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

报告人简介：

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