TracerX - Dynamic Symbolic Execution with Interpolation (Competition Contribution).
FASE(2020)
摘要
Dynamic Symbolic Execution (DSE) is an important method for testing of programs. An important system on DSE is KLEE [1] which inputs a C/C++ program annotated with symbolic variables, compiles it into LLVM, and then emulates the execution paths of LLVM using a specified backtracking strategy. The major challenge in symbolic execution is path explosion. The method of abstraction learning [7] has been used to address this. The key step here is the computation of an interpolant to represent the learned abstraction.
更多查看译文
关键词
dynamic symbolic execution,interpolation
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络