ASE: A Value Set Decision Procedure for Symbolic Execution
2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)（2021）
摘要
A symbolic execution engine regularly queries a Satisfiability Modulo Theory (SMT) solver to determine reachability of code during execution. Unfortunately, the SMT solver is often the bottleneck of symbolic execution. Inspired by abstract interpretation, we propose an abstract symbolic execution (ASE) engine which aims at querying the SMT solver less often by trying to compute reachability faster...
更多查看译文
关键词
symbolic execution,value set decision procedure,strided value interval set abstraction
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要