Softvérový nástroj, ktorý akceptuje ako vstup zdrojový kód počítačového programu a produkuje ako výstup záznam, ktorý identifikuje každý program premenných, štítkov a iných identifikátorov a označuje výkazy v programe definovať, nastaviť alebo použiť každý z nich.