Programsko orodje, ki sprejema kot vhod kodi računalniškega programa in proizvaja kot proizvodnja kotacijo, ki identificira vsakega programa spremenljivk, oznak in drugih identifikatorjev in označuje izjave, ki jih v programu opredelijo, nastavite ali vsak enega.