حل جميع مشاكل Windows والبرامج الأخرى

يمكن أن تساعد أداة Facebook المطورين في تحديد تسريبات الذاكرة المراوغة

لمساعدة المطورين في العثور على الأخطاء المخفية في برامجهم ، أصدر Facebook أداة مفتوحة المصدر يستخدمها لتصحيح ملايين الأسطر من التعليمات البرمجية الخاصة به.

البرنامج يسمى المخاطر يمكن أن يكون مفيدًا للمؤسسات والأفراد الذين يقومون بإنشاء تطبيقات للأجهزة المحمولة وسطح المكتب ويمكنهم استخدام مساعدة إضافية في تصحيح الأخطاء ، كما قال مطور Facebook Peter O'Hearn ، أحد مصممي الأداة.



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



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

موقع التواصل الاجتماعي الفيسبوك تم أستعمالها استنتج أن تفحص Facebook Messenger و Instagram ، بالإضافة إلى تطبيقاتها لأنظمة Android و iOS.



أدوات التحليل الثابت ليست جديدة. تقدم شركات مثل Coverity و Parasoft و Black Duck ، من بين آخرين ، أدوات تصحيح أخطاء التحليل الثابتة التجارية.

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

يمكن للإصدار الحالي فحص التعليمات البرمجية المكتوبة بلغة C و Objective-C و Java. يأمل فريق Infer أنه من خلال فتح المصدر للبرنامج ، سيضيف الآخرون دعمًا لمزيد من اللغات.



بدأ العمل على Infer في Monoidics ، التي تأسست في عام 2009 واشتراها Facebook في عام 2013. بالإضافة إلى O'Hearn ، ساهم مطورو Facebook Cristiano Calcagno و Dino Distefano أيضًا بشكل كبير في Infer.

يغطي Joab Jackson أخبار برامج المؤسسة والتقنية العامة العاجلة لـ خدمة أخبار IDG . اتبع Joab على Twitter at تضمين التغريدة . عنوان البريد الإلكتروني لجواب هو Joab_Jackson@idg.com