Uma ferramenta de software que aceita como entrada o código fonte de um programa de computador e produz como saída um anúncio que identifica cada uma das variáveis do programa, rótulos e outros identificadores e indica quais instruções no programa definem, definir ou usam cada um.