نهج عملي لتتبع التلوث الديناميكي مع علاقات تدفق التحكم

تتبع التلوث الديناميكي، وهي تقنية تتبع العلاقات بين القيم أثناء تنفيذ البرنامج، قد تم استخدامها لدعم مجموعة متنوعة من مهام هندسة البرمجيات. بعض أنظمة تتبع التلوث تأخذ في الاعتبار تدفقات البيانات فقط وتتجاهل تدفقات التحكم. ونتيجة لذلك، لا تعكس التحليلات العلاقات بين بعض القيم. العديد من تطبيقات تتبع التلوث إما تستفيد من هذه العلاقات أو تعتمد عليها لتتبعها، ولكن الأعمال السابقة وجدت أن تتبع تدفقات التحكم يؤدي إلى الإفراط في التلوث، مما يقلل بشكل كبير من دقة نظام تتبع التلوث. في هذه المقالة، نقدم Conflux، دلالات بديلة لنشر علامات التلوث على طول تدفقات التحكم. يهدف Conflux إلى تقليل الإفراط في التلوث من خلال تقليل نطاق تدفقات التحكم وتوفير قاعدة بيانات لتقليل الإفراط في التلوث المرتبط بالحلقات. قمنا بإنشاء تنفيذ لـ Conflux بلغة Java وأجرينا دراسة حالة لاستكشاف تأثير Conflux على تطبيق ملموس لتتبع التلوث، وهو تصحيح الأخطاء الآلي. بالإضافة إلى هذه الدراسة، قمنا بتقييم دقة Conflux باستخدام معيار جديد يتكون من برامج شعبية من العالم الحقيقي. قارنّا Conflux ضد سياسات نشر التلوث الحالية، بما في ذلك نهج حديث لتقليل الإفراط في التلوث المرتبط بتدفقات التحكم، ووجدنا أن Conflux كان لديه أعلى درجة F1 في 43 من أصل 48 اختبارًا إجماليًا.