符号执行技术研究与展望

摘要：

符号执行技术出现较早,近些年在软件脆弱性分析领域得到了更多的关注和应用.从介绍符号执行技术的基本原理入手,给出了符号执行的典型算法;从程序状态空间爆炸、程序全局分析和具体符号执行结合三个技术点对单路径符号执行的进展进行了总结;同时,对已出现的应用新型计算模型实现的并行符号执行系统的技术特点进行分析;最后,对符号执行技术的下一步发展趋势和关键技术进行了展望.

关键词： 软件脆弱性分析 符号执行 单路径 并行化处理

作者: 曹琰 王清贤

作者单位: 信息工程大学信息工程学院,河南郑州 450002

会议类型: 国内会议

会议名称: 2012河南省计算机大会暨学术年会

会议地点: 开封

会议语种:中文

页码: 1-5

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