Programinės įrangos įrankis, kuris priima kaip pirkimo kompiuterio programos kodo ir gamina išdirbiu sΰraπΰ, kuri identifikuoja kiekvieną programos kintamieji, etikečių ir kitų identifikatorių ir parodo, kurie teiginiai programoje apibrėžti, nustatyti, ar naudoti kiekvienas.