「Dead Code Insertion」が行われたプログラムを解析する際に有効な手法はどれか。

実行結果に寄与しないコード(デッドコード)を論理的に特定し、無視することで本質的なロジックを抽出する。