Ein Softwaretool, die akzeptiert als Eingabe den Quellcode eines Computerprogramms und erstellt eine Liste, die jeweils von der Programmvariablen, Etiketten und andere Bezeichner identifiziert und gibt an, welche Anweisungen im Programm definieren, festlegen oder verwenden jeweils als Ausgabe.