Decomp
See:
bib cite
From
instruction-set simulation and tracing