Программное средство, который принимает в качестве входных данных исходного кода компьютерной программы и производит как выходного листинг, идентифицирует каждый из переменных программы, этикетки и другие идентификаторы и указывает, какие заявления в программе определить, установить или использовать каждый из них.