כלי התוכנה מקבלת כקלט את קוד המקור של תוכנית מחשב, מפיקה כפלט רישום מזהה כל המשתנים של התוכנית, תוויות, מזהים אחרים, מציין אילו משפטי בתוכנית להגדיר, בחר או השתמש כל אחד.