符号执行技术研究

摘要：

摘要:本文首先介绍了符号执行的过程内分析和程序全局分析的基本原理；接着介绍了其中的路径状态空间爆炸、复杂结构语义和操作语义建模及程序全局分析这三个关键技术的难点及相关研究；最后介绍了一些使用符号执行技术开发的研究型工具.本文从基本原理到技术难点,从理论基础到工具,系统全面地展现了符号执行技术.

关键词： 符号执行 静态分析 源代码安全

作者: 林锦滨 张晓菲 刘晖

作者单位: 中国信息安全测评中心南亚 北京 100085;中国科学技术大学 安徽合肥 230026 中国信息安全测评中心南亚 北京 100085

会议类型: 国内会议

会议名称: 第24次全国计算机安全学术交流会

会议地点: 云南丽江

会议语种:中文

页码: 404-408

在线出版日期: 2009-09-04（万方平台首次上网日期，不代表论文的发表时间）