MultiSE: Multi-Path Symbolic Execution using Value Summaries
作者：Koushik Sen;George Necula;Liang Gong;Philip Wontae Choi 作者单位：EECS Department, University of California, Berkeley 加工时间：2015-03-29 信息来源：EECS 索取原文[13 页]
关键词：MultiSE；多路径；符号执行；值总结 摘 要：In this paper, we propose MULTISE, a new technique for merging states incrementally during symbolic execution,without using auxiliary variables. The key idea of MULTISE is based on an alternative representation of the state, where we map each variable, including the program counter, to a set of guarded symbolic expressions called a value summary.
索取原文[13 页]
027-87841330