Ανάλυση ενός προγράμματος ηλεκτρονικού υπολογιστή για να εντοπίσει όλα τα πιθανά πεδία μέσω του προγράμματος, για την ανίχνευση ελλιπή μονοπάτια, ή να ανακαλύψετε τα τμήματα του προγράμματος που δεν είναι κανένα μονοπάτι.