不透明谓词混淆相关硕士博士期刊学术论文

符号执行是一种重要的形式化方法和软件分析技术,它把程序的输入表示为符号值,并把程序中变量的值以及输出表示为符号值和常量组成......