Tarkvara tööriist, mis aktsepteerib sisendina arvutiprogrammi lähtekoodi ja annab väljundiks nimekiri, mis tuvastab iga programmi muutujad, siltide ja muude tunnuste ja näitab, milliseid avaldusi programmi määratleda seatud või kasutada igaüks.