符号执行简介-柯懂湘-2019-01-01-19_00_00.pdf
文本预览下载声明
ThenameoftheDepartmentBeijingForestStudio
北京理工大学信息系统及安全对抗实验中心部门名称
符号执行简介
硕士研究生柯懂湘
2019年1月1日
内容提要
•技术起源
•基本原理
•面临问题解决方案
•实例
•参考文献
2
预期收获
•预期收获
–清楚符号执行用途
–了解符号执行基本原理
–了解符号执行面临的问题与解决方案
–简单使用现代符号执行引擎
符号执行简介
技术起源
技术起源
•开发人员写出如下程序，其中包含一个错误。
INPUT:x,y
2*y==x
falsetrue
xy+10
returnx
falsetrue
returnyERROR
5
背景知识
•作为测试人员，如何检查出上述错误？
测试数据
INPUT:x,y
xyresult
414
2*y==x
falsetrue
323
xy+10
returnx
falsetrue10
显示全部