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