MAQAO (Modular Assembly Quality Analyzer and Optimizer) is a tool for static and dynamic analysis and optimization of binary codes, with special focus on the loop-level. Binaries are disassembled, instrumented and reassembled statically, and the control flow is reconstructed. MAQAO's Static Analyzer plugin assesses the code quality of innermost loops, for example w.r.t. vectorization, and provides a best-case estimation of the performance that can be reached, based on a micro-architecture performance model. MAQAO can also provide some hints on how to improve the performance of the code, in terms of source code transformations, compiler flags, pragmas, etc..
Agnostic to programming models (working on the binary level). Mostly useful for single-node performance, but works also with PThreads/OpenMP and MPI.
Open source: GPLv3 (planned)
LRC ITACA / Université de Versailles St-Quentin-en-Yvelines