报告题目:符号执行(Symbolic Execution)40年:回顾,挑战,展望
报告人: 郭曦 副教授
报告时间:2017年2月23日(周四)16:00
报告地点:逸夫楼C座314会议室
摘要:
软件的安全性一直都是软件工程和信息安全等领域的研究热点,其中基于源代码的静态分析是安全性检测的有效方法。符号执行作为目前主流的静态分析方法,得到了广泛的研究和应用。回顾符号执行的基本原理和工作过程,分析传统符号执行存在状态空间爆炸、复杂结构语义建模等不足的原因,以及目前主要的符号执行工具对其进行的改进思路。本报告从基本原理到技术难点,从理论到工具,较为全面地展示了符号执行技术。
报告人简介:
郭曦,男,1983年出生,博士。2013年6月毕业于武汉大学计算机学院信息安全专业,获博士学位。主持国家自然科学基金、湖北省自然科学基金、中央高校自主创新基金各一项。主要研究方向为软件工程、信息安全等。以第一作者发表EI论文10篇。
版权所有:华中农业大学信息学院 地址:湖北省武汉市南湖狮子山街一号 邮编:430070
联系电话:027-87288509 招生就业电话:027-87286876 电子邮件:coi@mail.hzau.edu.cn 新闻投稿邮箱:coi-xinwen@mail.hzau.edu.cn