MINT
See:
a technical report
a MASCOTS paper
Shade
From
instruction-set simulation and tracing
