أداة برمجيات التي يقبل كإدخال الشفرة المصدرية لبرنامج حاسوبي وتنتج كإخراج قائمة بأن يعرف كل واحد من المتغيرات في البرنامج، والتسميات، ومعرّفات أخرى ويشير إلى البيانات التي في البرنامج تحديد أو تعيين أو استخدام كل واحد.