プログラムを通じ、不完全なパスを検出するためにまたは任意のパスにないプログラムの部分を発見するすべての可能なパスを識別するためにコンピューター プログラムの分析。