Binary Analysis Using Symbolic Execution

Abstract

This paper presents a method of static analysis of executable code that combines abstract interpretation and symbolic execution, where the latter is used in order to refine results of the former.

Keywords

• static analysis
• executable code