Một công cụ phần mềm mà chấp nhận như là đầu vào mã nguồn của chương trình máy tính và sản xuất như đầu ra một danh sách mà xác định mỗi người trong số các biến của chương trình, nhãn và định danh khác và chỉ ra những phát biểu trong chương trình xác định, thiết lập, hoặc sử dụng mỗi một.