validation - 実装における静的解析とシンボリック実行

Question

静的解析の実装とシンボリック実行の違いは何ですか?

Answer 1

Julian Cohen の Contemporary Automatic Program Analysis の講演によるこのスライドがとても気に入っています。簡単に言えば、人々はプログラム分析を静的分析と動的分析の 2 つの広いカテゴリーに分けたいと考えています。しかし、実際には、静的から動的、手動から完全自動まで、さまざまなプログラム分析手法があります。シンボリック実行は、静的分析と動的分析の中間に位置する興味深い手法であり、一般に完全自動アプローチとして適用されます。