Een softwaretool dat de broncode van een programma als input accepteert en produceert als output een aanbieding die identificeert elk van het programma variabelen, labels en andere identificatoren en geeft aan welke verklaringen in het programma definiëren, ingesteld of elkaar te gebruiken.