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