Narzędzie programowe, które akceptuje jako wejście kod źródłowy programu komputerowego i produkuje jako dane wyjściowe listę, która identyfikuje każdy z programu zmiennych, etykiety i inne identyfikatory i wskazuje, które oświadczenia w programie zdefiniować, zestaw lub wykorzystania każdego.