MIL : A language to build program analysis tools through static binary instrumentation

Andres Charif-Rubial (1) , Denis Barthou (2, 3) , Cédric Valensi (1) , Shende Sameer (4) , Allen Malony (4) , William Jalby (1)

1 LI-PaRAD - Laboratoire d'Informatique Parallélisme Réseaux Algorithmes Distribués
2 LaBRI - Laboratoire Bordelais de Recherche en Informatique
3 RUNTIME - Efficient runtime systems for parallel architectures
4 Computer Science Department [Oregon]

As software complexity increases, the analysis of code behavior during its execution is becoming more important. Instru- mentation techniques, through the insertion of code directly into binaries, are essential to program analyses such as performance evaluation and profiling. In the context of high-performance parallel applications, building an instrumentation framework is quite challenging. One of the difficulties is due to the necessity to capture coarse grain behavior, such as the execution time of different functions, as well as finer-grain behavior in order to pinpoint performance issues. In this paper, we propose a language, MIL, for the development of program analysis tools based on static binary instrumentation. The key feature of MIL is to ease the integration of static, global program analysis with instrumentation. We will show how this enables both a precise targeting of the code regions to analyze, and a better understanding of the optimized program behavior.

Domaines: Calcul parallèle, distribué et partagé [cs.DC]

Andres Charif-Rubial, Denis Barthou, Cédric Valensi, Shende Sameer, Allen Malony, et al.. MIL : A language to build program analysis tools through static binary instrumentation. High Performance Computing, Dec 2013, India. pp. 206-215. ⟨hal-00920875⟩