حل جميع مشاكل 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

اختيار المحرر

لا يمكن تسجيل الدخول إلى تطبيق Xbox على نظام التشغيل Windows 10 ، الخطأ (0x409) 0x80131509

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

تستحوذ Google على مزود تطبيق معالجة الكلمات عبر الإنترنت

استحوذت شركة Google Inc. على Upstartle ، وهي شركة ناشئة صغيرة تدير معالج كلمات تعاونيًا داخل متصفحات الويب.

حامل عصير الليمون للآيفون

يغطي Computerworld مجموعة من الموضوعات التقنية ، مع التركيز على هذه المجالات الأساسية لتقنية المعلومات: Windows ، Mobile ، Apple / Enterprise ، Office ومجموعات الإنتاجية ، التعاون ، متصفحات الويب و blockchain ، بالإضافة إلى المعلومات ذات الصلة حول الشركات مثل Microsoft و Apple وجوجل.

لن يتم تمهيد نظام التشغيل Vista المثبت مسبقًا على iQon. لا يوجد قرص متاح. الشركة المصنعة خرجت من العمل. لدي مفتاح منتج Vista. هل يمكنني شراء قرص إصلاح من متجر Microsoft؟

توقف مصنع الكمبيوتر المحمول IQON عن العمل. نظام التشغيل Vista المثبت مسبقًا - لا يوجد قرص. Vista لن يقوم بالتمهيد. لا يمكن الوصول إلى وضع الاستعادة أو الاسترداد.

خطأ Windows Update 0x80070103

العنوان الأصلي - خطأ Windows Update 8x80070103 لقد حصلت للتو على جهاز كمبيوتر جديد يعمل بنظام Windows 8. حاولت تثبيت تحديثات Windows ، لكنني تلقيت رسالة الخطأ التالية: 'خطأ في Windows Update