Capacitatea unui compilator de a reţine informaţii limbaj simbolic şi de nivel înalt (cum ar fi tipul şi definiţiile funcţiilor), astfel încât un instrument de depanare se poate folosi aceste informaţii.