Et software-værktøj, der accepterer som input kildekoden til et edb-program og producerer som output en notering, der identificerer hver af programmets variabler, etiketter og andre identifikatorer og angiver, hvilke udsagn i programmet definere, angive eller bruge hver en.