入力データの実際の値ではなく変数名などのシンボルを使用してプログラムの実行をシミュレートし、プログラムの出力は、ソフトウェアの解析手法は、これらのシンボルを含む論理あるいは数学式として示されます。