以下は、右へ行くほど、人間には難解になる。
仕様書 → プログラム → アセンブラ・機械語

「仕様書 → プログラム」は通常の方向だが、
「プログラム → 仕様書」は人間にとって難解なものを、
仕様書なしの状態で始めるから、非常に困難

例えば、リンゴの変数名を、cat に変えて、
犬の変数名を、apple に変えるだけでも、分析は出来なくなる