Et programvareverktøy som godtar inndata kildekoden til et dataprogram og produserer som utgang en liste som identifiserer hver av programmets variabler, etiketter og andre identifikatorer og angir hvilke uttalelser i programmet definere, angi eller bruke hver enkelt.