Uno strumento software che accetta come input il codice sorgente di un programma per computer e produce come output un elenco che identifica ciascuna delle variabili del programma, etichette e altri identificatori e indica quali istruzioni nel programma definiscono, impostare o utilizzano ogni uno.