Valgrind's libVEX - a library for dynamic binary instrumentation and translation