A habilidade de um compilador para manter informações de linguagem simbólica e de alto nível (como definições de tipo e função), de modo que uma ferramenta de depuração pode usar essas informações.