: Building Customized Program Analysis Tools with Dynamic Instrumentation
1 is for Linux on x86, Itanium®, ARM. Has rich API which follows model (allows write high-level programs). Provides instrumentation using JIT compiler to insert and optimize code. Has efficient attaching and detaching. 2 JIT-compiler takes native sequences, generate new sequences according with Pintool instrumentation and ensures that it regains control when a branch exits the sequence. Sequences caches.
Sergey Vartanov, 2007–2020