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

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