Software Testing and Binary Static Analysis / Discovering Variables in Executables

Discovering Variables in Executables Author : Gogul Balakrishnan + Thomas Reps Description This paper addresses the problem of recovering variable-like entities when analyzing executables in the absence of debugging information. We show that variable-like entities can be recovered by iterating Value-Set Analysis (VSA), a combined numeric-analysis and pointer-analysis algorithm, and Aggregate Structure Identification, an algorithm [...]