فريق Google Project Zero يطلق أداة MAccConc لكشف حالات السباق في نواة لينكس
تشترط أداة Google Project Zero تعطيل عشوائية العناوين لفرض ترتيبات تنفيذ حتمية من نوع A-B-A. تنقل هذه الحزمة تصحيح أخطاء النواة من الاحتمالات الإحصائية إلى الإثبات القاطع....