Analysis of Low-Level Code Using Cooperating Decompilers

@inproceedings{Chang2006AnalysisOL,
  title={Analysis of Low-Level Code Using Cooperating Decompilers},
  author={Bor-Yuh Evan Chang and Matthew Harren and George C. Necula},
  booktitle={SAS},
  year={2006}
}
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… CONTINUE READING