International Static Analysis Symposium

SAS 2006: Static Analysis pp 318-335

Analysis of Low-Level Code Using Cooperating Decompilers

  • Bor-Yuh Evan Chang
  • Matthew Harren
  • George C. Necula
Conference paper

DOI: 10.1007/11823230_21

Volume 4134 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Chang BY.E., Harren M., Necula G.C. (2006) Analysis of Low-Level Code Using Cooperating Decompilers. In: Yi K. (eds) Static Analysis. SAS 2006. Lecture Notes in Computer Science, vol 4134. Springer, Berlin, Heidelberg

Abstract

Analysis or verification of low-level code is useful for minimizing the disconnect between what is verified and what is actually executed and is necessary when source code is unavailable or is, say, intermingled with inline assembly. We present a modular framework for building pipelines of cooperating decompilers that gradually lift the level of the language to something appropriate for source-level tools. Each decompilation stage contains an abstract interpreter that encapsulates its findings about the program by translating the program into a higher-level intermediate language. We provide evidence for the modularity of this framework through the implementation of multiple decompilation pipelines for both x86 and MIPS assembly produced by gcc, gcj, and coolc (a compiler for a pedagogical Java-like language) that share several low-level components. Finally, we discuss our experimental results that apply the BLAST model checker for C and the Cqual analyzer to decompiled assembly.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Bor-Yuh Evan Chang
    • 1
  • Matthew Harren
    • 1
  • George C. Necula
    • 1
  1. 1.University of CaliforniaBerkeleyUSA