1. 機械語を IR に変換し
2. IR を単純化、最適化し
3. IR にコードをねじこみ
4. もう一度最適化し
5. 機械語に戻し
6. スケジューラの上で実行する
もっと似ているものとしては Intel Pin
valgrind 2000 年にたいして Pin 2005 年、思ってたより Pin が古い
Pin てのは intel の作ってる似たようなもの。新しい命令とか実機が出る前に試せる
なんか CTF の TSX 問をチームの人が解くのに使ってたけど、実機と挙動が違って結局実機貸したりした記憶があるが……