Ett programvaruverktyg som accepterar som indata källkoden till ett program och ger som resultat en lista som identifierar varje programmets variabler, etiketter och andra identifierare och anger vilka uttalanden i programmet definierar, ange eller använda en.