Un outil logiciel qui accepte en entrée le code source d'un programme d'ordinateur et produit en sortie une liste qui identifie chacune des variables du programme, les étiquettes et les autres identificateurs et indique quels énoncés dans le programme de la définissent, définir ou utilisent chacun d'eux.