Analisis program komputer untuk mengidentifikasi semua mungkin jalan melalui program, untuk mendeteksi path lengkap, atau untuk menemukan bagian-bagian dari program yang tidak pada setiap jalan.