جون ريغير

📅 آخر تحديث: ٢٧ يوليو ٢٠٢٦
✍️ نُشر في: ٢٧ يوليو ٢٠٢٦
الموسوعة الحرة

جون ريغير عالم حاسوب متخصص في صحة المترجمات البرمجية والسلوك غير المحدد . اعتبارًا من عام 2016هو أستاذ في جامعة يوتا . اشتهر ببرنامج معالجة تجاوز سعة الأعداد الصحيحة الذي دُمج في مُصرّف لغة Clang C، [ 1 ] وبرنامج اختبار الثغرات Csmith لمُصرّف لغة C ، [ 2 ] [ 3 ] ومدونته واسعة الانتشار Embedded in Academia . أمضى العام الدراسي 2015-2016 في إجازة تفرغ علمي في باريس، فرنسا، حيث عمل مع شركة TrustInSoft على Frama-C وأدوات تحليل الشفرة البرمجية ذات الصلة.

مراجع

  1. ↑ ديتز، ويل؛ لي، بينغ؛ ريغير، جون؛ أدفي، فيكرام (2015). "فهم تجاوز سعة الأعداد الصحيحة في لغة C/C++". معاملات ACM في هندسة البرمجيات والمنهجية . 25 (1): 1-29 . CiteSeerX 10.1.1.224.4377 . doi : 10.1145/2743019 . ISSN 1049-331X . S2CID 62496398 .   
  2. ↑ "Csmith" . جامعة يوتا . تم الاطلاع عليه بتاريخ 13 أبريل 2016 .
  3. ↑ يانغ، شوجون؛ تشين، يانغ؛ إيدي، إريك؛ ريغير، جون (2011). "إيجاد وفهم الأخطاء في مترجمات لغة سي". إشعارات ACM SIGPLAN . 46 (6): 283. CiteSeerX 10.1.1.434.8805 . doi : 10.1145/1993316.1993532 . ISSN 0362-1340 .