Una herramienta de software que acepta como entrada el código fuente de un programa de ordenador y produce como salida un anuncio que identifica a cada una de las variables del programa, etiquetas y otros identificadores e indica que las declaraciones en el programa de definición, establecer o utilizan cada uno.