Previous | 
Home
Section: New Software and Platforms
Mickey
Keywords: Dynamic Analysis - Performance analysis - Profiling - Polyhedral compilation
Functional Description: Mickey is a set of tools for profiling based performance debugging for compiled binaries. It uses a dynamic binary translator to instrument arbitrary programs as they are being run to reconstruct the control flow and track data dependencies. This information is then fed to a polyhedral optimizer that proposes structured transformations for the original code.
Mickey can handle both inter- and intra-procedural control and data flow in a unified way, thus enabling inter-procedural structured transformations. It is based on QEMU to allow for portability, both in terms of targeted CPU architectures, but also in terms of programming environment and the use of third-party libraries for which no source code is available.
-
Publications: hal-02060796v1 - hal-01967828v2