BEaT (Binary Emulation and Translation)

???

See:


From instruction-set simulation and tracing