A Low-Level Analysis Library for Architecture Recovery

We discuss low-level program analyses that are reusable in many high-level analyses for architecture recovery. They include both program structure analyses known from compiler front-ends and data-flow analyses. In general, high-level analyses use the low-level results only partially. We argue that it is necessary to perform the low-level analyses completely, though. To deal with large systems and to adapt to different high-level analyses, it is, however, necessary to control the low-level analyses' precision and scope.