Proj EULibHarn Paper Reading: Systematic Comparison of Symbolic Execution Systems Intermediate Representation and its Generation

Abstract

问题：

1. What are the respective benefits for symbolic execution of generating IR from source code versus lifting machine code?
2. Does the distinction even matter?
3. What is the impact of not using an IR, executing machine code directly?