LibVEX is a library for dynamic binary instrumentation and translation
that is normally a part of Valgrind.
