- [[tracing]]において、プログラムの動作を観測するためのProveを挿入する手法 - [[動的インストルメンテーション]] - コンパイル時・リンク時にインストルメンテーションコード（トレースポイント）を仕込む - [[静的インストルメンテーション]] - ソフトウェアの起動後に、メモリ内の命令を書き換えてインストルメンテーションルーツ員を挿入する方法 - [[デバッガ]]などはこういう感じ