Програмний інструмент, який приймає як вхідне вихідний код комп'ютерної програми і виробляє якості вихідного перелік, який ідентифікує кожен з програми змінних, етикетки та інших ідентифікаторів і вказує із заявами в програмі визначити, встановити або використовувати кожен з них.