PurifyPlus

PurifyPlus هو برنامج لتصحيح أخطاء الذاكرة، يستخدمه مطورو البرامج لاكتشاف أخطاء الوصول إلى الذاكرة في البرامج، وخاصة تلك المكتوبة بلغة C أو C++ . كتبه في الأصل ريد هاستينغز من شركة Pure Software . ^{[ 1 ]} اندمجت Pure Software لاحقًا مع Atria Software لتشكيل Pure Atria Software، والتي استحوذت عليها بدورها Rational Software ، ثم استحوذت عليها IBM ، قبل أن تُباع إلى UNICOM Systems , Inc. في 31 ديسمبر 2014. وهو مشابه وظيفيًا لبرامج تصحيح أخطاء الذاكرة الأخرى، مثل Insure++ و Valgrind و BoundsChecker .

يُتيح PurifyPlus التحقق الديناميكي، وهي عملية يكتشف البرنامج من خلالها الأخطاء التي تحدث أثناء تشغيله، تمامًا مثل مصحح الأخطاء . أما التحقق الثابت أو تحليل الكود الثابت ، في المقابل، فيتضمن اكتشاف الأخطاء في الكود المصدري دون الحاجة إلى تجميعه أو تشغيله، وذلك بمجرد اكتشاف التناقضات المنطقية. ويُعد فحص أنواع البيانات بواسطة مُجمِّع لغة C مثالًا على التحقق الثابت.

عند ربط برنامج بـ PurifyPlus، يُدرج رمز التحقق المُصحَّح تلقائيًا في الملف التنفيذي عن طريق تحليل رمز الكائن وإضافته إليه ، بما في ذلك المكتبات. وبهذه الطريقة، في حال حدوث خطأ في الذاكرة، سيطبع البرنامج الموقع الدقيق للخطأ، وعنوان الذاكرة المُتأثر، ومعلومات أخرى ذات صلة. كما يكشف PurifyPlus عن تسريبات الذاكرة . افتراضيًا، يُنشأ تقرير تسريب عند انتهاء البرنامج، ولكن يمكن أيضًا إنشاؤه عن طريق استدعاء واجهة برمجة تطبيقات كشف التسريب الخاصة بـ PurifyPlus من داخل تطبيق مُجهَّز.

تشمل الأخطاء التي يكتشفها PurifyPlus عمليات قراءة وكتابة حدود المصفوفات، ومحاولة الوصول إلى ذاكرة غير مخصصة، وتحرير ذاكرة غير مخصصة (عادةً بسبب تحرير نفس الذاكرة للمرة الثانية)، بالإضافة إلى تسرب الذاكرة (ذاكرة مخصصة بدون مرجع مؤشر). معظم هذه الأخطاء ليست قاتلة (على الأقل ليس في موضع الخطأ)، وغالبًا ما لا توجد طريقة لاكتشافها عند تشغيل البرنامج، إلا من خلال ملاحظة وجود خطأ ما بسبب سلوك غير صحيح للبرنامج. لذا، يساعد PurifyPlus في اكتشاف هذه الأخطاء وإخبار المبرمج بمكان حدوثها بدقة. ولأن PurifyPlus يعمل عن طريق تحليل جميع أكواد الكائنات ، فإنه يكتشف الأخطاء التي تحدث داخل مكتبات الطرف الثالث أو مكتبات نظام التشغيل . غالبًا ما تنتج هذه الأخطاء عن تمرير المبرمج وسائط غير صحيحة لاستدعاءات المكتبة، أو عن سوء فهم لبروتوكولات تحرير هياكل البيانات التي تستخدمها المكتبات. غالبًا ما تكون هذه الأخطاء هي الأصعب في العثور عليها وإصلاحها.

تُعدّ القدرة على اكتشاف الأخطاء غير الفادحة ميزةً رئيسيةً تُميّز PurifyPlus عن برامج تصحيح الأخطاء التقليدية . فعلى النقيض، لا تُتيح برامج تصحيح الأخطاء عادةً للمبرمج سوى تحديد مصادر الأخطاء الفادحة بسرعة، مثل تعطل البرنامج نتيجةً لمحاولة الوصول إلى مؤشر فارغ ، لكنها لا تُساعد في اكتشاف أخطاء الذاكرة غير الفادحة. تُفيد برامج تصحيح الأخطاء في أمور أخرى لا يُصمّم PurifyPlus لأجلها، مثل تتبّع تنفيذ البرنامج سطرًا بسطر أو فحص ذاكرة البرنامج يدويًا في لحظة مُحدّدة من التنفيذ. بعبارة أخرى، يُمكن لهذه الأدوات أن تُكمّل بعضها بعضًا للمطور المُحترف.

يتضمن PurifyPlus أيضًا وظائف أخرى، مثل نقاط المراقبة عالية الأداء ، والتي تعتبر ذات فائدة عامة أثناء استخدام مصحح الأخطاء على التعليمات البرمجية الخاصة بالشخص.

يُعدّ استخدام PurifyPlus الخيار الأمثل في لغات البرمجة التي تترك إدارة الذاكرة للمبرمج. ففي لغات مثل Java و Lisp و Visual Basic ، على سبيل المثال، تُقلّل إدارة الذاكرة التلقائية من احتمالية حدوث أي تسريبات للذاكرة . مع ذلك، قد تُعاني هذه اللغات من تسريبات؛ إذ تُعيق المراجع غير الضرورية للكائنات إعادة تخصيص الذاكرة. ولدى IBM منتج يُسمى Rational Application Developer لكشف هذا النوع من الأخطاء.

• مصحح أخطاء الذاكرة
• أداة البرمجة
• الذاكرة الديناميكية
• تسرب الذاكرة

• "دراسة استقصائية لأنظمة الكشف عن أخطاء وقت التشغيل التسلسلي" من إعداد مجموعة الحوسبة عالية الأداء بجامعة ولاية أيوا